内測度とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 内測度の意味・解説 

内測度

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/28 16:47 UTC 版)

数学、特に測度論における内測度(ないそくど、: inner measure)は、与えられた集合の任意の部分集合に対して定義される集合函数で、補完数直線に値を取り(つまり、実数値以外に正の無限大となることも許す)、適当な条件を満足するものを言う。直観的には、各集合を内側から測った「大きさ」にあたる。

定義

集合 X を固定する。X 上の内測度とは、X冪集合 2X 上定義された函数

で以下の条件を満足するものを言う。

  • 空集合は零集合:
  • 優加法的: 部分集合 A, B交わらないならば が成り立つ。
  • 減少列に関する単調性: 集合列 {Aj} が任意の j に対して AjAj+1 を満たし、かつ φ(A1) < ∞ であるならば、
    が成立する。
  • 測度無限大への到達可能性: φ(A) = ∞ となる A が存在するならば、任意の正の数 c に対して、A の部分集合 B が存在して とできる。

測度の誘導する内測度

集合 X 上の完全加法族 ΣΣ 上の測度 μ に対し、μ が誘導する内測度 μ

で定義される。

本質的に μ は、集合をその Σ-可測部分集合の μ-測度で測ることで保証できる、各集合の大きさの下限を与えるものである。この集合函数 μ測度にならない場合がふつうであるけれども、以下のような性質は測度と共通している:

  1. μ(∅) = 0;
  2. μ は非負である;
  3. EF ならば μ(E) ≤ μ(F).

測度の完備化

測度が誘導する内測度は、同じく測度が誘導する外測度と組み合わせることで、測度が定義される集合をより大きな完全加法族に取り換えることにしばしば利用される。

集合 X 上の「有限」測度 μ が完全加法族 Σ 上定義されているとし、それぞれ対応する外測度および内測度をμ* および μ とすれば、μ(T) = μ*(T) を満たす T ∈ 2X の全体は完全加法族 ^Σ を成し、明らかに Σ ⊂ ^Σ である[1]。このとき

と置いて得られる測度 ^μμ の完備化と呼ぶ。

有限でない測度であっても、条件 μ(T) = μ*(T) は「両辺とも となる」という意味で成り立っていても構わないから、同様の完備化を考えることができる。特に σ-有限測度英語版の完備化は応用上重要である。

脚注

[脚注の使い方]

注釈

出典

  1. ^ Halmos 1950, p. 58, § 14, Theorem F.

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「内測度」の関連用語

内測度のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



内測度のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの内測度 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS