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
!! 17.06.2018 (Jel.) Khanova škola zve nadšence ke spolupráci na překladech návodů pro učitele a rodiče.
! 04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17.01.2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17.01.2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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 02. 05. 2015 19:41 — Editoval Brano (02. 05. 2015 19:47)

Brano
Příspěvky: 2523
Reputace:   218 
 

disjunktne intervaly

Ked uz sa nam tu rozbehli realne cisla, tak ma napadol takyto klasicky prikladik:

Dokazte, ze pre lubovolny system (po dvoch) disjunktnych intervalov v R je spocitatelny.

Bezny prvy napad je, ze kazdy interval obsahuje racionalne cislo a kedze su disjunktne, tak z kazdeho vyberiem ine cislo, ale tych moze byt iba spocitatelne vela. Lenze tento postup vyuziva axiomu vyberu a to je na dokaz spocitatelnosti "zbytocne" silne. Cize uloha je dokazat to bez axiomy vyberu.

Offline

 

#2 04. 05. 2015 01:21

Andrejka3
Moderátor
Příspěvky: 1952
Škola: PŘF UP Olomouc (2015)
Reputace:   116 
 

Re: disjunktne intervaly

↑ Brano:
Ten výběr lze specifikovat a nepoužít tak axiom výběru. Ale asi máš na mysli nějaké pěknější řešení.


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#3 04. 05. 2015 01:51

Brano
Příspěvky: 2523
Reputace:   218 
 

Re: disjunktne intervaly

↑ Andrejka3:
mas pravdu, da sa to - a ano mal som na mysli ine riesenie, aj ked neviem ci krajsie, ale este chvilu to necham otvorene a potom napisem svoje riesenie.

Offline

 

#4 04. 05. 2015 17:10

check_drummer
Příspěvky: 2589
Reputace:   71 
 

Re: disjunktne intervaly

Ahoj,
nejsem schopen dohlédnout, zda níže uvedené nepoužívá axiom výběru:


Definujme pojem "definice" jen pomocí předem definovaných pojmů.

Offline

 

#5 04. 05. 2015 17:23

Brano
Příspěvky: 2523
Reputace:   218 
 

Re: disjunktne intervaly

(najprv este na doplnenie - myslel som samozrejme nedegenerovane intervaly, ale to asi vsetci aj tak pochopili)
↑ check_drummer:
takto som to myslel aj ja - mozno trochu uhladenejsie by sa to dalo napisat takto

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson