13.07.2015 Views

10.1.8 Definice limit I - Realisticky cz

10.1.8 Definice limit I - Realisticky cz

10.1.8 Definice limit I - Realisticky cz

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

( ) ( )( ) ( ) ( ) ( )L1− L2 = L1− f x + f x − L2 = ⎡⎣ L1− f x ⎤⎦ + ⎡⎣ f x − L2⎤⎦== L − f x + f x − L = ε + ε = ε01 22⇒ L1− L2 = 2εcož je spor s původním předpokladem 2ε = L1 − L2Př. 6:(BONUS) Dokaž přímých důkazem větu o souvislosti spojitosti a <strong>limit</strong>y.Věta má tvar ekvivalence p ⇔ q ⇒ musíme ji dokázat oběma směry:p ⇒ q : Je-li funkce f je spojitá v bodě a, pak lim f ( xx a) = f ( a).→vycházíme ze spojitosti a máme dokázat <strong>limit</strong>u∀ ε > ∃ δ > ∀ ∈ − < δ ⇒ − < εmáme spojitost: x R x a f ( x) f ( a)0 0 :( )x R ( x a f x L )∀ ε > ∃ δ > ∀ ∈ < − < δ ⇒ − < εchceme <strong>limit</strong>u: 0 0 : 0( )stačí zapsat L = f ( x)a přidat omezující podmínku 0 < x − a a první řádka se změnív druhou ⇒ je-li splněna první řádka je splněna i druhá ⇒ p ⇒ q platíq ⇒ p : Je-li lim f ( xx a) = f ( a), pak je funkce f je spojitá v bodě a.→vycházíme z <strong>limit</strong>y a máme dokázat spojitostx R ( x a f x L )0 0 x R :( x a f x f a )∀ ε > ∃ δ > ∀ ∈ < − < δ ⇒ − < εmáme <strong>limit</strong>u: 0 0 : 0( )∀ ε > ∃ δ > ∀ ∈ − < δ ⇒ − < εchceme spojitost: ( ) ( )⇒ víme lim ( ) ( )∀ ε > 0 ∃ δ > 0 ∀x ∈ R :( 0 < x − a < δ ⇒ f ( x) − f ( a)< ε )zbývá zajistit, aby podmínka f ( x) − f ( a)< ε platila i pro ( )f x = L = f a dopíšeme ji do definice ve výchozím řádkux → af a (o hodnotě v a <strong>limit</strong>a nicneříká), ale to je jasné pro x = a platí f ( x) = f ( a) ⇒ f ( x) − f ( a) = f ( a) − f ( a) = 0 ⇒obraz bodu a leží také v okolí f ( x) − f ( a)< εDokázánoPř. 7:Nakresli obrázky a sestav definici (v obou verzích) jednostranné <strong>limit</strong>y zleva vevlastním bodě.yf(a)Lax3


Funkce nemusí být napravo od bodu a (dokonce ani přímo v bodu a) definována ⇒ x, kteráse budeme snažit zobrazit do ε -okolí kolem <strong>limit</strong>y musíme vybírat pouze nalevo od bodu a⇒ zobrazujeme pouze z levého okolí bodu a (vše ostatní zůstává stejné)Funkce f má v bodě a <strong>limit</strong>u L zleva, jestliže k libovolně zvolenému ε -okolí bodu L,existuje takové levé δ -okolí bodu a, že pro všechna x z tohoto okolí bodu a, x ≠ a patříf x do zvoleného ε -okolí bodu L.hodnoty ( )Přes nerovnosti:Funkce f má v bodě a <strong>limit</strong>u L zleva, jestliže ke každému ε > 0 existuje δ > 0 tak, že provšechna reálná x platí: je-li a δ x a f x − L < ε .− < < , pak ( )Př. 8:Nakresli obrázky a sestav definici (v obou verzích) jednostranné <strong>limit</strong>y zprava vevlastním bodě.yf(x)=LaxFunkce nemusí být nalevo od bodu a (dokonce ani přímo v bodu a) definována ⇒ x, která sebudeme snažit zobrazit do ε -okolí kolem <strong>limit</strong>y musíme vybírat pouze napravo od bodu a ⇒zobrazujeme pouze z pravého okolí bodu a (vše ostatní zůstává stejné)Funkce f má v bodě a <strong>limit</strong>u L zprava, jestliže k libovolně zvolenému ε -okolí bodu L,existuje takové pravé δ -okolí bodu a, že pro všechna x z tohoto okolí bodu a, x ≠ a patříf x do zvoleného ε -okolí bodu L.hodnoty ( )Přes nerovnosti:Funkce f má v bodě a <strong>limit</strong>u L zprava, jestliže ke každému ε > 0 existuje δ > 0 tak, žepro všechna reálná x platí: je-li 0 x a δ f x − L < ε .< < + , pak ( )Př. 9:Najdi vztah mezi existencí jednostranných <strong>limit</strong> funkce v bodě a existencí <strong>limit</strong>.Když existují obě jednostranné <strong>limit</strong>y a jsou stejné, tak se funkce v bodě a blíží z obou stranke stejnému číslu a má tedy <strong>limit</strong>u.Limita funkce f v bodě a existuje , právě když existují v bodě a <strong>limit</strong>y zprava a zleva ajsou si rovny. Potom se <strong>limit</strong>a funkce f v bodě a rovná společné hodnotě <strong>limit</strong> zprava azleva.Shrnutí: <strong>Definice</strong> <strong>limit</strong> jsou velmi podobné definicím spojitosti. Vynecháváme pouzezobrazování bodu a.4

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!