Assioma dal para
Artícuj relazziunaa a matemàtica |
Quest articol chi l'è scrivuu in Koiné occidentala. |
In la teuría assiumàtega di cungjuunt e le branche da la lògica, da la matemàtica , e da l'infurmàtega, l'assioma dal para al è ü di assiòom da la teuría di cungjuunt da Zermelo-Fraenkel.
Íntal lenguagg furmaal da l'assiumàtega da Zermelo-Fraenkel, l'assioma sa l scriif:
in d'òolt tèrmen:
- daa A e B düü cungjuunt, al esiist un cungjuunt C taal che, par cada cungjuuntD, D al è un elemeent da C si e noma si D al è iguaal a A u a B.
L'assioma al esprimm che, par düü cungjuunt qual-sa-vöörs A e B, sa l pöö truvá un cungjuunt C da che i elemeent i è precisameent A e B. Sa l pöö druvá l'assioma d'estensiunalitaa par demustrá che cheest cungjuunt C al è ünich. A apelemm ul cungjuunt C ul para da A e B , e la notemm {A, B}.
Essenzialameent, l'assioma al afirma che:
- düü cungjuunt qual-sa-vöör i furma un para.
{A, A} al è scürtaa in {A}, e al è cjamaa singletú cuntegniint A. Nutée che un singletú a l’è un caas particülaar da para.
L'assioma dal para al è generalameent cunsideraa cuma indescütíbil , e al, u ü da i söö equivaleent,al pariss in dabot tüta assiumàtega alternativa da la teuría di cungjuunt.
Generaalizazziú
ModifegaDruvaant l'assioma dal cungjuunt vöj, l'assioma dal para al pöö vess generaalisaa in la prupusizziú sigütanta:
ch’al signifía che:
- daa un nümar fini da cungjuunt A1, ..., An al esiist un cungjuunt C da che i elemeent i è precisameent A1, ..., An.
Cheest cungjuunt C al è amò ünich dapress l'assioma d'estensiú, e al è nutaa {A1, ..., An}.
Natüralameent, a pudemm mia rigurusameent sa referí a un nümar finii da cungjuunt, senza gjanmò disponn d'un cungjuunt (finii) a che chiist cungjuunt i partegn. Inscí, chesta prupusizziú sa la aparenta plütòost a un schema, furmaa da plüü da prupusizziú, ognidüna intra chele sucjada a un intreegh natüraal '. Ul caas n’' = 0 al è semplismeent l'assioma dal cungjuunt vöj. Ul caas n’' = 1 al è l'assioma dal para cun A=A1 e B = A1. Ul caas n’' = 2 al è l'assioma dal para cun A=A1 e B = A2. I caas n > 2 i pöö vess demustraa druvaant l'assioma dal para e l'assioma da la reüniú aplicaa mültiple völte. Par esempi, par demustrá ul caas n’' = 3, a druvemm l'assioma dal para tré völte, par prudüí sücessivameent ul para {A1 , A2 }, ul singletú {A3 }, pöj ul para { { A1 , A2 }, { A3 } }. L'assioma da la reüniú al furniss alura ul resültaa desiraa, { A1 , A2 , A3 }.
Inscí, sa la pöö druvá chesta generalizazziú cuma un schema assiumàtegh al sitt di assiòom dal cungjuunt vöj e dal para. Da tüta manera, a druvemm in régula generala i assiòom dal cungjuunt vöj e dal para separadameent, e chesta prupusizziú a l’è alura demustrada e cunsiderada cuma un teurema. Nutée che adutá chesta prupusizziú cuma schema d'assioma, al remplazza mia l'assioma da la reüniú, ch’al è sémpar necessari in d'otre sitüazziú.