39. Medzihodnotová vlastnosť

Zhrnutie prednášky

Prednáška predstavuje medzihodnotovú (Darbouxovu) vlastnosť funkcií, ktorú motivuje príklad mnícha putujúceho z kláštora do Káthmandú a späť v rovnakých hodinách, čo zaručuje existenciu miesta, kde bol v oba dni v rovnakom čase. Funkcia je darbouxovská na intervale, ak na každom podintervale <a, b> nadobúda všetky hodnoty medzi f(a) a f(b). Veta tvrdí, že každá spojitá funkcia na intervale je darbouxovská; dôkaz využíva množinu M = {x ∈ <a, b>; f(x) ≤ h}, jej supremum c a spor s predpokladom f(c) < h pomocou otvoreného okolia. Opačná implikácia neplatí, keďže existujú nespojité darbouxovské funkcie. Na záver sa dokazuje existencia riešenia rovnice x = 47 cos x pomocou funkcie f(x) = x − 47 cos x, ktorá mení znamienko na intervale <0, π/2>.

• - Darbouxova (medzihodnotová) vlastnosť: funkcia na každom <a, b> nadobúda všetky hodnoty medzi f(a) a f(b).
• - Každá spojitá funkcia na intervale je darbouxovská.
• - Opačné tvrdenie neplatí: existujú darbouxovské funkcie, ktoré nie sú spojité.
• - Dôkaz používa množinu M = {x ∈ <a, b>; f(x) ≤ h}, jej supremum c a axiómu o supreme.
• - Z uzavretosti M plyne f(c) ≤ h, a f(c) < h vedie k sporu, pretože okolie bodu c by patrilo do M.
• - Grafické „je zrejmé, že sa pretínajú“ nie je dôkaz; protipríklad s funkciou nadobúdajúcou 0 a 2 na racionálnych a iracionálnych číslach.
• - Rovnica x = 47 cos x má riešenie: f(x) = x − 47 cos x je spojitá, f(0) = −47 < 0 a f(π/2) = π/2 > 0, teda existuje c s f(c) = 0.

Zhrnutie pripravené s pomocou AI z prepisu videa.