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

editar

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:

(NBG) Un conjunto X es una clase que está contenida en alguna otra clase:

 

A las clases que no son conjuntos se las denomina clases propias. Entre las clases propias se encuentran la clase universal V, la clase de todos los ordinales On, 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

editar

Notación

editar

En los axiomas de NBG se distingue entre clase y conjunto, y habitualmente se utilizan letras minúsculas para especificar conjuntos:

Las expresiones

 

donde α es una fórmula cualquiera, son abreviaturas para

 

Axiomas generales

editar

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:

 

 

 

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

editar

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 φ(x) 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:

 

 

  • Dominio. El dominio —entendido en el sentido del dominio de una función— 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 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:

Esquema de formación de clases

Dada una fórmula φ(X1, ..., Xn) —con al menos las variables libres indicadas— cuyas únicas variables cuantificadas son conjuntos, 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 sin variables de clase cuantificadas se obtiene la teoría de conjuntos de Morse-Kelley.

Axiomas adicionales

editar

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:

 

 

  • 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

editar

Bibliografía y referencias

editar
  1. a b Fun F, Dom F y Im F son abreviaturas para denotar «F es una función», «el dominio de F» y «la imagen de F». 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.
  2. Estos son los axiomas de formación de clases recogidos en Mendelson, 1997.

Enlaces externos

editar