測度論 【ヴィタリ集合】ルベーグ非可測集合の存在とその証明
ヴィタリ集合(vitali set)とは，剰余群R/Qにおける各代表元の集合を指し，選択公理を仮定することで存在が認められます。ヴィタリ集合はルベーグ非可測集合の例として有名です。ヴィタリ集合について，その構成とルベーグ非可測であることの証明を行いましょう。
解析学(大学)
測度論 
微分方程式 バナッハの不動点定理(縮小写像の原理)とその証明
バナッハの不動点定理 (Banach's fixed-point theorem) あるいは縮小写像の原理 (contraction mapping principle) とは， 縮小写像 f: X→X が唯一つ不動点を持ち，その不動点は任意の点からfで何回もうつすことで近似可能という定理です。これについて，主張と証明を行いましょう。
測度論 本質的上限・本質的下限(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éの補題について，その主張と証明を行いましょう。
測度論 概一様収束とエゴロフの定理の証明
概一様収束とは，任意に小さなある正の測度の集合を除けば一様収束するという意味です。そして，有限測度空間で各点収束すれば，概一様収束するというのがエゴロフの定理です。概一様収束とエゴロフの定理について，その定義と証明を解説しましょう。