解析学(大学)

関数解析学

パーセバルの等式とその周辺

パーセバルの等式 (Parseval's identity) とは,無限次元のピタゴラスの定理(三平方の定理)といえる定理です。パーセバルの等式について,その形とその証明を行います。また,フーリエ級数におけるパーセバルの等式はよく使われるため,最後に紹介します。
確率論

ビュフォンの針の理論

ビュフォンの針(Buffon's needle)とは,針を落として,等間隔に並んだ線と交わる確率を求めるという話です。円が全く絡んでいないにもかかわらず,確率に円周率が出てくるため,不思議に思われることが多いです。ビュフォンの針について,その確率を数学的に導出しましょう。
関数解析学

グラムシュミットの直交化法とは~イメージを図解~

グラムシュミットの直交化法 (Gram–Schmidt process) あるいは単にシュミットの直交化法とは,与えられた基底を用いて,正規直交基底を具体的に構成する手法です。グラムシュミットの直交化法について,その手法とイメージの図解を紹介します。
統計学

偏差値とは何かとその数値の目安

よく,テストで点数と一緒に「偏差値 (T-score)」という数値が載っていることがあるでしょう。偏差値とは,母集団の相対的なランクを表すツールで,模試の成績によく用いられます。偏差値について,その定義と,大体の数値の目安,偏差値のよくある勘違いを紹介します。
関数解析学

作用素ノルムとは~定義と具体例と性質~

作用素ノルムとは,作用素同士の「距離」を定めるものです。これにより,作用素の扱える範囲が広がるわけです。作用素ノルムについて,その定義と,作用素ノルムが「ノルム」になっていることの証明,具体例や性質を紹介します。
解析学(大学)その他

無限積の定義と性質・無限和の収束との関係

無限積あるいは無限乗積 (infinite product) とは,無限個の積のことをいいます。無限積の定義と,その収束性について,無限和との関連性や絶対収束を含めて述べましょう。
関数解析学

ヒルベルト空間における正射影・正射影作用素

ヒルベルト空間における正射影(projection)あるいは直交射影について,その定義を紹介し,関連して正規直交系が与えられた部分空間上への射影について考えましょう。
関数解析学

ベッセルの不等式とその詳しい証明

内積空間におけるベッセルの不等式 (Bessel's inequality) は,正射影したベクトルのノルムの方が,元のノルムより小さいよということを式にした定理です。ベッセルの不等式を証明しましょう。
関数解析学

線形作用素とその有界性について詳しく

線形代数学において,ベクトル空間の間の大事な写像は線形写像ですが,無限次元の線形代数ともいわれる関数解析学では,定義域が空間全体とは限らない「線形作用素」が大事になります。今回は,そんな線形作用素について定義し,さらに性質の良い「有界線形作用素」について定義と具体例を紹介していきましょう。
関数解析学

ヒルベルト空間における射影定理とその証明

ヒルベルト空間において非常に基本的な定理である射影定理 (projection theorem) について,その定理の主張と証明を行いましょう。