解析学(大学)

測度論

単関数とは何か~定義と可測関数の単関数近似~

(可測)単関数 (simple function) とは,値域が有限個(有限集合)である可測関数のことを指します。単関数の定義と「任意の可測関数は単関数で近似できること」の証明を解説しましょう。
測度論

可測関数とは~定義と理解しておくべき大事な性質~

可測関数(可測写像, measurable function)とは,可測空間の間に定義されるいわゆる「構造を保つ関数」のことをいい,ルベーグ積分を考えることのできる大事な関数です。可測関数の定義を行い,マスターすべき大事な性質を一気に紹介・証明しましょう。
測度論

ボレル集合とは~定義と性質~

ボレル集合 (Borel set) とは,開集合から生成されるσ-加法族の元のことを言います。「生成される」とは,簡単に言うと「高々可算個の集合の共通部分・和集合・補集合・差集合を取る操作」を高々可算回行うことです。まずボレル集合の定義を述べ,それから実数上のボレル集合族は区間で生成されることを証明しましょう。
測度論

σ加法族と可測空間の定義・基本的な性質をわかりやすく

解析学,特に測度論やルベーグ積分と呼ばれる分野における最も基本的な概念である,「σ-加法族 (σ-field) 」「可測空間 (measurable space)」の定義とその基本的な性質について,丁寧に紹介していきましょう。
確率論

【確率論】チェビシェフの不等式とその例題・証明

チェビシェフの不等式 ( Chebyshev's inequality) とは,裾の確率を上から評価する不等式を指します。これについて,例題や証明を理解していきましょう。証明にはマルコフの不等式を用います。
解析学(大学)その他

凸包とは何か~定義と具体例と性質~

集合Aの凸包 (convex hull) とは,Aを含む最小の凸集合を指します。これについて,定義と具体例と性質を述べましょう。
解析学(大学)その他

凸集合とは何かをわかりやすく~定義と性質~

凸集合 (convex set) とは簡単に言うと「へっこんでいない集合」のことをいいます。これについて,ちゃんとした定義と,性質を解説します。
統計学

混同行列と偽陽性・偽陰性をわかりやすく図解

統計学,統計的分類における混同行列 (confusion matrix) や,真陽性・真陰性・偽陽性・偽陰性といった概念を解説します。とある測定機器の精度評価をする際には,欠かせない指標ですから,しっかり理解していきましょう。
複素関数論

オイラーの公式・オイラーの等式とは~美しい等式の紹介~

オイラーの公式 (Euler's formula) とは,e^{iΘ} = cos Θ+i sin Θ で,オイラーの等式 (Euler's identity) とは,それに Θ = π を代入した等式 e^{iπ} =-1 を指します。これらの公式・等式がどういった意味で成立するのか,その証明と関連公式の解説を行いましょう。
複素関数論

複素関数の微分~定義と例~

複素数の関数における微分は,実数のときと同じく,lim_{h→0} (f(z+h)-f(z))/h の形で定義されます。これについて,具体例を交えて詳しく解説します。