Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Ahoj. Chcel sa spýtať či mi môžete odporučiť nejaké texty, knihu k tomu ako vytvoriť prirodzené, celé a racionálne čísla.
Prirodzené sa dajú vytvoriť pomocou množín a Peanových axiómov, ale chcelo by to nejaký text aj s nejakými axiómami pre spočítavanie apod. Celé čísla viem vytvoriť len pomocou grúp, nedá sa to spraviť aj jednoduchšie? A o racionálnych nemám ani šajn. Vopred ďakujem.
Offline
Racionální čísla není problém definovat jako uspořádané dvojice celého a přirozeného čísla.
Co je chuťovka je konstrukce reálných čísel ...
Offline
Ahoj.
Základy aritmetiky přirozených čísel jsou popsány zde .
Z přirozených čísel se celá čísla vybudují následovně:
Množinu všech přirozených čísel označme
a na množině
(kartéský součin) definujme relaci

(uspořádaná dvojice
je předobraz rozdílu
i pro případ, kdy
).
Lze ukázat, že relace
je ekvivalence. Dále definujeme
(rozklad množiny
podle ekvivalence
), množinu
nazveme množinou celých čísel.
Přirozenému číslu
odpovídá v
rozkladová třída obsahující usp. dvojici
, tímto způsobem
je množina
vnořena do
.
Zbývá vhodně dodefinovat v
uspořádání a aritmetické operace - tak, aby byly rozšířením již existujícího
uspořádání a operací v
při uvedeném vnoření.
V podstatě jde o to, jak nad pologrupou vybudovat grupu - na stejném principu se pak z celých čísel vybudují
čísla racionální (poněkud zde bude překážet nula, takže nejspíš bude nutno ji dočasně vyloučit ze hry).
Offline
Ďakujem, no mám ešte otázku. Ako to myslíš, že na rovnakom princípe vybudujem racionálne čísla, keď princíp z prirodzených na celé je z pologrupy na grupu.? Netreba ešte ukázať, že pologrupa -> grupa je jednoznačné? Resp., že taká množina
je práve jedna? Vyplýva to odniekiaľ?
Offline
↑ N3st4:
Dalo by se asi ukázat, že takto definované
je nejmenší grupou obsahující pologrupu
a je určena jednoznačně
až na isomorfismus.
Celá čísla bez nuly vzhledem k NÁSOBENÍ tvoří pologrupu, která není grupou, a lze ji na grupu rozšířit analogicky,
jako jsme to udělali u přiirozených čísel pro operaci SČÍTÁNÍ.
Samozřejmě pak bude nutno rozšířit na rac. čísla i grupové operace a uspořádání ze
.
Offline
Keď sme už pri tých číslach, tak to vydebatujme úplne. Reálne čísla vytvorím z racionálych tým, že budem požadovať axiómu supréma (každá neprázdna množina má sup a inf), resp. každá cauchyho postupnosť nech je konvergentná?
A ako to je s komplexnými číslami, požadujem aby
bola riešiteľná. Tým zadefinujem i. Čo ďalej?
Offline
↑ N3st4: http://www.karlin.mff.cuni.cz/~kalenda/data/uka-1.pdf
třeba si tam něco najdeš
Offline