¿Es esta una condición equivalente para posets algebraicos?


12

La definición de "poset algebraico" en retículos y dominios continuos , definición I-4.2, dice que, para todo ,xL

  • el conjunto debe ser un conjunto dirigido, yA(x)=xK(L)
  • .x=(xK(L)

Aquí es un poset, K ( L ) es el conjunto de elementos compactos de L , y x significa { y y x } .LK(L)Lx{yyx}

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 1k 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,k1k2A(x)k1k2A(x)A(x)A(x)

  • ¿Está bien reemplazar la primera condición con no está vacía?A(x)
  • ¿Cuál es un ejemplo de una situación en la que está vacía?A(x)

Nota agregada: ¿Cómo es en A (x)? Primero, dado que k 1x y k 2x , tenemos k 1k 2x . 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 1k 2 , es decir, k 1k 2uk1k2k1xk2xk1k2xk1k2uk1k2k1k2u. Como ha ido más allá de y k 2 , debe haberlos pasado, es decir, hay elementos y 1 , y 2u tales que k 1y 1 y k 2y 2 . Como u es un conjunto dirigido, debe tener un límite superior para y 1 e y 2 , digamos y . Ahora, k 1k 2y d . Esto muestra quek1k2y1,y2uk1y1k2y2uy1y2yk1k2yd es compacto. Las dos piezas juntas dicen k 1k 2A ( x ) .k1k2k1k2A(x)


Usted dice: "si k1 y k2 están en A (x), entonces k1⊔k2 también está en A (x)", ¿cómo demuestra esto?
Artem Pelenitsyn

@ArtemPelenitsyn: agregué mi argumento a la pregunta.
Uday Reddy

1
Corríjame si me equivoqué, pero: en su nota asume que k1⊔k2 existe en L. Pero L es solo un poset, no un conjunto dirigido, por lo que no puede hacer eso.
Artem Pelenitsyn

1
También encontré el hecho de que la segunda condición es suficiente en el cpo completo acotado aquí: homepages.inf.ed.ac.uk/libkin/papers/alcpo.pdf (p. 1)
Artem Pelenitsyn

@ArtemPelenitsyn. Genial, muchas gracias. ¡Ten cuidado con la suposición oculta!
Uday Reddy

Respuestas:


12

Un ejemplo donde está vacío es el conjunto de números reales R con el orden habitual. No tiene elementos compactos en absoluto.A(x)R

A(x)A(x)=xLxA(x)=

LNι1(n)ι2(n)n

  • ι1(m)ι1(n)mn
  • ι2(m)ι2(n)mn
  • xx

  1. xK(L)

  2. x=(xK(L))

  3. K(L)=N+N


1
Frio. Gran ejemplo!
Uday Reddy
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.