Conjunto universal

De Wikipedia, la enciclopedia libre

(Redirigido desde Conjunto de todos los conjuntos )
Este artculo puede ser demasiado tcnica para la mayora de
los lectores a comprender . Por favor, ayuda mejorar este artculo
paraque sea comprensible para los no expertos , sin eliminar los
detalles tcnicos. La pgina de discusin puede contener
sugerencias.(noviembre de 2012)
Este artculo est sobre el mayor conjunto en algunas teoras de
conjuntos. Para una clase apropiada, vea universo (matemticas) . Ver el
significado en la teora de probabilidades, consulteespacio muestral .
En la teora de conjuntos , un conjunto universal es un conjunto que contiene
todos los objetos, incluido l mismo. [ 1 ] En la teora de conjuntos como suele
formulada, la concepcin de un conjunto de todos los conjuntos conduce a
una paradoja . La razn de esto radica en Zermelo 's axioma de la
comprensin : para cualquier frmula
conjunto

y establecer una , existe un

que contiene exactamente los elementos x de A que satisfacen existe. Si el

conjunto universal V exista y el axioma de la separacin que se le aplica,
entonces la paradoja de Russell se derivaran de
.
Ms en general, para cualquier conjunto A se puede demostrar que

no es un elemento de A .
Una segunda dificultad es que el conjunto de alimentacin del conjunto de
todos los conjuntos sera un subconjunto del conjunto de todos los conjuntos,
siempre que ambos existen. Esto est en contradiccin con el teorema de
Cantor de que el conjunto de alimentacin de cualquier grupo (ya sea infinito o
no) siempre tiene estrictamente mayor cardinalidad que el propio conjunto.
La idea de un conjunto universal parece intuitivamente deseable en la teora de
conjuntos de Zermelo-Fraenkel , sobre todo porque la mayora de las versiones
de esta teora se permite el uso de cuantificadores sobre todos los juegos
(ver cuantificador universal ). Esto es manejado por permitiendo mencin

cuidadosamente circunscrita de V y similares grandes colecciones como clases

apropiadas . En las teoras en las que el universo es una clase propia,
no es cierto porque las clases apropiadas no pueden ser elementos.
Contenido
[ ocultar ]

1 Las teoras del equipo con un conjunto universal

2 Vase tambin

3 Referencias

4 Bibliografa

[ editar ]Las teoras del aparato con un conjunto universal

Existen teoras establecidos conocidos por ser consistente (si la teora de
conjuntos usual es coherente) en la que el conjunto universal V existe
(y
es verdad). En estas teoras, Zermeloaxioma de separacin no se
cumple en general, y el axioma de la comprensin de la teora de conjuntos
ingenua se limita de una manera diferente.
La teora de los conjuntos ms ampliamente estudiado con un conjunto
universal es Willard Van Orman Quine 's nuevas fundaciones . Alonzo
Church y Oberschelp Arnold tambin public trabajos sobre teoras de
conjuntos tales. Iglesia especulado que su teora podra extenderse de una
manera consistente con Quine, [ 2 ] pero esto no es posible para Oberschelp, ya
que en ella la funcin singleton se reduce a un conjunto, [ 3 ] que conduce
inmediatamente a la paradoja en las nuevas fundaciones. [ 4 ]
Zermelo-Fraenkel teora de conjuntos y las teoras relacionadas con el juego,
que se basan en la idea de la jerarqua acumulativa , no tienen en cuenta la
existencia de un conjunto universal.
[ editar ]Vase tambin

Categora de conjuntos

No bien fundada teora de conjuntos

Paradoja de Russell

Universo (matemticas)