Teoría de conjuntos 8 – Cardinales y ordinales.

Si tenemos un conjunto finito , ¿cómo haríamos para contar la cantidad de elementos que tiene el conjunto?

Una forma sería contar uno por uno los elementos hasta completar la totalidad de los mismos. La otra forma sería , dado un conjunto que sabemos la cantidad de elemento que tiene relacionar el primer elemento de un conjunto con el primero del otros, el segundo con el segundo, hasta el n-esimo.

Por ejemplo si tenemos una sala de teatro donde se venden entradas sin numerar, y no sabemos la cantidad de butacas disponibles, cada espectador que llega se sienta en alguna silla libre, el el momento que se ocupe la última silla sabremos que la sala está llena.

De esa forma sabremos que la cantidad de espectadores es igual a la cantidad de butacas.

Definiendo como al conjunto de las butacas y a las de los espectadores existirá una relación uno a uno entre cada elemento de con los de y de con los de . Es decir tendremos una relación biunívoca entre y . Cuando ocurre esa relación se dice que los conjuntos y con coordinables o tienen una relación de coordinabilidad. Es símbolos se expresa como .

Esta relación divide a los conjuntos en clases que son coordinables entre si. Esto permite definir una abstracción , el número cardinal.

Se puede demostrar que la relación de coordinabilidad es una relación de equivalencia.

Sea dos números cardinales , se dice que sigue a ( ) si siendo y dos conjuntos con cardinalidades y respectivamente , se dice que es coordinable con una parte de

Esta definición no depende de los representantes elegidos en las clases y .

Dos conjuntos tiene el mismo cardinal si pertenecen a la misma clase, o sea son coordinables entre si.

El cardinal del conjunto se denota como

Si el conjunto es finito y ordenado establecemos implícitamente una ordenación entre sus elementos, y el último se llama ordinal del conjunto.

Cualquiera sea la forma de contar los elementos de un conjunto finito llegaremos al mismo ordinal n (teorema de la invariancia del ordinal de un conjunto finito).

Construcción de ordinales

En el post sobre Relacion de orden se analizó detalles de los conjuntos ordenados y bien ordenados, en este apartado se describirá más detalles sobre los conjuntos bien ordenados.

Conjunto bien ordenado:

Sea un conjunto ordenado. Si , dicho elemento es el único que goza de tal propiedad, pues si

Definición: Sea un conjunto ordenado se dice que el elemento es el primer elemento de o el menor. Si para todo se verifica .

Principio del buen orden: Se dice que un conjunto ordenado está bien ordenado de si todo subconjunto no vacío tiene primer elemento. Se dice que la relación de orden es un buen orden en o que bien ordena a . En el conjunto de los números naturales ese elemento es el 1.

Principio de inducción: Sea un conjunto bien ordenado, y sea tal que:

• El primer elemento de es un elemento de .
• Para todo

El principio del buen orden implica el principio de inducción y el principio de inducción implica el principio del buen orden

Demostración: Supongamos que se verifica el principio de buena ordenación. Tomemos un subconjunto de los naturales no vacío, , de modo que dicho subconjunto cumpla dos condiciones: