絶対連続のソースを表示

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

== 関数の絶対連続性 ==
=== 定義 ===
区間 <math>I \subset \mathbb{R}</math> から[[距離空間]] {{math|(''X'', ''d'')}} への[[写像]] {{math|''f'' : ''I'' → ''X''}} が'''絶対連続'''である (absolutely continuous) とは、次が成り立つことである：
任意の正の数 {{mvar|ε}} についてある正の数 {{mvar|δ}} が存在して、{{mvar|I}} の[[素集合|互いに素]]な部分区間 {{math|(''x{{sub|k}}'', ''y{{sub|k}}'')}} の有限列が
:<math>\sum_k \left| y_k - x_k \right| < \delta</math>
を満たすときに常に
:<math>\sum_k d \left( f(y_k), f(x_k) \right) < \varepsilon</math>
が成り立つ。

絶対連続性の一般化として、写像 {{math|''f'' : ''I'' → ''X''}} の'''絶対 {{mvar|p}}-連続性'''が
:<math>d \left( f(s), f(t) \right) \leq \int_{s}^{t} m(\tau) \, \mathrm{d} \tau \quad \forall [s, t] \subseteq I</math>
となるような <math>L^p (I; \mathbb{R})</math> 関数 {{mvar|m}} の存在すること、として定められる。

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

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

実数値絶対連続関数 {{mvar|f}} は[[ほとんど (数学)|ほとんど]]至る所[[ルベーグ可積分]]な[[微分]]を持ち、その[[積分]]は {{mvar|f}} の増分になる。

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

絶対{{mvar|p}}-連続な関数 {{mvar|f}} についてその距離微分が定義域上ほとんど至る所存在し、
::<math>d \left( f(s), f(t) \right) \leq \int_s^t m( \tau ) \, \mathrm{d} \tau \quad \forall [s, t] \subseteq I</math>
を満たす最小の <math>m \in L^p (I; \mathbb{R} )</math> として特徴づけることができる。

== 測度の絶対連続性 ==
同じ可測空間上の2つの測度 {{mvar|μ}} と {{mvar|ν}} について、{{math2|''μ''(''A'') {{=}} 0}} となる可測集合が必ず {{math2|''ν''(''A'') {{=}} 0}} を満たすとき {{mvar|ν}} は {{mvar|μ}} に関して絶対連続であるといい、{{math2|''ν'' ≪ ''μ''}} と書く。

測度の間の絶対連続性は[[反射関係|反射律]]と[[推移関係|推移律]]を満たすが、[[反対称関係|反対称的]]でないため半順序ではなく前順序になっている。{{math2|''μ'' ≪ ''ν''}} かつ {{math2|''ν'' ≪ ''μ''}} を満たすとき測度 {{mvar|μ}} と {{mvar|ν}} は互いに同値であるといい、絶対連続性の関係はこの同値類の間の半順序を定めている。

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

=== ラドン＝ニコディムの定理 ===
{{main|ラドン＝ニコディムの定理}}
[[ラドン＝ニコディムの定理]]によれば、測度 {{mvar|μ}} が{{mvar|σ}}-有限な測度 {{mvar|ν}} に対して絶対連続なとき、{{mvar|μ}} は {{mvar|ν}} に関する密度関数、あるいはラドン・ニコディム微分を持つ。これは <math>{d \mu \over d \nu}</math> と表される {{mvar|ν}}-可測関数 {{mvar|f}} で、任意の {{mvar|ν}}-可測集合 {{mvar|A}} について
:<math>\mu (A) = \int_A f \, \mathrm{d} \nu</math>
を満たすものである。

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

=== ルベーグの分解定理 ===
{{main|ルベーグの分解定理}}
ルベーグの分解定理によれば、ユークリッド空間上の任意の測度はルベーグ測度に対して絶対連続な測度と特異測度との和に分解できる。<!-- See [[singular measure]] for examples of non-(absolutely continuous) measures. -->

== 2つの絶対連続性の概念の関係 ==
実直線のボレル集合系に関する測度 {{mvar|μ}} がルベーグ測度に対して絶対連続であることは、関数
:<math>F(x)=\mu((-\infty,x])</math>
が任意の区間への制限に関して絶対連続であることと同値である。これを言い換えれば、実直線上の関数が局所的に絶対連続であることはその[[ラドン＝ニコディムの定理#ラドン＝ニコディム微分|分布微分]]<!-- 分布微分は用語なのか？ -->が測度としてルベーグ測度に対し絶対連続であること、ということになる。

== 例 ==
以下に各点で連続だが絶対連続ではない関数の例を挙げる。
* [[カントール関数]]
* 次の式で定義される関数 {{mvar|f}}
::<math>f(x)=\begin{cases} 0 &(x=0) \\ x \sin (1/x) &(x \neq 0)\end{cases}</math>
* 非有界閉区間上で考えた関数 {{math2|''&fnof;''(''x'') {{=}} ''x''{{sup|2}}}}

== 参考文献 ==
* {{Cite book |first=W. |last= Rudin |title=Real and Complex Analysis |publisher= McGraw Hill |year=1966}}
* {{Cite book|和書 |author=A.N. コルモゴロフ |authorlink=アンドレイ・コルモゴロフ |coauthors=S.V. フォミーン |translator=山崎三郎・柴岡泰光 |title=函数解析の基礎 |volume=下 |publisher=岩波書店 |year=1979 |id=ISBN 4-00-005167-9}}

{{DEFAULTSORT:せつたいれんそく}}
[[Category:測度論]]
[[Category:数学に関する記事]]