Estructuras de álgebra multilineal. Joaquín Olivert Pellicer
Por el Lema de Zorn, B posee un elemento maximal m que también es maximal en A. En consecuencia, u m.
Podría suceder que u fuese maximal en A. Dado que u u, résulta que u precede a sí mismo.
Teorema 3.14: El Teorema 3.13 induce el Axioma de elección de Zer- melo.
Demostración :
Sea X un conjunto no vacío arbitrario, y sobre él formemos la clase A de funciones de elección definidas sobre subconjuntos de X. Esta clase es no vacía, pues los subconjuntos de la forma {x} tienen por función de elección la definida por F({z}) = x. En virtud de la Proposición 6.5 del Capítulo 1 A es conjunto por ser subclase de P(X)X, ya que si X es conjunto, P(X) es conjunto (Teorema 2.7 del mismo capítulo).
Establezcamos en A un orden parcial: Dadas f,g A, diremos que f
Veamos que A es inductivo :
Consideremos una cadena {fi} arbitraria de A y hemos de encontrar una cota superior. Para ello construimos la aplicación
Evidentemente es cota superior de la cadena. Luego A es inductivo.
Al ser A inductivo, podemos tomar un elemento maximal h de A que seguirá siendo una función de elección sobre subconjuntos de X. Puede suceder que def h — p(X), o que exista un elemento no vacío (subconjunto de X) u
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.