一様有界性

数学の分野における有界関数とは、下界と上界、すなわちその関数のどの値の絶対値よりも大きい定数が存在する関数のことを言うが、そのような関数の族を考えた場合には、関数によってそのような定数が異なるものとなる場合がある。もしもそれら全てを抑えるような一つの定数を見つけることが出来るなら、そのような関数の族は一様有界（いちようゆうかい、テンプレート:Lang-en-short）であると呼ばれ、そのような性質のことを一様有界性（いちようゆうかいせい、テンプレート:Lang-en-short）と呼ぶ。

関数解析学におけるテンプレート:仮リンクは、作用素の族が一様有界であるための十分条件を与える。

定義

実数直線および複素平面において

$ℱ=\{f_i:X\to K,i\in I\}$

を、$I$ によって添え字付けられている関数の族とする。ここで $X$ は任意の集合で、$K$ は実数あるいは複素数の集合である。$ℱ$ が一様有界であるとは、

$|f_i(x)|\le M\mathrm{\forall }i\in I\mathrm{\forall }x\in X$

を満たすようなある実数 $M$ が存在することを言う。

距離空間

一般的な場合として $Y$ を、距離 $d$ を備える距離空間とする。このとき、集合

$ℱ=\{f_i:X\to Y,i\in I\}$

が一様有界であるとは、

$d(f_i(x),a)\le M\mathrm{\forall }i\in I\mathrm{\forall }x\in X$

を満たすような $Y$ の元 $a$ と、ある実数 $M$ が存在することを言う。

例

• 有界関数の一様収束列は、一様有界である。

• すべての実数 $x$ と整数 $n$ に対して定義される関数 $f_n(x)=\sin nx$ の族は、1 によって抑えられ、一様有界である。

• 上の例の関数の導関数 $f{\text{'}}_n(x)=n\cos nx$ の族は、一様有界ではない。各 $f{\text{'}}_n$ は $|n|$ によって抑えられるが、$|n|\le M$ をすべての整数 $n$ に対して満たすような実数 $M$ は存在しないからである。

参考文献

• テンプレート:Cite book