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,
jedna osoba, která nemá účet na matematickém fóru, řeší jeden problém.
Slíbila jsem jí, že to tu vyvěsím. Pomůžete jí s tím prosím?
Potřebuje axiomaticky zavést přirozená čísla. K tomu používají Peanovy axiomy.
Je jí divné, že se tam používá i 0, která do přirozených čísel nepatří.
Já v tomhle nejsem vůbec zběhlá. Jenom si říkám, jestli nelze dokázat že množiny No a N jsou izomorfní.
Je funkce, která prvku přiřadí jeho následovníka. Ta je bijektivní, ale asi to nedokazuje rovnou izomorfismus.
Možná by se musela dokázat, že No a N mají stejnou strukturu pomocí matematické indukce či nakonec jinak?
Online
↑ Pomeranc:
Ahoj, v teorii množin se 0 do přirozených čísel řadí.
Izomorfismus jakých struktur chceš dokázat? Pokud té nule dáš význam mohutnosti prázdné množiny, tak v číslech bez nuly takový prvek nenajdeš a tedy ty struktury nebudou izomorfní. Pokud jde jen o jejich uspořádání, tak izomorfní jsou.
Offline
Ahoj ↑ Pomeranc:,
Poznamka 1.
Co sa tyka pojmu isomorfismus, uz aj https://cs.wikipedia.org/wiki/Izomorfismus ta moze dostatocne poucit.
Poznamka 2.
Ked hovoris o prirodzenych cislach, malo by byt pravidlo vzdy upresnit pouzitu definiciu. (A aj vseobecne, ked sa hovori o inych pojmoch. )
Offline
↑ check_drummer:, ↑ vanok:
Obě jsme se shodly, že přirozená čísla vnímáme jako 1,2,3,...
Na jednu stranu si říkali,
Na druhou stranu si říkali, že přirozená čísla nemohou být grupou (zavádí ji jen jako pologrupu),
kvůli tomu, že neexistuje neutrální prvek vzhledem ke sčítání (ale to je divné, když ta 0 tam je).
Online
Ahoj ↑ Pomeranc:,
Dalsie citanie
https://en.wikipedia.org/wiki/Natural_number .
Offline
Ahoj ↑ Pomeranc:,
Ako som ti uz pripomenul v #2 v poznamke 2, definovat mozes nejaky pojem ako ti vyhovuje, ale vzdy musi byt jasne aku definiciu pouzivas.
Offline