Zenbaki errealen gorputz ordenatu metrikoa, azpigorputz txikienarekiko trinkoa eta osatua den espazio euklidearra da.
Hots: azpigorputz txikienarekiko trinkoa eta osatua den espazio euklidearra, zenbaki errealen isomorfismo isometriko ordenatua da.
Baldintza hauek beharrezkoak eta nahikoak dira, zenbaki errealak eraikitzeko, eta ondorioz axiomak dira.
Zenbaki arrazionalen gorputz ordenatu metrikoa, espazio euklidearrik txikienaren isomorfismo isometriko ordenatua da. Eta baldintza horiek beharrezkoak eta nahikoak dira Zenbaki arrazionalen gain isomorfismo isometriko ordenatu bat egiteko, eta ondorioz zenbaki arrazionalak eraikitzeko axiomak dira.
Espazio euklidearrik txikienaren elementuak puntuekin konparatuz gero, lerro zuzen euklidear batean posizio arrazionaletan dauden puntuekin konpara daitezke.
Lerro zuzena, euklidesek emaniko bost axiometan oinarritutako zuzen baten eraikuntza da, eta bost axioma hauek erabiliz kokatzen dira zenbaki arrazionalak. Puntu arrazional hauek izaera euklidearra dutela kontsideratzen da. Baina espazio euklidearra eraikitzeko ez dira beharrezkoak bost axiomak. Lehenik bi puntu emanik unitateko segmentua eraikitzen da (unitateko segmentu distantzia 1 ), Segmentu bat ezker eskuin desplazatzen bada lerro zuzenean, ezkerreko erpin puntua eskuineko erpin puntua baino txikiagoa dela kontsideratzen da, ( ordena bateragarria baturarekin), segmentuaren distantzia ez dela aldatzen kontsideratzen da ( segmentu desplazatuaren distantzia berdina dela), eta bada hirugarren bat beharrezkoa dena: bi segmentu erpinez erpin elkartzearen poderioz beste segmentu bat egiten denean, bi segmentu hauek lerro zuzenean kokatzen direla kontsideratzen da ( segmentu baturaren distantzia, segmentu distantzien batura dela).
Axioma horietan oinarritutako gorputz ordenatu metrikoa espazio euklidearra izendatu da. Espazio euklidearrik txikiena zenbaki arrazionalen gorputz ordenatu metrikoa da, zeina zuzen euklidear batean posizio arrazionalean dauden puntuekin konpara daiteken.
Espazio euklidearrik txikiena trinkotu eta osatzen denean, zenbaki errealen isomorfismo isometriko ordenatu bat egiteko, beharrezkoa da, espazio trinkotu eta osatuak izaera euklidearra mantentzea. Honela zenbaki errealen isomorfismo isometriko ordenatu bat egiteko, beharrezko axiomak dira: espazio euklidear bat izatea eta bere azpigorputz txikienarekiko trinkoa eta osatua izatea.
Unitate honetan lehenik, zenbaki arrazionalak karakterizatuko dira modu axiomatikoan. Zenbaki arrazionalen gorputz ordenatu metrikoa, espazio euklidearrik txikiena dela frogatuko da. Espazio euklidearraren axiomak: nahikoak eta beharrekoak direla frogatuko da zenbaki arrazionalak modu bakarrean eraikitzeko.
Kontraadibide bat eraikiko da, zeinetan Espazio euklidear bat, trinkoa izango den azpi espazio euklidear txikienarekiko ( zenbaki arrazionalekiko). Espazio horretako puntuak zuzen euklidear batetako puntuekin konpara daitezke (bijekzioa), eta posizio ez arrazionaletan dauden puntuak, zenbaki arrazionalen metatze puntuak izango dira, baina Cauchyren segida guztiak ez dira konbergenteak izango metrika horretan: segida horiek zenbaki errealetan duten konbergentzia puntua, metrika horretan konbergenteak diren beste segida batzuen limiteak izango dira.
Kontraadibide honen bidez frogatzen da, azpigorputz txikienarekiko trinkoa den espazio euklidear batek, zenbaki errealen isomorfismo isometriko ordenatua izateko beste axioma bat behar duela.
Azpigorputz txikienarekiko trinkoa den espazio euklidear bat, osatua dela frogatuko da, baldin eta soilik baldin Gorenaren axioma betetzen badu.
Eta amaitzeko: azpigorputz txikienarekiko trinkoa eta osatua den espazio euklidear bat, zenbaki errealen isomorfismo isometrikoa ordenatua dela frogatuko da.
Ondorengoak dira axiomak
Espazio euklidearra da, baldin eta ondorengo proposizioak betetzen baditu:
1: Gorputz bat da.
2: Erabateko ordena da.
3: bateragarria da rekin. Segmentu erpinak ordena mantentzen dute desplazatzean.
4: Espazio metrikoa da.
5: . Unitateko segmentuarena.
6: bateragarria da rekin. Segmentua zuzenean desplazatzean distantzia mantentzen du.
7: bateragarria da rekin. Sementuen baturaren distantzia, segmentu distantzien batura da.
Espazio euklidear baten azpigorputz txikiena zenbaki arrazionalen isomorfismo isometriko ordenatua denez: , idatz daiteke orokortasuna galdu gabe.
8: Espazio metrikoa trinkoa da rekiko. Edozein elementu, zenbaki arrazionalen limitea da.
9: Espazio metrikoa osatua dago rekiko. Cauchyren segidek badute limitea.
Oharra: Espazio euklidear baten azpigorputz txikiena zenbaki arrazionalen isomorfismo isometriko ordenatua denez: , idatz daiteke orokortasuna galdu gabe. 8 eta 9 proposizioetan egin den moduan.
Ondorioak
Zenbaki errealen elementu kopurua, infinitua da eta infinitu kontagarria baino handiagoa zela frogatu zuen Cantorrek (1874). Infinitu berri hau: Continuum izendatzen da.
Infinitu kontagarria zenbaki arrunten elementu kopurua da, eta Continuuma zenbaki errealen kopurua, edo zuzen euklidearreko puntu kopurua.
Honela Cantorrek Continuumaren hipotesia ezarri zuen: Bi infinitu horien artean ezinezkoa da beste infiniturik egotea. Baina ez zuen lortu axioma bat zenik frogatzea. Hilberten 23 problemetako bat izan zen Continuumaren hipotesia.
1963. urtean Paul Cohen-ek frogatuko du, continuumaren hipotesia ezin dela ondorioztatu multzoen teoriako beste axiometatik abiatuta: (Zermelo-Fraenkel matematikariek ezarritako multzoen teoriako axiomak), eta ondorioz axioma berri bat dela.
2. Definizioak
Gorputza
Gorputz bat dela esaten da, ondorengo proposizioak betetzen baditu:
1: talde trukakorra da.
2: talde trukakorra da.
3: , . Banatze legea.
Zero karakteristika
Gorputz bat zero karakteristikakoa dela esaten da:
eta ,biderkadurarekiko eta baturarekiko elementu neutroak dira.
Ordena
, Multzo ez huts batean: , definitu den erlazio bitarra: , orden erlazioa dela esaten da: erreflexiboa, antisimetrikoa eta trantsitiboa bada. Kasu horretan multzoa ordenatua dagoela esaten da.
Erreflexiboa:
Antisimetrikoa:
Trantsitiboa:
Erabateko ordena
multzo ordenatua bada, orden erlazioa erabatekoa dela esaten da ondorengo proposizioa betetzen bada:
, emanik ondorengo proposizioetako bat betetzen bada: , edo .
Kasu horretan multzoa guztiz ordenatua dagoela esaten da.
Orden bateragarria
, multzo o, multzo ordenatua bada, ordena, barne konposizio legearekin bateragarria dela esango dugu:
Ezaugarri arkimediarra
Ordenaturik dagoen multzoa bada, arkimediarra dela esaten da, ondorengo proposizioa betetzen badu:
, non: eta .
Ondorioa: Erraz ondorioztatzen da ondorengo proposizioa: Multzo ordenatu bat arkimediarra bada, guztiz ordenatua dago.
Metrika edo distantzia
, eta espazio metriko bat dela esaten da baldin eta:
1: , aplikazioa bada.
2: , eta .
3:
4:
5:
2, 3, 4 eta 5 erlazioak , betetzen dira.
Ordenarekiko metrika bateragarria
gorputz ordenatu ordenatu metrikoa bada: ordena, espazio metrikoarekiko bateragarria dela esango dugu, baldin eta:
Gorputzen arteko: isomorfismoa, isomorfismo ordenatua eta isomorfismo ordenatu isometrikoa.
Biz eta , bi gorputz ordenatu metriko.
Isomorfoak direla esaten da:
1: , non: bijektiboa.
2:
3:
Hiru proposizio hauez gain ondorengo bi proposizio hauetako bakar bat betetzen bada isomorfismo ordenatu dela esaten da:
4: a) , ala b)
Lau proposizio hauez gain ondorengoa betetzen badu: isomorfismo ordenatu isometrikoa dela esaten da.
5:
Espazio metriko trinkoa
espazio metrikoa azpiespazio metrikoarekiko trinkoa dela esaten da. ( )
Segida konbergenteak
espazio metrikoa eta , aplikazioa. segida konbergentea dela esaten da, baldin eta ondorengo ezaugarria duena:
Laburduraz: , adierazten da.
Cauchyren segidak
espazio metrikoa eta , aplikazioa. Cauchyren segida dela esaten da. baldin eta:
Laburduraz: , eta , adierazten da.
Espazio metriko osatua.
espazio metrikoa eta azpiespazio metrikoarekiko osatua dela esaten da.
espazio metrikoko Cauchyren segida guziak konbergenteak badira , espazio metrikoan.
Multzo barnatuak:
espazio metrikoa bada, , eta . barnatua dagoela esaten da baldin eta:
non .
Gorenaren axioma
espazio metrikoak gorenaren axioma betetzen duela esaten da baldin eta edozein azpimultzo barnatuk, gorena baldin badu. Hots:
, emanik, baldin eta , non , orduan: non:
1: Goi bornea den:
2: Goi borne txikiena den: .
3. Espazio euklidear txikiena.
Atal honetan zenbaki arrazional ordenatu metrikoa: ohiko eragiketekin definitua, karakterizatuko da. Bere eraikuntzarako beharrezkoak eta nahikoak diren baldintzak definituaz. Baldintza horiek Espazio euklidear moduan definitu direnak izango dira.
Ondorengoak dira ohiko eragiketak: , zenbaki arrazionalen multzoa izango da.
Ohiko batura:
Ohiko biderkadura:
Ohiko desberdintza:
Metrika euklidearra:
3.1. Proposizioa
ohiko eragiketenik definitua, espazio euklidearra da.
Froga. Zailtasunik gabe frogatzen dira espazio euklidearraren proposizioak.
I: Zenbaki arrazionalen gorputza zero karakteristikako gorputz txikiena da.
3.2. Proposizioa:
Zenbaki arrazionalen gorputza zero karakteristikako gorputza da.
Froga: Zenbaki arrazionalen gorputza: zero karakteristikakoa da:.
3.3. Proposizioa:
monomorfismoa bada, zero karakteristikako gorputza da.
Froga: Absurdura bideratuz , n karakteristikako gorputza bada: . Honela ezinezkoa.
Ondorioz gorputz bat zenbaki arrazionalen isomorfoa bada, beharrezkoa da zero karakteristikakoa izatea.
Teorema3.1: zero karakteristikako gorputza bada, azpigorputz txikiena zenbaki arrazionalen gorputzaren isomorfoa da.
Froga:
Notazioa. -rentzat: adieraziko da, adieraziko da, zeinetan , eta adieraziko da. Honela azioa. -rentzat, adierazpenak badu zentzua. -rentzat: -ren alderantzizkoa: , adieraziko da. Ondorengo adierazpen orokorra ondorioztatzeko: -rentzat, eta -rentzat, adierazpen orokorra adieraziz: ,
-ren azpigorputz txikiena bada, -rentzat, eta -rentzat, . Eta beraz: ,
-rentzat ondorengoa egia da:
.
Honela: -ren aurkakoa .
Ondorioz: Talde egitura dauka.
, eta
.Ondorioz:
.
Honela: , eta . Eta beraz gorputz egitura dauka.
Ondorioz: , Azpigorputz txikiena aukeratu delako. Eta beraz: .
Monomorfismoa: , modu honetan eratzen da: .
Eta, .
Honela monomorfismoa da eta: , isomorfismoa.
II: Zenbaki arrazionalen gorputz ordenatua: : guztiz ordenaturiko gorputz txikiena da zeinetan ordena bateragarria den baturarekiko.
Kontradibidea1.
Zenbaki arrazionalen gain eraiki daitezke, baturarekiko bateragarriak ez diren ordenak.
zenbaki arrazionalen gorputza. Eta ordena
Ondorioak: zenbaki arrazionalen gain definitzen den ohiko desberdintza bateragarria da baturarekiko. Honela zenbaki arrazional ordenatuen eta Gorputz ordenatuaren arteko isomorfismo ordenatua eraiki ahal izateko, gorputza zero karakteristikakoa izatea eta ordena baturarekiko bateragarria izatea eskatuko da.
Kontradibidea2.
Zenbaki arrazionalen gain eraiki daitezke, baturarekiko bateragarriak diren ordenak, eta arkimediarrak ez direnak.
zenbaki arrazionalen gorputza. Eta ordena .
Ondorioa: Zenbaki arrazional ordenatuen isomorfismo ordenatu bat eraikitzeko, Gorputz ordenatua izango da, zeinetan ordena bateragarria den -rekiko, zero karakteristikako gorputza izango da, eta ordena arkimediarra izango da.
Proposizioa3.3: Gorputz ordenatu bateragarria bada -rekiko, eta ordena arkimediarra bada zero karakteristikako gorputza da.
Froga.
Absurdura bideratuz suposa dezagun dela. , , notazioa erabiliz.
, eta arkimediarra, , eta bateragarria denez: -rekiko, ondorengo desberdintzen segida eraiki daiteke: , eta beraz: . Ezinezkoa.
Ondorioa: baldintza ez da beharrezkoa.
Kontradibidea3.
-ren gain ordena modu honetan definitua: . Orden hau bateragarria da baturarekiko, eta arkimediarra da, baina ez da erabateko ordena.
Froga: , orden erlazioa da.
i) . Erreflexiboa.
ii) . Antisimetrikoa.
iii). Trantsitiboa.
Ordena bateragarria da baturarekiko:
Ordena ez da erabatekoa
, eta ez daude ordenatuak. eta .
Ordena arkimediarra da.
Ondorioa:-ren isomorfismo ordenatu bat eraikitzeko, ela Gorputzari ondorengo baldintzak eskatuko zaizkio: Guztiz ordenatua izatea, ordena bateragarria izatea -rekiko, eta ordena arkimediarra izatea.
Proposizioa3.4.
Gorputza guztiz ordenatua badago, eta ordena bateragarria bada, orduan arkimediarra da. Eta Azpigorputz txikiena bada, arkimediarra da.
Froga: azpigorputz txikiena bada, , neutroa eta unitatea hurrenez hurren.
Guztiz ordenatua dagoenez: edo .
. ordena bateragarria delako rekin.
Orduan: ematen bada: , , eta .
Eta: ematen bada: , , eta .
Honela: arkimediarra da. Partikularki , hartzen bada, , denez arkimediarra.
Ondorioa: Zenbaki arrazional ordenatuen isomorfismo ordenatu bat eraikitzeko, Gorputz guztiz ordenatu bada eta bateragarria -rekiko, ez da beharrezkoa arkimediarra izatea.
Kontradibidea4
-ren gain ordena modu honetan definitua: i) , ii) eta iii) .
Ordenamendu hau erabatekoa da, arkimediarra ere bada, baina ez da bateragarria .
Ondorioa: Zenbaki arrazional ordenatuen isomorfismo ordenatu bat eraiki nahi bada: Gorputz ordenatuaren gain, beharrezkoa da ordena bateragarria izatea kontradibidea3 gatik, eta beharrezkoa da ordena erabatekoa izatea kontradibidea4 gatik.
Teorema
Gorputz ordenatu bat non: i) Gorputza guztiz ordenatua, eta ii) ordena bateragarria bada barne konposizio legearekin. Orduan ren azpigorputz txikiena zenbaki arrazional ordenatuen isomorfismo ordenatua da.
Froga:
Guztiz ordenaturiko gorputza bada eta -rekiko bateragarria, orduan proposizioa3.4-gatik: arkimediarra da, eta partikularki azpigorputz txikienaren gain arkimediarra da.Proposizioa3.3-gatik zero karakteristikako gorputza da, eta Teorema3.1-engatik: azpigorputz txikiena zenbaki arrazionalen gorputzaren isomorfoa da. Isomorfismoa modu honetan ezartzen da,
, modu honetan eratzen da: , zeinetan , Teorema3.1-eko notazioa errespetatuz.
Guztiz ordenatua dagoenez: ala .
ematen bada. , . ematen da. Ikus dezagun:
Batetik: , betetzen da. Absurdura bideratuz: suposatzen bada guztiz ordenatua dagoelako: ondorioztatzen da, eta ezinezkoa da, suposatu delako.
Bestalde: , betetzen bada Ondorengo desberdintzen segida betetzen da, ordena -rekiko bateragarria delako:
Eta honela ondorioztatzen da .
ematen bada, . ematen da.
Batetik: ematen da arestian bezala, eta bateragarritasuna erabiliz ondorioztatzen da ondorengo desberdintzen segida:
Eta honela ondorioztatzen da .
Oharra: Bi ordenamendu hauek, baliokideak dira. Hots ordenamendu berdin bat sinbolo desberdin batez adieraztea da.
Definizioa:
Gorputz ordenatu bat non: i) Gorputza guztiz ordenatua da, eta ii) ordena bateragarria bada barne konposizio legearekin. Orduan ren azpigorputz ordenatu txikiena bakarra da, isomorfismo ordenatuak salbu, eta zenbaki arrazional ordenatuen multzoa bezala izendatzen da.
Ondorioa:
Zenbaki arrazional ordenatuen eraikuntzarako beharrezkoak dira ondorengo axiomak: -ren gain.
1: Gorputza da. 2: Erabateko ordena da eta 3: bateragarria da rekin.
Karakterizazioa:
Zenbaki arrazionalen gorputz ordenatua: guztiz ordenaturiko gorputz txikiena da, zeinetan ordena bateragarria den baturarekiko.
III: Zenbaki arrazionalen gorputz ordenatu metrikoa:espazio euklidearrik txikiena da.
Zenbaki arrazionalen gorputz ordenatu metrikoa:, ohiko eragiketak, ohiko desberdintza, eta distantzia euklidearra duena bezala ulertzen da:.
Honela, Gorputz ordenatu metrikoa izango da zeinetan: 1: Gorputza da. 2: Erabateko ordena da 3: bateragarria da rekin, eta 4: espazio metrikoa da.
Kontradibidea
, gorputz ordenatuaren gain a:, metrika bat da:, baina ez da euklidearra: .
Ondorioa
Gorputz ordenatu metrikoari A1 axioma: , betetzea eskatuko zaio, zenbaki arrazional ordenatu metrikoaren isomorfismo ordenatu isometrikoa eraikitzeko.
Kontradibidea5
, gorputz ordenatuaren gain a:, metrika bat da:, A1 axioma betetzen du: eta A2 axioma ere betetzen du: .
Ondorioa: Metrika berriari ez diskretua izatea eskatuko zaio.
Kontradibidea6
zenbaki arrazionalen gorputz ordenatua eta honela definitua:
1: espazio metrikoa da. a) , b) , c) berehalakoak dira. Ikus dezagun desberdintza triangeluarra betetzen dela: d)
2: espazio metrikoak A1 betetzen du:
3: espazio metrikoa bateragarria da ekin: .
4: espazio metrikoa ez da diskretua.
5: espazio metrikoa ez da euklidearra. Metrika euklidearrak segmentu baturaren distantzia, segmentu distantzien batura bilakatzen du.
. Eta kasu honetan: .
Ondorioa: A1, A2 eta A3 proposizioak bete behar dira Gorputz ordenatu metrikoan, zenbaki arrazional ordenatu metrikoaren isomorfismo ordenatu isometriko bat eraikitzeko. Ikus dezagun aipaturiko proposizioak axiomak direla.
Azken kontradibideak erakusten du, A1 eta A2-rekin ez dela A3 ondorioztatzen. Ikus dezagun A1 eta A3-rekin ez dela A2 ondorioztatzen.
kontradibidea7
zenbaki arrazionalen gorputz ordenatua eta honela definitua:
Metrika bat da.
1: aplikazioa da. 2: . 3: . Berehalakoak dira.
4: . Froga: eta . 5: desberdintza triangeluarra: .
5a:
5b:
5c:
5d:
5e:
5f:
5g:
5h: .
Desberdintza triangeluarra betetzen denez, espazio metrikoa dela ondorioztatzen da.
6: A1 Proposizioa betetzen da: .
7: A3 Proposizioa ere betetzen da. arra:
7a:
7b:
7c:
7d:
Espazio metriko honek, segmentu baturaren distantzia, segmentuen distantzien batura bilakatzen du, baina ez du segmentu luzera kontserbatzen. Ikus dezagun: .
Ondorioak.
Gorputz ordenatu metrikoaren eta ohiko zenbaki arrazional ordenatu metrikoaren arteko isomorfismo ordenatua eraikitzeko beharrezko axioma dira: Guztiz ordenatua egotea, eta ordena -rekiko bateragarria izatea, arestian ikusi denez. Horretaz gain isomorfismo ordenatua isometria bat izateko, hiru proposizio betetzea beharrezkoa dela ikusi da: A1 proposizioa: , A2 proposizioa: eta A3 proposizioa:. Kontradibideek erakusten dute proposizio horiek beharrezko axiomak direla, zenbaki arrazional ordenatu metrikoaren isomorfismo ordenatu isometrikoa eraikitzeko. Horrela ez balitz: A1 eta A2 A3 proposizioa ondorioztatuko lukete, eta kontradibidea6-ek hori ukatzen du, edo A1 eta A3 A2 ondorioztatuko lukete, eta kontradibidea7-k hori ukatzen du. Azkenik A2 eta A3 A1 ematea ezinezkoa da, metrikak ukatzen duenez.
Honela espazio euklidearra definituko da, -ren eraikuntzarako beharrezkoak diren axiomekin.
Definizioa: Espazio euklidearra da, baldin eta ondorengo axiomak betetzen baditu:
1: Gorputz bat da.
2: Erabateko ordena da.
3: bateragarria da rekin. Segmentu erpinak ordena mantentzen dute desplazatzean.
4: Espazio metrikoa da.
5: . Unitateko segmentuarena.
6: bateragarria da rekin. Segmentua zuzenean desplazatzean distantzia mantentzen du.
7: bateragarria da rekin. Sementuen baturaren distantzia, segmentu distantzien batura da.
4. Zenbaki arrazionalen adierazpena zuzen euklidearrean
Zenbaki arrazionalak zuzen euklidearrean, jatorrira distantzia hori duen puntu gisara adierazten dira, zenbakia positiboa denean, eta ardatzerdi simetrikoan kokatzen da puntua zenbakia negatiboa denean.
Zenbaki arrazionalen adierazpena diogunean, zenbaki arrazional ordenatu arkimediarraren adierazpenaz mintzo gara, zeinetan unitateko distantzia, zuzen euklidearrean unitateko segmentuaren bidez adierazten den.
Lerro zuzena bertan dauden puntu guztiekiko berdina datzana da. Bi dira halako kurbak planu euklidearrean: Zirkunferentziak eta zuzenak, eta modu zorrotzean soilik zirkunferentziak (zuzena erradio infinituko zirkunferentzia moduan ikusiz).
4.1. Zenbaki osoen adierazpena zuzen euklidearrean
Plano euklidearra puntuz osatzen denez, bi puntu desberdin existitzen dira, horiek: O eta 1 izendatzen dira. lehen segmentu honen distantzia: unitatekoa dela ezartzen da:
Euklidesen, lehen axiomagatik bi puntu lotzen dituen lerro zuzena marraztu daiteke, eta bigarren axiomagatik zuzen finitu bat etengabe luza daiteke lerro zuzenean. Lerro zuzenaren ertzak puntu bat determinatzen dutenez, jatorrira distantzia arrunta duten puntu multzo bat ordenatzen joango gara, (ezkerrekoak txikiagoak izanik). Distantzien arteko batura ohiko batura denez, modu bakarrean determinatzen da, eraztun ordenatu arkimediar txikiena. Zeinetan puntu bati dagokion zenbakia jatorrira duen distantzia den, eta ardatzerdi simetrikoan kokatzen bada, puntu hori zenbaki arrunt negatiboarekin adieraziko da.
Zenbaki osoen adierazpena zuzen euklidearrean
4.2. Proposizioa:
, aplikazioak distantzia bat definitzen du.
, distantzia bat da.
Froga: Erraz frogatzen dira , distantziaren 4 proposizioak.
Oharra: Distantzia hau distantzia euklidearra izendatzen da, distantziariburuz dugun ezagutza konbentzionala delako.
4.3. Zenbaki arrazionalen adierazpena zuzen euklidearrean
Prozedura euklidearrak erabiliz, distantzia arrazionaleko segmentuak eraiki daitezke. Distantzia arrazionalen arteko batura, zenbaki arrazionalen ohiko batura da, eta horrek modu bakarrean determinatzen du zenbaki arrazionalen gorputz ordenatu arkimediarra.
Ohiko distantzia, ohiko ordenaren bidez eratzen da, eta ohiko ordena: gorputz ordenatu arkimediar txikienak, berez definitua daukanez, inongo axiomaren beharrik gabe sortzen da ohiko distantzia.
Honela zenbaki arrazionalak unitatearekiko posizio arrazionalean dauden puntu gisara adieraz daitezke.
4.4. Distantzia arrazionalen eraikuntza
Distantzia arrazionaleko distantziak eraiki daitezke, euklidesen axiomak jarraituz. Euklidesen triangeluen: hirugarren karakterizazioagatik, bi triangeluk bi angelu berdin, eta angelu hauek lotzen dituen segmentua berdina badute, bi triangelu hauek berdinak dira.
Adibidea: distantziak eraikiko dira prozedura euklidearrak jarraituz. Gainerako distantzia arrazionalentzat ere antzeko prozedura jarrai daiteke.
Distantzia arrazionalen eraikuntza, axioma euklidearrak jarraituz.
O, eta 1 puntuak emanik, O,1 Zuzenarekiko paraleloa ez den zuzen baten gain, hiru (izendatzailea hiru delako) aldiz d distantziadun segmentuak marrazten dira: A,B,C puntuak sortuz.
C puntutik 1 puntura zuzen bat bat marrazten da: r, eta bere zuzen paraleloak eraikitzen dira: A eta B puntuetatik pasatzen direnak: t eta s.
r, t eta s zuzenak paraleloak izateagatik: OC1, OBE, eta OAD angeluak berdinak dira.
A eta B puntuetatik: O,1 puntuetatik pasatzen den zuzenaren paraleloak eraikitzen dira: v eta u.
v eta u paraleloak izateagatik: 1OC,vAC eta uBC angeluak berdinak dira. Honela irudiko hiru triangelu horiek bi angelu berdin eta angelu horiek lotzen dituen distantzia berdinak dituzte. Euklidesen triangeluen hirugarren karakterizazioagatik, halako triangelua bakarra da. Honela beraien elementuak berdinak dituzte, eta ondorioz oinarri berdinekoak dira.
, hiruen batura unitatea denez: , eta Honela distantzia arrazionaleko segmentuaren ertzak determinatzen duen puntua, zenbaki arrazional horren bidez adieraziko da, eta puntua ardatzerdi simetrikoan badago zenbaki arrazional negatiboz adieraziko da.
4.5. Proposizioa
, aplikazioa distantzia bat da, zeinetan:
Froga: ez du zailtasunik.
Oharra: Azken proposizio honetan definitu den distantzia, distantzia euklidear moduan izendatzen da, distantziari buruz dugun ulermen konbentzionala delako.
Zenbaki arrazionalen gain ohiko distantzia definitzeko, ez dugu axiomarik behar, ohiko ordenaren bidez ezartzen bai da, eta gorputz ordenatu arkimediar batek modu bakarrean karakterizatzen du ordena.
5. Zenbaki errealak: Cantor
5.1. Sarrera
Zuzen euklidearrean unitateko segmentuarekiko posizio arrazionalean dauden puntuak, zenbaki arrazionalez izendatu dira. Honetarako zenbaki osoen gain definitutako distantzia hedatu egin da zenbaki arrazionaletara. Distantzia hau, distantzia euklidear moduan ezagutzen da.
Zuzen euklidearrean posizio ez arrazionaletan dauden puntuak, posizio arrazionala duten puntuetatik nahi bezain gertu daudela ulertzen da, hots: posizio ez arrazionaletako puntuak, posizio arrazionaletako puntuen: metatze puntuak direla. Zenbaki arrazionalen Cauchyen segidak, puntu ez arrazionaletan metatzen dira. Honela puntu multzo berria, Cauchyren segida arrazionalen, metatze puntuek osatuko dute: . Puntu arrazionalen gaineko distantzia (euklidearra) definitua dagoenez, distantzia honen hedapen bat egiten da puntu berrietara, osaketa deritzon prozesu baten bidez.
Osaketa prozesua: zenbaki arrazionalen multzoa trinkotzea eta trinkoketa hau osatzea da.
Trinkoketarekin: metatze puntuak, zenbaki arrazionaletatik nahi bezain gertu daudela ezartzen da, eta osaketarekin: Cauchyren segida arrazional batek determinatzen duen: metatze puntua, zenbaki arrazional horiek zuzen euklidearrean duten metatze puntuan kokatzen da.
Trinkotasunaren ondorioz eratzen den distantzia, pseudometrika bat da. Ezin da baieztatu bi puntu desberdinen arteko distantzia ez nulua denik. Osaketa beharrezkoa da metrika bat definitzeko.
Osaketaren ondorioz sortzen den zenbaki multzoa: bakarra dela ikusiko da eta distantzia arrazionala modu bakarrean hedatzen duela, modu honetan zenbaki multzo berria definituko da.
Ondorioz zenbaki multzo berria: gorputz ordenatu arkimediar txikienaren osaketa da, zeinetan osaketarako erabiltzen den distantzia: distantzia euklidearra den. Zenbaki errealen multzoa izendatuko da. .
Helburua beraz gorputz ordenatu arkimediar txikiena osatzea da.
5.2. Zenbaki arrazionalen metatze puntuen gorputza.
Zenbaki arrazional ordenatu arkimediarrak, zuzen euklidearrean posizio arrazionalean dauden puntuekin konpara daitezke, bere metatze puntuak Cauchyren segiden bidez sortzen dira. Honela zenbaki berriak Cauchyren segiden metatze puntuak izango dira.
Zenbaki arrazionalek eta bere metatze puntuek, gorputz ordenatu arkimediarra osatzen dutela suposatuko da, zeinetan batura eta biderkadura determinatu gabeak dauden. Baldintza horietan azpigorputz ordenatu arkimediar txikiena edozein azpimultzo kontagarri izan daiteke, eta beraz notazioa errazte aldera azpigorputz hori limite arrazionaleko Cauchyren segidek osatzen dutela suposatuko da.
Honela barne konposizio legeak eta ordena definituak egongo dira limite arrazionaleko Cauchyren segiden gain.
Metatze puntuak eratzeko metrika bat eraikiko da, zeina zenbaki arrazionalen gain distantzia euklidearra izango den.
5.2.1. Definizioa
, aplikazioa Cauchyren segida dela esaten da, ondorengo proposizioa betetzen bada:
Laburduraz: , eta , adieraziko da.
Oharra: Zenbaki errealak sortu ez direnez: .
5.2.2. Definizioa
Zenbaki arrazionalen gaineko Cauchyren segiden multzoa: , adieraziko da.
.
Oharra: Zenbaki berriak Cauchyren segiden metatze puntuak izango dira, honela metatze puntu berdineko Cauchyren segidak, zenbaki bakarra determinatuko dute.
5.2.3. Proposizioa:
multzoarengain ondorengo erlazioa,baliokidetasun erlazioa da:
, .
Froga:
1: , . Erreflexiboa.
2:
. Simetrikoa.
3:, eta .
Orduan:
Ondorioz: . Trantsitiboa.
Ondorioak:
Baliokidetasun erlazio batek, klase baliokideen partiketa osatzen du zatidura multzoan:
Klase baliokideak , metatze puntu berdineko Caucyren segidak dira.
Zatidura multzoa: , klase baliokideen multzoa edo zenbaki berrien multzoa.
Ondorengo proposizioan metatze puntuek gorputz egitura osatzen dutela ikusiko da.
Notazioa: Ondorengo notazioa erabiliko da aurrerantzean.
Zenbaki arrazionalen gaineko Cauchyren segiden multzoa: adieraziko da.
Zatidura multzoa: , adieraziko da.
Zatidura multzoko elementuak: adieraziko dira.
bada , adieraziko da.
, -ren gaineko segida bat adieraziko du: .
Limite arrazionaleko Cauchyren segidek osatzen duten multzoa: .
Habiapuntua.
Gorputz ordenatu arkimediarra dela suposatuko da, zeinetan barne konposizio legeak determinatu gabe dauden. Ondorioz azpigorputz ordenatu arkimediar txikiena existitzen da, eta zenbaki arrazinal ordenatu arkimediarren isosmorfoa da. Barne konposizio legeak determinatu gabe daudenez, edozein azpimultzo kontagarri izan daiteke azpigorputz ordenatu arkimediar txikiena.
Zentzu honetan eta notazioa errazte aldera, azpigorputz hau: dela suposatuko da, eta goputz ordenatu arkimediarra, gorputz ordenatu arkimediarraren hedapena dela.
5.2.5. Definizioa (Aukeraketarena)
Gorputz ordenatu arkimediarra, gorputz ordenatu arkimediarraren hedapena da.
Zeinetan: eta .
Oharra: Aukeraketa egiteko nahikoak eta beharrezko dira: elementu neutroa, unitatea eta baturaren barne konposizio legea determinatzea. Ordena ezartzeko bi aukera daude, , edo . Bi aukerak baliokideak dira, eta beraz notazioa errezte aldera:, suposatuko da.
Definizioan aipatu diren barne konposizo legeak, -ren gain definitutako ondorengo barne konposizo legeen laburdura dira:
,
Helburua beraz, , eta , betetzen dela frogatzea izango da, kontutan izanik, metatze puntuak eratzeko, metrika bat eraikitzea beharrezkoa dela eta metrika hori zenbaki arrazionalen gain definitua dagoela: metrika euklidear moduan.
5.2.6. Proposizioa:
Gorputz ordenatu arkimediarra bada.
1) , non
2) ,non .
Froga:
Izan ere multzoen arteko ondorengo berdintzak betetzen dira:
1)
2)
Ondorioz: , eta , baturari eta bidaerkadurari dagozkion barne konposizio legeak baldin badira.
1)
2)
6. Zenbaki arrazional ordenatu arkimediarraren osaketa
6.1. Sarrera
Gorputz ordenatu arkimediar osatu batek: , gorputz ordenatu arkimediar txikiena bere baitan du: . Baina gerta daiteke ertsidura: , bere baitan ez egotea: . Geroago ikusiko den kontraadibidean. Honela gorputz ordenatu arikimediar osatua diogunean, osaketa trinkoaz mintzo gara: Azpigorputz arkimediar txikiena trinkoa den gorputz ordenatu arkimediar osatua.
Baldintza horietan: . osatua izanagatik, osatua da. Honela , ren azpigorputz ordenatu arkimediar osatu eta trinkorik txikiena da.
Zentzu honetan:azpigorputz ordenatu arkimediar txikienaren trinkoketa bere baitan duen gorputz ordenatu arkimediar osatu txikiena, bakarra da, eta zenbaki errealen moduan izendatuko da.
Zenbaki arrazionalen metatze puntuak Cauchyren segiden bidez eratzen dira: . Bere azpigorputz txikiena: adieraziko da.
Honela habiapuntua ondorengoa da:
gorputz ordenatu arkimediarra, ren hedapena dela suposa daiteke.
Ordena ere zenbaki arrazionalen ohiko ordenaren hedapena dela supostuko da.
Ordena arkimediarra izateagatik, modu bakarrean defini daiteke -ren gaineko metrika euklidearra.
Osaketarako erabiliko den metrika ere existitzen dela suposatuko da: , zeina ren gain murrizten denean metrika euklidearra den.
Eta helburua ondorengoa da: Baldintza hauetan, , trinkoa izateko baldintzak ezarriko dira, eta osatua izateko baldintzak. Baldintza horiek -ren gaineko metrika determinatuko dute: Trinkoketaren ondorioz, -ren gain definitutako metrika (euklidearra), -ren gain definitutako pseudometrika batetara hedatzen dela ikusiko da, eta osaketaren ondorioz metrika batetara.
Metrika honek, -ren gaineko ordena ere determinatuko du.
6.2. Proposizioa:
gorputz ordenatu arkimediarra bada, gorputz ordenatu arkimediarraren hedapena dela suposa daiteke orokortasunik galdu gabe.
Froga:
gorputz ordenatu arkimediarra izateagatik, azpigorputz ordenatu arkimediar txikiena zenbaki arrazional ordenatu arkimediarren isomorfoa dela frogatua dago, eta beraz azpigorputz ordenatu arkimediar txikiena bezala aukera daiteke.
, zeinetan: , gorputz ordenatu arkimediarren arteko isomorfismoa da.
6.3. Proposizioa:
gorputz ordenatu arkimediarra gorputz ordenatu arkimediarraren hedapena bada, ordenak ondoko erlazioa betetzen duela suposa daiteke orokortasunik galdu gabe.
Froga.
6.2. proposizioagatik gorputz ordenatu arkimediarra en isomorfoa da, ondorioz ordena bi modutan eman daiteke:
Bietako edozein aukera daiteke, isomorfoak bai dira bi aukerak. Eta beraz lehena aukera daiteke.
Oharra: multzoaren gain: ordena eta distantzia determinatu gabe daude. Zenbaki arrazionalen gaineko ordena modu bakarrean determinatzen da ( ordena arkimediarra izateagatik), eta orden honen bidez distantzia euklidearra definitu daiteke -ren gain.
6.4. Proposizioa:
, espazio metrikoa da. Zeinetan: .
Froga: Zailtasun gabea.
6.5. Proposizioa.
egokitzapena non: , eta aplikazioa isometria bat da.
Froga:
, aplikazio bijektiboa eta jarraia da (zailtasun gabea). Distantziak mantentzen ditu:
Oharra: Isometria honen bidez: multzoko zenbakiak: zuzen euklidearrean, unitateko segmentuarekiko posizio arrazionalean dauden puntu gisara adieraz daitezke.
multzoko elementuak zuzen euklidearrean irudika daitezke puntu gisara, distantzia erabiliz. Irudian: , eta .
Ondorioak:
Helburua -ren osaketa egitea da ren gain. Osaketa bi pausutan emanten da: trinkoketa eta osaketa. Trinkoketarekin , dauden zenbakiak, -ren metatze puntuak direla ezartzen da: . Osaketarekin, Cauchyren segida arrazional bati dagokion zenbaki erreala, Cauchyren segida arrazionalak, zuzen euklidearrean determikionatzen duen metatze puntua dela ezartzen da.
Trinkoketarekin: pseudometrika bat eraikitzen da, eta osaketarekin metrika bat.
7. Trinkotasuna
Hipotesiak: Ondorengoak dira hipotesiak unitate honetan:
Gorputz ordenatu arkimediarra, gorputz ordenatu arkimediarraren hedapena da, zeina zenbaki arrazional ordenatu arkimediarren multzoaren isomorfoa den.
Trinkotasunarekin: izatera behartzen da. Zeinetan definituriko espazio metrikoa den, eta definitzeke dagoen espazio metriko hedatua.
Zenbaki arrazionalen gain distantzia definitua dagoenez, ondorengo definizioa eman daiteke.
7.1. Definizioa
, eta emanik:
.
zentruko eta erradioko bola irekia izendatuko da.
Oharra: Kontuz hibili behar da definizioarekin, bolak zenbaki arrazionalak bere baitan ditu, baina ez arrazionalekin zer gertatzen den ez dakigu. Zenbaki ez arrazionalak, zenbaki arrazionaletatik gertu egotea nahi da, zentzu honetan.
7.2. Proposizioa: Trinkotasunarena
Oharra: Proposizio honek esaten du, arrazionalak ez diren zenbaki berriak, zenbaki arrazionaletatik nahi bezain gertu dauden, puntu gisara adieraz daitezkeela. Eta beraz osaketari zentzu euklidearra ezartzen zaio.
Trinkotasunaren proposizio hau inposatu egin da, eta beraz hipotesi moduan uzten da proposizio hori axioma bat den.
7.3. Proposizioa:
Suposa bedi espazio metrikoa dela, eta ren edapena dela.
Trinkotasunaren proposizioa betetzen da baldin eta soilik baldin trinkoa -n.
Froga.
, emanik, eta .
, trinkotasunagatik.
.
Ondorioz:
, eta emanik.
, ezaugarri arkimediarragatik.
, trinkotasunaren hipotesiagatik.
Ondorioz: .
ondorioztatu da. Eta definizioz: denez.
, ondorioztatzen da. trinkoa beraz -n.
Ondorioa:Trinkotasunaren proposizioa beste axiometatik ondorioztatuko balitz, espazio metrikoa trinkoa izango zatekeen -ren gain, eta hori ez da horrela. Honela trinkotasunaren proposizioa axioma bat da, trinkoa izateko beharrezkoa (puntu arrazionalak puntu ez arrazionaletatik nahi bezain gertu egoteko beharrezkoa).
7.4. Kontraadibidea:, espazio metrikoa, -ren hedapena bada, , ez da beti trinkoa -n. Adibidez e metrika honela definitzen bada:
eta bada: .
eta bada: .
eta bada: .
bada: .
Metrika honekin: , eta beraz ez da trinkoa -n.
7.5. Irudia: irudikatu da.
, irudikatu da.
Irudia: Irudia engainagarria da, badirudi zuzen euklidearreko puntu guztiak barneratzen direla. Ez da horrela: trinkotasunaren axiomak esaten du: , eta beraz -ko elementu guztiak barneratzen dira, zuzen euklidearrean puntu gisara, baina ez da esaten zuzen euklidearreko puntu guztiak -ren barnean daudenik ( Beste axioma bat beharko da honetarako).
Oharra: Trinkotasunaren ondorioz: -n definiturik dagoen distantzia hedatu egiten da multzora.
7.6. Habiapuntua
espazio metriko ezezaguna eta ondorengo ezaugarriak ditu:
1: . Hedapenarena.
2: . Trinkotasunarena.
7.7. Proposizioa:
espazio metrikoa bada, trinkoa da espazio metrikoan.
froga: egina dago.
7.8. lema: , espazio metrikoa bada, ondokoa betetzen da.
Zeinetan: , adierazpenak ondorengo esanahia duen:
Froga:
Trikotasunaren axiomagatik:
. ondorioztatzen da.
Laburduraz: , adierazpena honela adieraziko da: , edo beste modu honetara: .
7.9. Proposizioa: espazio metrikoa bada: , emanik
, eta rentzat, ondoko erlazioa betetzen da:
.
Laburduraz: , adieraziko da.
Froga:
, emanik: .
Espazio metrikoen desberdintza triangeluarragatik:
.
.
Azken bi desberdintzen ondorioz:
.
Zeina honela adierazten den:
.
7.10. Korolarioa:
espazio metrikoa bada: , eta , emanik:
Froga: 7.9. korolarioa aplikatu ri.
Ondorioa: espazioa trinkotu egin da , espazio metrikoarekiko, eta ondorioz, distantzia berriak eratu dira: multzotik, multzora hedatzen dira neurri berriak. Ondorengo proposizioan ikusiko da, distantzia bat osatzeko, ezaugarri bakarra falta zaiola: -ren gain, definitu den: , metrikari.
7.11. Proposizioa:
, pseudometrika bat definitzen du.
Zeinetan: emanik,
, eta
.
Eta:
Froga:
Frogapenean:
,
eta .
1: aplikazio bat da.
i) eta , orduan: ,
, ondorioz:
ii) Biz: , , eta .
Izateagatik, emanik
Ondorioz: emanik zeinetan:
, eta beraz:
Ondorioz: , aplikazioa da.
1: .
Izan ere: , orduan:
2: . Berealakoa da.
3:
Hots:
,
, ,
eta desberdinatzak betetzen dira definizioz:
Desberdintza triangeluarra ondorioztatzen da.
Ondorioa:
Zenbaki arrazionalen metatze puntuen ondorioz sortzen den gorputz berria trinkoa izateko axioma bat ezarri behar da. Axioma honen bidez, pseudometrika bat eratzen da. Honela bi puntu desberdinen arteko distantzia nulua izan daiteke.
Metatze puntuen gain metrika bat eraikitzen bada, zeinaren bidez metatze puntuen gorputza trinkoa den zenbaki arrazionalen gain, ezin da zihurtatu gorputza osatua denik, ez eta distantzien arteko kontserbazioa beteko denik ere.
7.12. proposizioa. Kontraadibidea.
modu honetan definitua:
Eta ordena: .
espazio metrikoa modu honetan definitua:
. bada.
.
,
Adibide honetan definitutako kontzeptuek ondorengo ezaugarriak dituzte:
1: Gorputz ordentatu arkimediarra da.
2: espazio metrikoa da, eta zenbaki arrazionalen gaineko metrika euklidearraren hedapena da.
3: trinkoa da espazio euklidearraren gain..
4: ez da osatua.
5: -k ez ditu distantziak kontserbatzen.
Kontserbazioa:
Froga: Limitearen notazioaz abusatu den arren: Batura, biderkadura eta ordena zenbaki errealen gisara ezartzen dira, eta beraz zentzu zorrotzean ondo daude. Baina distantziak ez.
, ondorengo zenbakia dugu, zeinetan: , zenbaki arrazionalen segida konbergentea den -ra, zenbaki errealen multzoan ohiko metrikarekin.
Ikus dezagun trinkoa dela.
, eta , zeinetan , Cauchyrena izateagatik ezereztatzen den: .
Orduan: , Cauchyren segida bat da:
Eta , zenbakira konbergitzen du:
Ondorioz:
Ikus dezagun ez dela osatua.
, eta beraz: Caucyrena -ren gain.
Absurdura bideratuz, suposa bedi baduela limitea:
Ondorioz: , non: .
Zeinetan notazioz.
Baldin eta,
Ondorioz: eta Caucyren segida baliokideak dira:
., ezinezkoa.
Baldin eta,
, ezinezkoa.
Ondorioz: Cauchyren segidak ez du limiterik .
Ikus dezagun ez dituela distantziak kontserbatzen.
Ondorioa:
gorputz arkimediar osatua, edapena izanik, eta espazio metrikoa, trinkoa espazio metriko euklidearraren gain, orduan ere ezin da baieztatu osatua denik, ez eta -k distantziak kontserbatzen dituenik.
Unitateari amaiera emateko korolario bat frogatuko da. multzoko edozein elementurentzat, existitzen direla zenbaki horretara konbergitzen duten segida arrazional gorakorrak eta beherakorrak.
Zenbaki errealen multzoan nabaria den emaitza honek, baditu bere zailtasunak: ordena eta metrika soilik zenbaki arrazionalen gain definituak daudelako.7.8. Proposizioan frogatu da, edozein zenbakitara zenbaki arrazionalen bidez hurbil gaitezkeela.
7.13. Proposizioa
, bada, ondorengo emaitza ematen da:
, emanik , zeinetan:
Froga:
, ematen denez, , Cauchyrena da.
, emanik: , harturik: :
, aukeratuz:
, non: .
7.14. Proposizioa
, bada, ondorengo emaitza ematen da:
, emanik , zeinetan:
1)
2)
Oharra: Zenbaki irrazionala , ez du esan nahi ordenarekiko, bolan dagoenik.
Froga:
1) Atala, 7.13. proposizioan frogatu da, ikus dezagun , aukera daitekeela 2. baldintza bete dezan.
, eta , aukeratuz.
, eta .
Ondorioz: ., ondorioz: , ala .
, Argudio hau: , elementuarengain aplika daiteke:
Ondorioz: , eta ,
i) , absurdura bideratuz
, ezinezkoa.
ii) , ematen bada, eta .
ematen denez.
, eta .
Baldin eta soilik baldin:
Baldin eta soilik baldin:
, ematen denez:
Eta , aukeratuz:
Ondorioz:
Eta:
Honela:
, ezinezkoa.
iii) Modu berean argudiatuz:
, eta ezinezkoa da.
Zenbaki arrazionalak ordenatuak daudenez:
, edo
Ondorioz:: , edo , kasurako:
1)
2)
7.15. Teorema:
ematen bada.
i)
ii)
Froga:
, emanik eta: aukeraturik,
7.14. Proposizioagatik: , zeinetan:
1)
2), frogatzeko:
Honela: , ezaugarri arkimediarragatik.
bada
, eta beraz:
, eta beraz:
7.16 Korolarioa
Froga:
Trinkotasunagatik
ri, 7.15 teorema aplikatuz:
i)
ii)
aukeratzen dira.
Eta berriro ere, , aurreko teorema aplikatuz:
i)
ii)
Eta , aukeratzen dira.
Eta berriro ere: , teorema aplika daiteke.
....
Errekurrentziz ondorengo segida eraikitzen da:
, zeinetan:
Ondorioz:
Gainera: eta ondorioz:
Eta beraz:
, irudikatu da
Oharra: Irudian , irudikatu da, eta kontuz ibili behar da, zeren geroago ikusiko den kontraadibidean -ko elementuak ordenarekiko irudikatzen badira zuzen euklidearrean, behar bada, , ez da egongo irudikatu den bolaren barnean, naiz eta bolan dauden elementu arrazionalekiko gertu egon.
8. Osaketa
Osaketarekin axioma berri bat txertatzen da, ren gain definitutako Cauchyren segidak konbergenteak direla. Honela ondorengoa da egoera.
gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
Orduan ere ezin da baieztatu ezaugarri hauek dituen gorputza bakarra denik, edo zenbaki errealen gorputzaren isomorfismo isometrikoa denik.
8.1. Kontraadibidea:
, zenbaki errealetan bezala definitua.
, eta .
Zeinak gorputz ordenatu arkimediarra eratzen duen.
, non: , koefiziente arrazionaleko segida, ra konbergitzen duena zenbaki errealetan.
espazio metrikoa honela definitua:
, edo ematen bada.
, eta ematen bada.
, metrika euklidearraren hedapena da.
Trinkoa da -n: .
Eta osatua da -ren gain.
Baina ez da zenbaki errealen multzoa: Neurri berriarekin egindako bolak ondorengoak dira zenbaki errealetan.
, bada.
Eta bada:
Ondorioa: Kontraadibide honek erakusten du, beste axioma bat behar dela zenbaki errealen multzoa modu bakarrean karakterizatzeko.
Irudian: , irudikatu da: denean.
-ko elementuak zenbaki errealetan bezala kokatu dira: ordena eta distantziarekiko. Baina metrika berriarekin zentrutik gertu dauden puntuak, zenbaki errealetan unitate bat ezkerretara desplazatzen dira.
Froga:
espazio metrikoa da.
1: , ondo definiutatko aplikazioa da.
2: , , defini daiteke.
3: , , berealakoa da.
4:.
Berealakoa da.
, bada edo orduan , bada: .
Eta beste kasua ezinezkoa da: eta izanik, , bada zenbaki errealetan ondorengo berdintza ematen da:
.
5: Desberdintza triangeluarra:
5.1.
, bada: desberdintza triangeluarra zenbaki errealetan bezala ematen da.
, bada:
eta limitera eramanez:
5.2.
, bada: ,
eta limitera eramanez desberdintza triangeluarra ondorioztatzen da.
, bada:desberdintza triangeluarra zenbaki errealetan bezala ematen da.
5.3. eta kasua.
, bada:
, ondorioztatzen da, eta limitera eramanez desberdintzaa triangeluarra.
, bada: , eta limitera eramanez desberdintza triangeluarra ondorioztatzen da.
espazio metrikoa , espazio metriko euklidearraren hedapena da.
espazio metrikoa trinkoa da espazio metrikoan.
emanik.
1: bada betetzen da, zenbaki errealen kasuan bezala.
2: bada , betetzen da, espazio metriko berrian.
espazio metriko osatua da -ren gain.
Izan bedi: , cauchyrena -n, orduan zenbaki errealetan ohiko metrikarekin limite bakarra du:
.
bada: , espazio metrikoan.
bada: , espazio metrikoan.
Ondorioak:
1: Gorputz ordenatu arkimediar trinko eta osatu txikiena, ez da zenbaki errealen isomorfismo isometrikoa, eta beraz emandako metrika berriak baldintza osagarriren bat bete behar du azpigorputz ordenatu arkimediar txikienaren gain.
2: Ezaugarri hori ez da unitateko distantziaren kontserbazioa, zeren azken kontraadibidean:
, betetzen da.
Hurrengo kontraadibidean, ikusiko da distantziaren kontserbazioa zenbaki arrazionaletara hedatzen bada, baldintza hori ez dela nahikoa zenbaki errealen isomorfismo isometriko bat eraikitzeko.
8.2. kontraadibidea
, zenbaki errealetan bezala definitua.
, eta .
Zeinak gorputz ordenatu arkimediarra eratzen duen, 8.2 kontraadibidean bezala.
espazio metrikoa honela definitua:
, baldin eta: ematen bada.
, baldin eta: ematen bada.
, baldin eta: eta ematen bada.
Baldintza hauetan espazio metriko bat da, espazio metriko euklidearraren hedapena da.
trinkoa da, espazio metrikoaren gain.
osatua da, espazio metrikoaren gain.
espazio metrikoak, distantzia kontserbatzen du zenbaki arrazionalen bidezko batura bidez. Hots:
ez da zenbaki errealen isomorfismo isometrikoa.
Ondorioa: Beharrezkoa da, distatziaren kontserbazioa zenbaki multzo handiago batetara hedatzea, zenbaki irrazionaletara hedatuko da.
8.3. Axioma
Gorputz ordenatu arkimediarra, zenbaki arrazional ordenatu arkimediarren hedapena da.
espazio metrikoa espazio metriko euklidearraren hedapena da, eta bateragarria baturarekiko: .
8.4. Proposizioa
jarraia da, zeinetan: .
Froga:
Topologia metrikoetan, multzo irekien oinarri bat bola irekiek osatzen dute.
Izan bedi: , Ikus dezagun , multzo irekia dela.
, hartzen bada orduan: , betetzen da.
.
Ondorioz: , eta ondorioz: irekia da.
Ondorioak:
Bi ondorio. Lehena baldintza hauetan bi zenbaki irrazionalen artean existitzen dira zenbaki arrazionalak.
Bigarrena: Zenbaki berdinera konbergitzen duten,segida arrazional gorakor batek eta segida arrazional beherakor batek, puntu bakarra barneratzen dute, edo ez dute ezer barneratzen. (Zeinak gorenaren axiomara hurbiltzen gaituen).
Ondorengoa da egoera:
gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
espazio metrikoak bateragarria da: , barne konposizio legearekiko.
Azken baieztapena, axioma moduan txertatu behar izan denak esaten du: bi puntuk osatzen duten segmentua, zenbaki batekin batuz segmentua zuzen euklidearrean trasladatzen bada, segmentuak distantzia kontserbatu egiten duela. Hots: zenbaki arrazionalen gaineko metrika euklidearraren ezaugarria.
8.5. Proposizioa
, zeinetan:
Froga:
Notazioa: Distantzia eta ordena bereizte aldera ondorengo notazioa erabiliko da.
, bitarte ertsiak zein irekiak erabiliz.
8.6. Proposizioa
Bi zenbakiren artean, existitzen da zenbaki arrazional bat.
Froga:
, ordena bateragarria delako barne konposizio legearekin.
, gorputz ordenatua, arkimediarra izateagatik.
adieraziko da. Orduan:
, bitarte erdi irekien bilketa disjuntua dela frogatuko da.
emanik, izan bedi,
Baldin eta: , bada, ezaugarri arkimediarragatik:
, eta
Ondorioz:
bada -ren gain berdin argudiatuz emaitza lortzen da.
Orduan
I) , ezinezkoa.
ii)
Eta ondorioz: . Zeina ezinezkoa den.
i) eta ii)-ren ondorioz:
Beraz bi zenbakiren artean existitzen da zenbaki arrazional bat.
Oharra: Ondorengo proposizioek Gorenaren axiomara hurbilduko gaitu.
8.7. Proposizioa.
eta , orduan
Froga:
Absurdura bideratuz suposa bedi:
eta
Desberdintza zenbaki arrazionalen artekoa denez:
, ezinezkoa.
8.8. Proposizioa
eta , orduan bi proposizio hauetako bakar bat betetzen da:
1 )
2)
Froga.
Absurdura bideratuz, suposa bedi eta .
8.6. proposizioagatik,, non .
Zeren
Honela zenbaki arrazionalen harteko ondorengo desberdintza betetzen da.
, eta ondorioz:
ezinezkoa.
Ondorioz ezinezkoa da multzoak bi elementu edo gehio izatea.
Eta beraz elementu bakarra izango du ala multzo hutsa izango da.
Hipotesia: Multzo hutsaren hipotesia.
eta , non .
Baldintzak:
Ondorengoa da egoera:
gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
espazio metrikoak bateragarria da: , barne konposizio legearekiko.
8.9. Teorema.
Multzo hutsaren hipotesia betetzen bada ezinezkoa da, , zenbaki errealen isomorfismo isometrikoa izatea.
Froga:
Absurdura bideratuz isomorfismo isometriko bat existitzen bada: , zeinetan, isomorfismo isometrikoa den.
Orduan , aplikazioak zenbaki arrazionalak finko mantentzen ditu, eta ordena mantentzen du, eta hori ezinezkoa da.
eta , non .
, eta ondorioz: .
, isomorfismoak ordena mantentzen duenez, .
Honela: eta
Lehen berdintza bijektiboa delako, eta azken berdintza zenbaki errealek gorenaren axioma betetzen dutelako.
Ezinezkoa da beraz multzo hutsaren hipotesia betetzea. zenbaki errealen isomorfismo isometrikoa izatea nahi bada.
8.10. Oharra
Zenbaki errealen multzoa ezaguna izateak abantaila bat ematen du, bere eraikuntzarako beharrezkoak diren axiomak ezartzerako orduan. Honela errez frogatzen da, gorenaren axioma beharrezko baldintza bat dela zenbaki errealen eraikuntzan. Baina oraindik ez da frogatu axioma bat denik. Gerta daiteke, multzo hutsaren hipotesiarekin, ezarritako baldintzak betetzen dituen gorputz bat eraikitzea ezinezkoa izatea, eta orduan gorenaren axioma beste axiomen ondorioz ematen den proposizioa izango litzateke. Honetarako kontraadibide bat eraiki behar da ondorengo baldintzatan:
gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
espazio metrikoak bateragarria da: , barne konposizio legearekiko.
multzo hutsaren hipotesia betetzen du.
Baldintza horiek betetzen dituen gorputza existitzen bada, Gorenaren axioma, axioma bat izango da zenbaki errealen eraikuntzarako beharrekoa, eta ez bada existitzen gorenaren axioma, beste axiomen ondorioz ematen den proposizioa izango da.
Atal honen amaierarako utziko da kontraadibidea, prozesua luzea izateaz gainera, definizio berri batzuk, eta notazio berri bat eskatzen dituelako.
Momentuz, -k gorenaren axioma betetzen du, baina ez dakigu axioma bat den edo proposizio bat den.
9. Gorenaren Axioma: Kontraadibidea
Gorputz ordenatu arkimediarra existitzen dela frogatuko da lehenik. Zeinetan:
1: ,
2: -k multzo ez hutsaren hipotesia betetzen duela suposatuko da ( edo ez duela Gorenaren axioma betetzen ).
-ko elementuak ordenarekiko konparatuko dira zenbaki errealekin, eta -k multzo hutsaren hipotesia betetzen duenez, hutsune horrek zenbaki errealetan puntu bat determinatuko du. Honela zenbaki errealetan zenbait puntu kenduaz gorputz bat eraiki daitekeela frogatuko da Zorn-en Lema erabiliz (Zeina aukeraketaren axiomaren baliokidea den). Gorputz hau existitzen dela frogatuko da eta -ren isomorfismoa dela frogatuko da.
Notazioa:, erabiliko da (teorema honetan soilik), , -ren azpigorputz dela adierazteko.
Oharra: Ondorengo definizioan, multzoko hutsunea zenbaki errealetan: , dela suposatuko da.
Definizioa: , emanik multzoa definituko da: bere baitan ez duten, -ren gaineko, -ren azpigorputzak adierazteko.
Proposizioa: Existitzen da elementu maximala -n.
Froga: , partzialki ordenatutako multzoa da.
.
Guztiz ordenaturiko edozein multzoen familiak goi borne bat duela frogatuko da.-n.
Izan bedi: , guztiz ordenaturiko multzoen familia bat. , frogatuko da.
1: ,-ren gaineko, -ren azpigorputza da: .
Multzoen familia: , guztiz ordenatua egoteagatik: , orokortasunik galdu gabe.
gorputza denez: . ( Biderkadurarentzat: denean ).
Ondorioz: , gorputza da, eta erraz ondorioztatzen da.
2: . Absurdura bideratuz: bada, , eta .Ezinezkoa.
Ondorioz: . Eta .
Eta beraz guztiz ordenaturiko edozein familiak goi bornea du. Honela Zorn-en lema aplikatuz, multzoan existitzen da elementu maximala.
Elementu maximal bat aukeratuko da, eta , adieraziko da.
Oharrak: , izango da kontraadibiderako erabiliko den gorputza. eta ren arteko isomorfismoa eratuko da.
Multzoa Cauchyren segida erregularrek osatzen dute. Cauchyren segida bat emanik, bere baliokideak diren segida gorakorra eta beherakorra eraiki daitezke. Zentzu honetan ondorego notazioa erabiliko da
, erregularrak. Hots: .
Notazioarekin lehial izanez gero: .
Multzoa bi zatitan banatuko da. Lehen multzoko elementua osatzen duen segidak, ez du Gorenaren axioma beteko, eta beste multzoko elementua osatzen duen segidak beteko du gorenaren axioma. Hots lehen multzoko puntuaren elementuek ez dute punturik barneratuko (ordenarekiko), eta bigarren multzoko puntuen elementuek, puntu bat barneratuko dute.
Bigarren multzoa, puntu bat barneratzen duten segida erregularrek osatzen dute, eta horrela -ko elementu guziak barneratzen dira. Bigarren multzoa: , adierazten bada. Gogora bedi, bitarteak ordenari egiten diola erreferentzi.
Proposizioa.
, aplikazio bijektiboa da. Zeinetan:
.
Froga:
Aplikazioa da.
, eta beraz .
Injektiboa da.
Eta beraz: , honela: .
Supraiektiboa da.
emanik barnera daiteke segida arrazionalen bidez: , non , eta .
Orduan: . Honela, .
Bijekzio bat existitu arren, eta , izan arren bi multzoak desberdinak dira.
Proposizioa: Multzo hutsaren hipotesia betetzen bada, .
Froga:
Multzo hutsaren hipotesia egia bada: , non , eta
Ondorioz: .
Ikusi denez:
, multzoak gorputz maximaleko puntuen papera jokatuko du, eta multzoak hutsune multzoaren puntuak.
Hots, Cauchyren bi segida baliokidek ( gorakorra eta beherakorra ) ez badute elementu bat barneratzen, hutsune bat sortzen dute. Baina Cauchyren segida baliokideak izateagatik, ko elementu bat dira, elementu honek ez du hutsunea sortzen, elementu hau osatzen duten terminuek determinatzen dute hutsunea.
Zenbaki errealekin konparatzeko, ko elementu bakoitza bere terminuen limitera eramango da zenbaki errealetan.
Proposizioa:
, aplikazioa bijektiboa da. Zeinetan:
Froga. Ez du zailtasunik, zenbaki errealetan Cauchyren segidak konbergenteak dira.
Isomorfismoa.
Honenbestez isomorfismoa eraikitzeko moduan gaude, gorputz maximalaren gain.
eginez, zeina hipotesiagatik existitzen den. , denez:
Proposizioa:
aplikazio bijektiboa da.
Froga: Aplikazio bijektiboen konposizioa bijektiboa da.
Multzoan batura eta biderkadura definitu gabe daude, baturaren aukera posible bat: egitea da.
Teorema:
, Gorputzen arteko isomorfismoa da.
Zeinetan , zenbaki arrazionalen gaineko gorputz ordenatu arkimediarra den, zenbaki errealen azpigorputza delako.
Eta -en eragiketak isomorfismoaren bidez definitzen diren.
Eta ordena:
Ondorengo baldintzarekin:
Froga.
, baldintza ezar daiteke.
Orokortasuna galdu gabe notazioak aldatuz
Eta ondorengo berdintza betetzen denez:
, kontsidera daiteke.
Korolarioa:
Gorputz ordenatu arkimediarra da. Trinkoa eta osatua zenbaki arrazionalen gain. Metrika bateragarria da baturarekiko, zenbaki arrazionalen gaineko metrika euklidearraren hedapena da eta ez du Gorenaren axioma betetzen.
Zeinetan:
Froga:
Gorputz ordenatu arkimediarra da.
Gorputz hau Zorn-en lemarengatik existitzen da, Zenbaki arrazionalen hedapena da, eta zenbaki errealen azpigorputza da.
Ondorioz arkimediarra da.
Metrika:
1: Zenbaki arrazionalen gaineko metrika euklidearraren hedapena da.
.
2: Trinkoa da -ren gain.
Izan bedi, . Orduan,
Eta zenbaki errealetan existitzen da limite hori duen segida arrazionala.
.
Honela, , non:
Eta beraz: .
3: Osatua da -ren gain.
Izan bedi , zenbaki arrazionalen gaineko Cauchyren segida bat.
Orduan: , eta .
Seidak , rea konbergitzen du metrika berrian.
4: Metrika bateragarria da barne konposizio legearekiko.
Eta ondorengo erlazioa betetzen denez:
5: Espazioak ez du betetzen Gorenaren axioma.
Izan bedi zenbaki errealetan, , unitateko zirkunferentziaren diametro erdira konbergitzen duen segida arrazional gorakorra.
Zebaki errealetan honela adierazten da: .
Barnatua dago espazio metrikoan.
, eta ondorioz: .
Multzoak ez du elementu Gorena, -n.
Absurdura bideratuz, suposa bedi , -ren Goi borne txikiena dela.
. Eta beraz Zenbaki errealetan: i) ala ii)
i) Ematen bada: , eta .
, eta ren goi bornea da eta baino txikiagoa.
Honela ez da -ren goi borne txikiena.
ii) Ematen bada, zenbaki errealetan: ematen denez.
, baina orduan ez da multzoaren goi bornea.
Ondorioz Existizen da -n multzo barnatu bat: , Elementu gorena ez duena.
Bola irekiak irudikatuko dira: Irudia.
Ondorioak:
Ondorengo kontraadibidea aurkitu da:
1: Gorputz ordenatu arkimediarra da eta gorputz ordenatu arkimediarraren hedapena da.
2: metrika bat da eta Zenbaki arrazionalen gaineko metrika euklidearraren hedapena da.
3: trinkoa da -n.
4: osatua da -n.
5: espazio metrikoa bateragarria da baturarekiko.
6: ez du betetzen Gorenaren axioma.
Ondorioz, Gorenaren axioma ezin da gainerako axiometatik ondorioztatu. Gorenaren axioma gainerako axiometatik ondorioztatuko balitz: 1,2,3,4 eta 5 axiomak betetzen dituen gorputzak Gorenaren axioma beteko luke. Eta kontraadibideak erakusten du, hori ez dela horrela.
Honela gorenaren axioma, Axioma berri bat da, Zenbaki errealen eraikuntzarako beharrezkoa.
Eta beraz ondorengo axiomak betetzen ditu espazioak.
i ) gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
ii) espazio metrikoa, espazio metriko euklidearraren hedapena da.
iii) espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
iv) espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
v) espazio metrikoak bateragarria da: , barne konposizio legearekiko.
vi) espazioan Gorenaren axioma betetzen da.
10. Konbergentziaren axioma
Sarrera.
Helburua zenbaki errealak definitzen dituzten axiomak determinatzea da. Eta sei axioma hauekin ez dira definitzen zenbaki errealak. Cantorren multzoko elementu bat emanik: , Cauchyren segida osatzen duten bere terminuak, puntu batetan metatzen dira (ordenarekiko). Puntu hori adierazi da: , eta zenbaki errealetan metatze puntuak eta limiteak bat egiten dute: . Aipaturiko sei axioma horiekin, eraiki daiteke gorputz bat, metatze puntuak eta limiteak bat egiten ez dutena.
Definizioa.
, konbergentziaren ezaugarria betetzen duela esango dugu, baldin eta Cauchyren segidak bere metatze puntura konbergitzen badu.
.
Definizioa.
Multzo batek konbergentziaren ezaugarria betetzen duela esango dugu, multzo horretako zenbaki guziek konbergentziaren ezaugarria betetzen badute.
Zenbaki errealek beraz konbergentziaren ezaugarria betetzen dute.
Proposizioa
espazioak aipaturiko sei axiomekin eraikitzen bada, orduan multzoak konbergentziaren ezaugarria betetzen du.
Froga:
Frogapenak ez du zailtasunik.
Proposizioa ( Konbergentziaren hipotesia puntu ez arrazional baten gain )
espazioa aipaturiko sei axiomekin eraikizen bada. Orduan:
.
Hots: konbergentziaren ezaugarria puntu ez arrazional baten gain ematen da.
Oharra:
Aipaturiko proposizio hau, testuinguru honetan lehen proposizioa da. Hots zenbaki errealak definitzeko beharrezko axioma bat.
espazioa aipaturiko sei axiomekin zenbaki errealen isomorfismo isometrikoa balitz, zenbaki guziek konbergentziaren ezaugarria beteko lukete, eta hori ez da horrela ondorengo kontraadibidean ikusiko denez. Ondorioz konbergentziaren hipotesia gutsienez puntu ez arrazional baten gain betetzea beharrezkoa da, zenbaki errealen eraikuntzarako.
Kontraadibidea
Zenbaki errealen multzoaren gain eraikiko da. Baina metrika berri batekin. honetarako zenbaki errealak klase baliokideetan banatuko dira.
Ondorengo baliokidetasun erlazioa eraikiko da zenbaki errealen gain:
.
Erraz frogatzen da baliokidetasun erlazioa dela. Klase baliokideak:
Zatidura multzoa: .
Eta aukeraketaren axiomagatik, , zeinetan: , modu honetan definitua: bijekzioa den.
Eta klase bakoitzaren ordezkari moduan, multzo horretako edozein elementu aukera daitekenez: , suposa daiteke.
Baliokidetasun erlazio batek, klase baliokideetan zatitzen du multzoa.
Honela emanik: , eta , zeinetan: . Eta ondorioz bere konjokatua defini daiteke: .
Zenbaki errealen gaineko metrika euklidearra: , adierazten bada: .
Metrika berria ondorengoa da: .
Zenbaki errealen multzoak metrika berriarekin sei axiomak betetzen ditu.
i ) gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren hedapena da.
ii) espazio metrikoa, espazio metriko euklidearraren hedapena da.
iii) espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
iv) espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
v) espazio metrikoa bateragarria da: , barne konposizio legearekiko.
vi) espazioan Gorenaren axioma betetzen da.
i) Axioma betetzen da kontraadibidean.
ii) Betetzen da, zeren: . Honela,
iii) Betetzen da. Zenbaki errealen multzoa trinkoa delako zenbaki arrazionalen gain.
Honela, emanik , eta zenbaki errealen multzoa trinkoa denez existitzen da caucyren segida arrazionala puntura konbergentea.
, non . . Ondorioz existitzen da Cauchyren segida arrazionala, puntura konbergentea, espazio metrikoan.
iv) Betetzen da. Zenbaki errealen multzoa osatua delako zenbaki arrazionalen multzoaren gain.
, zenbaki arrazionalen Cauchyren segida bada, existitzen da bere limitea zenbaki errealetan.
, ondorioz: .
v) Betetzen da. Zenbaki errealen espazio euklidearra bateragarria delako: , barne konposizio legearekiko.
vi) Gorenaren axioma betetzen da, multzo hutsaren hipotesia betetzen ez delako.
.
Ondorioz kontraadibideak 6 axiomak betetzen ditu.
Baina kontraadibideak ez du betetzen konbergentziaren hipotesia zenbaki irrazionalen gain.
Har dezagun adibidez: , eta suposa bedi orokortasuna galdu suposa bedi .
Izan bedi: , -ra konbergitzen duen segida arrazionala zenbaki errealetan.
Orduan , ren inguruan metatzen da: , adierazi da.
Baina bere limitea metrika berrian: da.
Izan ere:.
Honela: Cauchyren segida, ren inguruan metatzen da: , baina metrika berrian: -ra konbergitzen du.
. Azken limite hau metrika berrian.
Honela espazio metrikoak ez du konbergentziaren hipotesia betetzen, puntu irrazionaletan.
Ondorioa.
Hipotesi moduan planteatu den proposizioa: Konbergentziaren hipotesia puntu ez arrazional baten gain Axioma bat da. Zenbaki errealen eraikuntzarako beharrezkoa.
Proposizioa: Konbergentziaren Axioma puntu ez arrazional baten gain
espazioa aipaturiko sei axiomekin eraikizen bada, eta zenbaki errealen isomorfismo isometrikoa bada. Orduan:
.
Froga:
espazio metrikoa, zenbaki errealen isomorfismo isometrikoa balitz, konbergentziaren hipotesia puntu guzietan beteko zatekeen.
Kontraadibidean: sei axiomak betetzen dira eta puntu irrazionalek ez dute konbergentziaren ezaugarria betetzen. Honela sei axiometatik habiatuz zenbaki errealen isomorfismo isometrikoa eraikitzen bada, kontraadibidea ondorioztatzea ezinezkoa da. Eta beraz ezinezkoa da, puntu irrazional guzien gain konbergentziaren ezaugarria ez betetzea. Honela sein axioma horiez gain, gutsienez puntu irrazional batek konbergentziaren ezaugarria betetzea beharrezko baldintza da, zenbaki errealen isomorfismo isometrikoa eraikitzeko.
Eta beraz konbergentziaren hipotesia puntu irrazional baten gain, axioma berri bat da.
Ondorioa. Ondorengo axiomak bete behar ditu espazioak, zenbaki errealen isomorfismo isometrikoa izateko.
i ) gorputz ordenatu arkimediarra da, eta zenbaki arrazional ordenatu arkimediarren edapena da.
ii) espazio metrikoa, espazio metriko euklidearraren hedapena da.
iii) espazio metrikoa, trinkoa da: espazio metriko euklidearraren gain.
iv) espazio metrikoa, osatua da: espazio metriko euklidearraren gain.
v) espazio metrikoak bateragarria da: , barne konposizio legearekiko.
vi) espazioan Gorenaren axioma betetzen da.
vii) . Konbergentziaren ezaugarria puntu irrazional baten gain.