Axioma de unión

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En teoría de conjuntos, el axioma de unión es un axioma que postula que la unión de una colección de conjuntos cualesquiera existe.

Enunciado[editar]

El axioma de unión afirma sencillamente que la unión de una familia de conjuntos —el conjunto que contiene todos los elementos de cada conjunto de la familia— existe:

Axioma de unión

\forall A\exist X: \forall Y,Y\in X\Leftrightarrow \exist B\in A: Y\in B

En palabras: «para cada conjunto A existe otro, X, compuesto exactamente por los elementos de los elementos de A». Esto permite hablar con propiedad de la unión de un conjunto —la unión de todos sus elementos—:

\bigcup A =X|\forall Y, Y\in X\Leftrightarrow\exist B\in A,Y\in B

La unión de dos conjuntos —o un número finito cualquiera— es un caso particular de esta construcción:

A\cup B=\bigcup \{A,B\}

y, adoptando el axioma del par, existe siempre.

Consistencia relativa[editar]

El axioma de unión (AU) es completamente independiente del resto de axiomas de Zermelo-Fraenkel (ZF). En la gran mayoría de los modelos de ZF que se construyen AU es cierto, por lo que es consistente con el resto de axiomas. Por otro lado, existen modelos de ZFC (incluyendo el axioma de elección) en los que el axioma de unión es falso, por lo que no puede demostrarse del resto de ZFC (ni del resto ZF en particular).

Véase también[editar]

Referencias[editar]

  • Oman, Greg (2009). «On the axiom of union» (en inglés). Archive of Mathematical Logic 49 (3):  pp. 283-289. doi:10.1007/s00153-009-0163-1.  En este artículo se presenta una demostración de la independencia del axioma de unión.