L'assioma da la scèrnida, scürtaa in « AS », al è un assioma da la teuría assiumàtega di cungjuunt.
Purtaal:matemàtica Artícuj relazziunaa a matemàtica |
Quest articol chi l'è scrivuu in Koiné occidentala. |
« Dada una famèja da cungjuunt mia vöj, al esiist una funziú che a ognidü da luur la assocja ü dij söö elemeent. »
( Vargot ch’al sa tradüiss furmalameent par : Par cada cungjuunt C cuntegnüü in P(E) (indúeP(E)al è ul cungjuunt da le parte d'un cungjuunt E ), al esiist una funziú cjamada funziú da scèrnida tala che : )
Al esiist d'otre furmülazziú, intra che le sigütante :
Cheest assioma al fa paart di assiòom upziunaj e cuntruversaa da la teuría di cungjuunt. In efett, l'esistenza d'un uget definii a partí dal assioma da la scèrnida a l’è mia una esistenza custrütiva, i.e. l'assioma al descriif mia cuma custrüí l'uget da che sa l’afirma l'esistenza. Inscí, dí che al esiist una basa dal spazzi veturiaal da le funziú cuntínüe al permett in nissüna manera da dí cuma descriif una tala basa. Da cheest puunt da vista, l'assioma da la scèrnida al pöö parí d'un interess limitaa e al è par cheest che di matemàtich sa i mustra plüü satisfaa d'una démustrazziú s'i pöö evitá da fá recuurs a cheest assioma da la scèrnida. Però la plüüpaart di matemàtich i dröva’l senza reticenza particülara.
L'assioma da la scèrnida al fa mia paart dal zöögh d'assiòom da la teuría di cungjuunt ZF. Sa la cjama teuría ZFS, la teuría ZF münida in plüü dal assioma da la scèrnida.
Al esiist di furme flébil dal assioma da la scèrnida che ul matemàtich al dröva üsüalameent, la plüüpaart dal teemp senza s'en acòorg, a maanch da vess lògicih u « custrütivista »; i serviss a « custrüí » da le sequenze.e i è assulüdameent indispensàbile par esponn a la manera üsüala i fundameent da l'anàlisi.
Cheest assioma, scürtaa in « AD », al è la restrizziú dal assioma da la scèrnida a le famèje cüntàbile :
Al è par esempi druvaa par demustrá che una funziú f definida sü R a l’è cuntínüa in 0 si e noma si f(xn) al teend veers f(0) par cada sequenza (xn) tendeent veers 0. Al permett apó da demustrá che un prudüit cüntàbil da spazzi cumpat al è cumpat, u amò ul teurema da Hahn-Banach par un spazzi da Banach separàbil.
Cheest assioma, scürtaa in « DS », al assüra che, si R al è una relazziú sü un cungjuunt mia vöj E verifiaant
,
al esiist una sequenza (xn) d'elemeent da E tala che
.
L'assioma DC implica l'assioma AD, senza che cheest chí al síes évöjnt. Al è par esempi druvaa in assioma da fundazziú e plüü generalameent relazziú bé fundade par stabilí l'equivalenza da dò definizziú.
Par plüü da detaj : teuría assiumàtega di cungjuunt.
Resültaa liaa a l'assioma da la scèrnida :
Una strana cunseguenza dal assioma da la scèrnida : Ul Paradoss da Banach-Tarski
This article uses material from the Wikipedia Lumbaart article Assioma da la scèrnida, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). El contegnud a l'è disponibil sota la licenza CC BY-SA 4.0, se l'è minga indicad diversament. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Lumbaart (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.