Axiom:Axiom of Replacement/Set Theory
< Axiom:Axiom of Replacement(Redirected from Axiom:Axiom of Replacement (Set Theory))
Jump to navigation
Jump to search
Axiom
For every mapping $f$ and subset $S$ of the domain of $f$, there exists a set containing the image $f \sqbrk S$.
More formally, let us express this as follows:
Let $\map P {x, z}$ be a propositional function, which determines a mapping.
That is, we have:
- $\forall x: \exists ! y : \map P {x, y}$.
Then we state as an axiom:
- $\forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$
Also presented as
The Axiom of Replacement may be presented as a single (somewhat unwieldy) expression:
- $\forall x: \exists ! y : \map P {x, y} \implies \forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$
Also known as
The axiom of replacement is also known as the axiom of substitution.
Historical Note
The axiom of replacement was added to the axioms of Zermelo set theory by Abraham Halevi Fraenkel, and also independently by Thoralf Albert Skolem.
The resulting system of axiomatic set theory is now referred to as Zermelo-Fraenkel Set Theory.
Sources
- 1982: Alan G. Hamilton: Numbers, Sets and Axioms ... (previous) ... (next): $\S 4$: Set Theory: $4.2$ The Zermelo-Fraenkel axioms: $\text {ZF7}$
- 2002: Thomas Jech: Set Theory (3rd ed.) ... (previous) ... (next): Chapter $1$: Replacement Schema
- Weisstein, Eric W. "Zermelo-Fraenkel Axioms." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html