Esquema axiomático de reemplazo

En la teoría de conjuntos , el esquema de axioma de reemplazo es un esquema de axiomas en la teoría de conjuntos de Zermelo-Fraenkel (ZF) que afirma que la imagen de cualquier conjunto bajo cualquier mapeo definible también es un conjunto. Es necesario para la construcción de ciertos conjuntos infinitos en ZF.

El esquema del axioma está motivado por la idea de que si una clase es un conjunto depende solo de la cardinalidad de la clase, no del rango de sus elementos. Por lo tanto, si una clase es "lo suficientemente pequeña" para ser un conjunto y hay una sobreyección de esa clase a una segunda clase, el axioma establece que la segunda clase también es un conjunto. Sin embargo, debido a que ZFC solo habla de conjuntos, no de clases propias, el esquema se establece solo para sobreyecciones definibles, que se identifican con sus fórmulas definitorias .

Supongamos que es una relación binaria definible (que puede ser una clase propia ) tal que para cada conjunto hay un conjunto único tal que se cumple. Hay una función definible correspondiente , donde si y sólo si . Considere la clase (posiblemente adecuada) definida de tal manera que para cada conjunto , si y solo si hay un con . se llama la imagen de debajo y se denota o (usando la notación de creación de conjuntos ) .${\ estilo de visualización P}$${\ estilo de visualización x}$${\ estilo de visualización y}$${\ estilo de visualización P (x, y)}$${\displaystyle F_{P}}$${\displaystyle F_{P}(x)=y}$ ${\ estilo de visualización P (x, y)}$${\ estilo de visualización B}$${\ estilo de visualización y}$${\ estilo de visualización y \ en B}$${\ estilo de visualización x \ en A}$${\displaystyle F_{P}(x)=y}$${\ estilo de visualización B}$${\ estilo de visualización A}$${\displaystyle F_{P}}$${\displaystyle F_{P}[A]}$${\ estilo de visualización \ {F_ {P} (x): x \ en A \}}$

El esquema del axioma de reemplazo establece que si es una función de clase definible, como la anterior, y es cualquier conjunto, entonces la imagen también es un conjunto. Esto puede verse como un principio de pequeñez: el axioma establece que si es lo suficientemente pequeño para ser un conjunto, entonces también es lo suficientemente pequeño para ser un conjunto. Está implícito en el axioma más fuerte de limitación de tamaño .${\ estilo de visualización F}$${\ estilo de visualización A}$${\ estilo de visualización F [A]}$${\ estilo de visualización A}$${\ estilo de visualización F [A]}$

Esquema axiomático de reemplazo: la imagen del conjunto de dominio bajo la función de clase definible es en sí misma un conjunto, .${\ estilo de visualización F [A]}$${\ estilo de visualización A}$${\ estilo de visualización F}$${\ estilo de visualización B}$

Axioma de esquema de colección: la imagen del conjunto de dominio bajo la función de clase definible cae dentro de un conjunto .${\ estilo de visualización f [A]}$${\ estilo de visualización A}$${\ estilo de visualización f}$${\ estilo de visualización B}$

Abraham Fraenkel, entre 1939 y 1949

Thoralf Skolem, en la década de 1930