Polospojitost: Porovnání verzí

Smazaný obsah Přidaný obsah
m narovnání přesměrování
m Slovosled, drobné jazykové opravy
Řádek 1:
Přesněji '''shora polospojitost shora''' a '''zdola polospojitost zdola''' jsou pojmy používané v [[matematická analýza|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 (matematika)|funkce]] ''f'' je '''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ší''.
 
== Přesná definice ==
[[Soubor:Upper_semi.png|thumb|right|Shora polospojitá funkce.]]
=== ShoraPolospojitost polospojitostshora ===
* Funkce ''f'' z [[topologický prostor|topologického prostoru]] ''X'' do [[Reálné číslo|reálných čísel]] je '''shora polospojitá v bodě ''x'' ''' z ''X'', pokud pro každé ''ε>0'' existuje [[okolí (matematika)|okolí]] ''U'' bodu ''x'', že <math>f(y)<f(x)+\varepsilon</math> kdykoliv <math>y \in U</math>.
 
Řádek 10:
* 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 <math>\{x \in X: f(x)<a\}</math> (kde ''a'' je nějaké reálné číslo) [[otevřená množina|otevřené]].
 
=== ZdolaPolospojitost polospojitostzdola ===
[[Soubor:Lower_semi.png|thumb|right|Zdola polospojitá funkce.]]
* Funkce ''f'' z [[topologický prostor|topologického prostoru]] ''X'' do reálných čísel je '''zdola polospojitá v bodě ''x'' ''' z ''X'', pokud pro každé ''ε>0'' existuje [[okolí (matematika)|okolí]] ''U'' bodu ''x'', že <math>f(y)>f(x)-\varepsilon</math> kdykoliv <math>y \in U</math>.
Řádek 31:
 
== Mnemotechnika ==
Je zajímavé, že naprosté většině lidstvalidí činí problémy zapamatovat si, která polospojitost je která.
 
== Příklady ==
* [[Charakteristická funkce]] [[otevřená množina|otevřené množiny]] je zdola polospojitá.
* [[Charakteristická funkce]] [[uzavřená množina|uzavřené množiny]] je shora polospojitá.
* [[Norma (matematika)|Norma]] na [[Banachův prostor|Banachově prostoru]] ''X'' je [[slabá topologie|slabě]] zdola polospojitá zdola (tedy zdola polospojitá na topologickém prostoru ''(X,w)''). Je-li [[Dimenze vektorového prostoru|dimenze]] ''X'' nekonečná, norma nemůže být slabě shora polospojitá shora, tedy ani ne slabě spojitá.
 
== Související články ==