El colapso de Mostowski.

Naim Nuez Morales.

Resumen
El hilo conductor de estas notas ser la bsqueda de ciertas condiciones en una estructura relacional a, r para encontrar un conjunto bien
fundado b que, con la pertenencia, sea isomorfo a aquel. De hecho, lo vamos a hacer con clases, con ayuda del EGR/RBF (Visiten el tema).

El ltimo teorema que vimos1 nos asegura que todas las estructuras
relacionales tienen una estructura isomorfa en BF. Un ejemplo sencillo
que podemos hacer rpidamente es (sin importar quien sea a):

a ,
= ; ,;

Sin embargo, cuando el conjunto no es nito, no tenemos, de principio,

la seguridad de que la relacin que obtengamos sea
la pertenencia (en
el par de la derecha, la pertenencia restringida a ; es el vaco).
Procediendo como matemticos de arte, tomamos una estructura relacional a, r y vamos a suponer que existe tal conjunto b para el que
a, r
= b, b 2

Como son isomorfos (preserva y reeja relaciones), obtenemos que:

1. r debe bien fundar a a, pues un [iso]morsmo respeta minimales. As
a, r COBF

2. r debe ser izquierda limitada, por que una funcin inyectiva manda
clases en clases.
1 Vanse
2

las notas anteriores N_0.3. . .

a = a2 .

Teora de Conjuntos III.

Naim Nuez Morales.

La primera condicin es la que nos remite al EGR/RBF y como ambas condiciones se pueden generalizar a clases, aumentaremos la apuesta y nos preguntaremos si (para clases A y R A A ) estas condiciones
bastan para emular a la estructura dentro de BF:
Sea A una clase y R A A una relacional bien fundada e izquierda
limitada sobre A . Se puede asegurar la existencia de una clase
B BF y una funcional
F : A B biyectiva
tal que

x, y A xR y F ( x) F ( y) ?
En la bsqueda de la respuesta, iremos con la funcional que se obtiene mediante la siguiente modicacin del EGR/RBF 3 . Ya tenemos a R ,
a A ,nos falta dar una funcional G : V V . . . Usemos a la identidad.
As las cosas hay una nica funcional : A V tal que

x A ( x) = G ( [ xR ]) = [ xR ]

Dicho llanamente

( x) = ( y) : y R x

A le llamamos la funcional de colapso de A, R y denotamos a [ A ]

como M .
Ejemplo 1. Veamos un ejemplo que ya vimos en otro contexto:

;

Figura 1: La funcional ni es inyectiva ni reeja relaciones.

TAREA. Demuestre esta versin a partir de la versin dada por El Profesor.

Teora de Conjuntos III.

Naim Nuez Morales.

Proposicin 1 ((Pre)colapso). Sea A una clase y R A A . Si R es bien

fundada e izquierda limitada sobre A , entonces la funcional : A V
construida con anterioridad tiene las siguientes caractersticas:

x, y A xR y ( x) ( y) (monotona).
M := [ A ] es una clase transitiva.
M := [ A ] BF.
Demostracin. La monotona es directa, por la construccin de y la
transitividad hace uso de que R A A .

Para el ltimo tem, hay que probar que x A ( x) BF .

Procedamos por induccin para RBF. Basta probar que

x A y y R x ( y) BF ( x) BF

Supongamos que y xR ( y) BF. As, [ xR ] BF.

Como BF es supertransitiva, [ xR ] BF.
Luego, por construccin del colapso, ( x) BF.

En la gura 1 vemos que no es ni inyectiva no reeja relaciones. Sin

embargo, como en M estamos usando la pertenencia, ah los predecesores
determinan a un elemento, es lgico pedir eso mismo a R .
Definicin 1. Sea A clase y R una relacional sobre A . Decimos que R
es extensional [sobre A] si y slo si

x, y A xR = yR x = y

Ejemplo 2.

Si a, r COTO, r es extensional.

Lo anterior no es cierto para rdenes parciales.

no siempre es extensional, como en {{;} , {{{;}}}}.
Si A es transitiva, si es extensional en A .

Teora de Conjuntos III.

Naim Nuez Morales.

Observaciones. En clase, hubo comentarios de que esta condicin era

muy fuerte, pues pareca que R recticaba o linealizaba a A , pero
esto no necesariamente es cierto:
c

Figura 2: Una relacion bien fundada que no linealiza a su campo.

Lema 3. Bajo las mismas hiptesis de la proposicin anterior, LSESE:
i. R es extensional sobre A .
ii. : A M es biyeccin y adems:

x, y A x R y ( x) ( y)

Demostracin. Veamos:
(ii = i) Sean x, y A .
xR = yR = [ xR ] = [ yR ] ( x) = ( y)

Como es inyectiva, la ltima igualdad implica que x = y.

(i = ii) Armamos que

x A y A ( x) = ( y) xR = yR
|
{z
}

(1)

( x )

Con esta ecuacin se prueba facilmente la inyectividad de : Si

( x) = ( y), entonces xR = yR . Como R es extensional, x = y.
Para probar que es isomorsmo, solo falta probar el regreso.
Sean x, y A tales que ( x) ( y). Directamente no se puede armar
Teora de Conjuntos III.

Naim Nuez Morales.

5
que x R y, pues nada asegura que no nos pase algo como lo ilustrado
en la gura 1.
Por construccin de , hay z R y tal que ( z) = ( x). Por inyectividad,
x = z y ahora si ( x) ( y). Este argumento se usa en prueba de la
armacin 1.
Ahora solo resta probar la armacin. Nos basta demostrar que 4

x A y y R x ( y) ( x)

Sea x A y supongamos que es inyectiva en xR

Para probar ( x), sea x A tal que ( x) = ( z). Mostraremos que

xR zR .
Sea w xR . Como es montona, (w) ( x) = ( z)6 . Por construccin de , hay u R z tal que (w) = ( u). Por hiptesis inductiva y
extensionalidad, u = w. Por tanto w R z.
La otra contencin es anloga, por lo que se da la igualdad requerida.

Ahora si, ya hemos reunido todas las piezas para el resultado que
buscabamos.
Teorema 4 (Teorema del Colapso (transitivo) de Mostowski). Sea A una
clase y R A A una relacional bien fundada, extensional e izquierda
limitada sobre A . Bajo tales hiptesis se tiene que:
Existe una nica M BF transitiva y una nica : A M biyectiva
tal que:

x, y A x R y ( x) ( y)
(2)
Demostracin. Sea M BF transitiva y sea : A M biyectiva que
satisface (2). Para probar la unicidad hay que mostrar que se comporta
como la que obtuvimos antes, es decir;

x A ( x) = ( y) : y R x
4 Si,

es induccin para relacionales bien fundadas. . .

que, efectivamente, eso es lo que arma la Hiptesis de Induccion.
6 Aqu es donde volvemos a usar el argumento que dejamos claro que repetiramos

5 Vea

Teora de Conjuntos III.

Naim Nuez Morales.

6
Por monotona.
c ( x) = c M .

Como es sobre M , hay w A tal que (w) = c.

Por tanto, (w) ( x). Pero es isomorsmo, luego w R x.
As las cosas, =

Una aplicacin fcil es el siguiente ejemplo.

Ejemplo 5. Todo conjunto bien ordenado es isomorfo a un nico ordinal.
Corolario 6. Se dejan los siguientes resultados de TAREA.
1. Si A BF es extensional, A es isomorfa a una nica clase transitiva.
2. Si A, B BF son transitivas y A
= B (con la pertenencia), entonces
A = B.
3. Si A BF es transitiva, la nica funcional de A en s misma que
preserva es la Identidad.

Teora de Conjuntos III.

Naim Nuez Morales.