解析学(大学)

測度論

本質的上限・本質的下限(esssup,essinf)とは何か

測度論・関数解析における本質的上限・本質的下限(esssup, essinf)とは,零集合を無視した上限・下限のことを言います。本質的上限・本質的下限について,ちゃんとした定義と具体例・性質を挙げましょう。
関数解析学

ミンコフスキーの不等式とその証明

ミンコフスキーの不等式 (Minkowski's inequality) とは,L^pノルムに関する三角不等式のことをいいます。ミンコフスキーの不等式について,その証明を行いましょう。
関数解析学

ヘルダーの不等式とその証明

ヘルダーの不等式(Hölder's inequality)とは,関数解析学における基本的な不等式であり,コーシーシュワルツの不等式の一般化にもなっています。ヘルダーの不等式について,その主張と証明を分かりやすく紹介します。
解析学(大学)その他

ヤングの不等式の証明とその一般化

ヤングの不等式(Young's inequality)とは,任意のa,b>0 と 1/p+1/q=1をみたす p,q>1 に対し,ab ≦ a^p/p + b^q/q という不等式のことを言います。これについて,証明とその発展形を紹介しましょう。
測度論

単調族の定義と単調族定理の証明

集合の部分集合族が「単調族 (monotone class) 」であるとは,無限個の集合の上昇列や下降列に関して閉じていることを言います。単調族について,その詳しい定義と,有名で大切な単調族定理の証明を行いましょう。
測度論

極限と積分の順序交換定理6つと交換できない例3つまとめ

極限と積分の順序交換定理6つの主張をまとめて紹介し,さらに極限と積分が交換できない例についても述べましょう。本記事はまとめ記事とし,実際の証明などは定理の主張後にあるリンク先を見てください。
測度論

Schefféの補題とその簡単な証明

Schefféの補題 (Scheffé's lemma) とは,収束定理(極限と積分の交換定理)の1つで,絶対値をつけた積分の値が消滅しなければ,極限と積分を交換することが可能であるという定理です。Schefféの補題について,その主張と証明を行いましょう。
測度論

概一様収束とエゴロフの定理の証明

概一様収束とは,任意に小さなある正の測度の集合を除けば一様収束するという意味です。そして,有限測度空間で各点収束すれば,概一様収束するというのがエゴロフの定理です。概一様収束とエゴロフの定理について,その定義と証明を解説しましょう。
測度論

微分と積分の交換定理とその証明・具体例2つ

ルベーグの収束定理(優収束定理)をもととした,微分と積分の交換定理について,その主張と証明・さらには具体例を挙げましょう。
測度論

σ有限な測度とは~定義と例・反例~

σ-有限測度 (σ-finite) とは,μ(A_n)<∞ (n≧1) かつ A_n ↑ X となる可測集合列 {A_n} が取れることを言います。σ-有限測度について,定義と具体例を挙げましょう。