Princípio maximal de Hausdorff
O princípio maximal de Hausdorff, em matemática, é uma forma alternativa e anterior ao Lema de Zorn demonstrada pelo matemático alemão Felix Hausdorff em 1914. Ele estabelece que em qualquer conjunto parcialmente ordenado, todo subconjunto totalmente ordenado está contido em um subconjunto totalmente ordenado maximal.
O princípio maximal de Hausdorff é uma das afirmações equivalentes ao axioma da escolha sobre o ZF (Axiomas de Zermelo-Fraenkel sem o axioma da escolha). Ele também é conhecido como lema de Kuratowski.
Enunciado
O princípio maximal de Hausdorff afirma que, em qualquer conjunto parcialmente ordenado, todo subconjunto totalmente ordenado está contido em um subconjunto totalmente ordenado maximal. O conjunto maximal produzido em geral não é único; pode haver inúmeros subconjuntos ordenados contendo um subconjunto totalmente ordenado.
Uma forma equivalente do princípio é que todo conjunto parcialmente ordenado existe um subconjunto maximal totalmente ordenado.
Para provar o que segue em sua forma original, seja A um poset. Então, é um subconjunto totalmente ordenado de A, então existe um subconjunto maximal totalmente ordenado contendo , em particular A contém um subconjunto maximal totalmente ordenado.
Para a direção contrária, seja A um conjunto parcialmente ordenado e T um subconjunto totalmente ordenado de A. Então
é parcialmente ordenado pela inclusão , e portanto contém um subconjunto maximal totalmente ordenado P. Dessa forma, o conjunto satisfaz as propriedades desejadas.
A prova do princípio maximal de Hausdorff é equivalente ao lema de Zorn é análoga.
Exemplos
Se (x0, y0) e (x1, y1) são dois pontos do plano ℝ2, defina (x0, y0) < (x1, y1).
se y0 = y1 e x0 < x1. Essa é uma ordenação parcial de ℝ2onde dois pontos são comparáveis apenas se estão na mesma linha horizontal. Os conjuntos maximais totalmente ordenados são linhas horizontais em ℝ2.
Referências
- John Kelley (1955), General topology, Von Nostrand.
- Gregory Moore (1982), Zermelo's axiom of choice, Springer.
- James Munkres (2000), Topology, Pearson.
Ligações externas
- «ZERMELO–FRAENKEL SET THEORY» (PDF). , por James T. Smith, San Francisco State University
Portal da matemática