集合論には二項関係という概念がありますが，二項関係の中でもある性質を満たすものを同値関係といいます．

最初に「同値関係」と聞くと語感からキツい印象を受けてしまいますが，実際にはただの「グループ分け」の考え方を数学的に定式化したものにほかなりません．

とはいえ，同値関係は数学の様々な分野に現れる概念であり，縁の下の力持ちともいえます．例えば

• 代数学では剰余群$G/N$
• 幾何学では射影空間$\K P_n$
• 解析学ではLebesgue(ルベーグ)空間$L^p(\R^n)$

などは商集合の一種で，定義には同値関係が必要です．

この記事では，同値関係の基本的な考え方と，同値関係の具体例を考えます．

続きを読む

以下の３つの性質を満たす実(または複素)線形空間$V$上の関数$\|\cdot\|:V\to\R$を$V$上のノルムというのでした：

1. 非退化性：$\|\m{v}\|=0\Ra\ \m{v}=0$ ($\m{v}\in V$)
2. 斉次性：$\|\alpha \m{v}\|=|\alpha|\|\m{v}\|$ ($\alpha\in\R\ \mrm{or}\ \C)$, $\m{v}\in V$)
3. 劣加法性：$\|\m{u}+\m{v}\|\le \|\m{u}\|+\|\m{v}\|$ ($\m{u},\m{v}\in V$)

ノルムを備えたベクトル空間$(V,\|\cdot\|)$をノルム空間といい，ノルム空間は自然に距離空間とみなすことができるのでした．

さて，ノルムの性質のうち非退化性を満たさない関数$V\to\R$をセミノルムといいます．

セミノルムを１つ用意するだけではベクトル空間は距離空間とみなすことはできませんが，適当なセミノルムを用意することによりベクトル空間を距離空間とみなすことができます．

さらに，このセミノルムにより定められた距離空間が完備であるとき，この空間をFréchet(フレシェ)空間といいます．

この記事では，

• 適当な性質を持つセミノルムの族により複素線形空間は距離空間とみなせることを説明し
• Fréchet空間の定義と具体例を説明します

なお，この記事では全て複素線形空間で考えますが，実線形空間に対してもFréchet空間は同様に定義できます．

続きを読む

大学数学において，「距離空間」は位相空間論で学ぶことになります．

大雑把に言えば，距離空間とは「２点間の離れ具合が数値で表される空間」のことであり，我々が中学・高校以来扱ってきた数直線，$xy$平面，$xyz$空間などは距離空間の１つです．

また，距離空間は位相空間の例としても重要で，良い位相的な性質をもちます．

この記事では，

• 距離空間の定義のイメージ
• 距離空間の具体例

を説明し，最後に距離空間に似たノルム空間との関係を説明します．

続きを読む

写像$f:X\to X$を施しても変化しない，すなわち$f(x)=x$を満たす点$x\in X$を$f$の不動点といいます．

不動点に関する定理は様々なものがあり，[Banach(バナッハ)の不動点定理]もその１つです．

[Banachの不動点定理]は完備距離空間$X$上の縮小写像に関する不動点定理で，別名[縮小写像の定理]とも呼ばれています．

例えば，常微分方程式の解の存在と一意性を証明する方法としてPicard(ピカール)の逐次近似法(Picard–Lindelöfの定理)がありますが，これは本質的に[Banachの不動点定理]です．

この記事では，[Banachの不動点定理]について説明したのち，この定理の証明をします．

なお，[Picardの逐次近似法]については以下の記事を参照してください．

続きを読む

位相空間上の写像に連続性を定義することを考える．

距離空間における連続性は「$\epsilon$-$\delta$論法」を用いて定義するのが普通である．

しかし，「$\epsilon$-$\delta$論法」は距離を用いた定義のため，一般には距離が定義されていない位相空間にそのまま「$\epsilon$-$\delta$論法」は適用できない．

そのため，位相空間での写像の連続性を定義する際には，距離空間での連続性の定義に矛盾しないように定義する必要がある．

そこで，もし距離空間での写像の連続性の定義を距離を用いない同値な条件に言い換えることができれば，その条件を位相空間上の写像の連続性の定義とすることができる．

この記事では，位相空間の定義，距離空間の定義から確認し，距離空間上の写像の連続性について考察する．

続きを読む