Sekce Dedekind

Dedekindova sekce je jedním ze způsobů, jak sestrojit reálná čísla z racionálních [1] .

Množina reálných čísel je definována jako množina sekcí Dedekind. Na nich je možné pokračovat v operacích sčítání a násobení .

Historie

Metodu představil v roce 1872 Richard Dedekind [2] [3] .

Podobná konstrukce pro geometrické veličiny je implicitně přítomna v Euklidových prvcích , konkrétně v Knize V, definice 5 zní takto:

Říkají, že množství jsou ve stejném poměru prvního k druhému a třetího ke čtvrtému, jestliže stejné násobky prvního a třetího jsou současně větší, současně stejné nebo současně menší než stejné násobky druhého a čtvrtého. , každý pro libovolnou násobnost, pokud je vezmeme v příslušném pořadí (9, 10, 11, 12). [4] .

Podobné myšlenky publikoval v roce 1849 francouzský matematik Joseph Bertrand [5] .

Definice

Dedekindova sekce je rozdělení množiny racionálních čísel na dvě podmnožiny (dolní nebo levou) a (horní nebo pravou), takže [6] :

  1. pro jakékoli a ,
  2. nemá nejmenší prvek.

Dále je označena sekce Dedekind (ačkoli by stačilo označit jednu z těchto množin, druhá ji doplňuje ).

Pokud má množina největší prvek, pak může být sekce Dedekind identifikována s tímto racionálním číslem. Jinak cut definuje iracionální číslo , které je větší než všechna čísla v sadě a menší než všechna čísla v sadě . Definováním aritmetických operací a pořadí na získané množině úseků získáme těleso reálných čísel a každý úsek určuje pouze jedno reálné číslo.

Příklad

Reálné číslo odpovídá sekci Dedekind, pro kterou [7] :

hodně hodně

Intuitivně si lze představit, že abychom určili , rozdělíme množinu na dvě části: všechna čísla nalevo od a všechna čísla napravo od ; respektive se rovná nejmenší spodní hranici množiny .

Objednávání sekcí Dedekind

Zavedeme pořadí v sadě sekcí. Nejprve určíme, že dvě sekce a jsou si rovny if (pak a ). Dále definujte [8] :

, pokud a zároveň

Je snadné zkontrolovat, zda jsou splněny všechny požadavky lineárního řádu . U racionálních čísel je navíc nové pořadí stejné jako staré.

Z této definice řádu vyplývá:

Věta o aproximaci . Každé reálné číslo lze aproximovat racionálními čísly s libovolnou přesností, to znamená, že je lze uzavřít do intervalu s racionálními hranicemi libovolně malé délky [9] .

Aritmetika sekcí Dedekind

K definování aritmetických operací se sekcemi lze použít aproximační větu formulovanou v předchozí části.

Nechť jsou reálná čísla. Podle aproximační věty lze specifikovat aproximační intervaly s racionálními hranicemi:

Pak součet [10] je reálné číslo obsažené ve všech intervalech tvaru Součet reálných čísel vždy existuje, je jednoznačně definován a pro racionální čísla se shoduje s předchozí definicí součtu. Odečítání je vždy možné, proto s ohledem na takto definovanou operaci sčítání tvoří reálná čísla aditivní grupu .

Podobně je definováno násobení reálných čísel, které spolu se sčítáním přemění množinu reálných čísel na uspořádané těleso [11] .

Variace a zobecnění

Viz také: Dedekind-McNeil dokončení

Dedekindovy úseky lze podobně definovat nejen pro racionální čísla, ale také v jakékoli jiné lineárně uspořádané množině . Viz Úplnost (teorie řádu) . Lze ukázat, že aplikace tohoto postupu na množinu reálných čísel opět dává

Ke konstrukci surrealistických čísel se používá analog Dedekindových sekcí [12] .

Viz také

Poznámky

  1. Encyklopedie matematiky, 1979 .
  2. Richard Dedekind . Stetigkeit und irrationale Zahlen. Friedrich Vieweg und Sohn, Braunschweig 1872. ( online ).
  3. Richard Dedekind. Spojitost a iracionální čísla = Stetigkeit und irrationale Zahlen / per. s ním. S. O. Šatunovskij . - 4. - Matesis , 1923.
  4. Počátky Euklida . Překlad z řečtiny a komentáře D. D. Mordukhai-Boltovského za redakční účasti I. N. Veselovského a M. Ya. Vygodského . M.-L.: GTTI, 1949-1951. Knihy I-VI na www.math.ru Archivováno 6. října 2015 na Wayback Machine nebo na mccme.ru Archivováno 11. srpna 2011 na Wayback Machine ; Knihy VII-X na www.math.ru Archivováno 6. října 2015 na Wayback Machine nebo na mccme.ru Archivováno 18. září 2011 na Wayback Machine ; Knihy XI-XIV na www.math.ru Archivováno 6. října 2015 na Wayback Machine nebo na mccme.ru Archivováno 20. září 2011 na Wayback Machine
  5. Bertrand, Josef. Traité d'aritmétique . - 1849. - "Nesouměřitelné číslo lze definovat jednoduchým uvedením toho, jak lze pomocí jednotky vytvořit velikost, kterou vyjadřuje. Dále předpokládáme, že tato definice sestává z označení toho, která souměřitelná čísla jsou menší nebo větší než daná. Archivováno 17. ledna 2021 na Wayback Machine
  6. Fikhtengolts, 1966 , s. 17-18.
  7. Fikhtengolts, 1966 , s. 18, 36.
  8. Fikhtengolts, 1966 , s. 19-21.
  9. Fikhtengolts, 1966 , s. 22-24.
  10. Fikhtengolts, 1966 , s. 28-31.
  11. Fikhtengolts, 1966 , s. 31-34.
  12. Viz Conwayova přednáška, přibližně od 0:16:30 do 0:19:30 . Získáno 11. října 2020. Archivováno z originálu dne 9. listopadu 2020.

Literatura