La definición de "poset algebraico" en retículos y dominios continuos , definición I-4.2, dice que, para todo ,
- el conjunto debe ser un conjunto dirigido, y
- .
Aquí es un poset, K ( L ) es el conjunto de elementos compactos de L , y ↓ x significa { y ∣ y ⊑ x } .
Me sorprendió un poco la primera condición. Es un argumento fácil demostrar que, si y k 2 son en A ( x ) a continuación, k 1 ⊔ k 2 es también en A ( x ) . Por lo tanto, todos los subconjuntos finitos no vacíos de A ( x ) tienen límites superiores. La única pregunta es si el subconjunto vacío tiene un límite superior, es decir, si A ( x ) no está vacío en primer lugar. Entonces,
- ¿Está bien reemplazar la primera condición con no está vacía?
- ¿Cuál es un ejemplo de una situación en la que está vacía?
Nota agregada: ¿Cómo es en A (x)? Primero, dado que k 1 ⊑ x y k 2 ⊑ x , tenemos k 1 ⊔ k 2 ⊑ x . En segundo lugar, k 1 y k 2 son compactas. Por lo tanto, cualquier conjunto dirigido que vaya "más allá" de ellos debe "pasarlos". Suponga que un conjunto dirigido u también va más allá de k 1 ⊔ k 2 , es decir, k 1 ⊔ k 2 ⊑ ⨆ u. Como ha ido más allá de y k 2 , debe haberlos pasado, es decir, hay elementos y 1 , y 2 ∈ u tales que k 1 ⊑ y 1 y k 2 ⊑ y 2 . Como u es un conjunto dirigido, debe tener un límite superior para y 1 e y 2 , digamos y . Ahora, k 1 ⊔ k 2 ⊑ y ∈ d . Esto muestra que es compacto. Las dos piezas juntas dicen k 1 ⊔ k 2 ∈ A ( x ) .