PROFILPELAJAR.COM

En matemática, el teorema del buen orden establece que todo conjunto puede ser bien ordenado. Un conjunto X está bien ordenado por un orden estricto si todo subconjunto no vacío de X tiene un elemento mínimo bajo dicho orden. También se conoce como teorema de Zermelo y es equivalente al axioma de elección.^[1]^[2] Ernst Zermelo introdujo el axioma de elección como un "principio lógico irrefutable" para demostrar el teorema del buen orden. Esto es importante porque hace susceptible a todo conjunto a la poderosa técnica de inducción transfinita. El teorema del buen orden tiene consecuencias que pueden parecer paradójicas, como por ejemplo la paradoja de Banach–Tarski.

Historia

Georg Cantor consideró el teorema del buen orden como un "principio fundamental de pensamiento". La mayoría de los matemáticos sin embargo encuentran difícil visualizar un buen orden de, por ejemplo, el conjunto $\mathbb {R}$ de números reales. En 1904, Gyula Kőnig anunció haber demostrado que semejante buen orden no puede existir. Pocas semanas después, Felix Hausdorff detectó un error en la demostración. Aun así resultó que el teorema del buen orden es equivalente al axioma de elección, en el sentido de que cada uno junto con los axiomas de Zermelo-Fraenkel es suficiente para demostrar el otro, en lógica de primer orden (lo mismo aplica al lema de Zorn). En lógica de segundo orden, no obstante, el teorema del buen orden es más estricto que el axioma de elección: del teorema del buen orden se deduce el axioma de elección, pero del axioma de elección no se puede deducir el teorema del buen orden.^[3]

Enunciado e idea de la demostración

Para todo conjunto $X$ , existe un buen orden con dominio $X$ .

El teorema del buen orden se obtiene del lema de Zorn. Tómese el conjunto $A$ de todos los buenos órdenes de subconjuntos de $X$ : un elemento de $A$ es un par ordenado $(a,b)$ en el que $a\subset X$ y $b$ es un buen orden de $a$ . $A$ puede ser parcialmente ordenado a continuación. Eso implica, defínase $E\leqslant F$ si $E$ es un segmento inicial de F y el orden de los miembros de E es el mismo que su orden en $F$ . Si $E$ es una cadena en $A$ , la unión de los conjuntos de $E$ puede ordenarse de forma tal que lo transforma en una prolongación de cada conjunto de $E$ ; ese orden es un buen orden y, por tanto, una cota superior de $E$ en $A$ . Podemos, pues, aplicar el lema de Zorn para concluir que $A$ tiene un elemento maximal, por ejemplo ${\big (}M,R{\big )}$ . El conjunto $M$ debe ser igual a $X$ , porque si $X$ tiene un elemento $x\not \in M\Rightarrow M\cup {\big \{}x{\big \}}$ tiene un buen orden restringido a $R$ en $M$ , y para el cual $x$ es mayor que todos los elementos de $M$ . Este conjunto bien ordenado es una prolongación de ${\big (}M,R{\big )}$ , contradiciendo su maximalidad, de modo que $M=X$ . Por tanto $R$ es un buen orden de $X$ .^[4]

El axioma de elección puede deducirse del teorema del buen orden de la siguiente forma. Para crear una función de elección para una colección de conjuntos no vacíos, $E$ , tómese la unión de todos los conjuntos en $E$ y llámesela $X$ . Existe un buen orden de $X$ ; suponga que $R$ es tal orden. La función que a cada conjunto $S\in E$ le asocia el elemento más pequeño de $S$ , ordenado por (la restricción de $S$ a) $R$ es una función de elección para $E$ . Un punto esencial de esta deducción es que solamente hace referencia a una elección sencilla arbitraria, la de $R$ ; aplicar el teorema del buen orden a cada miembro $S\in E$ no funcionaría, ya que el teorema solo afirma la existencia de un buen orden, y elegir para todo miembro $S$ un buen orden no sería más fácil que escoger un elemento.

Véase también

Referencias

↑ Kuczma, Marek (2009). An introduction to the theory of functional equations and inequalities (en inglés). Berlin: Springer. p. 15. ISBN 3-7643-8748-3.
↑ Hazewinkel, Michiel (2001). Encyclopaedia of Mathematics: Supplement (en inglés). Berlin: Springer. ISBN 1-4020-0198-3
↑ Shapiro, Stewart (1991). Foundations Without Foundationalism: A Case for Second-Order Logic. (en inglés) New York: Oxford University Press. ISBN 0-19-853391-8
↑ Halmus, Paul (1960). Naive Set Theory (en inglés). Litton Educational