Abszolút folytonosság

A matematikai analízisben az abszolút folytonosság egy simasági tulajdonság, ami erősebb a folytonosságnál és az egyenletes folytonosságnál. Az abszolút folytonosság fogalma lehetővé teszi az általánosítást a deriválás és az integrálás két központi műveletének kapcsolatáról, amit az integrálszámítás alaptétele a Riemann-integrállal kapcsolatban kifejez. Ezeket az általánosításokat a Lebesgue-integrállal fejezik ki. A valós-valós függvényekkel kapcsolatban két, egymáshoz kapcsolódó fogalom merül fel: az abszolút folytonos függvény és az abszolút folytonos mérték. Mindezek különböző irányokban általánosíthatók. A függvény szokott értelemben vett deriváltja a mérték Radon–Nikodym-deriváltjához és a mértékek abszolút folytonosságához kapcsolódik.

A valós egyenes egy kompakt részhalmazán igazak a következők:

abszolút folytonos ⊆ egyenletesen folytonos ⊆ folytonos

és:

folytonosan differenciálható ⊆ Lipschitz-folytonos ⊆ abszolút folytonos ⊆ korlátos változású függvény ⊆ majdnem mindenütt differenciálható

Függvények abszolút folytonossága szerkesztés

Egy folytonos függvény nem lehet abszolút folytonos, ha nem egyenletesen folytonos. Erre példa a tangensfüggvény a [0, ${\frac {\pi }{2}}$ ) intervallumon, az exp(x) exponenciális függvény a teljes valós számegyenesen, és sin(1/x) a (0, 1] intervallumon.

De ez nem az egyetlen módja annak, hogy egy folytonos függvény ne legyen abszolút folytonos. Ha majdnem mindenütt differenciálható egy intervallumon, és deriváltja Lebesgue-integrálható, de integrálja nem egyezik meg a függvény megváltozásával, akkor nem abszolút folytonos. Ez a helyzet a Cantor-függvénnyel.

Definíció szerkesztés

Legyen $I$ az $\mathbb {R}$ valós számegyenes intervalluma. Ekkor az $f\colon I\to \mathbb {R}$ függvény abszolút folytonos az $I$ intervallumon, ha minden pozitív $\epsilon$ számhoz van $\delta$ , hogy $(x_{k},y_{k})$ részintervallumok bármilyen véges sorozatára hogyha

\sum _{k}\left(y_{k}-x_{k}\right)<\delta

akkor

\displaystyle \sum _{k}|f(y_{k})-f(x_{k})|<\epsilon .

^[1]

Ekvivalens definíciók szerkesztés

A következő definíciók ekvivalensek egy valós értékű f függvényre az [a,b] intervallumon:

^[2]

(1) f abszolút folytonos

(2) f majdnem mindenütt differenciálható, és deriváltja f ′; ez Lebesgue-integrálható, és

f(x)=f(a)+\int _{a}^{x}f'(t)\,dt

minden x elemre [a,b]-ben;

(3) létezik egy Lebesgue-integrálható g függvény [a,b]-n, hogy

f(x)=f(a)+\int _{a}^{x}g(t)\,dt

minden x-re [a,b]-ben.

Ha ezek teljesülnek, akkor a (3)-as pontban szereplő g függvény majdnem mindenütt megegyezik f '-vel. Az (1) és a (3) ekvivalenciája a Lebesgue-integrálszámítás alaptételeként ismert.^[3]

Tulajdonságok szerkesztés

Abszolút folytonos függvények összege és különbsége is abszolút folytonos. Ha a két függvény korlátos és zárt intervallumon van definiálva, akkor szorzatuk is abszolút folytonos.^[4]
Ha egy abszolút folytonos függvény korlátos és zárt intervallumon értelmezett, és sehol sem nulla, akkor reciproka is abszolút folytonos.^[5]
A Lipschitz-folytonos függvények abszolút folytonosak. Az abszolút folytonos függvények egyenletesen folytonosak, így folytonosak is.^[6]
Ha az f: [a,b] → R függvény abszolút folytonos, akkor korlátos változású az [a,b] intervallumon.^[7]
Ha az f: [a,b] → R függvény abszolút folytonos, akkor Luzin N tulajdonságú. Azaz minden $L\subseteq [a,b]$ -re, amire $\lambda (L)=0$ , teljesül, hogy $\lambda (f(L))=0$ , ahol $\lambda$ a Lebesgue-mérték.
f: I → R abszolút folytonos, ha folytonos, korlátos változású és Luzin N tulajdonságú.

Példák szerkesztés

A következő függvények folytonosak, de nem abszolút folytonosak:

a Cantor-függvény a teljes R-en
az

f(x)={\begin{cases}0,&{\mbox{ha }}x=0\\x\sin(1/x),&{\mbox{ha }}x\neq 0\end{cases}}

függvény egy, a nullát tartalmazó intervallumon

az f(x) = x² függvény egy nem korlátos intervallumon

Általánosítások szerkesztés

Legyen (X, d) metrikus tér, és legyen I a valós számegyenes egy intervalluma. Egy f: I → X függvény abszolút folytonos I-n, ha minden pozitív $\epsilon$ -hoz létezik pozitív $\delta$ , hogy valahányszor [x_k, y_k] páronként diszjunkt intervallumok I-ben, hogy

\sum _{k}\left|y_{k}-x_{k}\right|<\delta

akkor

\sum _{k}d\left(f(y_{k}),f(x_{k})\right)<\epsilon .

AZ I-ből X-be menő abszolút folytonos függvények jelölése AC(I; X).

Az AC^p(I; X) halmaz további általánosítása az f: I → X görbék halmaza, hogy^[8]

d\left(f(s),f(t)\right)\leq \int _{s}^{t}m(\tau )\,\mathrm {d} \tau {\mbox{ minden }}[s,t]\subseteq I

valamely m-re az L^p(I) L^p térből.

Az általánosítások tulajdonságai szerkesztés

Minden abszolút folytonos függvény egyenletesen folytonos, így folytonos. Minden Lipschitz-folytonos függvény abszolút folytonos.
Ha f: [a,b] → X abszolút folytonos, akkor korlátos változású [a,b]-n.
Minden f ∈ AC^p(I; X) metrikus deriváltja λ-majdnem mindenütt létezik I-ben, és a metrikus derivált az a legkisebb m, amire:^[9]

d\left(f(s),f(t)\right)\leq \int _{s}^{t}m(\tau )\,\mathrm {d} \tau {\mbox{ minden }}[s,t]\subseteq I.

Abszolút folytonos mérték szerkesztés

A valós számegyenes Borel-halmazait mérő $\mu$ mérték abszolút folytonos a $\lambda$ Lebesgue-mértékre, ha minden $A$ mérhető halmazra, amire $\lambda (A)=0$ , $\mu (A)=0$ is teljesül. Jelölése $\mu \ll \lambda$ .

A legtöbb alkalmazásban, ahol nem írják le, hogy melyik mértékre kell abszolút folytonosnak lennie a mértéknek, a Lebesgue-mértékre gondolnak.

Hasonlók a követelmények magasabb dimenzióban, tehát $\mathbb {R} ^{n},n=1,2,3,\dots$ -ben is.

Ekvivalens definíciók szerkesztés

A következőek ekvivalensek a μ véges, R Borel-halmazait mérő mértékre:^[10]

(1) μ abszolút folytonos

(2) minden pozitív ε számhoz van pozitív δ, hogy μ(A) < ε minden A Borel-részhalmazra, aminek Lebesgue-mértéke δ-nál kisebb;

(3) létezik egy g Lebesgue-integrálható függvény a teljes R-en, hogy

\mu (A)=\int _{A}g\,\mathrm {d} \lambda

minden A Borel-részhalmazra.

A (3)-nak megfelelő bármely más függvény majdnem mindenütt egyenlő g-vel. Ez a függvény a μ abszolút mérték Radon-Nikodym deriváltja vagy sűrűsége.

Az ekvivalencia magasabb dimenziókban is teljesül. Így csak az abszolút folytonos mértékeknek van sűrűségük. Speciálisan, az abszolút folytonos valószínűségi mértékek pontosan azok, amelyeknek sűrűségfüggvényük van.

Lebesgue felbontási tétel szerint minden mérték felbontható egy abszolút folytonos és egy szinguláris mérték összegére.

Általánosítások szerkesztés

Ha μ és ν mértékek ugyanazon a mértéktéren, akkor μ abszolút folytonos ν-re, ha μ(A) = 0 minden olyan A részhalmazra, amire ν(A) = 0.^[11] Jelölése “μ $\ll$ ν”. Tehát a definíció képlettel:

\mu \ll \nu \iff \left(\nu (A)=0\ \Rightarrow \ \mu (A)=0\right).

Az abszolút folytonosság reflexív és tranzitív, de nem szimmetrikus vagy antiszimmetrikus, így nem ekvivalenciareláció és nem részben rendezés, csak előrendezés. Ha μ $\ll$ ν és ν $\ll$ μ, akkor μ és ν ekvivalensek. Az abszolút folytonosság ezeken az ekvivalenciaosztályokon részben rendezést indukál.

Ha μ előjeles vagy komplex mérték, akkor μ abszolút folytonos ν-re, ha variációja, |μ| megfelel |μ| ≪ ν-nek; ekvivalensen, ha minden A részhalmaz, amire ν(A) = 0, μ(A) = 0 is.

A Radon–Nikodym-tétel szerint,^[12] ha μ abszolút folytonos ν-re, és mindketten σ-végesek, akkor μ-nek létezik ν szerint sűrűsége, vagyis Radon–Nikodym-deriváltja. Eszerint van egy f ν-mérhető függvény, aminek értékei [0, +∞)-beliek. Jelölése f = dμ/dν, továbbá minden ν-mérhető A halmazra teljesül, hogy:

\mu (A)=\int _{A}f\,\mathrm {d} \nu .

Kapcsolat a függvények és a mértékek abszolút folytonossága között szerkesztés

A valós számok Borel-halmazainak egy véges μ mértéke abszolút folytonos a Lebesgue-mértékre, ha

F(x)=\mu ((-\infty ,x])

abszolút folytonos valós függvény.

Általánosabban, ha μ Radon-Nikodym-deriváltja majdnem mindenütt egyenlő F deriváltjával.^[13]

Még általánosabban, ha μ lokálisan véges, és F(x) definíció szerint μ((0,x]), x>0, 0 ha x=0, és -μ((x,0]) ha x<0. Ekkor μ az F által generált Lebesgue–Stieltjes-integrál.^[14] Továbbra is teljesül a két értelemben vett abszolút folytonosság kapcsolata.^[15]

Jegyzetek szerkesztés

↑ Royden 1988, Sect. 5.4, page 108; Nielsen 1997, Definition 15.6 on page 251; Athreya & Lahiri 2006, Definitions 4.4.1, 4.4.2 on pages 128,129. The interval $I$ is assumed to be bounded and closed in the former two books but not the latter book.
↑ Nielsen 1997, Theorem 20.8 on page 354; also Royden 1988, Sect. 5.4, page 110 and Athreya & Lahiri 2006, Theorems 4.4.1, 4.4.2 on pages 129,130.
↑ Athreya & Lahiri 2006, before Theorem 4.4.1 on page 129.
↑ Royden 1988, Problem 5.14(a,b) on page 111.
↑ Royden 1988, Problem 5.14(c) on page 111.
↑ Royden 1988, Problem 5.20(a) on page 112.
↑ Royden 1988, Lemma 5.11 on page 108.
↑ Ambrosio, Gigli & Savaré 2005, Definition 1.1.1 on page 23
↑ Ambrosio, Gigli & Savaré 2005, Theorem 1.1.2 on page 24
↑ Equivalence between (1) and (2) is a special case of Nielsen 1997, Proposition 15.5 on page 251 (fails for σ-finite measures); equivalence between (1) and (3) is a special case of the Radon–Nikodym theorem, see Nielsen 1997, Theorem 15.4 on page 251 or Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115 (still holds for σ-finite measures).
↑ Nielsen 1997, Definition 15.3 on page 250; Royden 1988, Sect. 11.6, page 276; Athreya & Lahiri 2006, Definition 4.1.1 on page 113.
↑ Royden 1988, Theorem 11.23 on page 276; Nielsen 1997, Theorem 15.4 on page 251; Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115.
↑ Royden 1988, Problem 12.17(b) on page 303.
↑ Athreya & Lahiri 2006, Sect. 1.3.2, page 26.
↑ Nielsen 1997, Proposition 15.7 on page 252; Athreya & Lahiri 2006, Theorem 4.4.3 on page 131; Royden 1988, Problem 12.17(a) on page 303.

Fordítás szerkesztés

Ez a szócikk részben vagy egészben az Absolute continuity című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Források szerkesztés

Ambrosio, Luigi; Gigli, Nicola & Savaré, Giuseppe (2005), Gradient Flows in Metric Spaces and in the Space of Probability Measures, ETH Zürich, Birkhäuser Verlag, Basel, ISBN 3-7643-2428-7
Athreya, Krishna B. & Lahiri, Soumendra N. (2006), Measure theory and probability theory, Springer, ISBN 0-387-32903-X
Nielsen, Ole A. (1997), An introduction to integration and measure theory, Wiley-Interscience, ISBN 0-471-59518-7
Royden, H.L. (1988), Real Analysis (third ed.), Collier Macmillan, ISBN 0-02-404151-3

[1] Royden 1988, Sect. 5.4, page 108; Nielsen 1997, Definition 15.6 on page 251; Athreya & Lahiri 2006, Definitions 4.4.1, 4.4.2 on pages 128,129. The interval $I$ is assumed to be bounded and closed in the former two books but not the latter book.

[2] Nielsen 1997, Theorem 20.8 on page 354; also Royden 1988, Sect. 5.4, page 110 and Athreya & Lahiri 2006, Theorems 4.4.1, 4.4.2 on pages 129,130.

[3] Athreya & Lahiri 2006, before Theorem 4.4.1 on page 129.

[4] Royden 1988, Problem 5.14(a,b) on page 111.

[5] Royden 1988, Problem 5.14(c) on page 111.

[6] Royden 1988, Problem 5.20(a) on page 112.

[7] Royden 1988, Lemma 5.11 on page 108.

[8] Ambrosio, Gigli & Savaré 2005, Definition 1.1.1 on page 23

[9] Ambrosio, Gigli & Savaré 2005, Theorem 1.1.2 on page 24

[10] Equivalence between (1) and (2) is a special case of Nielsen 1997, Proposition 15.5 on page 251 (fails for σ-finite measures); equivalence between (1) and (3) is a special case of the Radon–Nikodym theorem, see Nielsen 1997, Theorem 15.4 on page 251 or Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115 (still holds for σ-finite measures).

[11] Nielsen 1997, Definition 15.3 on page 250; Royden 1988, Sect. 11.6, page 276; Athreya & Lahiri 2006, Definition 4.1.1 on page 113.

[12] Royden 1988, Theorem 11.23 on page 276; Nielsen 1997, Theorem 15.4 on page 251; Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115.

[13] Royden 1988, Problem 12.17(b) on page 303.

[14] Athreya & Lahiri 2006, Sect. 1.3.2, page 26.

[15] Nielsen 1997, Proposition 15.7 on page 252; Athreya & Lahiri 2006, Theorem 4.4.3 on page 131; Royden 1988, Problem 12.17(a) on page 303.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]