Teorema de König (teoría de conjuntos)
En teoría de conjuntos, el teorema de König establece una desigualdad entre la suma y el producto de dos conjuntos de números cardinales, siempre que se cumpla el axioma de elección. Debe su nombre al matemático húngaro Gyula Kőnig.
Enunciado
El enunciado del teorema de König en términos de cardinales bien ordenados es:
|
La suma de cardinales Σi κi ha de entenderse como el cardinal de la unión disjunta de los κi, mientras que el producto Πi μi es el cardinal del producto cartesiano de los μi. La demostración del teorema asume el axioma de elección.
Equivalencia con el axioma de elección
El enunciado del teorema de König es equivalente al axioma de elección (en ZF), si se reformula sin hacer referencia a los cardinales bien ordenados, de la siguiente forma:
|
Asumiendo el axioma de elección, este enunciado es equivalente al anterior. Por otro lado, si se asume este enunciado, tomando como Ai una familia de conjuntos vacíos, se tiene que:
para cualquier familia de conjuntos no vacíos, que es precisamente una forma equivalente de enunciar el axioma de elección: el producto cartesiano de cualquier familia de conjuntos no vacíos es no vacío.
Referencias
- Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded) (en inglés). Springer. p. 54. ISBN 3-540-44085-2.
- Rubin, Herman; Rubin, Jean E. (1985). «7. Additional forms». Equivalents of the Axiom of Choice (en inglés). North Holland. ISBN 9780444533999. En el enunciado P 16 se demuestra la equivalencia con el axioma de elección.
Enlaces externos
- König's theorem. Artículo en PlanetMath.