- Teoría de conjuntos de Von Neumann-Bernays-Gödel
-
La teoría de conjuntos de von Neumann-Bernays-Gödel (NBG) es una teoría de conjuntos axiomática. Su noción primitiva es la de clase, en lugar de conjunto como en ZF. A diferencia de otras teorías de conjuntos, NBG es finitamente axiomatizable.
Contenido
Ontología
Siendo una teoría de conjuntos, las nociones primitivas de NBG son clase X y pertenencia ∈. 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.
En NBG, la designación conjunto se le da a las clases que son elementos de alguna otra clase:
A las clases que no son conjuntos se las denomina clases propias.
Este es el modo mediante el cual NBG evita las clásicas paradojas de la teoría de conjuntos.
Axiomas
Notación
En los axiomas de NBG se distingue entre clase y conjunto. Se utilizan letras minúsculas para especificar conjuntos:
Se utilizan las notaciones habituales para subconjunto, clase unívoca y función:
Axiomas generales
Este 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. Dado un conjunto x y una clase unívoca A, existe el conjunto dado por la imagen de x por A:
- De este axioma se demuestra un teorema más intuitivo:
Si F:A→B es una función suprayectiva y A es un conjunto, entonces B también lo es.
Axiomas de formación de clases
NBG tiene la propiedad particular de ser finitamente axiomatizable, esto es, puede definirse con un número finito de axiomas. ZF no comparte esta propiedad, pues uno de sus axiomas es en realidad un esquema axiomático, una afirmación del tipo: "Dada una fórmula φ(x) la siguiente sentencia es un axioma de ZF...". En NBG basta con axiomatizar un número finito de ejemplos.
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 de una clase siempre existe:
Producto cartesiano. Dada una clase X, existe otra que contiene todos los pares ordenados con primeros elementos en X:
Y por último tres axiomas que permutan las n-tuplas ordenadas de una clase dada de diversas maneras:
Permutación 1.
Permutación 2.
Permutación 3.
De este modo, combinando estos "casos particulares" con los axiomas generales puede demostrarse un esquema axiomático para fórmulas normales (que hablan solamente de conjuntos):
Esquema de formación de clases
Dada una fórmula normal φ(xi) con cualesquiera variables libres, la expresión
es un teorema de NBG.
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 normales 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 biyectable con un subconjunto propio de sí mismo:[1]
Otro enunciado equivalente a este que también suele adoptarse es el que asegura la existencia de conjuntos inductivos:
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:
Referencias
- ↑ Se utilizan las notaciones habituales para dominio y recorrido de una función:
Bibliografía
- Ivorra, Carlos, Lógica y teoría de conjuntos, http://www.uv.es/ivorra/Libros/Logica.pdf, consultado el 1-1-2011.
- Mendelson, Elliott (1997) (en inglés). Introduction to Mathematical Logic. Chapman & Hall. ISBN 0-412-80830-7.
- Este artículo fue creado a partir de la traducción del artículo Von Neumann–Bernays–Gödel set theory de la Wikipedia en inglés, bajo licencia Creative Commons Atribución Compartir Igual 3.0 y GFDL.
Categoría:- Teorías axiomáticas de conjuntos
Wikimedia foundation. 2010.