Problema x7.

26
Kevin Steven Ardila Plata 2171564
Universidad Industrial de Santander
Escuela de Matemáticas
Bucaramanga

1. Problema x7.26.
1.1. Defina una operación definitiva Inf (ξ), tal que para cada familia no
vacia de conjuntos bien ordenados,Inf (ξ) tiene las siguientes pro-
piedades:
1) Inf (ξ) es un conjunto bien ordenado.
2) Para algún U ∈ ξ, Inf (ξ) =o U.
3) Para todo U ∈ ξ, Inf (ξ) ≤o U. S
Consejo. Busque a Inf (ξ) en los segmentos iniciales de h( ξ).
1.2. Demostración
S
Sea A = ξ entonces tenemos que
W O(A) = {U |U = (F ield(U ), ≤U ) es un conjunto bien ordenado con F ield(U ) ⊆ A}
Sea ∼A la restricción de la condición =o a W O(A),
U ∼A V ⇐⇒ U, V ∈ W O(A) ∧ U =o V.
Luego h(A) = [|W O(A)/ ∼A |] ⊆ P(W O(A)).
Donde el orden de h(A) es definido de la siguiente forma
[U/ ∼A ] ≤h(A) [V / ∼A ] ⇐⇒ U ≤o V.

Sea ξ/ ∼A =df {[U/ ∼A ]|U ∈ ξ}, veamos que ξ/ ∼A ⊆ h(A).

S
Sea [U/ ∼A ] ∈ ξ/ ∼A como U ∈ ξ se tiene que es un conjunto bien ordenado con U ⊆ ξ
entonces U ∈ W O(A) y por lo tanto se tiene que [U/ ∼A ] ∈ h(A).
Como ξ 6= ∅ entonces se tiene que ξ/ ∼A 6= ∅ ya que h(A) está bien ordenado se tiene que ξ/ ∼A
tiene mínimo y por lo tanto podemos definir la siguiente operación:

Inf (ξ) =df segh(A) (min(ξ/ ∼A ))

1) Como min(ξ/ ∼A ) ∈ ξ/ ∼A entonces min(ξ/ ∼A ) = [U/ ∼A ] para algún U = (F ield(U ), ≤U )

bien ordenado con U ∈ ξ, llamando a α = [U/ ∼A ] se tiene que
segh(A) (α) = {[segU (x)/ ∼A ]|x ∈ U } =o U.(?)
Esto implica que Inf (ξ) es un conjunto bien ordenado.
2) De (?) se sigue que Inf (ξ) =o U para algún U ∈ ξ.
3) Como min(ξ/ ∼A ) ≤h(A) [U/ ∼A ] para todo U ∈ ξ entonces se tiene que
Inf (ξ) = segh(A) (min(ξ/ ∼A )) ≤o segh(A) ([U/ ∼A ]) =o U.
De donde se concluye que Inf (ξ) ≤o U para todo U ∈ ξ.

Referencias
Notes on Set Theory, Editorial Springer, 2th edition.