I’m moving to the comfort of a self-hosted blog.
Now you can find me at p.sanchezterraf.com.ar
See you there!
I’m moving to the comfort of a self-hosted blog.
Now you can find me at p.sanchezterraf.com.ar
See you there!
Abstract. This is the first post of a series concerning ordinals. I start by motivating their need by means of Cantor-Bendixson derivative, and then develop some of the basic concepts (induction, recursion, arithmetic).
Comenzaré discutiendo una operación sobre los subconjuntos de un espacio topológico. Es en algún sentido dual a la clausura, porque en vez de agrandar, achica.
Una Derivada Topológica.
Definición 1 Sea
espacio topológico. La derivada de Cantor-Bendixson de
es
.
De hecho, aplicar la clausura a un conjunto le agrega todos los puntos de acumulación, y aplicarla a un conjunto cerrado no hace nada. En cambio, la derivada de Cantor-Bendixson sólo deja los puntos de acumulación y se puede aplicar varias veces y obtener cosas distintas cada vez. Para no escribir cosas como , definimos:
Notemos que esta derivada es decreciente, y que cualquiera sea
,
es cerrado.
Ejercicio 1 Probar lo anterior, y encontrar
tal que
y
sean distintos. (¿Y que
? ¿Etcétera?)
En general, para cada , hay subconjuntos
de los reales tales que todos los
son distintos con
. Más aún, hay un
tal que
es una sucesión infinita estrictamente decreciente.
Tomando como símbolo greco-judeo-cristiano de infinito, podríamos definir
¿Se puede seguir aplicando ? ¿Obtenemos algo nuevo? Sí: existe un subconjunto cerrado
de
tal que
para todo
y
. Definimos entonces
G.~Cantor vio que en un espacio topológico general, este proceso podría aplicarse indefinidamente, e indizó este proceso con los ordinales.
Los ordinales son las “formas posibles” (tipos de isomorfismo) de cierta clase de conjuntos (totalmente) ordenados, los buenos órdenes.
Buenos órdenes.
Definición 2 Un conjunto bien ordenado
es un conjunto
con una relación de orden (total)
tal que todo
no vacío tiene elemento mínimo según
:
En este caso decimos que
es un buen orden (sobre
).
El ejemplo paradigmático de conjunto bien ordenado es . Otros ejemplos son los siguientes (Fraenkel, [Fra61]):
, donde
coincide con la relación
para pares de números no negativos, se invierte para pares de números negativos, y estipula que todos los números negativos son mayores que todos los positivos:
El siguiente es un buen orden sobre :
También, de manera trivial, todo conjunto finito totalmente ordenado es un buen orden (incluimos en este caso al conjunto vacío). En nuestra definición estamos suponiendo que el orden corresponde a una relación de “menor o igual”. Para referirnos al orden estricto usaremos a veces
y en general también diremos que
es un buen orden (como es usual,
si y sólo si
y
).
Se sigue de la definición que si es un buen orden entonces para todo
,
está bien ordenado. Se obtiene fácilmente:
Proposición 3
está bien ordenado si y sólo si no existen sucesiones estrictamente
-decrecientes infinitas.
Cuidado: la prueba, aunque “obvia”, necesita del axioma de elección.
Finalmente, para decir que dos órdenes tienen la misma forma, necesitamos la siguiente
Definición 4 Un isomorfismo entre dos conjuntos ordenados
y
es una función biyectiva
tal que
. Decimos que
y
son isomorfos si hay un isomorfismo entre ellos.
Ejercicio 2 Sea
el siguiente orden en
:
, o bien si
y
Convencerse de que
es isomorfo al orden de arriba sobre
.
Ejercicio 3 Encontrar 4 buenos órdenes no isomorfos a los anteriores (y no isomorfos entre sí).
…Continuará
Bibliografía
[Fra61] Abraham A. Fraenkel. Abstract Set Theory. Studies in Logic and Foundations of Mathematics. North-Holland, Amsterdam, second edition, 1961.
Abstract. Just introducing the ZFC axioms very briefly, with a slight hint of what first-order logic is.
Se afirma que toda la Matemática se puede basar en la Teoría de Conjuntos. No voy a dedicar este post a justificar esta afirmación (quizá es un tema que se puede discutir en los comentarios a esta nota), sino simplemente voy a enumerar las propiedades de los conjuntos que permiten que esto pase.
Los axiomas que voy a introducir se conocen por los apellidos de Zermelo, Fraenkel y se incluye en su nombre explícitamente a uno de ellos (el de elección, o Axiom of Choice (AC) en inglés); para acortar ponemos ZFC.
La mayor parte de estos axiomas dan cuenta de operaciones “obvias” de construcción de conjuntos, o bien propiedades de clausura de los mismos. Hay uno, que quizá algún lector no conozca, que va en la dirección contraria. Seré deliberadamente vago (como en muchos aspectos de mi vida) con algunos detalles de la presentación, pero quisiera que estos mismos descuidos motiven (indignen) lo suficiente como para que la persona lectora pueda consultar (increpar) en los comentarios. Un ejemplo de esta vaguedad es que las fórmulas que formalizan los axiomas quizá dicen más, o ligeramente otra cosa, que los enunciados textuales; otro, que no defino algunos símbolos ( es uno de ellos).
Quería cometer un último acto de vaguedad al no hablar del lenguaje en el que estoy expresando los axiomas, pero hay dos de ellos que piden a gritos que uno sea preciso al respecto. Antes de satisfacer esta necesidad, sólo diré provisoriamente que se leen, respectivamente, “no”, “y”, “ó”, “implica”, “si y sólo si”. En la enumeración que sigue, todas las variables se refieren a conjuntos.
Tanto el axioma de Separación como el de Reemplazo son realmente listas de axiomas, uno para cada y
, respectivamente. Y ambos requieren que uno defina qué significa ser definible. En nuestro caso, una propiedad
será definible si se puede expresar usando los símbolos que usamos para escribir los axiomas: los conectivos proposicionales, los cuantificadores
y
, la igualdad
, el símbolo de pertenencia
y variables (éste es el lenguaje de la lógica de primer orden. Por ejemplo, la propiedad “
es el singulete
” es una propiedad definible
de pares, puesto que se puede escribir
De hecho, también es (el gráfico de) una función definible. Esto es cierto gracias al axioma de Extensionalidad: supongamos que hay
tales que
y
. Pero eso quiere decir que, para cada
,
y entonces . Notemos un punto importante, que
define una función módulo los axiomas de la teoría ZFC; en muchas ocasiones es crucial saber específicamente cuáles son los que necesito para tener probar “buena definición”.
Me despido con algunos ejercicios, habiendo pasado el límite razonable de cantidad de palabras.
This is my very first post.
Plans for the next few months: expository posts on 6 or 7 results (hope interesting enough), and maintain some discussion on basic set theory, aiming to develop this area in the neighboring region of my university (this will probably be in Spanish, and if times permits, also in English).