1

Construcci
on de Mazurkiewicz

Encontrar el artculo original de Mazurkiwicz no es facil, y menos leerlo en polaco, sin embargo
W. Sierpinski en su libro Cardinal and Oridnal Numbers (1965) enuncia lo siguiente:
Teorema 1.1 Existe un subconjunto del plano que tiene 2 y solo 2 puntos en com
un con
cualquier recta del plano.
Da los creditos de la demostracion a S. Mazurkiewicz, y dicho teorema (as como su demostracion forman parte del captulo de aplicaciones del Teorema de Zermelo: Todo conjunto
admite un bien orden) la demostracion es la siguiente:
Demostraci
on: Sabemos que el conjunto de todos los puntos en el plano tiene la potencia del continuo, as como el conjunto de todas las rectas del plano, sea un ordinal con la
potencia del continuo, y sean {p }< una secuencia transfinita de tipo formada por todos
los puntos del plano, y {S }< una secuencia transfinita de tipo formada por todas las
rectas del plano. Ahora definiremos una secuencia transfinita {q }< de tipo de puntos del
plano como sigue:
Denotamos por q1 el primer punto de la secuencia {q }< que descansa en la recta S1 ,se
un ordinal tal que 1 < < y supongamos que los puntos q ya han sido elegidos para
< . Sea Q el conjunto de los puntos q con < , en vista de que < entonces
la cardinalidad de Q es menor que la del continuo, as como la cardinalidad del conjunto
Q Q y tambien la cardinalidad del conjunto T , donde T es el conjunto de todas las
rectas que tienen al menos dos puntos en com
un con Q , como en n
umero de rectas del plano
es igual al del continuo se tiene que existen rectas que no pertenecen a T , entonces existe el
primer termino S de la secuencia {S }< con esta propiedad; denotemos por R al conjunto
de todos los puntos de interseccion entre la recta S y las rectas que estan en T , como cada
recta intersecta a S en a lo mas un punto y |T | < c entonces la cardinalidad de R es menor
a la del continuo, como |Q R| |Q | + |R| < c se tiene que S contiene puntos que no
pertenecen ni a Q ni a R, sea q el primer termino de {p }< con esta propiedad. As se
ha definido {q }< , denotemos por Q a este conjunto, entonces Q tiene 2 y solo 2 puntos en
com
un con cada recta del plano como se ve a continuacion:
1. Supongamos que existe una recta S del plano que tiene al menos 3 puntos en com
un con
Q, sean q1 , q2 , q3 dichos puntos, con 1 < 2 < 3 , entonces q1 Q3 y q2 Q3 y
por lo tanto S T3 , de la definicion de q3 se sigue que este no esta en ninguna recta
que pertenezca a T3 lo cual es una contradiccion, por lo tanto toda recta tiene a lo mas
dos puntos en com
un con Q.
2. Supongamos ahora que existen rectas con a lo mas dos puntos en com
un con Q y sea S
la primera de la secuencia {S }< con esta propiedad; sea un ordinal tal que > ,
como S es la primera recta que no pertenece a T y < , entonces S T entonces
S tiene al menos dos puntos en com
un con Q y por ende con Q (Q Q), pero esto
contradice la definicion de S .
Por lo tanto Q intersecta a cada recta del plano en 2 y solo 2 puntos.