Dokaz Darbouxovej vety

Radomr Gajdosoci radomir.gajdosoci@gmail.com

Darbouxova veta. Nech f je spojita na uzavrenom intervale [ a, b], a < b, a, b R a f ( a) < f (b). Potom

c ( f ( a), f (b)) x ( a, b) : f ( x ) = C
Dokaz. Denujeme mnozinu M := { x [ a, b] : f ( x ) < y}. Je neprazdna a obmedzena. Oznacme c = sup M. Tvrdme, ze f (c) = C. To teraz dokazeme sporom s vlastnostami suprema. Predpokladajme: f (c) < C > 0 : f (c) U (C, ) y U ( f (c), ) / / Funkcia je spojita, teda k

> 0 take, ze
f ( x ) U (C, ) /

x U (c, )

Takze c nie je supremom mnoziny M, lebo f (c) je strasne daleko od C (az tak, ze sa nevoslo do okolia bodu C), takze existuju x > c, co je ale spor s prvou vlastnostou suprema. Nech f (c) > C. > 0 take, ze C U ( f (c), ). K potom > 0 take, ze /

x U (c, ) : f ( x ) > C x (c , c) : f ( x ) > C

To je ale spor s druhou vlastnostou suprema, lebo pred existuje derave miesto, a to c .