絶対連続

数学における絶対連続（ぜったいれんぞく、テンプレート:Lang-en-short）とは通常の連続性や一様連続性よりも強い条件を課した連続性の概念である。関数と測度とについて、関係しているが見かけ上異なる2つの絶対連続性の定義がなされる。

関数の絶対連続性

定義

区間 $I\subset ℝ$ から距離空間 テンプレート:Math への写像 テンプレート:Math が絶対連続である (absolutely continuous) とは、次が成り立つことである： 任意の正の数 テンプレート:Mvar についてある正の数 テンプレート:Mvar が存在して、テンプレート:Mvar の互いに素な部分区間 テンプレート:Math の有限列が

$\sum _k|y_k-x_k|<\delta$

を満たすときに常に

$\sum _{k}d(f(y_k),f(x_k))<\epsilon$

が成り立つ。

絶対連続性の一般化として、写像 テンプレート:Math の絶対 テンプレート:Mvar-連続性が

$d(f(s),f(t))\le \underset{s}{\overset{t}{\int }}m(\tau )\mathrm{d}\tau \mathrm{\forall }[s,t]\subseteq I$

となるような $L^p(I;ℝ)$ 関数 テンプレート:Mvar の存在すること、として定められる。

性質

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

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

実数値絶対連続関数 テンプレート:Mvar はほとんど至る所ルベーグ可積分な微分を持ち、その積分は テンプレート:Mvar の増分になる。

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

絶対テンプレート:Mvar-連続な関数 テンプレート:Mvar についてその距離微分が定義域上ほとんど至る所存在し、

$d(f(s),f(t))\le \underset{s}{\overset{t}{\int }}m(\tau )\mathrm{d}\tau \mathrm{\forall }[s,t]\subseteq I$

を満たす最小の $m\in L^p(I;ℝ)$ として特徴づけることができる。

測度の絶対連続性

同じ可測空間上の2つの測度 テンプレート:Mvar と テンプレート:Mvar について、テンプレート:Math2 となる可測集合が必ず テンプレート:Math2 を満たすとき テンプレート:Mvar は テンプレート:Mvar に関して絶対連続であるといい、テンプレート:Math2 と書く。

測度の間の絶対連続性は反射律と推移律を満たすが、反対称的でないため半順序ではなく前順序になっている。テンプレート:Math2 かつ テンプレート:Math2 を満たすとき測度 テンプレート:Mvar と テンプレート:Mvar は互いに同値であるといい、絶対連続性の関係はこの同値類の間の半順序を定めている。

符号付き測度や複素測度の間の絶対連続性はそれぞれの測度の変分の間の絶対連続性として定義される。つまり、符号付き測度 テンプレート:Math2 が測度 テンプレート:Mvar に対して絶対連続になるのは テンプレート:Math2 である可測集合 テンプレート:Mvar について テンプレート:Math2 が成り立つときである。

ラドン＝ニコディムの定理

テンプレート:Main ラドン＝ニコディムの定理によれば、測度 テンプレート:Mvar がテンプレート:Mvar-有限な測度 テンプレート:Mvar に対して絶対連続なとき、テンプレート:Mvar は テンプレート:Mvar に関する密度関数、あるいはラドン・ニコディム微分を持つ。これは $\frac{d\mu }{d\nu }$ と表される テンプレート:Mvar-可測関数 テンプレート:Mvar で、任意の テンプレート:Mvar-可測集合 テンプレート:Mvar について

$\mu (A)=\underset{A}{\int }f\mathrm{d}\nu$

を満たすものである。

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

ルベーグの分解定理

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

2つの絶対連続性の概念の関係

実直線のボレル集合系に関する測度 テンプレート:Mvar がルベーグ測度に対して絶対連続であることは、関数

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

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

例

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

• カントール関数
• 次の式で定義される関数 テンプレート:Mvar

$f(x)=\{\begin{array}{cc}0& (x=0)\\ x\sin (1/x)& (x\ne 0)\end{array}$

• 非有界閉区間上で考えた関数 テンプレート:Math2

参考文献

• テンプレート:Cite book
• テンプレート:Cite book