ユークリッド空間における有界集合

有界な集合

\(n\)次元空間\(\mathbb{R} ^{n}\)の非空な部分集合\(A\)が有界であることの意味を復習します。まず、\(\mathbb{R} ^{n}\)上に標準的順序\(\leq \)が定義されているものとします。つまり、任意の点\(x,y\in \mathbb{R} ^{n}\)について、\begin{equation*}x\leq y\Leftrightarrow \forall i\in \left\{ 1,\cdots ,n\right\} :x_{i}\leq
y_{i}
\end{equation*}が成り立つものとして\(\leq \)は定義されているということです。この場合、\(\mathbb{R} ^{n}\)の非空な部分集合\(A\)が有界であることは、\begin{equation*}\exists a\in \mathbb{R} ^{n},\ \exists b\in \mathbb{R} ^{n},\ \forall x\in A:a\leq x\leq b
\end{equation*}が成り立つこととして定義されます。

同じことを直方体を用いて表現することもできます。つまり、\(\mathbb{R} ^{n}\)の非空な部分集合\(A\)に対して、\begin{equation*}A\subset \prod_{i=1}^{n}\left[ a_{i},b_{i}\right] \end{equation*}を満たす\(n\)次元の直方体\(\prod_{i=1}^{n}\left[ a_{i},b_{i}\right] \)が存在することは、\(A\)が有界であるための必要十分条件です。

同じことをノルムを用いて表現することもできます。つまり、\(\mathbb{R} ^{n}\)の非空な部分集合\(A\)について、\begin{equation*}\exists \varepsilon \in \mathbb{R} ,\ \forall x\in A:\left\Vert x\right\Vert \leq \varepsilon
\end{equation*}が成り立つことは、\(A\)が有界であるための必要十分条件です。

ユークリッド距離を用いた有界性の表現

ユークリッド空間\(\mathbb{R} ^{n}\)を議論の対象とする場合、そこに標準的順序\(\leq \)を導入しなければならないというルールは存在しません。重要なことは距離の公理を満たす距離関数\(d:\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \)が定義されているということであり、ユークリッド空間に関する議論はいずれもユークリッド距離の性質を出発点に行われます。

その一方で、先に、\(\mathbb{R} ^{n}\)の部分集合\(A\)が有界であることを標準的順序\(\leq \)を用いて定義したため、ユークリッド空間に標準的順序\(\leq \)を導入しない場合、集合の有界性について議論できなくなってしまいます。ただ、実際には、距離を用いて集合の有界性を以下のように表現できます。

以上の命題より、\(\mathbb{R} ^{n}\)の部分集合\(A\)が有界であることは、\(A\)の任意の点からの距離が有限の実数になるような\(\mathbb{R} ^{n}\)の点が存在することと必要十分であることが明らかになりました。この条件を以下のように言い換えることもできます。

以上の命題より、\(\mathbb{R} ^{n}\)の部分集合\(A\)が有界であることは、\(A\)の任意の2つの点の間の距離が有限な実数以下であることと必要十分です。

点の近傍を用いた有界性の表現

\(\mathbb{R} ^{n}\)の非空な部分集合が有界であることを点の近傍を用いて以下のように表現することもできます。

上の命題より、\(\mathbb{R} ^{n}\)の部分集合が有界であることは、\(\mathbb{R} ^{n}\)上の何らかの点を中心とする何らかの近傍によって\(A\)が覆われることと必要十分であることが明らかになりました。ただ、実際には、ゼロベクトル\(0\)を中心とする近傍だけを候補とすれば十分です。つまり以下の命題が成り立ちます。