Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Orden total

Índice Orden total

En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X.

45 relaciones: Bicondicional, Conjunto, Conjunto bien ordenado, Conjunto conexo, Conjunto finito, Conjunto parcialmente ordenado, Conjunto potencia, Desigualdad matemática, Disyunción lógica, Elemento mayorante y minorante, Elemento máximo y mínimo, Elemento supremo e ínfimo, Espacio compacto, Espacio normal, Función biyectiva, Función inyectiva, Id est, Intervalo (matemática), Isomorfismo, Lema de Zorn, Ley de tricotomía, Matemáticas, Morfismo, Número cardinal, Número entero, Número natural, Número ordinal (teoría de conjuntos), Número racional, Número real, Orden lexicográfico, Preorden total, Producto cartesiano, Relación antisimétrica, Relación asimétrica, Relación binaria, Relación reflexiva, Relación total, Relación transitiva, Retículo (matemáticas), Retículo distributivo, Subcategoría, Subconjunto, Teoría de categorías, Teoría del orden, Topología.

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Orden total y Bicondicional · Ver más »

Conjunto

En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.

¡Nuevo!!: Orden total y Conjunto · Ver más »

Conjunto bien ordenado

En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo.

¡Nuevo!!: Orden total y Conjunto bien ordenado · Ver más »

Conjunto conexo

Un conjunto conexo es un subconjunto C \subseteq X de un espacio topológico (X,\mathcal) \, (donde \mathcal \, es la colección de conjuntos abiertos del espacio topológico) que no puede ser expresado como unión disjunta de dos conjuntos abiertos no vacíos de la topología.

¡Nuevo!!: Orden total y Conjunto conexo · Ver más »

Conjunto finito

En matemáticas, un conjunto finito es un conjunto que tiene un número finito de elementos.

¡Nuevo!!: Orden total y Conjunto finito · Ver más »

Conjunto parcialmente ordenado

En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado o simplemente conjunto ordenadoSe usa esta expresión cuando no exista ambigüedad.

¡Nuevo!!: Orden total y Conjunto parcialmente ordenado · Ver más »

Conjunto potencia

En matemáticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del conjunto dado.

¡Nuevo!!: Orden total y Conjunto potencia · Ver más »

Desigualdad matemática

En matemáticas, una desigualdad es una relación de orden que se da entre dos valores cuando estos son distintos (en caso de ser iguales, lo que se tiene es una igualdad).

¡Nuevo!!: Orden total y Desigualdad matemática · Ver más »

Disyunción lógica

En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.

¡Nuevo!!: Orden total y Disyunción lógica · Ver más »

Elemento mayorante y minorante

En matemáticas, particularmente en teoría del orden y de conjuntos, el mayorante o cota superior de un subconjunto B de un conjunto parcialmente ordenado A es un elemento de A mayor o igual que cualquier elemento de B.

¡Nuevo!!: Orden total y Elemento mayorante y minorante · Ver más »

Elemento máximo y mínimo

En matemáticas, y particularmente en teoría del orden, dado un conjunto parcialmente ordenado (A,≤), un elemento a ∈ A es el elemento máximo de A si cualquier otro elemento de A es menor o igual que él; es decir, si para todo x ∈ A, x ≤ a. En la imagen, l es el máximo de A. Un elemento mínimo se define dualmente, como aquel a ∈ A tal que cualquier otro es mayor o igual que él; es decir, tal que para todo x ∈ A, a ≤ x, en la figura el elemento a es el mínimo de A. La propiedad de antisimetría de la relación de orden ≤ asegura que de existir un elemento máximo o mínimo en un conjunto, estos son únicos.

¡Nuevo!!: Orden total y Elemento máximo y mínimo · Ver más »

Elemento supremo e ínfimo

En matemáticas, dado un subconjunto S de un conjunto parcialmente ordenado \left(P,, el supremo de S, si existe, es el mínimo elemento de P que es mayor o igual a cada elemento de S. En otras palabras, es la mínima de las cotas superiores de S. El supremo de un conjunto S comúnmente se denota como \sup S.

¡Nuevo!!: Orden total y Elemento supremo e ínfimo · Ver más »

Espacio compacto

En la rama de topología de las matemáticas, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente.

¡Nuevo!!: Orden total y Espacio compacto · Ver más »

Espacio normal

En Topología y ramas relacionadas de la matemática, los espacios normales, espacios T4, y espacios T5 son tipos particulares de espacios topológicos.

¡Nuevo!!: Orden total y Espacio normal · Ver más »

Función biyectiva

En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.

¡Nuevo!!: Orden total y Función biyectiva · Ver más »

Función inyectiva

En matemáticas, una función: \end es inyectiva, uno a uno, si a elementos distintos del conjunto X (dominio) les corresponden elementos distintos en el conjunto Y (codominio) de f, es decir, cada elemento del conjunto Y tiene a lo sumo una preimagen en X, o, lo que es lo mismo, en el conjunto X no puede haber dos o más elementos que tengan la misma imagen.

¡Nuevo!!: Orden total y Función inyectiva · Ver más »

Id est

Id est es una expresión latina que significa ‘esto es’, cuya abreviatura i.e. es muy usada en definiciones matemáticas y demostraciones de teoremas, lemas y corolarios.

¡Nuevo!!: Orden total e Id est · Ver más »

Intervalo (matemática)

Un intervalo (del latín intervallum) es un subconjunto conexo de la recta real, es decir, un subconjunto I \subset \R que satisface que, para cualesquiera u, w \in I y v \in \R, si u \le v \le w, entonces v \in I. Es un conjunto medible y tiene la misma cardinalidad que la recta real.

¡Nuevo!!: Orden total e Intervalo (matemática) · Ver más »

Isomorfismo

En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.

¡Nuevo!!: Orden total e Isomorfismo · Ver más »

Lema de Zorn

El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente: Debe su nombre al matemático Max Zorn.

¡Nuevo!!: Orden total y Lema de Zorn · Ver más »

Ley de tricotomía

En matemáticas, la ley de tricotomía dice que cada número es irreal a otro número y no se tiene sentido alguno, pero se interpreta con t² y g³.

¡Nuevo!!: Orden total y Ley de tricotomía · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

¡Nuevo!!: Orden total y Matemáticas · Ver más »

Morfismo

En varios campos de las matemáticas, se llaman morfismos (u homomorfismos) a las aplicaciones entre estructuras matemáticas que preservan la estructura interna.

¡Nuevo!!: Orden total y Morfismo · Ver más »

Número cardinal

El cardinal indica el número o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita.

¡Nuevo!!: Orden total y Número cardinal · Ver más »

Número entero

Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.

¡Nuevo!!: Orden total y Número entero · Ver más »

Número natural

En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.

¡Nuevo!!: Orden total y Número natural · Ver más »

Número ordinal (teoría de conjuntos)

En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado.

¡Nuevo!!: Orden total y Número ordinal (teoría de conjuntos) · Ver más »

Número racional

Los números racionales son todos los números que pueden representarse como el cociente de dos números enteros o, más exactamente, un entero y un natural positivo; es decir, una fracción común a/b con numerador a y denominador b distinto de cero.

¡Nuevo!!: Orden total y Número racional · Ver más »

Número real

En matemáticas, el conjunto de los números reales (denotado por R o por ℝ) incluye tanto los números racionales (positivos, negativos y el cero) como los números irracionales; y en otro enfoque, a los trascendentes y a los algebraicos.

¡Nuevo!!: Orden total y Número real · Ver más »

Orden lexicográfico

En matemáticas, o más particularmente en Teoría del orden, el orden lexicográfico es una relación de orden definida sobre el producto cartesiano de conjuntos ordenados.

¡Nuevo!!: Orden total y Orden lexicográfico · Ver más »

Preorden total

En Teoría del Orden, una relación binaria R se llama preorden total sobre un conjunto X si con las siguientes propiedades.

¡Nuevo!!: Orden total y Preorden total · Ver más »

Producto cartesiano

En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de forma que el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.

¡Nuevo!!: Orden total y Producto cartesiano · Ver más »

Relación antisimétrica

Una relación binaria R sobre un conjunto A es antisimétrica cuando se da que si dos elementos de A se relacionan entre sí mediante R, entonces estos elementos son iguales.

¡Nuevo!!: Orden total y Relación antisimétrica · Ver más »

Relación asimétrica

Una relación binaria R sobre un conjunto A, es asimétrica cuando si se da que un elemento está relacionado con otro mediante R, entonces el segundo nunca está relacionado con el primero.

¡Nuevo!!: Orden total y Relación asimétrica · Ver más »

Relación binaria

Una relación binaria R es el subconjunto de los elementos del producto cartesiano A_1 \times A_2 \ que cumplen una determinada condición.

¡Nuevo!!: Orden total y Relación binaria · Ver más »

Relación reflexiva

En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo.

¡Nuevo!!: Orden total y Relación reflexiva · Ver más »

Relación total

Una relación binaria R sobre un conjunto A es una relación total (o relación conexa) cuando se cumple que para cada dos elementos a y b de A, o a está relacionado con b o b está relacionado con a, esto es: Nótese que esto implica una relación reflexiva, pues incluye los casos en que a y b son el mismo elemento.

¡Nuevo!!: Orden total y Relación total · Ver más »

Relación transitiva

Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.

¡Nuevo!!: Orden total y Relación transitiva · Ver más »

Retículo (matemáticas)

En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: A \, con una relación binaria: \mathcal que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja a, b \in A de elementos tiene un único supremo (o extremo superior) en A, \; \sup(a,b) \in A y un único ínfimo (o extremo inferior) en A, \; \inf(a,b) \in A. El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes.

¡Nuevo!!: Orden total y Retículo (matemáticas) · Ver más »

Retículo distributivo

En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra.

¡Nuevo!!: Orden total y Retículo distributivo · Ver más »

Subcategoría

En matemática, una subcategoría de una categoría C es un subconjunto de los morfismos que es cerrado por composición y contiene todos los morfismos identidad.

¡Nuevo!!: Orden total y Subcategoría · Ver más »

Subconjunto

es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.

¡Nuevo!!: Orden total y Subconjunto · Ver más »

Teoría de categorías

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.

¡Nuevo!!: Orden total y Teoría de categorías · Ver más »

Teoría del orden

La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático.

¡Nuevo!!: Orden total y Teoría del orden · Ver más »

Topología

La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de la matemática dedicada al estudio de aquellas propiedades de los cuerpos geométricos que permanecen inalteradas por transformaciones continuas.

¡Nuevo!!: Orden total y Topología · Ver más »

Redirecciona aquí:

Cadena (secuencia), Conjunto totalmente ordenado, Orden lineal.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »