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 08. 02. 2009 16:16

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Cantorova věta

Chtel bych si v hlave ujasnit jednu vec a budu rad, kdyz mi pomuzete, děkuji

Cantorova věta říká : Je-li fce spojitá na <a,b> => je stejnoměrně spojitá na <a,b>

Zkusim proti příklad :

vezmu fci f(x) = 1/x D(f) = R\{0}

zúžím ji na interval třeba I = < 0,1; 1 > pak si ale myslí, že fce je spojitá na I, ale není stejnoměrne...pak by ale daná věta byla nepravdivá nebo? děkuji

Offline

 

#2 08. 02. 2009 16:20

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Proč by neměla být stejnoměrně spojitá na [0,1; 1]?

Offline

 

#3 08. 02. 2009 16:40

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Re: Cantorova věta

↑ BrozekP:

vzdyt je jedno jestli na [0,1;1] nebo (0, oo)

důkaz : Ukážu, že fce je spojitá, ale není stejnomerne

Že je spojitá je jasné, zvolím si 2 posloupnosti {x_n}= 1/n    {x_n'}= 1/2na interval třeba (0,oo)

jistá věta říká, že když exituje epsilon >0, tak že pro všechna delta>0 exitují posloupnosti{x_n} a {x_n'}, pro které platí |x_n' - x_n |< delta ale |f(x_n') - f(x_n)|>=epsilon

tato říká, že f není na množine stejnomerne spojitá

takže moje posloupnosti : |1/2n  -  1/n|= 1/2n ----->0 , ale |2n - n|= n -----> oo což jsem chteli dokázat, že není stejnoměrne spojitá

Offline

 

#4 08. 02. 2009 16:50

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Ale bavíme se o intervalu [0,1; 1], ty posloupnosti musí být z něj. 1/n nebo 1/(2n) jsou vždy od určitého n menší než 0,1.

Offline

 

#5 08. 02. 2009 16:57

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Re: Cantorova věta

↑ BrozekP:

dobře, uznávám tady ty posloupnosti nelze použít, ale co kdyby ten interval byl (0, 10) nebo (0, oo) ?

Offline

 

#6 08. 02. 2009 17:03

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Pak to není interval ve tvaru [a,b], pro který má věta platit.

Offline

 

#7 08. 02. 2009 17:11 — Editoval Ginco (08. 02. 2009 17:13)

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Re: Cantorova věta

↑ BrozekP:

ok, tím jsi mi asi odpovedel

chápu to tedy tak, že nikdy nejde najít posloupnosti, ktere by splnovaly předpoklad, že by patřili do uzavřeného intervalu a zároven vyvraceli pravdivost vety

to znamená, že nejde vyvrátit pravdivost vety

Offline

 

#8 08. 02. 2009 17:46

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Pravdivost věty nejde vyvrátit, je dokázána. To by musela být chyba v důkazu.

http://cs.wikipedia.org/wiki/Cantor_Heineho_v%C4%9Bta

Offline

 

#9 08. 02. 2009 18:12

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Re: Cantorova věta

↑ BrozekP:

j to jsem potřeboval

Offline

 

#10 09. 02. 2009 14:13

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

Chápu dobře, že stejnosměrně spojitá fce vypadá přibližně tak, že vemu spojitou fci a z definičního oboru vyjmu konečný počet bodů?

Offline

 

#11 09. 02. 2009 14:22

kaja.marik
Veterán
Příspěvky: 1915
Reputace:   57 
 

Re: Cantorova věta

↑ Elijen:
ne a ani mne nenapada, jak by to mohlo vyplyvat z predchoziho :(

Offline

 

#12 09. 02. 2009 14:59

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

Z předchozího to nevyplývá, já se ptal čistě obecně ^^ ... přemýšlel jsem totiž, jaký je rozdíl mezi stejnosměrnou a klasickou spojitostí.

Offline

 

#13 09. 02. 2009 15:23

kaja.marik
Veterán
Příspěvky: 1915
Reputace:   57 
 

Re: Cantorova věta

Ja to beru tak, ze stejnomerna je silnejsi podminka. Funkce musi byt jeste trosku hezci nez jenom spojita aby se daly dokazat nejake vety, ktere na te silnejsi podmince stoji. Ale zas to neni tak brutalni podminka jako spojitost na uzavrenem intervalu.

Offline

 

#14 09. 02. 2009 16:21

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

Spíš slabší podmínka, ne? Funkce nemusí být úplně spojitá, ale (dle definice) stačí aby pro libovolné dva body intervalu byly jejich obrazy dostatčně blízko. Takže například 1/x není spojitá na R, ale je na R stejnosměrně spojitá.

Offline

 

#15 09. 02. 2009 17:50

Ginco
Místo: Aš
Příspěvky: 617
Reputace:   
 

Re: Cantorova věta

↑ Elijen:


obrácene 1/X je spojitá, ale není stejnosmerne na Definicnim oboru.

K stejno. spojitosti predstav si takový malý obdélníček, kterým projíždíš po celé fci...fixní je zde epsilon, tedy výška toho obdélníčku, no a když projízdis tu tvojí fci, tak ti ta fce nikdy nesmí ujet z šířky toho tvého obdélníčku... asi to nechápeš... důkaz místo slov je tu i Lipschitsovskost...

Offline

 

#16 09. 02. 2009 18:04 — Editoval Elijen (09. 02. 2009 18:09)

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

V tom případě jste ale vyvrátili Heine-Cantorovu větu, nebo tomu vůbec nerozumim :))

Ginco napsal(a):

Cantorova věta říká : Je-li fce spojitá na <a,b> => je stejnoměrně spojitá na <a,b>

http://matematika.cuni.cz/dl/analyza/animace/k0021/spojitost/spojitost.html napsal(a):

Funkce y=exp(x) není stejnoměrně spojitá na reálné ose, protože utíká příliš rychle k nekonečnu a my tak k fixnímu  epsilon  dostáváme stále menší a menší dela až se delta ztratí na nulu.

Tyhle tvrzení si podle mě odporují ... já teda věřim spíš Heinemu a Cantorovi ^^

Offline

 

#17 09. 02. 2009 18:07

kaja.marik
Veterán
Příspěvky: 1915
Reputace:   57 
 

Re: Cantorova věta

1/x neni na R spojita. Vzdyt treba v nule ani neni definovana....

Offline

 

#18 09. 02. 2009 18:18 — Editoval Elijen (09. 02. 2009 18:38)

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

Ta 1/x je zrovna blbej příklad, protože ta podle mě neni ani spojitá ani stejnoměrně spojitá ... stačí si vzít jeden bod větší jak nula a druhý menší.

Ale co ta exponenciela?? Ta je na tuty spojitá na R a tudíž by podle Heine-Cantora měla být i stejnosměrně spojítá ... buď mi unikají předpoklady nebo někdo lže :)

edit: Autorovo pozorování, že se delta ztratí na nulu, při pohledu ná pár desetiných míst mi nepřijde korektní.

Offline

 

#19 09. 02. 2009 21:15

kaja.marik
Veterán
Příspěvky: 1915
Reputace:   57 
 

Re: Cantorova věta

Podle te vety je stejnomerne spojita na kazdem uzavrenem podintervalu mnoziny R. O stejnomerne spojitosti na R podle teto vety nemuzeme nic soudit.

Offline

 

#20 09. 02. 2009 21:18 — Editoval kaja.marik (09. 02. 2009 21:32)

kaja.marik
Veterán
Příspěvky: 1915
Reputace:   57 
 

Re: Cantorova věta

Elijen napsal(a):

edit: Autorovo pozorování, že se delta ztratí na nulu, při pohledu ná pár desetiných míst mi nepřijde korektní.

Toje sice pravda, ale tady bych rekl, ze se autor snazil naucne popularni formou vyslovit neco, co by v pripade potreby umel dokazat v plne obecnosti a za dodrzeni beznych pravidel pro dokazovani vyroku.

Taky tam je treba zvlastni, ze z toho obdelnicku co beha po funkci kosinus ten graf v nekterych bodech vybiha spodkem a vrskem, i kdyz autor tvrdi opak ....

Offline

 

#21 10. 02. 2009 18:34

Elijen
Místo: Praha
Příspěvky: 55
Reputace:   
 

Re: Cantorova věta

↑ kaja.marik:
Pokud je funkce stejnosměrně spojitá na KAŽDÉM uzavřeném podintervalu R, pak je stejnosměrně spojitá na R (jsou to ekvivalentní výroky).
Za krajní body intervalu si můžeš totiž vzít libovolně vzdálená čísla.

Jeden z autorů je shodou okolností můj cvičící, tak se ho na to skusím zeptat :)

Offline

 

#22 10. 02. 2009 19:14 — Editoval BrozekP (10. 02. 2009 19:14)

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Elijen napsal(a):

Pokud je funkce stejnosměrně spojitá na KAŽDÉM uzavřeném podintervalu R, pak je stejnosměrně spojitá na R (jsou to ekvivalentní výroky).

Můžeš to nějak dokázat?

Offline

 

#23 10. 02. 2009 21:10

Asinkan
Příspěvky: 431
Reputace:   
 

Re: Cantorova věta

Můžete někdo uvést příklad funkce,která je stejnoměrně spojitá,ale není spojitá? Může to být třeba fce
f(x)=3   pro $x \epsilon <1;2>$
a
f(x)=3.01 pro $x \epsilon (2;3>$   
na intervalu <1;3>
???


Do prázdného domu vešli 4 lidé, poté odešlo 6 lidí. Kolik lidí musí do domu vejít, aby byl dům prázdný?

Offline

 

#24 10. 02. 2009 21:30 — Editoval BrozekP (10. 02. 2009 22:14)

Pavel Brožek
Místo: Praha
Příspěvky: 5694
Škola: Informatika na MFF UK
Pozice: Student
Reputace:   194 
 

Re: Cantorova věta

Pokud je funkce stejnoměrně spojitá, pak je spojitá. Funkce, kterou uvádíš, není stejnoměrně spojitá (ani spojitá).

Offline

 

#25 10. 02. 2009 22:03 — Editoval Asinkan (10. 02. 2009 22:04)

Asinkan
Příspěvky: 431
Reputace:   
 

Re: Cantorova věta

BrozekP napsal(a):

Pokud je funkce stejnoměrně spojitá, pak je spojitá. Funkce, kterou uvádíš není stejnoměrně spojitá (ani spojitá).

Cantorova věta říká : Je-li fce spojitá na <a,b> => je stejnoměrně spojitá na <a,b>

čili to co jsi napsal není pravda, pokud to nenasal blbě Ginco


Do prázdného domu vešli 4 lidé, poté odešlo 6 lidí. Kolik lidí musí do domu vejít, aby byl dům prázdný?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson