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.

  1. Pro každou posloupnost takovou, že pro všechna a

platí

Věta: (Aritmetika limit funkcí) Nechť

Pak

  1. , je-li součet definován.
  2. , je-li součin definován.
  3. 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ť

  1. Pokud , existuje takové, že pro všechna .
  2. Pokud pro všechna , pak .
  3. 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.