絶対連続

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学における絶対連続(ぜったいれんぞく、: absolute continuity)とは通常の連続性や一様連続性よりも強い条件を課した連続性の概念である。関数測度とについて、関係しているが見かけ上異なるふたつの絶対連続性の定義がなされる。

関数の絶対連続性[編集]

定義[編集]

区間 IR から距離空間 (X, d) への写像 f: IX は、任意の正の実数 ε についてある正の数 δ が存在して、 I のたがいに交わらないような部分区間 [xk, yk] で

\sum_{k} \left| y_k - x_k \right| < \delta

を満たすようなものについて

\sum_{k} d \left( f(y_k), f(x_k) \right) < \epsilon

が成り立っているとき、絶対連続である (absolutely continuous) といわれる。

絶対連続性の一般化として、写像 f: IX絶対 p-連続性

d \left( f(s), f(t) \right) \leq \int_{s}^{t} m(\tau) \, \mathrm{d} \tau \quad \forall [s, t] \subseteq I

となるような Lp(I; R) 関数 m の存在すること、として定められる。

性質[編集]

絶対連続な写像は一様連続性をみたし、特に連続写像になる。また、リプシッツ連続な写像は絶対連続になる。

絶対連続な関数の和や差は再び絶対連続になり、有界閉区間上の絶対連続関数の積は絶対連続になる。また、有界閉区間上 0 を取らない絶対連続関数の逆数関数は再び絶対連続になる。

実数値絶対連続関数 f はほとんど至るところルベーグ可積分微分を持ち、その積分f の増分になる。

有界閉区間上定義された絶対連続な実数値関数は有界変動になる。また、閉区間上の実数値絶対連続関数 f はルジンの性質 N をもつ: 定義域内の測度 0 の任意の集合 L について、f(L) のルベーグ測度は 0 になる。この二つの性質は実数関数の絶対連続性を特徴づけている。

絶対p-連続な関数 f についてその距離微分が定義域上ほとんど至る所存在し、

d \left( f(s), f(t) \right) \leq \int_{s}^{t} m(\tau) \, \mathrm{d} \tau \quad \forall [s, t] \subseteq I

をみたすような最小のmLp(I; R) として特徴づけることができる。

測度の絶対連続性[編集]

同じ可測空間上の二つの測度μ と ν について、ν(A) = 0 となる可測集合が必ずμ(A) = 0 をみたすとき μ は νに対して絶対連続であるといい、 μ ≪ ν と書く。

測度の間の絶対連続性は反射的かつ推移的な関係だが、反対称的ではないため半順序ではなく前順序になっている。μ ≪ ν かつ ν ≪ μとなるような測度μ と νはたがいに同値であるといわれ、絶対連続性の関係はこの同値類の間の半順序を定めている。

符号付き測度や複素測度の間の絶対連続性はそれぞれの測度の変分の間の絶対連続性として定義される。つまり、符号付き測度 μ = μ+ - μ- が測度 ν に対して絶対連続になるのはν(A) = 0となる可測集合について μ+(A) + μ-(A) = 0 が成り立つときである。

ラドン・ニコディムの定理[編集]

ラドン・ニコディムの定理によれば、測度 μがσ-有限な測度 νに対して絶対連続なとき、 μはνに関する密度関数、あるいはラドン・ニコディム微分を持つ。これはと表されるν-可測関数 f で、任意の ν-可測集合 A について

\mu(A) = \int_A f \, \mathrm{d} \nu

を満たすようなものである。

たいていの場合には、n次元ユークリッド空間 Rn の測度について、他のどの測度に対してかということを明示せずに、単に絶対連続であると言う場合にはルベーグ測度についての絶対連続性が意味されている。 Rn 上のルベーグ測度はσ-有限なので、絶対連続な測度とは密度関数を持つようなもののことであると言い換えることができる。特に、絶対連続な確率測度とは確率密度関数を持つような測度だと言うことになる。

ルベーグの分解定理[編集]

ルベーグの分解定理によれば、ユークリッド空間上の任意の測度はルベーグ測度に対して絶対連続な測度と特異測度との和に分解できる。

二つの絶対連続性の概念の関係[編集]

実直線のボレル集合系に関する測度 μ がルベーグ測度に対して絶対連続になるということは、関数

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

が任意の区間への制限に関して絶対連続になるということと同値である。これを言い換えれば、実直線上の関数が局所的に絶対連続になるということはその分布微分が測度としてルベーグ測度に対し絶対連続になること、ということになる。

[編集]

以下に各点で連続だが絶対連続ではない関数の例を挙げる。

f(x) = \begin{cases} 0, & (x =0) \\ x \sin(1/x), & ( x \neq 0) \end{cases}
によって定められる関数
  • 非有界閉区間上で考えた関数 ƒ(x) = x 2

参考文献[編集]

  • Rudin, W. (1966). Real and Complex Analysis. McGraw Hill. 
  • A.N. コルモゴロフ、S.V. フォミーン 『函数解析の基礎』下、山崎三郎・柴岡泰光訳、岩波書店、1979年ISBN 4-00-005167-9