Matematické Fórum

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

#1 05. 05. 2013 15:35

Sep
Příspěvky: 35
Reputace:   
 

Overeni relaci a usporadani

Dobry den,

cely den zapasim s timto prikladem:

Ověřte, zda je relace menší než (<) na množině N celých čísel relací uspořádání.

Abych rekl pravdu, nejsem si moc jisty, jak na to.
Mohl bych poprosit nekoho zkusenejsiho o pomoc s timto prikladem?

Dekuji

Offline

 

#2 06. 05. 2013 16:41

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: Overeni relaci a usporadani

Ahoj.

Při tomto důkazu je nutno vyjít ze způsobu, jak je relace  "<" na množině celých čísel definována,
případně i ze způsobu, jak jsou zavedena celá čísla.  Možností je zde více, ale nějak to zavedl váš
vyučující a o to je nutno se opřít.  Kdyžtak o tom poinformuj.

Offline

 

#3 06. 05. 2013 18:18

Sep
Příspěvky: 35
Reputace:   
 

Re: Overeni relaci a usporadani

Ahoj,

tohle je prave priklad ze sbirky, kde je uvedeno pouze to, co jsem napsal, nic vic.
Jak by se to dalo overit?

Offline

 

#4 07. 05. 2013 11:54 — Editoval Rumburak (07. 05. 2013 12:02)

Rumburak
Místo: Praha
Příspěvky: 8691
Reputace:   502 
 

Re: Overeni relaci a usporadani

↑ Sep:
Jak už jsem napsal, závisí to na tom, jak jsou pojaty ony definice.
Důkaz matematické věty se vždy opírá dílem o definice pojmů (včetně axiomů o tzv. primitivních pojmech),
dílem o věty dokázané dříve. Máme-li něco dokazovat, musíme mít jasno, na co můžeme navázat. Matematika
je prostě takováto stavba.

EDIT. Mohli bychom například vyjít z poznatku, že relace < je ostré leneární ospořádání na množině reálných čísel.
Tvrzení, tato relace "ostře a lineárně uspořádává" i celá čísla, je pak triviální vzhledem k faktu, množina celých čísel
je částí množiny čísel reálných.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson