Bodová konvergence

Bodová konvergence (anglicky pointwise convergence) je v matematice jedním z druhů konvergence posloupnosti funkcí. Bodová konvergence je slabší než stejnoměrná konvergence, se kterou je často porovnává.[1][2]

Definice

Předpokládejme, že je posloupnost funkcí, které mají stejný definiční obor i obor hodnot. Oborem hodnot je obvykle množina reálných čísel, ale obecně to může být jakýkoli metrický prostor. Posloupnost konverguje bodově k funkci , píšeme

právě tehdy, když

pro každé z definičního oboru. Funkce se nazývá bodová limita funkce .

Vlastnosti

Bodová limita posloupnosti spojitých funkcí nemusí být spojitá: spojité funkce (vyznačené zeleně) bodově konvergují k funkci vyznačené červeně, které není spojitá v bodě .

Bodová konvergence je slabší než stejnoměrná konvergence, kterou zapisujeme

což znamená, že

kde je společný definiční obor funkce a funkcí . Jde o silnější podmínku, než je podmínka bodové konvergence: každá stejnoměrně konvergentní posloupnost je bodově konvergentní ke stejné limitní funkci, ale ne všechny bodově konvergentní posloupnosti jsou stejnoměrně konvergentní. Pokud například je posloupnost funkcí definovaná vztahem , pak bodově na intervalu , ale ne stejnoměrně.

Bodová limita posloupnosti spojitých funkcí může být nespojitá funkce, ale pouze pokud konvergence není stejnoměrná. Například

nabývá hodnoty 1, pokud je celé číslo a 0 jinak; funkce je tedy nespojitá pro každé , které je celým číslem.

Pro koncept bodové konvergence stačí, aby hodnoty funkcí fn byly prvky libovolného topologického prostoru. Pro stejnoměrnou konvergenci je nutná silnější podmínka, obor hodnot funkcí musí být metrický prostor nebo obecněji uniformní prostor.

Topologie

Bodová konvergence je totéž jako konvergence v součinové topologii na prostoru YX, kde X je definiční obor a Y je obor hodnot. Pokud obor hodnot Y je kompaktní, pak podle Tychonoffovy věty, je prostor YX také kompaktní.

Konvergence skoro všude

V teorii míry mluvíme o konvergenci skoro všude posloupnosti měřitelných funkcí definovaných na měřitelném prostoru. To znamená bodovou konvergenci skoro všude, tj. na nějaké podmnožině definičního oboru, jejíž doplněk má míru nula. Jegorovova věta říká, že bodová konvergence skoro všude na množině konečné míry implikuje stejnoměrnou konvergenci na nepatrně menší množině.

Bodová konvergence téměř všude na prostoru funkcí na prostoru s mírou nedefinuje strukturu topologie na prostoru měřitelných funkcí na prostoru s mírou (i když to je konvergenční struktura). Důvodem je, že pokud v topologickém prostoru má každá podposloupnost posloupnosti vlastní podposloupnost se stejnou limitou, musí i posloupnost sama konvergovat k této limitě.

Uvažujeme však posloupnost funkcí takzvaných „cválajících obdélníků“. Nechť N = Floor(log2 n) a k = n mod 2N. Nechť

Pak jakákoli podposloupnost posloupnosti (fn)n má pod-podposloupnost, která sama konverguje skoro všude k nule, například podposloupnost funkcí, které nemají nulovou hodnotu v bodě x=0. Ale původní posloupnost nekonverguje bodově k nule v žádném bodě. Proto na rozdíl od konvergence v míře a konvergence Lp není bodová konvergence skoro všude konvergencí žádné topologie na prostoru funkcí.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Pointwise convergence na anglické Wikipedii.

  1. RUDIN, Walter. Principles of Mathematical Analysis. [s.l.]: McGraw-Hill, 1976. Dostupné online. ISBN 0-07-054235-X. 
  2. MUNKRES, James R. Topology. 2. vyd. [s.l.]: Prentice Hall, 2000. ISBN 0-13-181629-2. 

Související články

Média použitá na této stránce