Axioma de elección
En teoría de conjuntos, el axioma de elección,[1] es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene un elemento de cada uno de aquellos. De manera informal, afirma que dada una colección de «cajas» con objetos dentro de ellas, es posible elegir un objeto de cada caja. Que este procedimiento puede llevarse a cabo es trivialmente cierto siempre que dicha familia sea finita, o cuando existe una regla bien determinada que permite «elegir» un único elemento de cada conjunto de ella. Sin embargo, el axioma es indispensable en el caso más general de una familia infinita arbitraria.
![](http://up.wiki.x.io/wikipedia/commons/thumb/c/cd/Axiome_du_choix.png/220px-Axiome_du_choix.png)
Fue formulado en 1904 por Ernst Zermelo, para demostrar que todo conjunto puede ser bien ordenado.[2][1] Aunque originalmente fue controvertido,[3][4][5] hoy en día es usado sin reservas por la mayoría de los matemáticos. Hay aún, sin embargo, especialmente en la teoría de conjuntos, corrientes de opinión que rechazan el axioma o que investigan consecuencias de otros axiomas inconsistentes con él.[6][7][8]
Enunciado
editarUna función de elección es una función donde su dominio es una familia de conjuntos no vacíos tal que, para todo conjunto en , es un elemento de . Con esta definición, podemos enunciar el axioma de la elección como:
El axioma de elección también se enuncia de maneras similares en las que el significado de "función de elección" varía ligeramente:[1][2]
|
Por el contrario, la negación del axioma de elección afirma que existe una familia de conjuntos —no vacíos— que no posee ninguna función de elección.
Uso
editarHasta finales del siglo XIX, el axioma de elección se usaba casi siempre implícitamente. Por ejemplo, después de demostrar que el conjunto X contenía solo conjuntos no vacíos, un matemático habría dicho "sea F(S) un elemento de S para todo S en X". Es en general imposible demostrar que F existe sin el axioma de elección, pero esto no fue notado antes de Zermelo.[5]
No siempre se requiere el axioma de elección.[3] Si X es finito, el "axioma" necesario se deduce de los otros axiomas de la teoría de conjuntos. En tal caso es equivalente a decir que si se tiene un número finito de cajas, cada una con al menos un objeto, se puede escoger exactamente un objeto de cada caja. Esto es evidente: se comienza en la primera caja, se escoge un objeto; se va a la segunda, se escoge un objeto; y así sucesivamente. Como solo hay finitas cajas, este procedimiento de elección se concluirá finalmente. El resultado es una función de elección explícita: una que a la primera caja le asigna el primer objeto elegido, a la segunda el segundo, etcétera. Una prueba formal para todo conjunto finito requeriría el principio de inducción matemática.
La dificultad aparece cuando no hay una elección natural de elementos de cada conjunto. Si no se pueden hacer elecciones explícitas, ¿cómo saber que existe el conjunto deseado? Por ejemplo, supóngase que X es el conjunto de todos los subconjuntos no vacíos de los reales. Primero se podría intentar proceder como si X fuera finito; pero si se intenta escoger un elemento de cada conjunto, como X es infinito, el procedimiento de elección no terminará nunca y nunca se podrá producir una función de elección para X. Luego se puede intentar el truco de tomar el elemento mínimo de cada conjunto; pero algunos subconjuntos de los reales, como el intervalo abierto (0,1), no tienen mínimo, así que esta táctica no funcionaría tampoco.
La razón por la que se podían escoger elementos mínimos de los subconjuntos de los naturales es que estos vienen ya bien ordenados: todo subconjunto de los naturales tiene un único elemento mínimo respecto al orden natural. Tal vez a este punto uno se sienta tentado a pensar: "aunque el orden usual de los números reales no funciona, debería ser posible encontrar un orden diferente que sea, este sí, un buen orden; entonces la función de elección puede ser tomar el elemento mínimo de cada conjunto respecto al nuevo orden". El problema entonces se "reduce" al de encontrar un buen orden en los reales, lo que requiere del axioma de elección para su realización: todo conjunto puede ser bien ordenado si y solo si vale el axioma de elección.[1]
Una demostración que haga uso del axioma de elección nunca es constructiva: aún si dicha demostración produce un objeto, será imposible determinar exactamente qué objeto es. En consecuencia, aunque el axioma de elección implique que hay un buen orden en los reales, no da un ejemplo. Sin embargo, la razón por la que se querría ordenar bien los reales era que, para cada conjunto de X, se pudiera escoger explícitamente un elemento; pero si no se puede determinar el buen orden usado, tal elección tampoco se podrá hacer explícita. Esta parece ser una de las razones por las que a algunos matemáticos les desagrada el axioma de elección; los constructivistas, por ejemplo, afirman que todas las pruebas de existencia deberían ser completamente explícitas, pues si existe algo, debe ser posible hallarlo (rechazan así el axioma de elección, pues afirma la existencia de un objeto sin decir qué es). Por otro lado, el solo hecho de que se haya usado el axioma de elección para demostrar la existencia de un conjunto, no significa que no pueda ser construido por otros métodos.
Independencia
editarDel trabajo de Kurt Gödel[10][4] y Paul Cohen [11] se deduce que el axioma de elección es lógicamente independiente de los otros axiomas de la teoría axiomática de conjuntos. Esto significa que ni el axioma de elección ni su negación, pueden demostrarse ciertos dentro de los axiomas de Zermelo-Fraenkel (ZF) si esa teoría es consistente.[12] En consecuencia, asumir el axioma de elección o su negación nunca llevará a una contradicción que no se pudiera obtener sin tal supuesto.
La decisión, entonces, de si es o no apropiado hacer uso de él en una demostración no se puede tomar basándose solo en otros axiomas de la teoría de conjuntos;[12] hay que buscar otras razones. Un argumento dado a favor de usar el axioma de elección es simplemente que es conveniente: usarlo no puede hacer daño (resultar en contradicciones) y hace posible demostrar algunas proposiciones que de otro modo no se podrían probar.
El axioma de elección no es la única afirmación significativa e independiente de ZF; la hipótesis del continuo generalizada (HCG), por ejemplo, no solo es independiente de ZF, además lo es de ZF con el axioma de elección (ZFE, o ZFC en inglés). Sin embargo, ZF más la HCG necesariamente implica el axioma de elección, con lo cual la HCG es estrictamente más fuerte que el axioma de elección, aunque ambos sean independientes de ZF.
Una razón por la que a los matemáticos no les agrada el axioma es que tiene por consecuencia la existencia de algunos objetos contra-intuitivos. Un ejemplo de ello es la paradoja de Banach-Tarski,[13] que expresa básicamente que es posible deconstruir una bola tridimensional en finitas partes, y usando solo rotación y translación, volver a construir dos bolas del mismo volumen que la original. La prueba, como todas las pruebas que involucran el axioma de elección, es solo de existencia: no dice cómo se debe cortar la esfera, solo dice que se puede hacer.
Por otro lado, la negación del axioma de elección es también extraña. Por ejemplo, la afirmación de que dados dos conjuntos cualesquiera S y T, la cardinalidad de S es menor, igual, o mayor que la de T es equivalente al axioma de elección. En otras palabras, si se asume la negación de este, hay dos conjuntos S y T de tamaño incomparable: ninguno se puede inyectar en el otro.
Una tercera posibilidad es probar teoremas sin usar ni el axioma ni su negación, una de las tácticas preferidas en matemáticas constructivas. Tales afirmaciones serán ciertas en cualquier modelo de ZF, independientemente de la certeza o falsedad del axioma de elección en dicho modelo. Esto hace que cualquier proposición que requiera el axioma de elección o su negación sea indecidible: la paradoja de Banach-Tarski,[13] por ejemplo, no se puede demostrar como cierta (pues no se puede descomponer la esfera de un modo no indicado) ni como falsa (pues no se puede demostrar que tal descomposición no exista). Ésta, sin embargo, se puede reformular como una afirmación sobre los modelos de ZF: "en todo modelo de ZF en el que valga el axioma de elección, vale también la paradoja de Banach-Tarski". Asimismo, todas las afirmaciones listadas abajo que requieren elección o alguna versión más relajada, son indecidibles en ZF; pero por ser demostrables en ZFE, hay modelos de ZF en los que sí serían ciertas.
Axiomas más fuertes
editarEl axioma de constructibilidad, igual que la hipótesis del continuo generalizada, implica el axioma de elección, pero es estrictamente más fuerte.
En teorías de clases, tales como la teoría de conjuntos de Von Neumann-Bernays-Gödel o la de Morse-Kelley, hay un posible axioma llamado axioma de elección global, que es más fuerte que el axioma de elección para conjuntos, pues se aplica también a clases propias.
Equivalentes
editarExiste un gran número de proposiciones importantes que, asumiendo los axiomas de ZF (sin el axioma de elección ni su negación), son equivalentes al axioma de elección, en el sentido de que de en cualquiera de ellas puede demostrarse dicho axioma y viceversa.[14] Entre los más importantes están el principio de buena ordenación de Zermelo y el lema de Zorn:
|
Formas más relajadas
editarHay varias proposiciones más relajadas que, aunque no equivalentes al axioma de elección, están fuertemente relacionadas. Como, por ejemplo:
- El axioma de elección numerable, que dice que toda colección numerable de conjuntos no vacíos, tiene función de elección. Esto normalmente basta para probar afirmaciones sobre los reales, por ejemplo, pues los números racionales, que son numerables, forman un subconjunto denso de los reales.
- El axioma de elección dependiente.
Resultados que requieren el axioma de elección (pero son más relajadas)
editarUno de los aspectos más interesantes del axioma de elección es el gran número de lugares en matemáticas en los que aparece. He aquí algunas afirmaciones que requieren el axioma de elección en el sentido de que no son demostrables en ZF pero sí en ZFE (de forma equivalente, estas son ciertas en todos los modelos de ZFE y falsas en algunos modelos de ZF):
- Teoría de conjuntos
- Toda unión de numerables conjuntos numerables es asimismo numerable.
- Si el conjunto A es infinito, existe una función inyectiva del conjunto de los naturales N a A.
- Teoría de la medida
- Existen subconjuntos de los reales que no tienen medida de Lebesgue (el conjunto de Vitali).
- La paradoja de Hausdorff.
- La paradoja de Banach-Tarski.
- Álgebra
- Todo cuerpo tiene clausura algebraica.
- Todo subgrupo de un grupo libre es también libre (teorema de Nielsen-Schreier).
- Los grupos aditivos R y C son isomorfos.[17]
- Teoría del orden:
- Todo conjunto puede ser linealmente ordenado.
- Álgebra de Boole
- Todo filtro en un álgebra de Boole puede ser extendido a un ultrafiltro.
- Análisis funcional
- El teorema de Hahn-Banach en análisis funcional, que permite la extensión de funcionales lineales.
- Todo espacio de Hilbert tiene una base ortonormal.
- El teorema de la categoría de Baire sobre espacios métricos completos, y sus consecuencias.
- En todo espacio vectorial topológico de dimensión infinita hay una función lineal discontinua.
- Topología
- Un espacio uniforme es compacto si y solo si, es completo y totalmente acotado.
- Todo espacio de Tychonoff tiene una compactificación de Stone-Čech.
Formas más fuertes del axioma de elección
editarAhora, se considerarán formas más fuertes de la negación del axioma de elección. Por ejemplo, la afirmación de que todo conjunto de números reales tiene la propiedad de Baire es más fuerte que ¬el axioma de elección, que niega la existencia de una función de elección en tal vez una sola colección de conjuntos no vacíos.
Resultados que requieren del axioma de elección
editarHay modelos de la teoría de Zermelo-Fraenkel en los que el axioma de elección es falso; en adelante se abreviará "teoría de conjuntos de Zermelo-Fraenkel más la negación del axioma de elección" por ZF¬E. En algunos modelos de ZF¬E es posible probar la negación de algunas propiedades comunes. Y puesto que un modelo de ZF¬E es también modelo de ZF, cada una de las siguientes afirmaciones es válida en algún modelo de ZF (suponiendo, como siempre, que ZF es consistente):
- Existe un modelo de ZF¬E en el que hay una función f de los reales en los reales que no es continua en a, pero para toda secuencia {xn} que converja a a, f(xn) converge a f(a).
- Existe un modelo de ZF¬E en el que el conjunto de los reales es una unión numerable de conjuntos numerables.
- Existe un modelo de ZF¬E en el que hay un cuerpo sin clausura algebraica.
- En todos los modelos de ZF¬E hay un espacio vectorial sin base.
- Existe un modelo de ZF¬E en el que hay un espacio vectorial con dos bases de cardinalidad diferente.
- Existe un modelo de ZF¬E en el que todo subconjunto de Rn es medible. Con esto es posible eliminar resultados contra-intuitivos como la paradoja de Banach-Tarski, que son demostrables en ZFE.
- En ningún modelo de ZF¬E vale la hipótesis del continuo generalizada.
Referencias
editar- ↑ a b c d Zermelo, E. (1 de diciembre de 1904). «Beweis, daß jede Menge wohlgeordnet werden kann». Mathematische Annalen (en alemán) 59 (4): 514-516. ISSN 1432-1807. doi:10.1007/BF01445300. Consultado el 1 de marzo de 2024.
- ↑ a b Zermelo, 1904
- ↑ a b Fraenkel, Abraham (1922). van Heijenoort, Jean, ed. The notion of “definite” and the independence of the axiom of choice (en inglés). Cambridge, Massachussets: From Frege to Gödel a source book in mathematical logic, 1879–1931. Harvard Univ. Press (publicado el 1967). pp. 284-289. ISBN 978-0-674-32449-7.
- ↑ a b Gödel, Kurt (1938-12). «The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis». Proceedings of the National Academy of Sciences (en inglés) 24 (12): 556-557. ISSN 0027-8424. PMC 1077160. PMID 16577857. doi:10.1073/pnas.24.12.556. Consultado el 1 de marzo de 2024.
- ↑ a b Moore, Gregory H. (20 de septiembre de 2012). Zermelo's Axiom of Choice: Its Origins, Development, and Influence (en inglés). Courier Corporation. ISBN 978-0-486-48841-7. Consultado el 1 de marzo de 2024.
- ↑ Scott, Dana S.; Jech, Thomas J. (31 de diciembre de 1971). Axiomatic Set Theory, Part 1 (en inglés). American Mathematical Soc. ISBN 978-0-8218-0245-8. Consultado el 1 de marzo de 2024.
- ↑ Makkai, M. (22 de abril de 1996). «Avoiding the axiom of choice in general category theory». Journal of Pure and Applied Algebra 108 (2): 109-173. ISSN 0022-4049. doi:10.1016/0022-4049(95)00029-1. Consultado el 1 de marzo de 2024.
- ↑ Hrbacek, Karel; Katz, Mikhail G. (1 de junio de 2021). «Infinitesimal analysis without the Axiom of Choice». Annals of Pure and Applied Logic 172 (6): 102959. ISSN 0168-0072. doi:10.1016/j.apal.2021.102959. Consultado el 1 de marzo de 2024.
- ↑ Para estas equivalencias, véase Jech, 1973, §2, y Herrlich, 2006, §1 y §2. Un gran número de equivalentes puede encontrarse en Rubin y Rubin, 1985.
- ↑ Gödel, 1938 y otros.
- ↑ Cohen, Paul J. (1963-12). «THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS». Proceedings of the National Academy of Sciences (en inglés) 50 (6): 1143-1148. ISSN 0027-8424. PMC 221287. PMID 16578557. doi:10.1073/pnas.50.6.1143. Consultado el 1 de marzo de 2024.
- ↑ a b Gödel, Kurt (1 de diciembre de 1931). «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I». Monatshefte für Mathematik und Physik (en alemán) 38 (1): 173-198. ISSN 1436-5081. doi:10.1007/BF01700692. Consultado el 1 de marzo de 2024.
- ↑ a b Banach, Stefan; Tarski, Alfred (1924). «Sur la décomposition des ensembles de points en parties respectivement congruentes». Fundamenta Mathematicae 6 (1): 244-277. ISSN 0016-2736. Consultado el 1 de marzo de 2024.
- ↑ Ver Rubin y Rubin, 1985.
- ↑ Estas equivalencias pueden encontrarse, salvo que se indique otra referencia, en Jech, 1973 y en Herrlich, 2006 (algunas aparecen como ejercicios).
- ↑ El enunciado concreto que es equivalente al axioma de elección no habla de cardinales. Véase Rubin, Herman; Rubin, Jean E. (1985). «7. Additional forms». Equivalents of the Axiom of Choice (en inglés). North Holland. ISBN 7204-2225-6
|isbn=
incorrecto (ayuda). - ↑ [FOM] Are (C,+) and (R,+) isomorphic
Bibliografía y referencias recomendadas
editar- Felgner, Ulrich (1971). Models of ZF-Set Theory. LNM (en inglés). Heidelberg: Springer.
- Gödel, Kurt (1938). «The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis». Proceedings of the National Academy of Sciences, U.S.A. (en inglés) 24: 556−557.
- Herrlich, Horst (2006). Axiom of choice (en inglés). Springer-Verlag. ISBN 978-3-540-30989-5.
- Hrbacek, Karen; Jech, Thomas (1999). Introduction to set theory (en inglés) (3a. edición). New York: Marcel Dekker.
- Jech, Thomas (1973). The Axiom of Choice (en inglés). Amsterdam: North-Holland. ISBN 0-7204-2275-2.
- Jech, Thomas (2006). Set theory (en inglés) (3a. edición). Berlin: Springer. ISBN 3-540-44085-2.
- Kunen, Kenneth (1980). Set theory: an introduction to independence proofs (en inglés). Amsterdam: Elsevier. ISBN 0-444-86839-9.
- Levy, Azriel (2002). Basic set theory (en inglés). Mineola, New York: Dover.
- Rubin, H.; Rubin, J.E. (1985). Equivalents of the Axiom of Choice, II (en inglés). Amsterdam: North-Holland. ISBN 0-444-87708-8.
- Van Heijenoort, Jean (1967). From Frege to Gödel: a source book in mathematical logic, 1879−1931 (en inglés). Cambridge, Massachusetts: Harvard University Press. ISBN 0-674-32449-8.
- Zermelo, Ernst (1904). «Beweisß, da jede Menge wohlgeordnet werden kann» [Demostración de que todo conjunto puede ser bien ordenado]. Mathematische Annalen (en alemán) 59 (4): 514−516. doi:10.1007/BF01445300. Reimpreso con traducción al inglés en Zermelo, 2010, pp. 114-119, y traducción al inglés en van Heijernoort, 1967, pp. 139-141.
- Zermelo, Ernst (1908). «Untersuchungen über die Grundlagen der Mengenlehre. I». Mathematische Annalen (en alemán) 65 (2): 261−281. Reimpreso con traducción al inglés en Zermelo, 2010, pp. 188-229, y traducción al inglés en van Heijernoort, 1967, pp. 199-215.
- Zermelo, Ernst (2010). Collected Works — Gesammelte Werke (en alemán y inglés) I. Heinz-Dieter Ebbinghaus (ed.). Heidelberg: Springer. ISBN 978-3-540-79383-0.