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
Přeji pěkné, leč zatažené odpoledne.
Chtěl bych se zeptat, existují "větší" množiny než
?
Pro hnidopichy: Existuje množina M taková, že
?
Děkuji
Offline
Offline
↑ halogan:
To už bychom se ale dostali do poměrně obtížných (a spíše filosofických) otázek o tom, co to vlastně jsou čísla.
Offline
Pokud se chceme omezit pouze na "čísla", možná by bylo dobré se kromě množinových vlastností podívat i na algebraické. Např. zde se uvádí, že komplexní čísla jsou největší algebraické komutativní nadtěleso reálných čísel. Mohlo by být větší komutativní nadtěleso, které by však nebylo algebraicky uzavřené?
EDIT: Teď jsem si uvědomil, že ne, když lze každé těleso doplnit na algebraicky uzavřené nadtěleso.
Offline
Myslím, že abychom mohli otízku zodpovědět, si naopak musíme položit dotaz "Co jsou to číselné množiny?".
Nějaká obecná definice by mohla znít, že jsou to modely "nějaké" algebraické teorie T splňující jisté axiomy (bylo by nutné toto specifikovat přesněji).
Jistě ke každé množině M existuje množina P(M) s mohutností ostře větší a i P(M) má nějakou strukturu (např. danou operacemi sjednocení a průnik - tvoří tuším svaz). Otázka zní, zda je zedy i ona modelem nějaké "povolené" teorie T jak píšu výše.
Edit: v rámci splnění definice inkluze ztotožněme prvky x z M a {x} z P(M)...
Offline
Můžeme se také vydat cestou tzv. kvaternionů a oktonionů jako rozšíření tělesa komplexních čísel. Nicméně spousta "hezkých" vlastností, které v komplexních číslech platí, tímto rozšířením vymizí. V kvaternionech neplatí komutativita, v dalším rozšíření na oktoniony navíc neplatí asociativita.
Offline