Ciągłość bezwzględna

Ciągłość bezwzględna, absolutna – jedno z uogólnień, obok całki Lebesgue’a, związku między dwiema centralnymi operacjami analizy matematycznej – różniczkowaniem i całkowaniem – wyrażonego podstawowym twierdzeniem rachunku całkowego. Dla funkcji o wartościach rzeczywistych określonych na prostej rzeczywistej wyróżnia się dwa powiązane ze sobą pojęcia: bezwzględną ciągłość funkcji oraz bezwzględną ciągłość miar, które uogólniane są w różnych kierunkach. Zwykła pochodna funkcji ma związek z pochodną Radona-Nikodýma, zwaną również gęstością miary.

Ciągłość bezwzględna funkcji

Może się zdarzyć, że funkcja ciągła $f$ jest różniczkowalna prawie wszędzie na $[0,1],$ jej pochodna $f'$ jest całkowalna w sensie Lebesgue’a, ale całka $f'$ różni się od przyrostu $f.$ Dzieje się tak, na przykład, dla funkcji Cantora, co oznacza, że funkcja ta nie jest bezwzględnie ciągła. Tak więc bezwzględna ciągłość funkcji jest własnością gładkości silniejszą od ciągłości czy jednostajnej ciągłości.

Definicja

Niech $I$ będzie przedziałem na prostej $\mathbb {R} .$ Funkcja $f\colon I\to \mathbb {R}$ jest bezwzględnie ciągła na $I,$ jeżeli dla każdej liczby dodatniej $\varepsilon$ istnieje liczba dodatnia $\delta$ taka, że o ile skończony ciąg parami rozłącznych podprzedziałów $[x_{k},y_{k}]$ przedziału $I$ spełnia

$\sum _{k}|y_{k}-x_{k}|<\delta ,$

to

$\sum _{k}{\big |}f(y_{k})-f(x_{k}){\big |}<\varepsilon .$

Zbiór funkcji bezwzględnie ciągłych na przedziale $I$ oznacza się niekiedy (od ang. absolutely continuous) symbolem $\operatorname {AC} (I).$

Definicje równoważne

Dla funkcji $f$ o wartościach rzeczywistych określonej na zbiorze zwartym $[a,b]$ następujące warunki są równoważne:

1. $f$ jest bezwzględnie ciągła;
2. $f$ ma pochodną $f'$ prawie wszędzie, która jest całkowalna w sensie Lebesgue’a oraz dla wszystkich $x\in [a,b]$ zachodzi

   $f(x)=f(a)+\int _{a}^{x}f'(t)\operatorname {d} \mu (t);$

3. istnieje na $[a,b]$ funkcja całkowalna w sensie Lebesgue’a taka, że dla wszystkich $x\in [a,b]$ jest

   $f(x)=f(a)+\int _{a}^{x}g(t)\operatorname {d} \mu (t).$

Jeżeli powyższe równoważne warunki są spełnione, to musi zachodzić $g=f'$ prawie wszędzie. Równoważność między 1. a 3. znana jest jako podstawowe twierdzenie rachunku całkowego Lebesgue’a udowodnionego przez Henriego Lebesgue’a. Równoważna definicja w języku miar znajduje się w sekcji Związek między dwoma pojęciami ciągłości bezwzględnej.

Własności

• Suma i różnica dwóch bezwzględnie ciągłych funkcji także jest bezwzględnie ciągła. Jeżeli dwie funkcje określone są na ograniczonym przedziale domkniętym, to ich iloczyn również jest ciągły bezwzględnie.
• Jeżeli funkcja bezwzględnie ciągła jest określona na ograniczonym przedziale domkniętym i nigdzie nie przyjmuje zera, to jej odwrotność również jest bezwzględnie ciągła.
• Każda funkcja bezwzględnie ciągła jest jednostajnie ciągła, a stąd ciągła. Każda funkcja ciągła lipschitzowsko jest bezwzględnie ciągła. Żadnej z tych implikacji nie można odwrócić.
• Jeżeli $f\colon [a,b]\to \mathbb {R}$ jest bezwzględnie ciągła, to ma ona ograniczone wahanie na przedziale $[a,b]$.
• Jeżeli $f\colon [a,b]\to \mathbb {R}$ jest bezwzględnie ciągła, to spełnia ona warunek Łuzina, tj. dla każdego $L\subseteq [a,b]$ takiego, że $\lambda (L)=0$ zachodzi $\lambda {\big (}f[L]{\big )}=0,$ gdzie $\lambda$ oznacza miarę Lebesgue’a na $\mathbb {R} .$
• Funkcja $f\colon I\to \mathbb {R}$ jest bezwzględnie ciągła wtedy i tylko wtedy, gdy jest ciągła, ma ograniczone wahanie i spełnia warunek Łuzina.

Przykłady

Następujące funkcje są wszędzie ciągłe, ale nie bezwzględnie ciągłe:

• funkcja Cantora,
• funkcja określona na skończonym przedziale zawierającym początek dana wzorem

  $f(x)={\begin{cases}0&{\text{dla }}x=0,\\x\sin(1/x)&{\text{dla }}x\neq 0;\end{cases}}$

• funkcja $f(x)=x^{2}$ na przedziale nieograniczonym.

Uogólnienia

Niech $(X,d)$ będzie przestrzenią metryczną, zaś $I$ będzie przedziałem na prostej rzeczywistej $\mathbb {R} .$ Funkcja $f\colon I\to X$ jest bezwzględnie ciągła na $I,$ jeżeli dla każdej liczby dodatniej $\varepsilon$ istnieje liczba dodatnia $\delta$ taka, że o ile skończony ciąg parami rozłącznych podprzedziałów $[x_{k},y_{k}]$ przedziału $I$ spełnia

$\sum _{k}|y_{k}-x_{k}|<\delta ,$

to

$\sum _{k}d{\big (}f(y_{k}),f(x_{k}){\big )}<\varepsilon .$

Zbiór wszystkich funkcji bezwzględnie ciągłych $I$ w $X$ oznaczany jest symbolem $\operatorname {AC} (I;X).$ Dalszym uogólnieniem jest przestrzeń $\operatorname {AC} _{p}(I;X)$ krzywych $f\colon I\to X$ takich, że

$d{\big (}f(s),f(t){\big )}\leqslant \int _{s}^{t}m(\tau )\operatorname {d} \tau {\text{ dla wszystkich }}[s,t]\subseteq I$

dla pewnego $m$ w przestrzeni L^p(I).

Własności uogólnień

• Każda funkcja bezwzględnie ciągła jest jednostajnie ciągła, a więc i ciągła. Każda funkcja ciągła lipschitzowsko jest bezwzględnie ciągła.
• Jeżeli $f\colon [a,b]\to X$ jest bezwzględnie ciągła, to ma ograniczone wahanie na $[a,b].$
• Dla $f\in \operatorname {AC} _{p}(I;X)$ jej pochodna metryczna istnieje dla $\lambda$-prawie wszędzie w $I,$ a pochodna metryczna jest najmniejszym $m\in L^{p}(I;\mathbb {R} )$ takim, że

  $d{\big (}f(s),f(t){\big )}\leqslant \int _{s}^{t}m(\tau )\operatorname {d} \tau {\text{ dla wszystkich }}[s,t]\subseteq I.$

Ciągłość bezwzględna miar

Definicja

Miara $\mu$ określona na podzbiorach borelowskich prostej liczb rzeczywistych jest bezwzględnie ciągła względem miary Lebesgue’a $\lambda$ (jest zmajoryzowana przez $\lambda$), jeżeli $\mu (A)=0$ dla każdego zbioru $A,$ dla którego $\lambda (A)=0.$ Własność tę zapisuje się symbolem $\mu \ll \lambda .$

W większości zastosowań, jeżeli o mierze mówi się, że jest „bezwzględnie ciągła” (bez wskazywania miary względem której jest bezwzględnie ciągła), to ma się zwykle na myśli bezwzględną ciągłość względem miary Lebesgue’a. To samo tyczy się $\mathbb {R} ^{n}$ dla wszystkich $n=1,2,3,\dots$

Równoważne definicje

Następujące warunki nałożone na skończoną miarę $\mu$ określone na podzbiorach borelowskich prostej rzeczywistej są równoważne:

1. miara $\mu$ jest bezwzględnie ciągła;
2. dla każdej liczby dodatniej $\varepsilon$ istnieje dodatnia liczba $\delta$ taka, że $\mu (A)<\varepsilon$ dla każdego zbioru borelowskiego $A$ miary Lebesgue’a mniejszej niż $\delta ;$
3. istnieje funkcja $g$ całkowalna w sensie Lebesgue’a na prostej rzeczywistej taka, że dla każdego podzbioru $A$ prostej rzeczywistej zachodzi

   $\mu (A)=\int _{A}g\operatorname {d} \nu .$

Równoważną definicję w języku funkcji można znaleźć w sekcji Związek między dwoma pojęciami ciągłości bezwzględnej. Każda inna funkcja spełniająca 3. jest równa $g$ prawie wszędzie. Funkcja taka nazywana jest pochodną Radona-Nikodýma lub gęstością bezwzględnie ciągłej miary $\mu .$ Równoważności między 1., 2. a 3. są spełnione również dla $\mathbb {R} ^{n}$ dla wszystkich $n=1,2,3,\dots$ Miary bezwzględnie ciągłe na $\mathbb {R} ^{n}$ są zatem dokładnie tymi, które mają gęstości; w szczególności bezwzględnie ciągłe miary prawdopodobieństwa to dokładnie te miary, które mają gęstości.

Uogólnienia

Jeśli $\mu$ oraz $\nu$ są dwiema miarami określonymi na tej samej przestrzeni mierzalnej, to o $\mu$ mówi się, że jest bezwzględnie ciągła względem $\nu$, lub zmajoryzowana przez $\nu ,$ jeżeli $\mu (A)=0$ dla każdego zbioru $A$ dla którego $\nu (A)=0$. Własność tę zapisuje się symbolicznie jako $\mu \ll \nu .$

Wprost z tej definicji wynika, iż jeśli $\mu \ll \nu ,$ to nośnik miary $\nu$ zawiera się w nośniku miary $\mu .$

Bezwzględna ciągłość miar jest zwrotna i przechodnia, ale nie jest antysymetryczna, zatem jest ona praporządkiem, lecz nie porządkiem częściowym. Jeśli $\mu \ll \nu$ oraz $\nu \ll \mu ,$ to o miarach $\mu$ i $\nu$ mówi się, że są równoważne. W ten sposób bezwzględna ciągłość wprowadza porządek częściowy takich klas równoważności.

Jeżeli $\mu$ jest miarą ze znakiem lub zespoloną, to mówi się, że $\mu$ jest bezwzględnie ciągła względem $\nu ,$ jeśli jej wahanie $|\mu |$ spełnia $|\mu |\ll \nu ;$ równoważnie, gdy każdy zbiór $A$ dla którego $\nu (A)=0$ jest zbiorem $\mu$-miary zero.

Twierdzenie Radona-Nikodýma zapewnia, że jeżeli $\mu$ jest bezwzględnie ciągła względem $\nu$ i obie miary są σ-skończone, to $\mu$ ma gęstość, lub pochodną Radona-Nikodýma, względem $\nu ,$ co oznacza, że istnieje $\nu$-mierzalna funkcja $f$ przyjmująca wartości w $[0,+\infty ]$ oznaczana $f={\tfrac {\operatorname {d} \mu }{\operatorname {d} \nu }}$ taka, że dla każdego zbioru $\nu$-mierzalnego $A$ zachodzi

$\mu (A)=\int _{A}f\operatorname {d} \nu .$

Miary osobliwe

Zgodnie z twierdzeniem Lebesgue’a o rozkładzie każda miara może być rozłożona na sumę miar bezwzględnie ciągłych i osobliwych.

Związek między dwoma pojęciami ciągłości bezwzględnej

Miara skończona $\mu$ określona na podzbiorach borelowskich prostej rzeczywistych jest bezwzględnie ciągła względem miary Lebesgue’a wtedy i tylko wtedy, gdy funkcja

$F(x)=\mu {\big (}(-\infty ,x]{\big )}$

jest lokalnie rzeczywistą funkcją bezwzględnie ciągłą. Innymi słowy funkcja jest lokalnie bezwzględnie ciągła wtedy i tylko wtedy, gdy jej pochodna dystrybucyjna jest miarą, która jest bezwzględnie ciągłą względem miary Lebesgue’a. Jeżeli miara $\mu$ jest bezwzględnie ciągłą, to pochodna Radon-Nikodýma $\mu$ jest prawie wszędzie równa pochodnej $F$.

Ogólniej, o mierze $\mu$ zakłada się, że jest lokalnie skończona (zamiast tylko skończona), a $F(x)$ jest dana jest wzorem

$F(x)={\begin{cases}\mu {\big (}(0,x]{\big )}&{\text{dla }}x>0,\\0&{\text{dla }}x=0,\\-\mu {\big (}(x,0]{\big )}&{\text{dla }}x<0.\end{cases}}$

Wówczas $\mu$ jest miarą Lebesgue’a-Stieltjesa generowaną przez $F$. Nadal zachodzi związek między dwoma pojęciami bezwzględnej ciągłości.

Bibliografia

• Luigi Ambrosio, Nicola Gigli, Guiseppe Savaré: Gradient Flows in Metric Spaces and in the Space of Probability Measures. ETH Zürich, Birkhäuser Verlag, Basel, 2005. ISBN 3-7643-2428-7.brak strony w książce
• Krishna B. Athreya, Soumendra N. Lahiri: Measure theory and probability theory. Springer, 2006. ISBN 0-387-32903-X.brak strony w książce
• Ole A. Nielsen: An introduction to integration and measure theory. Wiley-Interscience, 1997. ISBN 0-471-59518-7.brak strony w książce
• H.L. Royden: Real Analysis. Wyd. III. Collier Macmillan, 1988. ISBN 0-02-404151-3.brak strony w książce
• V.I. Bogachev: Measure theory Vol. 1. Springer, 2007. ISBN 978-3-540-34513-8.brak strony w książce
• Stanisław Łojasiewicz: Wstęp do teorii funkcji rzeczywistych. Warszawa: Państwowe Wydawnictwo Naukowe, 1976.brak strony w książce

Linki zewnętrzne

• Absolute continuity (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-08-26].