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
! 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: 2487
Reputace:   215 
 

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: 1860
Škola: PŘF UP Olomouc (2015)
Reputace:   111 
 

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: 2487
Reputace:   215 
 

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: 2364
Reputace:   64 
 

Re: disjunktne intervaly

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


Cimrmanův botanický kvíz:
Co mají společného byliny kozlík a pivoňka?

Offline

 

#5 04. 05. 2015 17:23

Brano
Příspěvky: 2487
Reputace:   215 
 

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