Polospojitost

Z Wikipedie, otevřené encyklopedie

Přesněji shora polospojitost a zdola polospojitost jsou pojmy používané v matematické analýze. Jsou to vlastnosti reálných funkcí, které jsou slabší než spojitost, nicméně dány dohromady již spojitost implikují. Každá z nich je tedy sama o sobě jen „půl spojitosti“. Zhruba řečeno je reálná funkce f shora polospojitá v bodě x, pokud pro body y blízké bodu x není f(y) o moc větší než f(x). Funkce f je zdola polospojitá, když v předchozím místo větší řekneme menší.

Obsah

[editovat] Přesná definice

Shora polospojitá funkce.
Shora polospojitá funkce.

[editovat] Shora polospojitost

Ekvivalentně můžeme říci, že f je shora polospojitá v x, pokud \limsup_{y \to x} f(y) \leq f(x).
  • Funkce f je shora polospojitá v X , jestliže je shora polospojitá v každém bodě prostoru X. Je to právě tehdy, když jsou všechny množiny tvaru \{x \in X: f(x)<a\} (kde a je nějaké reálné číslo) otevřené.

[editovat] Zdola polospojitost

Zdola polospojitá funkce.
Zdola polospojitá funkce.
  • Funkce f z topologického prostoru X do reálných čísel je zdola polospojitá v bodě x z X, pokud pro každé ε>0 existuje okolí U bodu x, že f(y)>f(x)-\varepsilon kdykoliv y \in U.
Ekvivalentně můžeme říci, že f je zdola polospojitá v x, pokud \liminf_{y \to x} f(y) \geq f(x).
  • Funkce f je zdola polospojitá v X , jestliže je zdola polospojitá v každém bodě prostoru X. Je to právě tehdy, když jsou všechny množiny tvaru \{x \in X: f(x)>a\} (kde a je nějaké reálné číslo) otevřené.


[editovat] Vlastnosti

  • \limsup_{y \to x} f(y) \leq f(x) \leq \liminf_{y \to x} f(y) ukazuje, že pokud je f v x polospojitá shora i zdola, je již v x spojitá a (samozřejmě) i obráceně.
  • součet
  • supremum

[editovat] Mnemotechnika

Je zajímavé, že naprosté většině lidstva činí problémy zapamatovat si, která polospojitost je která.

[editovat] Příklady

[editovat] Podívejte se také na