ルベーグ積分

ルベーグ積分とは測度論を用いてより一般的な関数に対して積分を定義する手法です。ルベーグ積分を用いることにより、リーマン積分では積分できなかった様々な関数が積分可能になります。

学習内容

単関数のルベーグ積分

単関数を対象にルベーグ積分の概念を定義するとともに、その性質について解説します。

単関数のルベーグ積分

有限な測度を持つルベーグ集合上に定義された単関数のルベーグ積分を定義します。

単関数の定数倍のルベーグ積分

有限な測度を持つルベーグ集合上に定義された単関数の定数倍として定義される単関数のルベーグ積分は、もとの単関数のルベーグ積分の定数倍と一致します。

単関数どうしの和のルベーグ積分

有限な測度を持つルベーグ集合上に定義された2つの単関数の和として定義される単関数のルベーグ積分は、もとの2つの単関数のルベーグ積分の和と一致します。

単関数どうしの差のルベーグ積分

有限な測度を持つルベーグ集合上に定義された2つの単関数の差として定義される単関数のルベーグ積分は、もとの2つの単関数のルベーグ積分の差と一致します。

単関数のルベーグ積分の加法性

有限測度を持つルベーグ可測集合上に定義された単関数が与えられた状況において定義域を2つの互いに素なルベーグ可測集合に分割した場合、個々の集合におけるルベーグ積分の和をとればもとの集合におけるルベーグ積分の値が得られます。

単関数のルベーグ積分の単調性

有限な測度を持つルベーグ集合上に定義された2つの単関数がとり得る値の間に一方的な大小関係が成立する場合、両者のルベーグ積分の間にも同様の大小関係が成立します。また、単関数の絶対値のルベーグ積分は、もとの単関数のルベーグ積分の絶対値以上になります。

有界関数のルベーグ積分

単関数のルベーグ積分を踏まえた上で、有限測度を持つ可測集合上に定義された有界関数のルベーグ積分を定義します。

有界関数のルベーグ積分(上ルベーグ積分・下ルベーグ積分)

有限な測度を持つルベーグ集合上に定義された有界関数の上ルベーグ積分と下ルベーグ積分の値が一致する場合、この関数はルベーグ積分可能であると言います。

有界関数のルベーグ積分とリーマン積分の関係

有界閉区間上に定義された有界関数がリーマン積分可能である場合にはルベーグ積分可能である一方で、ルベーグ積分可能な関数はリーマン積分可能であるとは限りません。したがって、ルベーグ積分はリーマン積分の拡張です。

有界関数のルベーグ積分可能性とルベーグ可測性の関係

有限測度を持つルベーグ可測集合上に定義された有界関数に関しては、その関数がルベーグ積分可能であることと、その関数がルベーグ可測関数であることは必要十分です。

有界関数の定数倍のルベーグ積分

有限測度を持つルベーグ可測集合上に定義された有界関数がルベーグ積分可能である場合、その定数倍として定義される関数もまたルベーグ積分可能です。

有界関数どうしの和のルベーグ積分

有限測度を持つルベーグ可測集合上に定義された2つの有界関数がルベーグ積分可能である場合、それらの和として定義される関数もまたルベーグ積分可能です。

有界関数どうしの差のルベーグ積分

有限測度を持つルベーグ可測集合上に定義された2つの有界関数がルベーグ積分可能である場合、それらの差として定義される関数もまたルベーグ積分可能です。

有界関数のルベーグ積分の加法性

有限測度を持つルベーグ可測集合上にルベーグ積分可能な有界関数が定義されている状況においてその集合を2つのルベーグ可測集合に分割した場合、個々の集合におけるルベーグ積分の和をとればもとの集合におけるルベーグ積分が得られます。

有界関数のルベーグ積分の単調性

有限測度を持つルベーグ可測集合上に定義された2つの有界関数の間に一方的な大小関係が成立する場合、両者のルベーグ積分の間にも同様の大小関係が成立します。また、有界関数の絶対値のルベーグ積分は、もとの関数のルベーグ積分の絶対値以上になります。

有界収束定理(有界なルベーグ可測関数列の極限のルベーグ積分)

有界なルベーグ可測関数列が一様収束する場合、その関数列のルベーグ積分からなる数列の極限は、一様極限のルベーグ積分と一致します。また、一様有界なルベーグ可測関数列が各点収束する場合、その関数列のルベーグ積分からなる数列の極限は、各点極限のルベーグ積分と一致します。

非負値をとるルベーグ可測関数のルベーグ積分

有限測度を持つとは限らないルベーグ可測集合上に定義されるとともに、有界であるとは限らない非負値をとる一般のルベーグ可測を対象に、そのルベーグ積分を定義します。

非負値をとるルベーグ可測関数のルベーグ積分

有限な台を持つ有界なルベーグ可測関数のルベーグ積分の概念を定義するとともに、それを土台に、非負値をとる一般的なルベーグ可測関数のルベーグ積分の概念を定義します。

非負値をとるルベーグ可測関数の定数倍のルベーグ積分

非負値をとるルベーグ可測関数の定数倍として定義されるルベーグ可測関数のルベーグ積分は、もとの可測関数のルベーグ積分の定数倍と一致します。

非負値をとるルベーグ可測関数どうしの和のルベーグ積分

非負値をとるルベーグ可測関数のどうしの和として定義されるルベーグ可測関数のルベーグ積分は、もとの可測関数のルベーグ積分どうしの和と一致します。

非負値をとるルベーグ可測関数のルベーグ積分の加法性

ルベーグ可測集合上に定義された非負値をとるルベーグ可測関数が定義されている状況においてその集合を2つのルベーグ可測集合に分割した場合、個々の集合におけるルベーグ積分の和をとればもとの集合におけるルベーグ積分が得られます。

非負値をとるルベーグ可測関数のルベーグ積分の単調性

非負値をとる2つのルベーグ可測関数の間に一方的な大小関係が成立する場合、両者のルベーグ積分の間にも同様の大小関係が成立します。以上の性質を単調性と呼びます。

非負値をとるルベーグ可測関数に関するチェビシェフの不等式

非負値をとるルベーグ可測関数の形状が分からない場合でも、ルベーグ積分の値さえ明らかであれば、その関数が特定の値以上になるような変数の値からなるルベーグ可測集合の測度が収まる範囲を特定できます。

ファトゥの補題

非負値をとるルベーグ可測関数列が各点収束する場合、各点極限のルベーグ積分は、関数列の要素である個々の関数のルベーグ積分からなる列の下極限以下になります。

単調収束定理

非負値をとるルベーグ可測関数列が各点収束するとともに単調増加である場合、各点極限のルベーグ積分は、関数列の要素である個々の関数のルベーグ積分からなる列の極限と一致します。

非負値関数のルベーグ積分と第2種の広義リーマン積分の関係

区間上に定義された非負値をとるルベーグ可測関数が第2種の広義リーマン積分可能である場合、その関数はルベーグ積分可能になるとともに、両者の積分の値は一致します。

非負値関数のルベーグ積分と第1種の広義リーマン積分の関係

無限区間上に定義された非負値をとるルベーグ可測関数が第1種の広義リーマン積分可能である場合、その関数はルベーグ積分可能になるとともに、両者の積分の値は一致します。

一般のルベーグ可測関数のルベーグ積分

一般のルベーグ可測関数を対象としたルベーグ積分を定義します。

一般のルベーグ可測関数のルベーグ積分

非負値をとるルベーグ可測関数を対象としたルベーグ積分を前提とした上で、一般のルベーグ可測関数のルベーグ積分を定義します。

ルベーグ可測関数の定数倍のルベーグ積分

ルベーグ可測関数がルベーグ積分可能である場合、その定数倍として定義されるルベーグ可測関数もまたルベーグ積分可能であるとともに、そのルベーグ積分はもとの関数のルベーグ積分の定数倍と一致します。

ルベーグ可測関数どうしの和のルベーグ積分

2つのルベーグ可測関数がルベーグ積分可能である場合、それらの和として定義されるルベーグ可測関数もまたルベーグ積分可能であるとともに、そのルベーグ積分はもとの2つの関数のルベーグ積分の和と一致します。

ルベーグ可測関数どうしの差のルベーグ積分

2つのルベーグ可測関数がルベーグ積分可能である場合、それらの差として定義されるルベーグ可測関数もまたルベーグ積分可能であるとともに、そのルベーグ積分はもとの2つの関数のルベーグ積分の差と一致します。

ルベーグ積分の単調性

ルベーグ積分可能な2つのルベーグ可測関数の間に一方的な大小関係が成立する場合、両者のルベーグ積分の間にも同様の大小関係が成立します。以上の性質を単調性と呼びます。

ルベーグ積分に関する比較判定法

ルベーグ可測関数に対して、その絶対値関数が定める値以上の値をとるルベーグ積分可能な関数が存在する場合、もとの関数もまたルベーグ積分可能であることが保証されます。

ルベーグの支配収束定理(優収束定理)

ルベーグ可測関数列が各点収束するとともに、その間数列を支配し、なおかつルベーグ積分可能であるような関数が存在する場合には、関数列の各点極限に相当する関数のルベーグ積分は、関数列の要素である個々の関数のルベーグ積分からなる数列の極限と一致します。

ルベーグ積分の加法性(有限加法性・可算加法性)

ルベーグ積分可能な関数の定義域を複数の互いに素なルベーグ可測集合に分割した場合、その個数が有限および可算のどちらの場合でも、個々の集合におけるルベーグ積分の和をとればもとの集合におけるルベーグ積分が得られます。

一様可積分性

ルベーグ可測関数系が一様可積分であることの意味を定義します。

学習ガイド

大学の数学カリキュラムとWIISのカリキュラムは何が違うのか

多くの大学では入学後すぐに微分積分学や線形代数学を学び、その後に実数論や位相空間論などの理論的な科目へ進みます。一方、WIISでは論理学・集合論の後に実数論を学び、その上で微分積分学へ進むカリキュラムを採用しています。本記事では、それぞれの考え方とWIISの学習順序のメリットについて解説します。

最新の議論

関連分野

論理学

論理学は、数学における証明や推論の基礎となる分野です。命題論理や述語論理を通じて、論理式、真理値、量化記号、証明の考え方を体系的に解説します。大学数学や理論的な学問を学ぶための出発点となる教材を提供しています。

集合論

集合論は現代数学の共通言語です。集合、写像、関係、濃度、順序関係を中心に、数学のさまざまな分野を理解するための基礎概念を体系的に解説します。実数論、線形代数学、位相空間論などへ進むための土台を築きます。

実数論

実数論では、実数の連続性や極限の概念を基礎から学びます。実数の定義、数列、関数、級数、関数列、数直線の位相、拡大実数系を通じて、解析学の理論的基盤を体系的に理解することを目指します。

ユークリッド空間

ユークリッド空間は、現代数学における解析学と幾何学の出発点です。点列、位相、ベクトル値関数、多変数関数を通じて、高次元空間における極限・連続性・収束の概念を学びます。位相空間論や最適化理論へ進むための重要な基礎を体系的に解説します。

微分積分学

微分積分学では、関数の変化や空間の構造を解析するための基礎理論を学びます。1変数関数からベクトル値関数、スカラー場・ベクトル場、最適化問題までを体系的に扱い、多変数解析学や最適化理論への橋渡しを行います。

ルベーグ測度

長さや面積、体積などはいずれも同一種類の小さい量を加え合わせることでより大きな量をつくることができるという意味において外延的な量です。一般に、外延量は測度と呼ばれる概念として一般化されます。ここでは実数空間(数直線)の部分集合を測定対象とするルベーグ測度について解説します。

ルベーグ可測関数

ルベーグ集合上に定義された関数によるボレル集合の逆像がルベーグ可測であることが保証される場合、そのような関数をルベーグ可測関数と呼びます。代表的な可測関数について、その性質を解説します。

ディニ微分

微分を一般化したディニ微分と呼ばれる微分概念を導入するとともに、ルベーグ積分との関係について解説します。

ユークリッド空間上のルベーグ測度

ユークリッド空間の部分集合を測定対象とするルベーグ測度について解説します。

多変数のルベーグ可測関数

ユークリッド空間の部分集合を測定対象とするルベーグ測度について解説します。

多変数関数のルベーグ積分

多変数のルベーグ可測関数のルベーグ積分について解説します。

このページの目次