Teoría de conjuntos de Von Neumann-Bernays-Gödel
La teoría de conjuntos de von Neumann-Bernays-Gödel (denotada NBG) es una teoría de conjuntos axiomática. Su noción primitiva es la de clase, en lugar de conjunto como en la teoría de Zermelo-Fraenkel (denotada ZF). A diferencia de otras teorías de conjuntos, NBG es finitamente axiomatizable.
Ontología
Siendo una teoría de conjuntos, las nociones primitivas de NBG son clase Plantilla:Math y pertenencia Plantilla:Math. Sin embargo, aun cuando las clases retienen su significado como «colecciones de objetos», se reserva la palabra conjunto para un tipo especial de clases con una propiedad adicional: Plantilla:Definición A las clases que no son conjuntos se las denomina clases propias. Entre las clases propias se encuentran la clase universal Plantilla:Math, la clase de todos los ordinales Plantilla:Math, etc. Sin embargo, los axiomas de NBG postulan algunas propiedades sólo para conjuntos —no para cualquier clase— , de tal modo que en NBG se evitan las clásicas paradojas de la teoría de conjuntos.
Axiomas
Notación
En los axiomas de NBG se distingue entre clase y conjunto, y habitualmente se utilizan letras minúsculas para especificar conjuntos: Plantilla:Definición
Axiomas generales
El primer grupo de axiomas es básicamente equivalente a sus correspondientes versiones en ZF.
- Extensionalidad. Dos clases son iguales si y sólo si tienen los mismos elementos.
- Par. Dados dos conjuntos existe un tercero que los contiene sólo a ambos:
- Unión. Dados dos conjuntos, existe un tercero que contiene a los elementos de ambos:
- Conjunto vacío. Existe un conjunto sin elementos:
- Reemplazo. Dada una clase Plantilla:Math que sea una función, la imagen de un conjunto cualquiera por Plantilla:Math es también un conjunto:[1]
Plantilla:Ecuación Esta formulación del axioma de reemplazo está comprendida en una única sentencia, a diferencia de la formulación habitual en ZF que es un esquema axiomático.
Axiomas de formación de clases
NBG tiene la propiedad particular de ser finitamente axiomatizable, esto es, puede establecerse con un número finito de axiomas. ZF no comparte esta propiedad, pues su axioma de reemplazo es en realidad un esquema axiomático, una afirmación del tipo: «Dada una fórmula Plantilla:Math la siguiente sentencia es un axioma de ZF...». En NBG también puede utilizarse un esquema de formación de clases a partir de una fórmula dada, pero es posible demostrar dicho esquema a partir de una colección finita de casos particulares:[2]
- Intersección. Dadas dos clases existe una tercera que contiene los elementos comunes a ambas:
- Complemento. Dada una clase existe otra que contiene todos conjuntos que no están en la primera:
- Pertenencia. Existe la clase de la relación binaria de pertenencia entre conjuntos:
- Dominio. El dominio —entendido en el sentido del dominio de una función— de una clase siempre existe:
- Producto cartesiano. Dada una clase Plantilla:Math, existe otra que contiene todos los pares ordenados con primeros elementos en Plantilla:Math:
Y por último dos axiomas que permutan las n-tuplas ordenadas de una clase dada de diversas maneras:
- Permutación 1.
- Permutación 2.
De este modo, combinando estos «casos particulares» con los axiomas generales puede demostrarse un esquema axiomático para fórmulas que hablen solamente de conjuntos: Plantilla:Teorema
Si se prescinde de estos axiomas y en su lugar se adopta el esquema de formación de clases, se obtiene una axiomatización alternativa de NBG, pero no finita. Si se elimina de estos axiomas la restricción a fórmulas sin variables de clase cuantificadas se obtiene la teoría de conjuntos de Morse-Kelley.
Axiomas adicionales
Además de estos axiomas iniciales, es necesaria una serie de axiomas para que la teoría de conjuntos contenga los aspectos estándar que se usan en la matemática.
- Partes. Dado un conjunto, existe otro formado por la totalidad de los subconjuntos del primero:
- Infinito. Existe un conjunto inductivo:
- Regularidad. Toda clase no vacía contiene una clase disjunta consigo misma:
El axioma de elección puede añadirse también a la lista:
- Elección. Dado un conjunto, existe una función de elección sobre sus elementos no vacíos:[1]
Véase también
Bibliografía y referencias
Enlaces externos
Plantilla:Control de autoridades
- ↑ 1,0 1,1 Plantilla:Math, Plantilla:Math y Plantilla:Math son abreviaturas para denotar «Plantilla:Math es una función», «el dominio de Plantilla:Math» y «la imagen de Plantilla:Math». Como es habitual en teoría de conjuntos, una función se define de forma extensiva como una clase de pares ordenados en la que no se repiten primeras componentes.
- ↑ Estos son los axiomas de formación de clases recogidos en Plantilla:Harvsp.