Hispanopedia Wiki
Articulo de referencia

Conjunto superior

Diagrama de Hasse de los divisores de , ordenados por la relación es divisor de , con el conjunto superior de color verde. Los conjuntos blancos forman el conjunto inferior. 210...

Hispanopedia WikiContenido en espanolLectura gratuita
Diagrama de Hasse de los divisores de , ordenados por la relación es divisor de , con el conjunto superior de color verde. Los conjuntos blancos forman el conjunto inferior. 210 {\estilo de visualización 210} ↑ 2 {\displaystyle \flecha arriba 2} ↓ 105. {\displaystyle \flecha hacia abajo 105.}

En matemáticas , un conjunto superior (también llamado conjunto cerrado hacia arriba , conjunto trastocado o conjunto isótono en X ) [1] de un conjunto parcialmente ordenado es un subconjunto con la siguiente propiedad: si s está en S y si x en X es mayor que s (es decir, si ), entonces x está en S. En otras palabras, esto significa que cualquier elemento x de X que sea a algún elemento de S es necesariamente también un elemento de S. El término conjunto inferior (también llamado conjunto cerrado hacia abajo , conjunto descendente , conjunto decreciente , segmento inicial o semiideal ) se define de manera similar como un subconjunto S de X con la propiedad de que cualquier elemento x de X que sea a algún elemento de S es necesariamente también un elemento de S. ( incógnita , ≤ ) {\displaystyle (X,\leq )} S ⊆ incógnita {\displaystyle S\subseteq X} s < incógnita {\displaystyle s<x} ≥ {\estilo de visualización \,\geq \,} ≤ {\estilo de visualización \,\leq \,}

Definición

Sea un conjunto preordenado . Un conjunto superior en (también llamado conjunto cerrado hacia arriba , conjunto trastocado o conjunto isótono ) [1] es un subconjunto que está "cerrado bajo el principio de subir", en el sentido de que ( incógnita , ≤ ) {\displaystyle (X,\leq )} incógnita {\estilo de visualización X} tú ⊆ incógnita {\displaystyle U\subseteq X}

para todos y todas si entonces tú ∈ tú {\displaystyle u\en U} incógnita ∈ incógnita , {\displaystyle x\en X,} tú ≤ incógnita {\displaystyle u\leq x} incógnita ∈ tú . {\displaystyle x\en U.}

La noción dual es un conjunto inferior (también llamado conjunto cerrado hacia abajo , conjunto descendente , conjunto decreciente , segmento inicial o semiideal ), que es un subconjunto que está "cerrado bajo el sentido descendente", en el sentido de que yo ⊆ incógnita {\displaystyle L\subseteq X}

para todos y todas si entonces yo ∈ yo {\displaystyle l\en L} incógnita ∈ incógnita , {\displaystyle x\en X,} incógnita ≤ yo {\displaystyle x\leq l} incógnita ∈ yo . {\displaystyle x\en L.}

Los términos ideal o orden ideal se utilizan a veces como sinónimos de conjunto inferior. [2] [3] [4] Esta elección de terminología no refleja la noción de un ideal de una red porque un conjunto inferior de una red no es necesariamente una subred. [2]

Propiedades

  • Cada conjunto parcialmente ordenado es un conjunto superior de sí mismo.
  • La intersección y la unión de cualquier familia de conjuntos superiores es nuevamente un conjunto superior.
  • El complemento de cualquier conjunto superior es un conjunto inferior, y viceversa.
  • Dado un conjunto parcialmente ordenado, la familia de conjuntos superiores ordenados con la relación de inclusión es una red completa , la red de conjuntos superiores . ( incógnita , ≤ ) , {\displaystyle (X,\leq ),} incógnita {\estilo de visualización X}
  • Dado un subconjunto arbitrario de un conjunto parcialmente ordenado, el conjunto superior más pequeño que lo contiene se denota mediante una flecha hacia arriba como (ver cierre superior y cierre inferior). Y {\estilo de visualización Y} incógnita , {\estilo de visualización X,} Y {\estilo de visualización Y} ↑ Y {\displaystyle \flecha arriba Y}
    • Dually, el conjunto inferior más pequeño que contiene se denota utilizando una flecha hacia abajo como Y {\estilo de visualización Y} ↓ Y . {\displaystyle \flecha hacia abajo Y.}
  • Un conjunto inferior se llama principal si tiene la forma donde es un elemento de ↓ { incógnita } {\displaystyle \flecha hacia abajo \{x\}} incógnita {\estilo de visualización x} incógnita . {\estilo de visualización X.}
  • Todo conjunto inferior de un conjunto finito parcialmente ordenado es igual al conjunto inferior más pequeño que contiene todos los elementos máximos de Y {\estilo de visualización Y} incógnita {\estilo de visualización X} Y {\estilo de visualización Y}
    • ↓ Y =↓ Máximo ⁡ ( Y ) {\displaystyle \downarrow Y=\downarrow \operatorname {Máx} (Y)} donde denota el conjunto que contiene los elementos máximos de Máximo ⁡ ( Y ) {\displaystyle \operatorname {Máx} (Y)} Y . {\displaystyle Y.}
  • Un conjunto inferior dirigido se llama ideal de orden .
  • Para órdenes parciales que satisfacen la condición de cadena descendente , las anticadenas y los conjuntos superiores están en correspondencia uno a uno a través de las siguientes biyecciones : mapear cada anticadena a su clausura superior (ver abajo); a la inversa, mapear cada conjunto superior al conjunto de sus elementos mínimos. Esta correspondencia no se cumple para órdenes parciales más generales; por ejemplo, los conjuntos de números reales y están mapeados ambos a la anticadena vacía. { incógnita ∈ R : incógnita > 0 } {\displaystyle \{x\in \mathbb {R} :x>0\}} { incógnita ∈ R : incógnita > 1 } {\displaystyle \{x\in \mathbb {R} :x>1\}}

Cierre superior y cierre inferior

Dado un elemento de un conjunto parcialmente ordenado, el cierre superior o cierre hacia arriba de denotado por o se define por mientras que el cierre inferior o cierre hacia abajo de , denotado por o se define por incógnita {\estilo de visualización x} ( incógnita , ≤ ) , {\displaystyle (X,\leq ),} incógnita , {\estilo de visualización x,} incógnita ↑ incógnita , {\displaystyle x^{\flecha arriba X},} incógnita ↑ , {\displaystyle x^{\flecha arriba},} ↑ incógnita , {\displaystyle \flecha arriba \!x,} incógnita ↑ incógnita = ↑ incógnita = { tú ∈ incógnita : incógnita ≤ tú } {\displaystyle x^{\uparrow X}=\;\uparrow \!x=\{u\in X:x\leq u\}} incógnita {\estilo de visualización x} incógnita ↓ incógnita , {\displaystyle x^{\flecha hacia abajo X},} incógnita ↓ , {\displaystyle x^{\flecha hacia abajo},} ↓ incógnita , {\displaystyle \flecha hacia abajo \!x,} incógnita ↓ incógnita = ↓ incógnita = { yo ∈ incógnita : yo ≤ incógnita } . {\displaystyle x^{\downarrow X}=\;\downarrow \!x=\{l\in X:l\leq x\}.}

Los conjuntos y son, respectivamente, los conjuntos superior e inferior más pequeños que contienen como un elemento. De manera más general, dado un subconjunto, se definen el cierre superior / ascendente y el cierre inferior / descendente de denotados por y respectivamente, como y ↑ incógnita {\displaystyle \flecha arriba \!x} ↓ incógnita {\displaystyle \flecha hacia abajo \!x} incógnita {\estilo de visualización x} A ⊆ incógnita , {\displaystyle A\subseteq X,} A , {\estilo de visualización A,} A ↑ incógnita {\displaystyle A^{\flecha arriba X}} A ↓ incógnita {\displaystyle A^{\flecha hacia abajo X}} A ↑ incógnita = A ↑ = ⋃ a ∈ A ↑ a {\displaystyle A^{\uparrow X}=A^{\uparrow }=\bigcup _{a\in A}\uparrow \!a} A ↓ incógnita = A ↓ = ⋃ a ∈ A ↓ a . {\displaystyle A^{\downarrow X}=A^{\downarrow }=\bigcup _{a\in A}\downarrow \!a.}

De esta manera, y donde los conjuntos superiores e inferiores de esta forma se denominan principales . La clausura superior y la clausura inferior de un conjunto son, respectivamente, el conjunto superior y el conjunto inferior más pequeños que lo contienen. ↑ incógnita =↑ { incógnita } {\displaystyle \flecha arriba x=\flecha arriba \{x\}} ↓ incógnita =↓ { incógnita } , {\displaystyle \flecha abajo x=\flecha abajo \{x\},}

Los cierres superior e inferior, cuando se consideran como funciones del conjunto potencia de a sí mismo, son ejemplos de operadores de cierre ya que satisfacen todos los axiomas de cierre de Kuratowski . Como resultado, el cierre superior de un conjunto es igual a la intersección de todos los conjuntos superiores que lo contienen, y lo mismo ocurre con los conjuntos inferiores. (De hecho, este es un fenómeno general de los operadores de cierre. Por ejemplo, el cierre topológico de un conjunto es la intersección de todos los conjuntos cerrados que lo contienen; el espacio de un conjunto de vectores es la intersección de todos los subespacios que lo contienen; el subgrupo generado por un subconjunto de un grupo es la intersección de todos los subgrupos que lo contienen; el ideal generado por un subconjunto de un anillo es la intersección de todos los ideales que lo contienen; y así sucesivamente). incógnita {\estilo de visualización X}

Números ordinales

Un número ordinal se identifica habitualmente con el conjunto de todos los números ordinales menores. De este modo, cada número ordinal forma un conjunto inferior en la clase de todos los números ordinales, que están totalmente ordenados por inclusión de conjuntos.

Véase también

  • Complejo simplicial abstracto (también llamado: sistema de independencia ): una familia de conjuntos que está cerrada hacia abajo con respecto a la relación de contención.
  • Conjunto cofinal : subconjunto de un conjunto parcialmente ordenado que contiene para cada elemento algún elemento tal que tú {\estilo de visualización U} ( incógnita , ≤ ) {\displaystyle (X,\leq )} incógnita ∈ incógnita , {\displaystyle x\en X,} y {\estilo de visualización y} incógnita ≤ y . {\displaystyle x\leq y.}

Referencias

  1. ^ desde Dolecki y Mynard 2016, págs. 27-29.
  2. ^ de Brian A. Davey; Hilary Ann Priestley (2002). Introducción a los enrejados y el orden (2.ª ed.). Cambridge University Press . pp. 20, 44. ISBN 0-521-78451-4. Número de serie LCCN  2001043910.
  3. ^ Stanley, RP (2002). Combinatoria enumerativa . Estudios de Cambridge sobre matemáticas avanzadas. Vol. 1. Cambridge University Press. pág. 100. ISBN 978-0-521-66351-9.
  4. ^ Lawson, MV (1998). Semigrupos inversos: la teoría de simetrías parciales . World Scientific. pág. 22. ISBN 978-981-02-3316-7.
  • Blanck, J. (2000). "Representaciones de dominio de espacios topológicos" (PDF) . Theoretical Computer Science . 247 (1–2): 229–255. doi : 10.1016/s0304-3975(99)00045-6 .
  • Dolecki, Szymon; Mynard, Frédéric (2016). Fundamentos de convergencia de la topología . Nueva Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4.OCLC 945169917  .
  • Hoffman, KH (2001), Los axiomas de baja separación (T0) y (T1)
Obtenido de "https://es.wikipedia.org/w/index.php?title=Upper_set&oldid=1136854557"
Lecturas relacionadas
6 articulos
Diagrama de HasseDiagrama de HasseEn teoría del orden , un diagrama de Hasse (/ˈhæsə / ; alemán : [ .mw-parser-output .IPA-label-small{font-size:85%}.mw-parser-output .references .I...DivisorDivisorLos divisores de 10 ilustrados con barras de Cuisenaire : 1, 2, 5 y 10 En matemáticas , un divisor de un número entero , también llamado factor de,...MatemáticasMatemáticasLas matemáticas son un campo de estudio que descubre y organiza métodos, teorías y teoremas que se desarrollan y prueban para las necesidades de la...Conjunto parcialmente ordenadoFig. 1 Diagrama de Hasse del conjunto de todos los subconjuntos de un conjunto de tres elementos ordenados por inclusión . Los conjuntos conectados...Marca verdeHacer un pedidoTodas las definiciones requieren tácitamente la relación homogénea.R{\displaystyle R}ser transitivo : para todoa,b,do,{\displaystyle a,b,c,}siaRb{\...Dualidad (teoría del orden)Dualidad (teoría del orden)En el área matemática de la teoría del orden , cada conjunto parcialmente ordenado P da lugar a un conjunto parcialmente ordenado dual (u opuesto )...