Substitutionsaxiomet
Från Rilpedia
Substitutionsaxiomet är egentligen ett axiomschema i mängdteorin Zermelo-Fraenkel (ZFC) och är den del av de mängdteoretiska axiomen. Axiomet gör det möjligt att använda funktioner vid bildande av mängder. Ett axiomschema är en oändlig mängd axiom, i det här fallet ett för varje funktion.
Axiomet säger i kort att om det sker en bijektiv avbildning på en mängd så är även den avbildningen en mängd.
Axiomet
Axiomet säger att för en existerande mängd a så kan en ny mängd b bildas genom att använda en relation A(x,y), där y är en funktion av x. Denna funktion måste vara bijektiv, dvs för alla x finns det exakt ett y så att A(x,y) är sann.
Alltså, för en godtycklig mängd v och en godtycklig funktion f, som är definierad på alla mängder, är det möjligt att skapa en ny mängd som innehåller alla mängder som fås av funktionen f för alla element i v. Mer formellt uttryckt:
![\left[ \forall x\exists ! y A_n(x,y) \right] \rightarrow \forall u\exists v(B(u,v))](/w/images/sv.rilpedia.org/math/1/d/f/1dfdb86b87b7861ca6c620e729693a53.png)
![B(u,v) \Leftrightarrow \left[ \forall r(r \in v \Leftrightarrow \exists s \left[ s \in u \wedge A_n(s,r) \right] ) \right]](/w/images/sv.rilpedia.org/math/8/b/2/8b2dade3addbcda87a45f57e7a63fa74.png)
I den första delen står det att, om An definierar y som en entydig funktion av x så existerar det för alla u ett v sådant att B(u,v) är sann. I det andra uttrycket sägs det att B(u,v) är ekvivalent med 
om och endast om det finns ett 
sådant att An(s,r) är sann. v är mängden som fås om funktionen An appliceras på u.
Historik
Axiomet fanns inte med när Ernst Zermolo bildade sin mängdteori (Z) 1908 utan introducerades av Adolf Fraenkel 1922 och därmed bildades den mest använda mängdteorin ZF, eller ZFC med urvalsaxiomet. Thoralf Skolem gjorde samma upptäckt som Fraenkel något senare samma år, och det är faktiskt Solems version som används idag.
Substitustionsaxiomet gjorde ZF till en mycket starkare teori än Z, bland annat så kan axiomet användas i samband med Kardinaltal och Ordinaltal till skillnad från Z.
