MATEMATICAS.NET

Curso EVT. Lectura 8. Notas aclaratorias (2)

Anuncios

Vamos enunciar el lema de Zorn, el cual hemos utilizado para los resultados de la lectura 7. Hemos de señalar que, en realidad, el lema de Zorn, es equivalente al axioma de elección y aunque no demostraremos tal equivalencia (el lector interesado puede ver una prueba en el texto “Naive Set Theory” de Halmos) daremos sus definiciones y otras equivalencias.

El axioma de elección se suele incluir en la mayoría de las teorías axiomáticas de conjuntos. Es de enorme importancia en la matemática moderna para la deducción de resultados en gran cantidad de sus ramas. Sin embargo, está sujeto a una gran controversia pues su aplicación permite algunas paradojas físicas como la de Banach-Tarski (es una afirmación, publicada en 1924, en la que una esfera puede ser dividida en 5 conjuntos no medibles de puntos los cuales se pueden reacomodar en dos esferas del mismo volumen). Para clarificar su naturaleza empezaremos con una definición.

Definición: Función de elección.
Sea un conjunto no vacío. Dada una familia no vacía de subconjuntos no vacíos de , se define una función de elección como una función de en tal que para cada de es un elemento de .

Es decir, una función de elección “escoge” un elemento de cada conjunto de una familia no vacía cualesquiera de conjuntos no vacíos.

Definición. Producto cartesiano.
Sea una familia no vacía de conjuntos no vacíos. El producto cartesiano de la familia es el conjunto de todas las funciones de elección definidas sobre dicha familia. Se notará por .

La existencia de funciones de elección (y en consecuencia de productos cartesianos cualesquiera) no se puede garantizar sin más. Esto es lo que pretende el axioma de elección.

Axioma de elección.El producto cartesiano de una familia no vacía de conjuntos no vacíos es no vacío.

De acuerdo con nuestras definiciones este axioma es equivalente al siguiente.

Primer axioma equivalente: Para cada familia no vacía de conjuntos no vacíos existe una función de elección.

En efecto, si es una familia no vacía de conjuntos no vacíos, el conjunto existe en virtud del axioma de la unión. Es obvio que cada es un subconjunto de . Cada función que cumpla que para todo es es una función de elección. La no vacuidad del producto cartesiano equivale a la existencia de al menos de una de estas funciones.

Existen otros enunciados equivalentes al axioma de elección, uno de los más conocidos es el siguiente.

Postulado de Zermelo. Sea una familia no vacía de conjuntos disjuntos no vacíos. Existe entonces un subconjunto de cuyo intersección con cada de la familia consta de un sólo elemento.

Pasemos a demostrar la equivalencia.

Teorema. El axioma de elección es equivalente al postulado de Zermelo.
Prueba. Sea una familia disjunta no vacía de conjuntos no vacíos y sea la unión de los elementos de dicha familia. Si suponemos que existe una función de elección , podemos formar el subconjunto de dado por

,

el cual será no vacío y cumplirá para cada . Esto prueba el postulado de Zermelo a partir del axioma de elección. Veamos el recíproco. Sea cierto el postulado de Zermelo y sea una familia no vacía de conjuntos no vacíos (no necesariamente disjuntos). Para cada de , definimos el conjunto y la familia resultará no vacía y formada por conjuntos no vacíos y disjuntos. Podemos pues aplicar el postulado de Zermelo para obtener un subconjunto de la unión tal que para cada de , la intersección

consta de un sólo elemento. Ahora bien, por definición de los , la intersección será de la forma , con para cada . Esto nos permite definir una función de elección sobre la familia , mediante para cada . Por tanto, el postulado de Zermelo implica el axioma de elección y esto termina nuestra demostración.

Como ya hemos indicado otro de los enunciados equivalentes al axioma de elección es el Lema de Zorn. Para definirlo damos antes una serie de nociones básicas sobre orden. Consideremos un conjunto , no vacío. Sabemos que una relación definida en es un orden parcial si es reflexiva, antisimétrica y transitiva. Un conjunto dotado de una relación de orden parcial se dice parcialmente ordenado y escribimos para indicar que los elementos e de están relacionados mediante el orden, leyéndose es menor o igual que . Si e son dos elementos de , se dice que son comparables si o bien . Un conjunto parcialmente ordenado donde todos sus elementos son comparables se dice que está totalmente ordenado.

En un conjunto parcialmente ordenado hay una serie de elementos distinguidos: minimales, maximales, cotas superiores e inferiores y máximos y mínimos. Ya hemos dado la definición de algunos de ellos (minimal y maximal) veremos las de los otros.

Se dice que un elemento de un conjunto parcialmente ordenado es cota superior de un subconjunto si para todo de es . En el caso de que verifique , para todo , se dice que es una cota inferior de . La existencia de cotas no está garantizada sin más. Si un conjunto tiene cotas superiores e inferiores se dice que está acotado superior e inferiormente o simplemente que está acotado.  Si una cota superior pertenece al conjunto que acota se dice entonces que es un máximo y si una cota inferior pertenece al conjunto que acota se dice entonces que es un mínimo.

Lema de Zorn.
Sea un subconjunto no vacío parcialmente ordenado. Si toda parte de totalmente ordenada tiene una cota superior en , entonces posee al menos un maximal.

Anuncios