En muchas versiones populares de la teoría axiomática de conjuntos , el esquema axiomático de especificación , [1] también conocido como esquema axiomático de separación ( Aussonderung Axiom ), [2] axioma de subconjunto [3] o esquema axiomático de comprensión restringida es un esquema axiomático . Básicamente, dice que cualquier subclase definible de un conjunto es un conjunto.
Algunos matemáticos lo llaman esquema axiomático de comprensión , aunque otros usan ese término para la comprensión irrestricta , que se analiza a continuación.
Debido a que restringir la comprensión evitaba la paradoja de Russell , varios matemáticos, incluidos Zermelo , Fraenkel y Gödel, la consideraron el axioma más importante de la teoría de conjuntos. [4]
Se incluye una instancia del esquema para cada fórmula en el lenguaje de la teoría de conjuntos como variable libre. Entonces no ocurre gratis en . [3] [2] [5] En el lenguaje formal de la teoría de conjuntos, el esquema del axioma es:
o en palabras:
Tenga en cuenta que hay un axioma para cada uno de esos predicados ; por tanto, este es un esquema axioma . [3] [1]
Para comprender este esquema de axioma, tenga en cuenta que el conjunto debe ser un subconjunto de A. Así, lo que realmente dice el esquema del axioma es que, dado un conjunto y un predicado , podemos encontrar un subconjunto de A cuyos miembros son precisamente los miembros de A que satisfacen . Según el axioma de extensionalidad, este conjunto es único. Generalmente denotamos este conjunto usando la notación de generador de conjuntos como . Así, la esencia del axioma es:
La forma anterior de separación fue introducida en 1930 por Thoralf Skolem como un refinamiento de una forma anterior, que no era de primer orden [6] , de Zermelo. [7] El esquema axiomático de especificación es característico de sistemas de teoría de conjuntos axiomáticos relacionados con la habitual teoría de conjuntos ZFC , pero no suele aparecer en sistemas radicalmente diferentes de teoría de conjuntos alternativa . Por ejemplo, los Nuevos Fundamentos y la teoría de conjuntos positivos utilizan diferentes restricciones del axioma de comprensión de la teoría de conjuntos ingenua . La teoría alternativa de conjuntos de Vopenka hace hincapié en permitir subclases adecuadas de conjuntos, llamadas semiconjuntos . Incluso en sistemas relacionados con ZFC, este esquema a veces se restringe a fórmulas con cuantificadores acotados, como en la teoría de conjuntos de Kripke-Platek con urelementos .
El esquema de axioma de especificación está implícito en el esquema de axioma de sustitución junto con el axioma de conjunto vacío . [8] [un]
El esquema axioma de reemplazo dice que, si una función se puede definir mediante una fórmula , entonces, para cualquier conjunto , existe un conjunto :
Para derivar el esquema de especificación del axioma, sean una fórmula y un conjunto, y defina la función de modo que if sea verdadero y if sea falso, donde tal que sea verdadero. Entonces el conjunto garantizado por el esquema axiomático de sustitución es precisamente el conjunto requerido en el esquema axiomático de especificación. Si no existe, entonces en el esquema de axioma de especificación está el conjunto vacío, cuya existencia (es decir, el axioma de conjunto vacío) es entonces necesaria. [8]
Por esta razón, el esquema axiomático de especificación queda fuera de algunas axiomatizaciones de la teoría de conjuntos ZF (Zermelo-Frankel) , [9] aunque algunos autores, a pesar de la redundancia, incluyen ambos. [10] Independientemente, el esquema de especificación del axioma es notable porque estaba en la lista de axiomas original de Zermelo de 1908, antes de que Fraenkel inventara el axioma de reemplazo en 1922. [9] Además, si se toma la teoría de conjuntos ZFC (es decir, ZF con el axioma de elección), elimina el axioma de reemplazo y el axioma de colección , pero mantiene el esquema de axioma de especificación, se obtiene el sistema de axiomas más débil llamado ZC (es decir, los axiomas de Zermelo, más el axioma de elección). [11]
El esquema del axioma de comprensión irrestricta dice:
eso es:
Este conjunto B es nuevamente único y generalmente se denota como { x : φ ( x , w 1 , ..., w b )}.
Este esquema de axioma se utilizó tácitamente en los primeros días de la ingenua teoría de conjuntos , antes de que se adoptara una axiomatización estricta. Sin embargo, más tarde se descubrió que conducía directamente a la paradoja de Russell , al tomar φ ( x ) como ¬( x ∈ x ) (es decir, la propiedad que establece x no es miembro de sí misma). Por lo tanto, ninguna axiomatización útil de la teoría de conjuntos puede utilizar una comprensión ilimitada. Pasar de la lógica clásica a la lógica intuicionista no ayuda, ya que la prueba de la paradoja de Russell es intuicionistamente válida.
Aceptar únicamente el esquema axiomático de especificación fue el comienzo de la teoría axiomática de conjuntos. La mayoría de los otros axiomas de Zermelo-Fraenkel (pero no el axioma de extensionalidad , el axioma de regularidad o el axioma de elección ) se volvieron necesarios para compensar parte de lo que se perdió al cambiar el esquema axiomático de comprensión por el esquema axiomático. de especificación: cada uno de estos axiomas establece que existe un determinado conjunto y define ese conjunto dando un predicado para que lo satisfagan sus miembros, es decir, es un caso especial del esquema de comprensión del axioma.
También es posible evitar que el esquema sea inconsistente restringiendo a qué fórmulas se puede aplicar, como solo fórmulas estratificadas en New Foundations (ver más abajo) o solo fórmulas positivas (fórmulas con solo conjunción, disyunción, cuantificación y fórmulas atómicas). en la teoría de conjuntos positivos . Sin embargo, las fórmulas positivas normalmente no pueden expresar ciertas cosas que la mayoría de las teorías sí pueden expresar; por ejemplo, no existe complemento ni complemento relativo en la teoría de conjuntos positivos.
En la teoría de conjuntos de von Neumann-Bernays-Gödel , se hace una distinción entre conjuntos y clases . Una clase C es un conjunto si y sólo si pertenece a alguna clase E. En esta teoría, hay un esquema de teorema que dice
eso es,
siempre que los cuantificadores en el predicado P estén restringidos a conjuntos.
Este esquema de teorema es en sí mismo una forma restringida de comprensión, que evita la paradoja de Russell debido al requisito de que C sea un conjunto. Entonces la especificación de los conjuntos mismos se puede escribir como un axioma único.
eso es,
o incluso más simplemente
En este axioma, el predicado P se reemplaza por la clase D , que puede cuantificarse. Otro axioma más simple que logra el mismo efecto es
eso es,
En un lenguaje mecanografiado donde podemos cuantificar predicados, el esquema axiomático de especificación se convierte en un axioma simple. Este es prácticamente el mismo truco que se usó en los axiomas NBG de la sección anterior, donde el predicado fue reemplazado por una clase que luego se cuantificó nuevamente.
En lógica de segundo orden y lógica de orden superior con semántica de orden superior, el axioma de especificación es una validez lógica y no necesita incluirse explícitamente en una teoría.
En el enfoque de los Nuevos Fundamentos de la teoría de conjuntos iniciado por WVO Quine , el axioma de comprensión de un predicado dado toma la forma no restringida, pero los predicados que pueden usarse en el esquema son en sí mismos restringidos. El predicado ( C no está en C ) está prohibido, porque el mismo símbolo C aparece en ambos lados del símbolo de membresía (y por lo tanto en diferentes "tipos relativos"); así se evita la paradoja de Russell. Sin embargo, al tomar P ( C ) como ( C = C ) , lo cual está permitido, podemos formar un conjunto de todos los conjuntos. Para más detalles, consulte estratificación .