Usted probablemente ya sabe ejemplos de esto sin darse cuenta!
Deje $\kappa$ ser un incontable cardenal y deje $P$ ser el poset de finito parcial inyecciones $\kappa \to \omega$, ordenados por $\supseteq$. Para cada una de las $i < \kappa$ y cada una de las $n < \omega$, vamos a $p_{i,n} : \kappa \rightharpoonup \omega$ ser el parcial mapa definido sólo en $i$ con valor de $n$. Aquí, un ideal de a $P$ es hacia abajo cerrado subconjunto $I \subseteq P$ con la siguiente propiedad:
- Deje $f \in P$, vamos a $i < \kappa$, y supongamos $i \notin \operatorname{dom} f$. Para cada una de las $n < \omega$, vamos a $f_n$ $f \cup p_{i,n}$ ($f \land p_{i,n}$ w.r.t. el orden de $P$). Si $f_n \in I$ todos los $n < \omega$,$f \in I$.
Deje $\Omega$ ser el poset de los ideales de $P$. Claramente, $\Omega$ es cerrado bajo intersecciones arbitrarias, por lo $\Omega$ es un completo entramado. (De hecho, $\Omega$ es una completa álgebra de Heyting, pero no vamos a necesitar este hecho.) Es fácil ver que el conjunto de
$${\downarrow} (f) = \{ p \in P : p \supseteq f \}$$
es un ideal de a $P$, por lo que obtener una orden de incorporación de ${\downarrow} : P \to \Omega$. Tenga en cuenta que se conserva reúne todos los que existen en $P$.
Me reclama que no existen $\sigma$-primer filtros de $\Omega$, es decir, hacia arriba-cerrado subconjuntos $F \subset \Omega$ tal forma que:
- La parte inferior del elemento de $\Omega$ no $F$.
- El elemento de la parte superior de $\Omega$$F$, e $F$ es cerrado bajo finito cumple.
- Si $\left( \bigvee_{n < \omega} I_n \right) \in F$, luego de algunos $n < \omega$, $I_n \in F$.
En efecto, supongamos $F$ $\sigma$- primer filtro de $\Omega$. A continuación, $\bigvee_{n < \omega} {\downarrow} (p_{i,n})$ es el elemento de la parte superior de $\Omega$; por lo tanto, para algunos $f (i) < \omega$, ${\downarrow} (p_{i, f(i)}) \in F$. (De hecho, $f (i)$ está determinada únicamente por $F$.) Por otra parte, ${\downarrow} (p_{i, f(i)}) \cap {\downarrow} (p_{j, f(j)}) = {\downarrow} (p_{i, f(i)} \land p_{j, f(j)}) \in F$, lo $i \ne j$ implica $f (i) \ne f (j)$. Así que tenemos un inyectiva mapa total $f : \kappa \to \omega$ – es una contradicción!
Se sigue de la afirmación de que cada monotono mapa de $\Omega \to 2$ que conserva contables une debe ser una constante mapa. En particular, no puede existir una orden de incorporación de $\Omega \to 2^X$ que conserva contables une. A pesar de $\Omega$ no es un álgebra de boole, sí existe un no-trivial completar álgebra booleana $B$ y un pedido de incorporación de $\Omega \to B$ que conserva arbitraria une y finito cumple. (Este es un teorema de Barr, y se utiliza el hecho de que $\Omega$ es una completa álgebra de Heyting.) A continuación, $B$ $\sigma$- álgebra no isomorfo a cualquier $\sigma$-álgebra de conjuntos.