Reaalilukujen rakentaminen
Vuonna matematiikka on eri rakenteet todellisia lukuja , kaksi joista tunnetuimpia ovat:
Historiallinen
1860-luvulta lähtien tarve esittää reaalilukujen rakenne tuli yhä kiireellisemmäksi, jotta analyysi perustettaisiin tiukalle perustalle. Tähän päivään asti todellisuuden ja niiden ominaisuuksien olemassaolo myönsi esimerkiksi Cauchy vuonna 1821. Vuonna 1817 Bolzano totesi, että reaalien lisäämä ei-tyhjä osa myöntää ylärajan muistiossa, joka valitettavasti ei ole hyvin laajalle levinnyt ja jolla ei ollut juurikaan vaikutusta Weierstrassin työhön noin vuonna 1865. Ensimmäiset Cauchyn sviitteihin perustuvat rakennelmat johtuvat Méraylle vuonna 1869 ja Cantorille, jonka Heine esitteli ideat vuonna 1872 . Dedekind julkaisee reaaliensa rakentamisen leikkausten avulla vuonna 1872. Vuonna 1878 Dini julkaisee tutkielman, jossa esitetään tärkeimmät mielenosoitukset reaaliluvuista.
Intuitiivinen rakenne desimaaleista
Todellinen määrä on määrä, joka on jo desimaaliesitys , jossa on kokonaisluku, kukin on numero välillä 0 ja 9, ja sekvenssi ei lopu ääretön 9. määritelmä on sitten määrä, joka täyttää tämän kaksinkertaisen epätasa kaikille k :
x=ei+0,d1d2d3...{\ displaystyle x = n + 0 {,} d_ {1} d_ {2} d_ {3} \ dotso}
ei{\ displaystyle n}
di{\ displaystyle d_ {i}}
x{\ displaystyle x}![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
ei+d110+d2100+⋯+dk10k≤x<ei+d110+d2100+⋯+dk10k+110k{\ displaystyle n + {\ dfrac {d_ {1}} {10}} + {\ dfrac {d_ {2}} {100}} + \ dotsb + {\ dfrac {d_ {k}} {10 ^ {k }}} \ leq x <n + {\ dfrac {d_ {1}} {10}} + {\ dfrac {d_ {2}} {100}} + \ dotsb + {\ dfrac {d_ {k}} { 10 ^ {k}}} + {\ dfrac {1} {10 ^ {k}}}}![{\ displaystyle n + {\ dfrac {d_ {1}} {10}} + {\ dfrac {d_ {2}} {100}} + \ dotsb + {\ dfrac {d_ {k}} {10 ^ {k }}} \ leq x <n + {\ dfrac {d_ {1}} {10}} + {\ dfrac {d_ {2}} {100}} + \ dotsb + {\ dfrac {d_ {k}} { 10 ^ {k}}} + {\ dfrac {1} {10 ^ {k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb50b61512a28fc2a2e210778cf873ef48496fe0)
.
Tällä rakenteella on tässä muodossa olevan tiukkuuden puuttumisen lisäksi useita haittoja, joista tärkein on vaikeus antaa yksinkertaisia algoritmeja kertolaskuun ja jopa lisäykseen esimerkiksi . Terence Tao huomauttaa, että se voidaan tehdä luonnollista tulkitsemalla se (kuten rakentamista p -adic numerot ) kuin projektiiviselle raja sarjaa desimaalia kanssa n numeroa desimaalipisteen jälkeen, joka on varustettu sopivalla pyöristetty laskusääntöjä.
0,333...+0,666...{\ displaystyle 0 {,} 333 \ dotso +0 {,} 666 \ dotso}![{\ displaystyle 0 {,} 333 \ dotso +0 {,} 666 \ dotso}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a78011b9a7cc9f7feda669b6466f56d2214aea4)
Dedekindin rakentama leikkaus
Määritelmä kokonaisuutena
Tämän rakenteen kuvitteli Richard Dedekind, joka huomaa, että jokainen rationaalinen jakautuu kahteen ryhmään: rationaalijoukko kuten ja rationaaliryhmä , kuten . Sitten se kutsuu katkaisua . Sitten hän huomaa, että se voi myös jakautua kahteen ryhmään: rationaalijoukko kuten ja rationaalijoukko , kuten . Siksi hänelle tuli idea määritellä reaalien joukko leikkausten joukoksi . Nyt on edelleen määriteltävä leikkaus ilman reaaliluvun intuitiivista käsitystä. Dedekind tarjoaa seuraavan määritelmän:
r{\ displaystyle r}
Q{\ displaystyle \ mathbb {Q}}
ATr{\ displaystyle A_ {r}}
klo{\ displaystyle a}
klo<r{\ displaystyle a <r}
Br{\ displaystyle B_ {r}}
b{\ displaystyle b}
b≥r{\ displaystyle b \ geq r}
(ATr,Br){\ displaystyle (A_ {r}, B_ {r})}
Q{\ displaystyle \ mathbb {Q}}
2{\ displaystyle {\ sqrt {2}}}
Q{\ displaystyle \ mathbb {Q}}
AT{\ displaystyle A}
klo{\ displaystyle a}
klo<2{\ displaystyle a <{\ sqrt {2}}}
B{\ displaystyle B}
b{\ displaystyle b}
b>2{\ displaystyle b> {\ sqrt {2}}}
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
Dedekindin leikkaus kehossa , että
ääni on pari kahden epätyhjiä osajoukkoa ja B siten, että
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
-
AT∩B=∅{\ displaystyle A \ korkki B = \ tyhjennä}
;
-
AT∪B=Q{\ displaystyle A \ kuppi B = \ mathbb {Q}}
;
-
∀klo∈AT,∀b∈B,klo<b{\ displaystyle \ forall a \ in A, \ forall b \ in B, a <b}
.
Näemme siis, että mikä tahansa järkevä luku r määrittelee kaksi leikkausta:
- ( A , B ) siten, että A on rationaalilukujen joukko, joka on ehdottomasti pienempi kuin r, ja B on rationaalinen joukko suurempi tai yhtä suuri kuin r ;
- ( A ' , B' ) siten, että A ' on rationaalilukujen joukko, joka on pienempi tai yhtä suuri kuin r, ja B' rationaalinen joukko, joka on ehdottomasti suurempi kuin r .
Tämän epäselvyyden ratkaisemiseksi käytämme seuraavaa leikkauksen määritelmää:
Leikkaus
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
on osa on sellainen, että
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
-
A on tyhjä ja erilainen kuin ;Q{\ displaystyle \ mathbb {Q}}
![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
- Kaikkien of , kaikille , jos sitten kuuluu ;klo{\ displaystyle a}
klo′∈Q{\ displaystyle a '\ sisään \ mathbb {Q}}
klo′<klo{\ displaystyle a '<a}
klo′{\ displaystyle a '}![klo](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb64c0f02687512818f37839ce23ee049c37743)
-
A: lla ei ole suurempaa elementtiä.
Määritetään sitten näiden leikkausten joukoksi (yleistys, katso alla oleva osa "Surrealististen numeroiden käyttö" ). Voimme huomata, että tämän toisen määritelmän avulla voidaan varmistaa yksiselitteinen vastaavuus jokaisen rationaalisen r: n ja leikkauksen välillä, joka määritetään kaikkien perustelujen joukoksi a sellaiseksi, että . Sitten huomaamme, että se on jaettu kahteen sarjaan, joista toinen käsittää leikkaukset, joiden komplementaarinen hyväksyy pienemmän elementin, muodon leikkauksen, ja toinen käsittää leikat, joiden täydentävässä elementissä ei ole pienempää elementtiä.
R{\ displaystyle \ mathbb {R}}
ATr{\ displaystyle A_ {r}}
klo<r{\ displaystyle a <r}
R{\ displaystyle \ mathbb {R}}
ATr{\ displaystyle A_ {r}}![A_ {r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc925d70377b6da729e56bcc6313a7825a19b52)
Esimerkiksi irrationaalia edustaa leikkaus .
2{\ displaystyle {\ sqrt {2}}}
{klo∈Q∣klo<0 tai klo2<2}{\ displaystyle \ {a \ sisään \ mathbb {Q} \ keskellä <0 {\ mbox {tai}} a ^ {2} <2 \}}![{\ displaystyle \ {a \ sisään \ mathbb {Q} \ keskellä <0 {\ mbox {tai}} a ^ {2} <2 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bcc764421fef657b4128a481b67d8b7e9c4b312)
Yksi sukeltaa luonnollisesti huomioon , että injektio-sovellus, joka liittää leikkaus jokaisen järkevä r .
Q{\ displaystyle \ mathbb {Q}}
R{\ displaystyle \ mathbb {R}}
ATr{\ displaystyle A_ {r}}![A_ {r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc925d70377b6da729e56bcc6313a7825a19b52)
Tilaus ja toiminta
Järjestyssuhde : Sisältösuhteen mukana toimitettu leikkausjoukko on sitten täysin järjestetty joukko .
Lisäys : Määritämme lisäyksen :
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
vs.∈AT+B⇔∃klo∈AT∃b∈Bvs.=klo+b{\ displaystyle c \ A + B: ssä \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ n \ n \ n "sivun vasemmalla puolella olevat nuolet ovat olemassa \ sisällä A \ quad \ olemassa b \ sisällä B \ quad c = a + b}![{\ displaystyle c \ A + B: ssä \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ n \ n \ n "sivun vasemmalla puolella olevat nuolet ovat olemassa \ sisällä A \ quad \ olemassa b \ sisällä B \ quad c = a + b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148a1b3d86bffd780fab674e48cfff4cabdb1350)
.
Tämän lisäksi annetaan kommutatiivinen ryhmä rakenne . Ainoa vaikeus on määritellä A : n vastakohta : (jos ) tai (jos ).
R{\ displaystyle \ mathbb {R}}
AT-r{\ displaystyle A _ {- r}}
AT=ATr{\ displaystyle A = A_ {r}}
-AT¯{\ displaystyle - {\ overline {A}}}
AT≠ATr{\ displaystyle A \ neq A_ {r}}![A \ neq A_ {r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fa0f34f414233fd82793169a2df1f923b9e9a9a)
Kertolasku : Kertolasku määritetään ensin positiivisissa reaaleissa seuraavasti:
vs.∈AT×B⇔∃klo∈AT∩Q+∃b∈B∩Q+vs.≤klob{\ displaystyle c \ in A \ kertaa B \ Leftrightarrow \ olemassa a \ in A \ cap \ mathbb {Q} ^ {+} \ quad \ olemassa b \ in B \ cap \ mathbb {Q} ^ {+} \ quad c \ leq ab}![{\ displaystyle c \ in A \ kertaa B \ Leftrightarrow \ olemassa a \ in A \ cap \ mathbb {Q} ^ {+} \ quad \ olemassa b \ in B \ cap \ mathbb {Q} ^ {+} \ quad c \ leq ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c074fd58294767fd77d1258ee425ce901ccf5c66)
.
Merkkien sääntö antaa sitten mahdollisuuden määritellä kertolasku kaikelle .
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Ominaisuudet
Asetettu leikkauksia, jotka tässä järjestyksessä ja nämä kaksi lakeja on tällöin täysin järjestetty kentän , tarkistetaan lisäksi omaisuutta yläraja (mikä tahansa epätyhjä joukko ja on yläraja ).R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Rakentaminen Cauchy-sviittien kautta
Tätä rakennetta on vaikeampaa lähestyä, mutta toiminnan rakentaminen on luonnollisempaa. Tämä menetelmä on muodollisesti analoginen rakennusmenetelmän kanssa, joka sallii metrisestä avaruudesta E saada täydellisen metrisen tilan E ' siten, että E on tiheä E: ssä .
Ei voi olla kysymys, uhalla kehäpäätelmä , määritellä etukäteen , on täysin järjestetty kentän K , eli matkan kanssa arvoja ℝ, koska emme ole vielä määritelty jälkimmäisen. Kaksi Cauchy-sekvenssin ja konvergentin sekvenssin käsitettä on siksi otettava (tässä, mutta erityisesti kappaleessa "Kahden rakenteen vastaavuus") ei Cauchy- sekvenssin ja metrisen tilan konvergentin sekvenssin tavanomaisessa merkityksessä , vaan tavanomaisessa merkityksessä. seuraavat suunta: sekvenssi ( n ) on K
∀e∈K+∗∃EI∈EI∀m,ei≥EI|kloei-klom|<e{\ displaystyle \ forall \ varepsilon \ in K _ {+} ^ {*} \ quad \ on olemassa N \ in \ mathbb {N} \ quad \ forall m, n \ geq N \ quad | a_ {n} -a_ { m} | <\ varepsilon}![{\ displaystyle \ forall \ varepsilon \ in K _ {+} ^ {*} \ quad \ on olemassa N \ in \ mathbb {N} \ quad \ forall m, n \ geq N \ quad | a_ {n} -a_ { m} | <\ varepsilon}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d65e6fbe29d13089a338f258becbcfac81eb48)
;
- konvergoituu elementiksi a (joka on merkitty :) joslimei→∞kloei=klo{\ displaystyle \ lim _ {n \ - \ infty} a_ {n} = a}
![{\ displaystyle \ lim _ {n \ - \ infty} a_ {n} = a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b884bfc1b125402e5fabb2219eb6daf465e58900)
∀e∈K+∗∃EI∈EI∀ei≥EI,|kloei-klo|<e{\ displaystyle \ forall \ varepsilon \ in K _ {+} ^ {*} \ quad \ on olemassa N \ in \ mathbb {N} \ quad \ forall n \ geq N, \ quad | a_ {n} -a | < \ varepsilon}
missä kaikille x ∈ K : lle elementti | x | ∈ K tarkoittaa suurempaa kahdesta elementistä x ja - x .
Nämä kaksi määritelmää Cauchy- sekvenssien ja yhtenevät sekvenssit, - joka on Ront vastaa jälkikäteen tavallista määritelmät - ovat ne, jotka liittyvät vastaavasti yhtenäisen rakenteen on tilattu ryhmä ( K , +, ≤) ja topologia, jotta qu " hän indusoi. Täydellisyys on yhtenäinen tila merkitsee lähentyminen sen Cauchyn sekvenssejä. Päinvastoin, väärä yleensä, on totta, jos kenttä K on Arkhimean (ja ℝ tulee olemaan). Tämä antaa yksinkertaisen kriteerin osoittaa, että ℝ on täydellinen (yhtenäisenä tilana) jo ennen kuin se on toimittanut sille tavallisen metrisen avaruusrakenteensa. Lisäksi käytämme jatkuvasti sitä, että jos K on arkhimedealainen, näihin määritelmiin puuttuva ε voidaan aina ottaa taken + *: sta.
Määritelmä kokonaisuutena
Ajatus Cantor (ja muutaman vuoden ennen häntä Méray ) piilee siinä, että voidaan saavuttaa todellista määrää, jota Cauchyn jono . Rajoittava elementti , joka on tarpeen antaa merkitys on tällöin määritellä todellinen numero. Cauchyn sviittien joukko , jonka huomaamme , näyttää kuitenkin aivan liian suurelta. Itse asiassa esimerkiksi tietylle rationaalille on olemassa ääretön määrä Cauchy-sekvenssejä, jotka lähestyvät tätä rajaa. On välttämätöntä osamäärä Tästä jota ekvivalenssirelaatio sekvenssien välillä: kaksi Cauchy- sekvenssit rationaalilukuja sanotaan olevan yhtä jos niiden ero suppenee kohti 0 (lähentymistä sekvenssi, jolla on edellä määritelty merkitys, samoin, että omaisuutta olla Cauchy):
Q{\ displaystyle \ mathbb {Q}}
Q{\ displaystyle \ mathbb {Q}}
VS{\ displaystyle {\ mathcal {C}}}
VS{\ displaystyle {\ mathcal {C}}}
R{\ displaystyle {\ mathcal {R}}}
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
(uei)R(vei)⇔limei→∞(uei-vei)=0.{\ displaystyle (u_ {n}) {\ mathcal {R}} (v_ {n}) \ Vasen suora \ lim _ {n \ to \ infty} (u_ {n} -v_ {n}) = 0.}
Tämä suhde on todellakin vastaavuussuhde, koska se on:
R{\ displaystyle {\ mathcal {R}}}![{\ mathcal R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74532dc308c806964b832df0d0d73352195c2f2f)
-
heijastava, koska nollasekvenssi todellakin lähenee kohti 0: ta;
-
symmetrinen, koska jos sekvenssi yhtyy 0: een, niin myös päinvastainen sekvenssi lähenee 0: een;
-
transitiivinen absoluuttisen arvon kolmiomaisen epätasa-arvon vuoksi . Jos , ja se on kolme rationaalijärjestystä, meillä on itse asiassa:Q{\ displaystyle \ mathbb {Q}}
(uei){\ displaystyle (u_ {n})}
(vei){\ displaystyle (v_ {n})}
(wei){\ displaystyle (w_ {n})}![(w_ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/d25dade919da8ec7cc47d050ab7ddca413085dda)
∀ei∈EI, |uei-wei|≤|uei-vei|+|vei-wei|.{\ displaystyle \ forall n \ in \ mathbb {N}, \ | u_ {n} -w_ {n} | \ leq | u_ {n} -v_ {n} | + | v_ {n} -w_ {n} |.}
Sitten määritellään joukoksi ekvivalenssiluokkia Cauchyn sekvenssejä rationals (tätä ekvivalenssirelaatio päällä ).
R{\ displaystyle \ mathbb {R}}
R{\ displaystyle {\ mathcal {R}}}
VS{\ displaystyle {\ mathcal {C}}}![\ mathcal C](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
Toiminnot
Sarjassa sekvenssejä on luonnollisesti varustettu kommutatiivisella rengasrakenteella , jonka summaus ja kertolasku periytyvät ryhmän kenttärakenteesta . Jos ja ovat kaksi jaksoa, nämä toiminnot määritellään seuraavasti:
Q{\ displaystyle \ mathbb {Q}}
Q{\ displaystyle \ mathbb {Q}}
(uei){\ displaystyle (u_ {n})}
(vei){\ displaystyle (v_ {n})}![(v_n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3fd4ed07305156418c2612d6fbed5e3c3c71f64)
∀ei∈EI(u+v)ei=uei+vei{\ displaystyle \ forall n \ in \ mathbb {N} \ quad (u + v) _ {n} = u_ {n} + v_ {n}}![{\ displaystyle \ forall n \ in \ mathbb {N} \ quad (u + v) _ {n} = u_ {n} + v_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e1cf77b24ac28791bf06084324acace3e9945bc)
;
∀ei∈EI(u⋅v)ei=uei⋅vei{\ displaystyle \ forall n \ in \ mathbb {N} \ quad (u \ cdot v) _ {n} = u_ {n} \ cdot v_ {n}}![{\ displaystyle \ forall n \ in \ mathbb {N} \ quad (u \ cdot v) _ {n} = u_ {n} \ cdot v_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38ab6b087e64517562d73e5299e8cdd2672de10c)
.
Nämä operaatiot pitävät Cauchy-kriteerin, toisin sanoen, että kahden Cauchy-sekvenssin summa ja tulo ovat edelleen Cauchy-sekvenssejä. Rationaaliarvoisten sekvenssien renkaassa osajoukko on siis alirengas.
VS{\ displaystyle {\ mathcal {C}}}![\ mathcal C](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
Tässä renkaassa 0: een yhtenevien sekvenssien osajoukko on ihanteellinen (ts. Kahden sekvenssin summa, jotka konvergoituvat 0: een, ja sekvenssin tuote, joka konvergoituu 0: een Cauchyn sekvenssin avulla, yhtyy 0: ksi). Vastaavuuden suhteessa siis näkyy, että liittyvät tähän ihanteellinen, jonka avulla on mahdollista saada aikaan osamäärä renkaan rakenne (vielä kommutatiivinen ja yhtenäinen).
VS{\ displaystyle {\ mathcal {C}}}
R{\ displaystyle {\ mathcal {R}}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Sukellamme sisään kiinteiden sviittien kautta. Merkitään luokka, joka sisältää vakiosekvenssin yhtä suuri kuin .
Q{\ displaystyle \ mathbb {Q}}
R{\ displaystyle \ mathbb {R}}
(klo){\ displaystyle (a)}
klo∈Q{\ displaystyle a \ sisään \ mathbb {Q}}![a \ sisään \ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb03a87dc03fc305e7fe382cc673c048b6bd599e)
Osuusrengas on runko.R=VS/R{\ displaystyle \ mathbb {R} = {\ mathcal {C}} / {\ mathcal {R}}}![\ mathbb {R} = {\ mathcal C} / {\ mathcal R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a6760ed892946cbf1aee9cd46e47debd1b62de)
Esittely
Kyse on siitä, että mikä tahansa nollasta poikkeava reaaliluku myöntää käänteisen. Antaa olla elementti, joka poikkeaa (0): sta ja tämän luokan sekvenssi . Sanomalla, että luokka eroaa luokasta (0), tarkoitetaan, että sekvenssi ei lähene 0: ksi, mikä on kirjoitettu:
klo{\ displaystyle a}
R{\ displaystyle \ mathbb {R}}
(kloei){\ displaystyle (a_ {n}) \;}
klo{\ displaystyle a}
klo{\ displaystyle a}
(kloei){\ displaystyle (a_ {n}) \;}![(vuosi}) \;](https://wikimedia.org/api/rest_v1/media/math/render/svg/164b13b01660d307c98265b0b07f3f5d80337265)
(1)∃e∈Q+∗ ∀EI∈EI ∃ei≥EI, |kloei|≥e,{\ displaystyle (1) \ qquad \ olemassa \ varepsilon \ in \ mathbb {Q} _ {+} ^ {*} \ \ kaikki N \ sisällä \ mathbb {N} \ \ olemassa n \ geq N, \ | a_ { n} | \ geq \ varepsilon,}
tai uudestaan: tietylle sekvenssille on ääretön määrä termejä, joiden absoluuttinen arvo on suurempi kuin . Koska tämä sekvenssi on peräisin Cauchysta, tietystä luokasta N , kahden termin eron absoluuttinen arvo on pienempi kuin . Johdamme (1): lla:
e∈Q+∗{\ displaystyle \ varepsilon \ sisään \ mathbb {Q} _ {+} ^ {*}}
e{\ displaystyle \ varepsilon}
e/2{\ displaystyle \ varepsilon / 2}![\ varepsilon / 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f00c527a451f6daf695e866c39ff8d2a0544baa)
(2)∀ei≥EI, |kloei|≥e/2.{\ displaystyle (2) \ qquad \ kaikki n \ geq N, \ | a_ {n} | \ geq \ varepsilon / 2.}
Määritä sekvenssi jos ja (esimerkiksi) jos ei. Tämä perustelujärjestys on peräisin Cauchylta, koska kohdan (2) mukaan
(bei){\ displaystyle (b_ {n})}
bei=1kloei{\ displaystyle b_ {n} = {\ dfrac {1} {a_ {n}}}}
ei≥EI{\ displaystyle n \ geq N}
bei=0{\ displaystyle b_ {n} = 0}![b_ {n} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecc141d40ca4a13ec7beafd6d264d5a435792a58)
∀m,ei≥EI, |bei-bm|=|klom-kloei||klomkloei|≤4e2|klom-kloei|.{\ displaystyle \ kaikki m, n \ geq N, \ | b_ {n} -b_ {m} | = {\ frac {| a_ {m} -a_ {n} |} {| a_ {m} a_ {n } |}} \ leq {\ frac {4} {\ varepsilon ^ {2}}} | a_ {m} -a_ {n} |.}
Voimme näin ollen luokassaan vuonna , ja olemme
b{\ displaystyle b}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
klob=(kloeibei)=(1).{\ displaystyle ab = (a_ {n} b_ {n}) = (1).}
Tilaus
Määrittelemme kuin osajoukko luokkien sisältää ainakin yhden Cauchy- sekvenssin arvoja (joukko positiivinen tai nolla rationals), sitten määritellä suhde koko järjestys on mukaan asetus
R+{\ displaystyle \ mathbb {R} _ {+}}
Q+{\ displaystyle \ mathbb {Q} _ {+}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
x≤y⇔y-x∈R+.{\ displaystyle x \ leq y \ Vasen palkki yx \ sisään \ mathbb {R} _ {+}.}![x \ leq y \ Vasen palkki yx \ sisään \ mathbb {R} _ {+}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/86b4c45eb78688afa9f38b9e4d9d47fa6fbdb6ce)
Se, että tämä suhde on refleksiivinen ja transitiivinen, on välitöntä. Se, että se on myös antisymmetrinen (määrittelee siksi järjestyksen hyvin), johtuu siitä, että . Se, että tämä tilaus on täydellinen, tulee .
R+∩-R+={(0)}{\ displaystyle \ mathbb {R} _ {+} \ cap - \ mathbb {R} _ {+} = \ {(0) \}}
R+∪-R+=R{\ displaystyle \ mathbb {R} _ {+} \ cup - \ mathbb {R} _ {+} = \ mathbb {R}}![\ mathbb {R} _ {+} \ cup - \ mathbb {R} _ {+} = \ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50a105db9367e09bc29ac082f48ed28fe54b042d)
Kehon näin on esitetty , jossa on täysin järjestetty kehon rakenne . Itse asiassa tämä järjestys on yhteensopiva lisäyksen kanssa (rakentamisen perusteella), mutta myös kertolaskun kanssa (koska se on selvästi vakaa tuotteittain). Huomaa, että tämä järjestyssuhde osuu samaan aikaan (upotettu, kuten jo mainittiin) tavallisen järjestyssuhteen kanssa.
R{\ displaystyle \ mathbb {R}}
R+{\ displaystyle \ mathbb {R} _ {+}}
Q{\ displaystyle \ mathbb {Q}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Todistamme edelleen, että se on Archimedean . Siksi voimme päätellä:
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
(R,≤){\ displaystyle (\ mathbb {R}, \ leq)}
on täysin järjestetty arkhimedean ruumis.
Esittelyt
- ≤{\ displaystyle \ leq}
on antisymmetrinen:
Tämä todistaa sen . Olkoon sellainen , osoitakaamme se . On olemassa kaksi Cauchy-sekvenssiä , jotka ovat positiivisia tai nullperusteisia, mikä edustaa vastaavasti ja . Sitten käännetään muotoon: konvergoituu arvoon 0 sisään , mikä (siitä lähtien ) johtaa siihen, että
myös konvergoituu arvoon 0, joten .
R+∩-R+={(0)}{\ displaystyle \ mathbb {R} _ {+} \ cap - \ mathbb {R} _ {+} = \ {(0) \}}
klo,b∈R+{\ displaystyle a, b \ sisään \ mathbb {R} _ {+}}
klo=-b{\ displaystyle a = -b}
klo=(0){\ displaystyle a = (0)}
(kloei){\ displaystyle (a_ {n})}
(bei){\ displaystyle (b_ {n})}
klo{\ displaystyle a}
b{\ displaystyle b}
klo+b=(0){\ displaystyle a + b = (0)}
(kloei+bei){\ displaystyle (a_ {n} + b_ {n})}
Q{\ displaystyle \ mathbb {Q}}
0≤kloei≤kloei+bei{\ displaystyle 0 \ leq a_ {n} \ leq a_ {n} + b_ {n}}
(kloei){\ displaystyle (a_ {n})}
klo=(0){\ displaystyle a = (0)}![a = (0)](https://wikimedia.org/api/rest_v1/media/math/render/svg/582d331671d25027871a0c258b5c3bcd1165cf96)
- Tilaus on yhteensä:≤{\ displaystyle \ leq}
![\ leq](https://wikimedia.org/api/rest_v1/media/math/render/svg/440568a09c3bfdf0e1278bfa79eb137c04e94035)
Tämä todistaa sen . Olkoon ja olkoon Cauchyn rationaalijärjestys, joka edustaa tätä luokkaa. Jos tämä sekvenssi myöntää ääretön positiivinen tai nolla kannalta, koska vastaava alasekvenssi edustaa samaan luokkaan ,. Sama asia korvaamalla "positiivinen" sanoilla "negatiivinen" ja " . Nämä kaksi tapausta (ei yksinomainen) kattavat kuitenkin kaikki mahdollisuudet.
R+∪-R+=R{\ displaystyle \ mathbb {R} _ {+} \ cup - \ mathbb {R} _ {+} = \ mathbb {R}}
klo∈R{\ displaystyle a \ sisään \ mathbb {R}}
(kloei){\ displaystyle (a_ {n})}
klo∈R+{\ displaystyle a \ sisään \ mathbb {R} ^ {+}}
R+{\ displaystyle \ mathbb {R} _ {+}}
-R+{\ displaystyle - \ mathbb {R} _ {+}}![- \ mathbb {R} _ {+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a08c298f80b08454557fcccc6090951085481026)
- R{\ displaystyle \ mathbb {R}}
on arkhimedealainen:
On osoitettava, että kaikilla reaaleilla ja on olemassa sellainen kokonaisluku , että . Kysy vain . Todellinen osuus edustavasta rationaalisesta Cauchy-sekvenssistä on siis kasvanut. Otamme tämän sekvenssin koko ylärajan . Koko , meillä on silloin siis siksi siis .
klo>0{\ displaystyle a> 0 \,}
b≥0{\ displaystyle b \ geq 0}
EI{\ displaystyle N \,}
EIklo≥b{\ displaystyle Na \ geq b}
x=bklo{\ displaystyle x = {\ dfrac {b} {a}}}
x{\ displaystyle x}
(xei){\ displaystyle (x_ {n})}
EI{\ displaystyle N}
ei{\ displaystyle n}
EI-xei∈Q+{\ displaystyle N-x_ {n} \ in \ mathbb {Q} _ {+}}
(EI)-x∈R+{\ displaystyle (N) -x \ sisään \ mathbb {R} _ {+}}
EI≥x{\ displaystyle N \ geq x}
EIklo≥b{\ displaystyle Na \ geq b}![Na \ geq b](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cb60f84546cc645129c5147f3c5b2e6601929a1)
Täydellisyys
Käytössä , tilaus juuri määritellyt antaa merkityksen käsitteet Cauchyn jono ja yhtenevät järjestyksessä. Osoitamme, että jokainen todellinen on rajoitettu sarjaan perusteluja. Tarkemmin: jos Cauchy- sekvenssin rationals merkitsee todellista sitten sekvenssin reals suppenee ja . Täten kaikki Cauchy-järjen sekvenssit yhtyvät . Osoitamme, että tämä pätee myös kaikkiin Cauchy-reaalisekvensseihin:
R{\ displaystyle \ mathbb {R}}
(kloei){\ displaystyle (a_ {n})}
klo{\ displaystyle a}
((kloei)){\ displaystyle ((a_ {n}))}}
R{\ displaystyle \ mathbb {R}}
klo{\ displaystyle a}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Q{\ displaystyle \ mathbb {Q}}
on tiheä ja täydellinen.R{\ displaystyle \ mathbb {R}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Esittely
- Jokainen Cauchyn rationaalisarja yhtyy luokkaansa kohti:R{\ displaystyle \ mathbb {R}}
![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Käytämme isoja kirjaimia reaalien ja pieniä kirjaimia järkevien merkitsemiseksi. Antaa olla Cauchyn rationaalilukujen sekvenssi, sen luokka ja (minkä tahansa kokonaisluvun n osalta ) vakiosekvenssin edustama reaali . Pyrimme kiinteän rationaalisuuden vuoksi todistamaan kokonaisluvun N olemassaolon siten, että
(kloei){\ displaystyle (a_ {n})}
AT{\ displaystyle A}
ATei{\ displaystyle A_ {n}}
kloei{\ displaystyle a_ {n}}
e>0{\ displaystyle \ varepsilon> 0}![\ varepsilon> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
∀ei≥EI, e-|ATei-AT|∈R+.{\ displaystyle \ kaikki n \ geq N, \ \ varepsilon - | A_ {n} -A | \ sisään \ mathbb {R} _ {+}.}
Tätä varten riittää, että sovelletaan Cauchy-kriteeriä sekvenssiin huomattaen , että jos siis kaikkien
kannalta järkevä sekvenssi on positiivinen tai nolla sijasta N, siis sen edustama luokka on .
(kloei){\ displaystyle (a_ {n})}
∀m,ei≥EI, |kloei-klom|≤e{\ displaystyle \ kaikki m, n \ geq N, \ | a_ {n} -a_ {m} | \ leq \ varepsilon}
ei≥EI{\ displaystyle n \ geq N}
(e-|kloei-klom|)m{\ displaystyle (\ varepsilon - | a_ {n} -a_ {m} |) _ {m}}
e-|ATei-AT|{\ displaystyle \ varepsilon - | A_ {n} -A |}
R+{\ displaystyle \ mathbb {R} _ {+}}![\ R_ +](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c1f2c2437bae14145e43c54cb7e1ee2701b2106)
- Sisään jokainen Cauchy-sekvenssi yhtyy:R{\ displaystyle \ mathbb {R}}
![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Antaa olla Cauchyn reaalilukujen sekvenssi, on kyse sen osoittamisesta, että tämä sekvenssi yhtyy . Näimme aiemmin, että kaikki todellinen on rationaalisuusraja. Siksi voimme valita mille tahansa kokonaisluvulle n > 0 rationaalisen , joka . Sekvenssi yhtyy sitten arvoon 0. Sekvenssi on siis samanlainen kuin Cauchy. Siksi voimme pitää sen luokkaa: merkitään U: lla tätä todellista. Koska konvergoituu U: ksi ja että konvergoituu 0: ksi, sekvenssi konvergoituu U: ksi .
(Uei){\ displaystyle (U_ {n})}
R{\ displaystyle \ mathbb {R}}
kloei{\ displaystyle a_ {n}}
|Uei-kloei|≤1/ei{\ displaystyle | U_ {n} -a_ {n} | \ leq 1 / n}
(Uei-kloei){\ displaystyle (U_ {n} -a_ {n})}
(kloei){\ displaystyle (a_ {n})}
(Uei){\ displaystyle (U_ {n})}
(kloei){\ displaystyle (a_ {n})}
(Uei-kloei){\ displaystyle (U_ {n} -a_ {n})}
(Uei){\ displaystyle (U_ {n})}![(A})](https://wikimedia.org/api/rest_v1/media/math/render/svg/5854a00cf0fd559dc8e533281d18c61298c08a4f)
Kahden rakenteen vastaavuus
Dedekindin leikkauksilla tehty rakenne tarjoaa täysin järjestetyn kentän, joka tarkistaa ylärajan ominaisuuden: jokaisella ylärajalla olevalla ei-tyhjällä alijoukolla on yläraja. Cauchy-sviitti tarjoaa täydellisen Archimedean täysin järjestetyn ruumiin. Nämä kaksi ominaisuutta ovat itse asiassa vastaavia. Lisäksi mikä tahansa niitä tyydyttävä kenttä on isomorfinen kentälle ℝ, joka on rakennettu Cauchy-sekvenssien menetelmällä. Siksi voimme sanoa seuraavan lauseen puhumalla "ruumiista" erittelemättä "mikä" se on. Tämän lauseen seurauksena on, että kaikki karakterisoinnit 1), 2), 3) tarkoittavat, että kenttä on kommutatiivinen ja että alikenttä on tiheä (koska näin on Cauchy-sekvenssien rakentaman kentän ℝ kanssa).
Q{\ displaystyle \ mathbb {Q}}![\ mathbb {Q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
Olkoon K täysin järjestetty kenttä. Seuraavat ominaisuudet vastaavat:
-
K tarkistaa ylärajan ominaisuuden;
-
K täyttää sekvenssien monotonisen rajalausekkeen ;
-
K on archimedealainen ja täydellinen;
-
K on Archimedean ja täyttää vierekkäisten sekvenssien lause ;
-
K on isomorfinen to: lle.
Esittely
-
(3)⇒(4){\ displaystyle (3) \ Rightarrow (4)}
koska kaksi vierekkäistä sviittiä on kotoisin Cauchysta.
- (4)⇒(1){\ displaystyle (4) \ Rightarrow (1)}
![(4) \ Oikea nuoli (1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b063cbc4dbfcf98bd17a742c630db4e62909b14)
Tai E joukko sisältää elementin ja rajoittuu M .
x{\ displaystyle x}![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
Jos on ylärajan E sitten on yläraja ja E .
x{\ displaystyle x}
x{\ displaystyle x}![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
Muussa tapauksessa etenemme kaksisuuntaisesti sen osoittamiseksi, että E: llä on yläraja (pienin ylärajasta). Luomme kaksi sekvenssiä ja määritellään induktiolla seuraavasti:
(kloei){\ displaystyle (a_ {n}) \,}
(bei){\ displaystyle (b_ {n}) \,}
klo0=x{\ displaystyle a_ {0} = x \,}![a_ {0} = x \,](https://wikimedia.org/api/rest_v1/media/math/render/svg/679d0246de06ff5474b27329540537c4e3f8f062)
ja
b0=M{\ displaystyle b_ {0} = M \,}![b_ {0} = M \,](https://wikimedia.org/api/rest_v1/media/math/render/svg/39e39640beeb889fba848eab17ee49a84e923353)
kaikille ,
ei{\ displaystyle n \,}![ei\,](https://wikimedia.org/api/rest_v1/media/math/render/svg/205e33e6845813cc72ca346b896a7945f90ca373)
jos on yläraja ja
kloei+bei2{\ displaystyle a_ {n} + b_ {n} \ yli 2}
kloei+1=kloei{\ displaystyle a_ {n + 1} = a_ {n} \,}
bei+1=kloei+bei2{\ displaystyle b_ {n + 1} = {a_ {n} + b_ {n} \ yli 2}}![b _ {{n + 1}} = {a_ {n} + b_ {n} \ yli 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76958f496ee0570172c843b83c609646440d7b7b)
jos se ei ole yläraja, ja
kloei+bei2{\ displaystyle a_ {n} + b_ {n} \ yli 2}
kloei+1=kloei+bei2{\ displaystyle a_ {n + 1} = {a_ {n} + b_ {n} \ yli 2}}
bei+1=bei{\ displaystyle b_ {n + 1} = b_ {n} \,}![b _ {{n + 1}} = b_ {n} \,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2dddf3b2e5f8e77264f4717abac9df39a8b0838)
Rakennusperiaate varmistaa, että:
sekvenssi ( ) on kasvava sekvenssi, jonka mikään termi ei ole E: n yläraja ;
kloei{\ displaystyle a_ {n}}![vuosi](https://wikimedia.org/api/rest_v1/media/math/render/svg/790f9209748c2dca7ed7b81932c37c02af1dbc31)
sekvenssi ( ) on laskeva sekvenssi, jonka kaikki termit ovat E: n ylärajaa ;
bei{\ displaystyle b_ {n}}![b_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e2d72f6dd9375c8f1f59f1effd9b4e5492ac97)
millä tahansa kokonaisluvulla n , joten sekvenssi ( ) yhtyy arvoon 0 (tässä käytämme, että K on Archimedean).
|bei-kloei|=2-ei(M-x){\ displaystyle | b_ {n} -a_ {n} | = 2 ^ {- n} (Mx) \,}
bei-kloei{\ displaystyle b_ {n} -a_ {n}}![b_ {n} -a_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c649467a4f371531cdeccb0b5dcae5ffbf35b0e6)
Sviitit ovat siksi vierekkäisiä. Kohdan (4) mukaan ne lähestyvät yhteistä rajaa .
ℓ{\ displaystyle \ ell}![\ Ell](https://wikimedia.org/api/rest_v1/media/math/render/svg/f066e981e530bacc07efc6a10fa82deee985929e)
Vielä on osoitettava, että yläraja on todellakin.
ℓ{\ displaystyle \ ell}![\ Ell](https://wikimedia.org/api/rest_v1/media/math/render/svg/f066e981e530bacc07efc6a10fa82deee985929e)
Mitään todellista ja E , sillä on yläraja. Joten johtamalla raja, todellista kaikille vuonna , . on siten E: n yläraja .
y{\ displaystyle y \,}
y≤bei{\ displaystyle y \ leq b_ {n}}
bei{\ displaystyle b_ {n} \,}
y{\ displaystyle y \,}
E{\ displaystyle E \,}
y≤ℓ{\ displaystyle y \ leq \ ell}
ℓ{\ displaystyle \ ell}![\ Ell](https://wikimedia.org/api/rest_v1/media/math/render/svg/f066e981e530bacc07efc6a10fa82deee985929e)
Kenelle tahansa E: n todelliselle M ' -päällikkölle , koska se ei ole koskaan yläraja. Johtamalla raja, mistä tahansa yläraja M ja E , . on pienin yläraja.
kloei<M′{\ displaystyle a_ {n} <M '\,}
kloei{\ displaystyle a_ {n} \,}
ℓ≤M′{\ displaystyle \ ell \ leq M '}
ℓ{\ displaystyle \ ell}
-
(1)⇒(2){\ displaystyle (1) \ Rightarrow (2)}
: katso monotoninen rajalauseke .
- (2)⇒(3){\ displaystyle (2) \ Rightarrow (3)}
![(2) \ Oikea nuoli (3)](https://wikimedia.org/api/rest_v1/media/math/render/svg/75253d46db6b68dbe43c7baa352d92c466a33f67)
(2)⇒{\ displaystyle (2) \ Rightarrow}![(2) \ Oikea nuoli](https://wikimedia.org/api/rest_v1/media/math/render/svg/ced38d428f697002a02af034571f51466da042dc)
K on
archimedealainen (toisin sanoen: sekvenssi (1 / n ) lähentyy), koska se pienenee ja aliarvioi.
(2)⇒{\ displaystyle (2) \ Rightarrow}![(2) \ Oikea nuoli](https://wikimedia.org/api/rest_v1/media/math/render/svg/ced38d428f697002a02af034571f51466da042dc)
on K , joka Cauchyn jono suppenee:
Kumpikin on Cauchy-sekvenssi K: ssä . Voimme poimia osa-
monotoninen sekvenssin ( katso
ominaisuudet sub-sviittiä ), joka rajoittuu (kuten oli Itä), niin että suppenee K . Koska a on Cauchy, se lähentyy (kohti samaa rajaa).
-
(3)⇔(5){\ displaystyle (3) \ vasen nuoli (5)}
:
Valitsemme tässä rungoksi ℝ sen, jonka Cauchy-sekvenssit rakentavat. Rakentamalla . Oletetaan päinvastoin, että K on täydellinen arkhimedealainen, ja määritä kartta seuraavasti: jos on Cauchy-järjesarja, sitten K : ssä (tämä raja on olemassa eikä riipu edustajan valinnasta ). Rakenteellisesti on yhteensopiva toiminnan kanssa ja tiukasti kasvava. Lopuksi on surjective, kiitos siitä, että K on Arkhimedeen: kaikille ja kaikille , on olemassa järkevä välillä ja :, missä on pienin ylempi kokonaisluku . Tällainen jatko on Cauchylta, ja sen luokka on parin ennakkotapaus .
(5)⇒(3){\ displaystyle (5) \ Rightarrow (3)}
f:R→K{\ displaystyle f: \ mathbb {R} \ - K}
klo∈R{\ displaystyle a \ sisään \ mathbb {R}}
(kloei){\ displaystyle (a_ {n})}
f(klo)=lim(kloei){\ displaystyle f (a) = \ lim (a_ {n})}
(kloei){\ displaystyle (a_ {n})}
f{\ displaystyle f}
f{\ displaystyle f}
b∈K+{\ displaystyle b \ paikassa K _ {+}}
ei>0{\ displaystyle n> 0}
kloei{\ displaystyle a_ {n}}
b{\ displaystyle b}
b+1/ei{\ displaystyle b + 1 / n}
kloei=s/ei{\ displaystyle a_ {n} = p / n}
s{\ displaystyle p}
eib{\ displaystyle nb}
(kloei){\ displaystyle (a_ {n})}
klo∈R{\ displaystyle a \ sisään \ mathbb {R}}
b{\ displaystyle b}
f{\ displaystyle f}
Merkintä. Nämä vastaavuudet osoittavat erityisesti, että jokainen kappale L on täysin järjestetty ja Archimedes on isomorfinen R: n järjestämän ruumiin osa-alueelle. Todellakin, L: n loppuun saattaminen(samalla prosessilla rakennettu Cauchy sekvensoi Q: n täydellisen R : n) muodostaa (samoilla argumenteilla) kehon K, joka sisältää L: n , ja siten täydellinen Arkhimedean isomorfinen R: lle .
Muut rakenteet
Muita tiukkoja rakenteita on ehdotettu, mutta yleensä ne kiinnostavat vain uteliaisuutta, koska ne soveltavat vähemmän yleistyksiä tai vaativat itse asiassa perusteellista ennakkotietoa, jotta ne voidaan perustella.
Toisin nimensä voisi päätellä, ei noidankehä: se on todellakin mahdollista määritellä suoraan hyperrationals * Q (by ultratulo , so osamäärä Q N jota ei-triviaali Ultrafilter on N ); alkioiden rengas B "valmis" arvoon * Q (elementtijoukko, jota korotetaan standardiluvulla) on suurin ihanteellinen I kaikki äärettömän pieni, ja osamäärä B / I on isomorfinen R: n kanssa . Melko keinotekoisen luonteensa lisäksi tämä rakenne vaatii valinnan aksiomaa , joka saattaa tuntua tarpeettomasti rajoittavalta.
Käyttämällä surrealistisia lukuja
Dedekindin leikkausten rakentaminen näyttää vaikealta yleistää, ja lait (erityisesti kertolasku) vaikuttavat hieman keinotekoiselta. Kuitenkin vuonna 1974 John Horton Conway pystyi osoittamaan, että samanlainen rakenne voisi ulottua uusien numeroiden luokkaan, jota kutsutaan surrealistisiksi numeroiksi , yleistämällä sekä reaaliset että ordinaalit ja joiden operaatioiden määritelmä voi tehdä sen täysin luonnollisella tavalla tapa.
Tiedämme, että surrealististen numeroiden On-kenttä ( Body kirjoitettu isolla kirjaimella, koska se on oikea luokka ) sisältää kaikki järjestetyt kentät (paitsi isomorfismi); Voimme siis määritellä R suurimpana Arkhimedeen alikunta of Käytössä . Conway antaa monimutkaisemman sisäisen rakenteen ja huomauttaa myös, että päivänä ω luodut luvut sisältävät R: n , ± ω: n ja muodon numerot , ja että tämän vuoksi riittää, että löydetään R jälkimmäisen poistamiseksi; tämä viimeinen rakenne, vaikka se onkin tiukka, näyttää erittäin keinotekoiselta, jonka kirjoittaja itse tunnustaa.
s/2ei ± 1/ω{\ displaystyle p / 2 ^ {n} \ \ pm \ 1 / \ omega}![p / 2 ^ {n} \ \ pm \ 1 / \ omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/c52ba8096a611faeba21eca64bfd00993e8c0ec1)
Kvasimorfismien avulla
Seuraava rakenne vaikuttaa vähän tunnetulta; julkaistiin vuonna 1975, siinä käytetään vain suhteellisten kokonaislukujen Z additiiviryhmää ja se perustuu näennäismorfismin käsitteeseen. IsarMathLib-projekti on vahvistanut tämän rakenteen tiukasti (ja automaattisesti ). Yksi sen eduista on, että se ei käytä valittua aksiomia .
Sanomme, että sovellus on lähes morfismi, jos joukko on rajallinen tai jos funktio on rajattu. Funktio g mittaa vian, että f on ryhmämorfismi. Kvasi-morfismien joukko on stabiili lisäämisen ja koostumuksen perusteella. Kahden kvasi-morfismin sanotaan olevan lähes yhtä suuri, jos joukko on äärellinen. Tämä suhde on ekvivalenssisuhde kvasimorfismien joukkoon, joka on yhteensopiva lisäyksen ja koostumuksen kanssa; osamääräjoukko, johon sisältyy summaus ja vastaava kertolasku, on R: lle isomorfinen kenttä ; järjestyksen määrittelemiseksi sanomme, että (missä edustaa ekvivalenssiluokkaa ) si on rajattu tai vie äärettömän positiivisia arvoja N: n yli , ja voimme osoittaa, että kenttä on sitten täysin järjestetty, mikä osoittaa l'-isomorfismin. Itse asiassa on mahdollista tehdä siitä selvä: jos myönnämme a priori R: n olemassaolon (muodostettu jollakin edellisistä menetelmistä), niin minkä tahansa kvasi-morfismin tapauksessa sekvenssi yhtyy R: ssä kohti rajaa ja funktio on rajattu on Z . Toisesta väittää, tästä seuraa, että raja- c ( f ) riippuu vain vastaavuudesta luokan [ f ] on f ; kun taas merkitään se c ([ f ]), c on haettu isomorfismi.
f:Z→Z{\ displaystyle f: \ mathbb {Z} \ to \ mathbb {Z}}
{f(ei+m)-f(m)-f(ei)∣ei,m∈Z}{\ displaystyle \ {f (n + m) -f (m) -f (n) \ n keskellä, m \ sisään \ mathbb {Z} \}}
g(ei,m)=f(ei+m)-f(ei)-f(m){\ displaystyle g (n, m) = f (n + m) -f (n) -f (m)}
{f(ei)-g(ei)∣ei∈Z}{\ displaystyle \ {f (n) -g (n) \ n keskellä \ sisään \ mathbb {Z} \}}
[f]≤[g]{\ displaystyle [f] \ leq [g]}
[f]{\ displaystyle [f]}
f{\ displaystyle f}
g-f{\ displaystyle gf}
f:Z→Z{\ displaystyle f: \ mathbb {Z} \ to \ mathbb {Z}}
f(ei)/ei{\ displaystyle f (n) / n}
vs.(f){\ displaystyle c (f)}
ei↦f(ei)-vs.(f)ei{\ displaystyle n \ mapsto f (n) -c (f) n}![n \ mapsto f (n) -c (f) n](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f4166860a307d4ba26221a209ab421daada982e)
Huomautuksia ja viitteitä
-
(De) Georg Cantor, " Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen " , Math. Ann. , voi. 5,1872, s. 123-132 ( lue verkossa ).
-
Hélène Gispert-Chambaz, Camille Jordan ja analyysin perusteet , University of Paris-Sud , Mathematical Publications of Orsay,1982( lue verkossa ) , s. 13.
-
Roger Godement esitteli täydellisemmän version, mutta silti riittämättömästi muotoiltu , eikä selittänyt laskutusalgoritmeja , artikkelissa Calcul infinitesimal, jonka hän kirjoitti Encyclopædia Universalikselle ; täysin tiukka rakenne on (in) Barbara Burke Hubbard ja John H. Hubbard , Vector Calculus, Linear Algebra, and Differential Forms, Unified Approach , c. 0, osio 0.4.
-
(in) Terence Tao, kompakti ja ristiriitainen , American Mathematical Society, 2013 ( lue verkossa ), c. 1, s. 14.
-
(en) John H. Conway, On Numbers and Games , s. 25 ja seuraavat.
-
Todellinen on osa x on rajoittuu On (on olemassa n kokonaisluku siten, että - n <x <n ) siten, ettäx={x-(1/ei)ei∈EI|x+(1/ei)ei∈EI}.{\ displaystyle x = \ {x- (1 / n) _ {n \ sisään \ mathbb {N}} | x + (1 / n) _ {n \ sisään \ mathbb {N}} \}.}
-
Löydämme useita versioita, esimerkiksi kohdista [1] , [2] ja [3] (en) , sekä tarkan kuvauksen julkaisuista Xavier Caruso, " Vähän tunnettu inkarnaatio todellisten numeroiden ruumiista " ,syyskuu 2008.
-
Caruso 2008 .
-
(sisään) Reuben Hersh (sisään) , Mikä on matematiikka, todella? , New York, Oxford University Press ,1997( lue verkossa ) , s. 274 .
-
Yleisessä tapauksessa, lähes morfismi ryhmästä G on R on kartta sellainen, että joukko f (xy) -f (x) -f (y) on rajoitettu; katso [4] (en) .
-
Ymmärrämme paremmin, miksi huomaamalla, että jos se on todellinen, kartta (koko osa ) on melamorfismi, jonka luokka tunnistetaan .klo{\ displaystyle a}
ei↦E(eiklo){\ displaystyle n \ mapsto E (na)}
eiklo{\ displaystyle na}
klo{\ displaystyle a}
Katso myös
Aiheeseen liittyvät artikkelit
Ulkoiset linkit
Bibliografia
- (en) Holger Teismann, " Kohti täydellisempää luetteloa täydellisyysaksioista " , Amer. Matematiikka. Kuukausittain , vol. 120, n o 22013, s. 99--114 ( DOI 10.4169 / amer.math.kuukausittain 120.02.099 )
- (en) James Propp (en) , " Real Analysis in Reverse " , Amer. Matematiikka. Kuukausittain , vol. 120, n ° 5,2013, s. 392-408 ( arXiv 1204.4483 )
-
(en) Arnold Knopfmacher ja John Knopfmacher, " Kaksi konkreettista uutta rakennetta todellisista luvuista " , Rocky Mountain J. Math. , voi. 18, n ° 4,1988, s. 813-824 ( lue verkossa )- Engelin ja Sylvesterin sarjat .
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">