Sección final

En matemáticas, sección final (también llamado sección final abierta) de un conjunto parcialmente ordenado (X,≤) es un subconjunto U con la propiedad tal que, si x está en U y x≤y, entonces y está en U.

La idea dual sería el sección inicial (alternativamente, conjunto decreciente, segmento inicial, semi-ideal; el conjunto es un sección inicial cerrada), el cual es un subconjunto L con la propiedad tal que, si x está en L y y≤x, entonces y está en L.

Los términos orden ideal o ideal se usan normalmente como sinónimos para referirse a la sección inicial.^[1]^[2]^[3] La elección de esta terminología no refleja la noción del ideal del retículo porque un conjunto inferior de un retículo no es necesariamente un sub retículo.^[1]

Propiedades

Cada conjunto parcialmente ordenado es una sección final de sí mismo.
La intersección y la unión de secciones finales es también una sección final.
El complemento de cualquier sección final es una sección inicial, y viceversa.
Dado un conjunto parcialmente ordenado (X,≤), la familia de secciones iniciales de X ordenado con la relación de inclusión es un retículo completo, el retículo sección inicial O(X).
Dado un subconjunto arbitrario Y de un conjunto ordenado X, la sección final más pequeña conteniendo Y se denota usando una flecha hacia arriba ↑Y.
- De la misma forma, la sección inicial más pequeña conteniendo Y se denota usando una flecha hacia abajo ↓Y.
Una sección inicial se llama principal si es de la forma ↓{x} donde x es un elemento de X.
Cada sección inicial Y de un conjunto ordenado finito X es igual a la sección inicial más pequeña que contenga todos los elementos máximos de Y: Y = ↓Max(Y) donde Max(Y) denota el conjunto que contiene los elementos máximos de Y.
Un conjunto direccionado sección inicial se denomina orden ideal.
El elemento mínimo de cualquier sección final forma una anticadena.
- De forma inversa cualquier anticadena A determina una sección final {x: para y en A, x ≥ y}. Para órdenes parciales satisfaciendo la condición de la cadena descendente esta correspondencia entre anticadenas y secciones iniciales es 1-1, pero para más órdenes parciales generales esto no es verdad.

Números ordinales

Un número ordinal es el conjunto de todos los ordinales menores que él (consecuencia de la definición de von Neumann). Así, cada número ordinal es una sección inicial en la clase de todos los números ordinales, ordenada por inclusión conjuntista.

Véase también

Conjunto cofinal – un subconjunto U de un conjunto parcialmente ordenado (P,≤) que contiene para cada elemento x de P un elemento y tla que x ≤ y

Referencias

↑ ^a ^b Davey & Priestley, Introduction to Lattices and Order (Second Edition), 2002, p. 20 and 44
↑ Stanley, R.P. (2002). Enumerative combinatorics. Cambridge studies in advanced mathematics 1. Cambridge University Press. p. 100. ISBN 978-0-521-66351-9.
↑ Lawson, M.V. (1998). Inverse semigroups: the theory of partial symmetries. World Scientific. p. 22. ISBN 978-981-02-3316-7. (requiere registro).

Bibliografía

Blanck, J. (2000). «Domain representations of topological spaces». Theoretical Computer Science 247: 229-255. doi:10.1016/s0304-3975(99)00045-6.
Hoffman, K. H. (2001), The low separation axioms (T₀) and (T₁)
Davey, B.A. & Priestley, H. A. (2002). Introduction to Lattices and Order (2nd edición). Cambridge University Press. ISBN 0-521-78451-4.

Enlaces externos

Esta obra contiene una traducción derivada de «Upper Set» de Wikipedia en inglés, concretamente de esta versión del 17 de junio de 2016, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.