関数解析学 コーシーシュワルツの不等式のさまざまな形と証明
コーシーシュワルツの不等式 (Cauchy－Schwarz inequality) は，高校数学から専門数学まで幅広い範囲で使われています。まずは専門数学の最も一般的な形で定理の主張を述べ，それから具体的な形を紹介してから，最後に証明を記述しましょう。等号成立条件についても扱います。
解析学(大学)
関数解析学 
関数解析学 ノルムの同値性と有限次元空間のノルムは全て同値である証明
あるベクトル空間には，複数のノルムの定め方があります。しかし，それらのノルムは結局同じ「収束」を扱うことになる場合があります。このとき，ノルムは同値であるといいます。ノルムの同値性の具体的な定義と，有限次元ベクトル空間のノルムは全て同値であること，また，逆に無限次元ベクトル空間ではノルムが同値にならないことがあることを紹介します。
関数解析学 【内積空間】 内積の定義・具体例と中線定理
内積が定まったベクトル空間のことを，内積空間といいます。内積とは，2つのベクトル同士を「測る」ツールであり，内積が定まるベクトル空間は，「直交」といった概念を導入することが可能です。内積について，その定義と，具体例，さらにノルムとの関係を述べ，ノルムとの関係を扱う上で必要な中線定理についても記述しましょう。
関数解析学 ノルムとは～ノルム空間の定義と具体例～
ノルム(norm)とは，ベクトルの大きさを定める量のようなものです。ノルムを定義することで，ベクトル同士の「距離」を考えることができるようになり，収束の議論ができるようになります。ノルム・ノルム空間の定義を述べ，その簡単な具体例を紹介しましょう。
解析学(大学)その他 【f(x+y)=f(x)+f(y)】コーシーの関数方程式について詳しく
コーシーの関数方程式 (Cauchy's functional equation) とは，f(x+y)=f(x)+f(y)となる関数方程式のことを言います。これの解fを求め，さらにその関連である関数方程式の解を求めましょう。
測度論 測度論におけるシュタインハウスの定理とその証明
R^Nにおける可測集合は，それ自身はなかなか実態がよくわからないものかもしれません。しかし，零集合でない可測集合を2つ用意して，A+Bを考えると，これは開集合を含むようになります。シュタインハウスの定理(Steinhaus's theorem)といわれる本定理を紹介し，証明しましょう。
測度論 【ヴィタリ集合】ルベーグ非可測集合の存在とその証明
ヴィタリ集合(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ノルムに関する三角不等式のことをいいます。ミンコフスキーの不等式について，その証明を行いましょう。