Definice: Řekneme, že funkce má v bodě limitu , pokud
Zapisujeme
Spojitost funkce
Definice: Funkce je v bodě spojitá, pokud
Definice: Funkce je v bodě
- spojitá zprava, pokud
- spojitá zleva, pokud
Zjevně je v bodě spojitá právě tehdy, když je spojitá zleva i zprava.
Definice: Funkce je spojitá na intervalu právě tehdy, je-li spojitá v každém vnitřním bodě a v krajních bodech jednostranně spojitá.
Okolí a prstencová okolí bodu
Definice: Pro bod a je -okolí bodu definováno jako
Definice: Prstencové okolí bodu (tj. okolí bez samotného bodu) je
Definice: Pravé a levé okolí bodu a jejich prstencové verze:
Definice: Pro „okolí“ nekonečna používáme analogii:
a prstencová okolí nekonečen jsou stejná jako jejich obyčejná okolí.
Jednoznačnost limity funkce
Věta: (Jednoznačnost limity funkce) Funkce může mít v daném bodě nejvýše jednu limitu.
Důkaz: Nechť by existovaly dvě různé limity . Zvolme tak malé, že . Musely by existovat s
Pro by pak existovalo s , což je spor.
Aritmetika limit funkcí
Věta (Heineho definice limity funkce): Nechť funkce je definovaná na prstencovém okolí
bodu pro nějaké . Následující dvě tvrzení jsou ekvivalentní: 1.
- Pro každou posloupnost takovou, že pro všechna a
platí
Věta: (Aritmetika limit funkcí) Nechť
Pak
- , je-li součet definován.
- , je-li součin definován.
- Jestliže v nějakém prstencovém okolí , pak .
Důkaz: Použije se Heineova definice limity a aritmetika limit posloupností: např. pro (1) vezmeme libovolnou posloupnost , aplikujeme aritmetiku limit posloupností a pak Heineovu větu obráceně.
Limity funkcí a uspořádání
Věta: (Limity funkcí a uspořádání) Nechť
- Pokud , existuje takové, že pro všechna .
- Pokud pro všechna , pak .
- Je-li navíc funkce taková, že pro všechna a , potom .
Důkaz: Bod 1: zvolme takové, že vzdálená okolí a jsou disjunktní a přímou aplikací definice limity najdeme s požadovanou nerovností. Body 2 a 3 se pak dokazují obdobně nebo odvozují od věty o dvou policajtech.
Limita složené funkce
Věta: (Limita složené funkce) Nechť
a buď spojitá v , nebo v nějakém prstencovém okolí . Pak
Důkaz: Standardní – argument s dvěma kroky (nejprve pro , pak pro ), použití continuity condition (P1) nebo výběru prstencového okolí (P2).
Mezihodnotová vlastnost
Věta: (Darbouxova – mezihodnotová vlastnost) Nechť je spojitá, označme
Pak pro každé existuje takové, že .
Důkaz: Uvažme množinu , nechte a použijte jednostrannou spojitost na krajích, aby se vyvrátily obě možnosti .
Princip maxima pro spojité funkce
Věta: (Princip maxima pro spojité funkce) Nechť je spojitá. Pak existují takové, že
Důkaz: Položme . Z kompaktu a vybereme konvergentní podposloupnost . Podle spojitosti , tedy maximum je dosaženo; o minimu se argumentuje analogicky.