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^[1]

\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^[2]:

$f$ jest bezwzględnie ciągła;
$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);$
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^[3]. 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^[4].
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^[5].
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^[6]. Ż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]$ ^[7].
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^[8]

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^[9]
$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

Zobacz też: Bezwzględna ciągłość ciągłego rozkładu prawdopodobieństwa.

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^[10]:

miara $\mu$ jest bezwzględnie ciągła;
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 ;$
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$ ^[11]. 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^[12] 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

Zobacz też: miary wzajemnie osobliwe.

Zgodnie z twierdzeniem Lebesgue’a o rozkładzie^[13] 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$ ^[14].

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$ ^[15]. Nadal zachodzi związek między dwoma pojęciami bezwzględnej ciągłości^[16].

Przypisy

↑ Royden 1988, rozdz. 5.4, strona 108; Nielsen 1997, definicja 15.6 na stronie 251; Athreya i Lahiri 2006, definicje 4.4.1, 4.4.2 na stronach 128, 129. W pierwszych dwóch książkach o przedziale $I$ zakłada się, że jest ograniczony i domknięty, ale nie czyni się tego w ostatniej.
↑ Nielsen 1997, twierdzenie 20.8 na stronie 354; także Royden 1988, rozdz. 5.4, strona 110 oraz Athreya i Lahiri 2006, twierdzenia 4.4.1, 4.4.2 na stronach 129, 130.
↑ Athreya i Lahiri 2006, przed twierdzeniem 4.4.1 na stronie 129.
↑ Royden 1988, zadanie 5.14(a, b) na stronie 111.
↑ Royden 1988, zadanie 5.14(c) na stronie 111.
↑ Royden 1988, zadanie 5.20(a) na stronie 112.
↑ Royden 1988, lemat 5.11 na stronie 108.
↑ Ambrosio, Gigli i Savaré 2005, definicja 1.1.1 na stronie 23.
↑ Ambrosio, Gigli i Savaré 2005, twierdzenie 1.1.2 na stronie 24.
↑ Równoważność między 1. a 2. jest przypadkiem szczególnym Nielsen 1997, stwierdzenie 15.5 na stronie 251; równoważność między 1. a 3. jest przypadkiem szczególnym twierdzenia Radona-Nikodýma, zob. Nielsen 1997, twierdzenie 15.4 na stronie 251, czy Athreya i Lahiri 2006, punkt (ii) twierdzenia 4.1.1 na stronie 115.
↑ Nielsen 1997, definicja 15.3 na stronie 250; Royden 1988, rozdz. 11.6, strona 276; Athreya i Lahiri 2006, definicja 4.1.1 na stronie 113.
↑ Royden 1988, twierdzenie 11.23 na stronie 276; Nielsen 1997, twierdzenie 15.4 na stronie 251; Athreya i Lahiri 2006, punkt (ii) twierdzenia 4.1.1 na stronie 115.
↑ Royden 1988, stwierdzenie 11.24 na stronie 278; Nielsen 1997, twierdzenie 15.14 na stronie 262; Athreya i Lahiri 2006, punkt (i) twierdzenia 4.1.1 na stronie 115.
↑ Royden 1988, zadanie 12.17(b) na stronie 303.
↑ Athreya i Lahiri 2006, rozdz. 1.3.2, strona 26.
↑ Nielsen 1997, stwierdzenie 15.7 na stronie 252; Athreya i Lahiri 2006, twierdzenie 4.4.3 na stronie 131; Royden 1988, zadanie 12.17(a) na stronie 303.

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.
Krishna B. Athreya, Soumendra N. Lahiri: Measure theory and probability theory. Springer, 2006. ISBN 0-387-32903-X.
Ole A. Nielsen: An introduction to integration and measure theory. Wiley-Interscience, 1997. ISBN 0-471-59518-7.
H.L. Royden: Real Analysis. Wyd. III. Collier Macmillan, 1988. ISBN 0-02-404151-3.
V.I. Bogachev: Measure theory Vol. 1. Springer, 2007. ISBN 978-3-540-34513-8.
Stanisław Łojasiewicz: Wstęp do teorii funkcji rzeczywistych. Warszawa: Państwowe Wydawnictwo Naukowe, 1976.

Linki zewnętrzne

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

[1] Royden 1988, rozdz. 5.4, strona 108; Nielsen 1997, definicja 15.6 na stronie 251; Athreya i Lahiri 2006, definicje 4.4.1, 4.4.2 na stronach 128, 129. W pierwszych dwóch książkach o przedziale $I$ zakłada się, że jest ograniczony i domknięty, ale nie czyni się tego w ostatniej.

[2] Nielsen 1997, twierdzenie 20.8 na stronie 354; także Royden 1988, rozdz. 5.4, strona 110 oraz Athreya i Lahiri 2006, twierdzenia 4.4.1, 4.4.2 na stronach 129, 130.

[3] Athreya i Lahiri 2006, przed twierdzeniem 4.4.1 na stronie 129.

[4] Royden 1988, zadanie 5.14(a, b) na stronie 111.

[5] Royden 1988, zadanie 5.14(c) na stronie 111.

[6] Royden 1988, zadanie 5.20(a) na stronie 112.

[7] Royden 1988, lemat 5.11 na stronie 108.

[8] Ambrosio, Gigli i Savaré 2005, definicja 1.1.1 na stronie 23.

[9] Ambrosio, Gigli i Savaré 2005, twierdzenie 1.1.2 na stronie 24.

[10] Równoważność między 1. a 2. jest przypadkiem szczególnym Nielsen 1997, stwierdzenie 15.5 na stronie 251; równoważność między 1. a 3. jest przypadkiem szczególnym twierdzenia Radona-Nikodýma, zob. Nielsen 1997, twierdzenie 15.4 na stronie 251, czy Athreya i Lahiri 2006, punkt (ii) twierdzenia 4.1.1 na stronie 115.

[11] Nielsen 1997, definicja 15.3 na stronie 250; Royden 1988, rozdz. 11.6, strona 276; Athreya i Lahiri 2006, definicja 4.1.1 na stronie 113.

[12] Royden 1988, twierdzenie 11.23 na stronie 276; Nielsen 1997, twierdzenie 15.4 na stronie 251; Athreya i Lahiri 2006, punkt (ii) twierdzenia 4.1.1 na stronie 115.

[13] Royden 1988, stwierdzenie 11.24 na stronie 278; Nielsen 1997, twierdzenie 15.14 na stronie 262; Athreya i Lahiri 2006, punkt (i) twierdzenia 4.1.1 na stronie 115.

[14] Royden 1988, zadanie 12.17(b) na stronie 303.

[15] Athreya i Lahiri 2006, rozdz. 1.3.2, strona 26.

[16] Nielsen 1997, stwierdzenie 15.7 na stronie 252; Athreya i Lahiri 2006, twierdzenie 4.4.3 na stronie 131; Royden 1988, zadanie 12.17(a) na stronie 303.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Eisspeedway

Ciągłość bezwzględna

Ciągłość bezwzględna funkcji

Definicja

Definicje równoważne

Własności

Przykłady

Uogólnienia

Własności uogólnień

Ciągłość bezwzględna miar

Definicja

Równoważne definicje

Uogólnienia

Miary osobliwe

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

Przypisy

Bibliografia

Linki zewnętrzne