実数空間上の有界集合

実数空間における有界集合と非有界集合

1次元ユークリッド空間\(\left( \mathbb{R} ,d\right) \)が与えられているものとします。ユークリッド距離関数\(d:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの順序対\(\left( x,y\right) \in \mathbb{R} \times \mathbb{R} \)に対して、\begin{equation*}d\left( x,y\right) =\left\vert x-y\right\vert
\end{equation*}を値として定めます。\(d\)は距離の公理に相当する以下の性質\begin{eqnarray*}&&\left( M_{1}\right) \ \forall x,y\in \mathbb{R} :d\left( x,y\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall x,y\in \mathbb{R} :\left[ d(x,y)=0\Leftrightarrow x=y\right] \\
&&\left( M_{3}\right) \ \forall x,y\in \mathbb{R} :d\left( x,y\right) =d\left( y,x\right) \\
&&\left( M_{4}\right) \ \forall x,y,z\in \mathbb{R} :d\left( x,z\right) \leq d\left( x,y\right) +d\left( y,z\right)
\end{eqnarray*}を満たします。

\(\mathbb{R} \)の非空な部分集合\(A\)が有界であることは、その上界\(b\in \mathbb{R} \)と下界\(a\in \mathbb{R} \)が存在すること、すなわち、\begin{equation*}\exists a\in \mathbb{R} ^{n},\ \exists b\in \mathbb{R} ,\ \forall x\in A:a\leq x\leq b
\end{equation*}が成り立つこととして定義されます。

空集合\(\phi \subset \mathbb{R} ^{n}\)については、任意の実数が\(\phi \)の上界かつ下界であるため、\(\phi \)は有界であるものと定めます。

区間を用いた有界集合の定義

有界性を区間を用いて表現することもできます。

絶対値を用いた有界集合の定義

有界性を絶対値を用いて表現することもできます。

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

実数空間\(\mathbb{R} \)の非空な部分集合\(A\)に対して、\begin{equation*}\exists y\in \mathbb{R} ,\ \exists \varepsilon \in \mathbb{R} ,\ \forall x\in A:d\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことは、つまり、\(A\)の任意の点からの距離が有限の実数になるような\(\mathbb{R} \)の点が存在することは、\(A\)が有界であるための必要十分条件です。

先の命題の否定より、実数空間\(\mathbb{R} \)の非空な部分集合\(A\)に対して、\begin{equation*}\forall y\in \mathbb{R} ,\ \forall \varepsilon \in \mathbb{R} ,\ \exists x\in A:d\left( x,y\right) >\varepsilon
\end{equation*}が成り立つことは、\(A\)が非有界であるための必要十分条件です。つまり、\(\mathbb{R} \)上の点\(y\)と距離\(\varepsilon \)を任意に選んだとき、\(A\)上に存在する何らかの点と\(y\)の間の距離が\(\varepsilon \)以上になってしまうことは、\(A\)が非有界であるための必要十分条件です。

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

実数空間\(\mathbb{R} \)の非空な部分集合\(A\)に対して、\begin{equation*}\exists \varepsilon \in \mathbb{R} ,\ \forall x,y\in A:d\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことは、つまり、\(A\)の任意の2つの点の間の距離がある有限な実数以下であることは、\(A\)が有界であるための必要十分条件です。

先の命題の否定より、実数空間\(\mathbb{R} \)の非空な部分集合\(A\)に対して、\begin{equation*}\forall \varepsilon \in \mathbb{R} ,\ \exists x,y\in A:d\left( x,y\right) \geq \varepsilon
\end{equation*}が成り立つことは、\(A\)が非有界であるための必要十分条件です。つまり、距離\(\varepsilon \)を任意に選んだとき、\(A\)上に存在する何らかの2つの点の間の距離が\(\varepsilon \)以上になってしまうことは、\(A\)が非有界であるための必要十分条件です。

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

実数空間\(\mathbb{R} \)上の点\(a\in \mathbb{R} \)と正の実数\(\varepsilon >0\)が与えられたとき、点\(a\)からの距離が\(\varepsilon \)よりも小さい場所にある\(\mathbb{R} \)の点からなる集合を、\begin{eqnarray*}N_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ d\left( x,a\right) <\varepsilon \right\} \\
&=&\left\{ x\in \mathbb{R} \ |\ \left\vert x-a\right\vert <\varepsilon \right\}
\end{eqnarray*}で表記し、これを点\(a\)の近傍（neighborhood of \(a\)）や開近傍（open neighborhoodof \(a\)）などと呼びます。また、\(a\)を近傍の中心（center）と呼び、\(\varepsilon \)を近傍の半径（radius）と呼びます。距離関数\(d\)の対称性より、任意の\(a,x\in \mathbb{R} \)について、\begin{equation*}d\left( x,a\right) =d\left( a,x\right)
\end{equation*}が成り立つため、点\(a\in \mathbb{R} \)が中心であり半径が\(\varepsilon >0\)であるような近傍を、\begin{eqnarray*}N_{\varepsilon }\left( a\right) &=&\left\{ x\in \mathbb{R} \ |\ d\left( a,x\right) <\varepsilon \right\} \\
&=&\left\{ x\in \mathbb{R} \ |\ \left\vert a-x\right\vert <\varepsilon \right\}
\end{eqnarray*}と表現することもできます。

\(\mathbb{R} \)の非空な部分集合\(A\subset \mathbb{R} \)に対して、\begin{equation*}\exists x\in \mathbb{R} ,\ \exists \varepsilon >0:A\subset N_{\varepsilon }\left( x\right)
\end{equation*}が成り立つことは、つまり、\(A\)が\(\mathbb{R} \)上の何らかの点を中心とする何らかの近傍によって覆われることは、\(A\)が有界であるための必要十分条件です。

先の命題の否定より、実数空間\(\mathbb{R} \)の非空な部分集合\(A\)に対して、\begin{equation*}\forall x\in \mathbb{R} ,\ \forall \varepsilon >0:A\not\subset N_{\varepsilon }\left( x\right)
\end{equation*}すなわち、\begin{equation*}
\forall x\in \mathbb{R} ,\ \forall \varepsilon >0:A\cap \left( N_{\varepsilon }\left( x\right)
\right) ^{c}\not=\phi
\end{equation*}が成り立つことは、\(A\)が非有界であるための必要十分条件です。つまり、\(A\)が\(\mathbb{R} \)上のいかなる点を中心とするいかなる近傍によっても覆われないことは、\(A\)が非有界であるための必要十分条件です。

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

先の命題より、実数空間\(\mathbb{R} \)の非空な部分集合\(A\)が有界であることは、\(A\)が\(\mathbb{R} \)上の何らかの点を中心とする何らかの近傍によって覆われることと必要十分であることが明らかになりました。ただ、実際には、\(\mathbb{R} \)上の点を自由に選んだ上で、その点を中心とする近傍だけを候補とすることができます。具体的には以下の通りです。

有界集合と包含関係

有界集合の部分集合もまた有界集合です。

有界集合と共通部分

任意個の有界集合の共通部分もまた有界集合です。

先の命題において添字集合\(\Lambda \)は任意の集合です。つまり、\(\Lambda \)が有限集合である状況を想定すれば、有限個の有界集合の共通部分は有界であるという主張になり、\(\Lambda \)が可算ないし非可算な無限集合である状況を想定すれば、無限個の有界集合の共通部分は有界であるという主張になります。

有界集合と和集合

有限個の有界集合の和集合もまた有界集合です。

以上の命題を踏まえると、有限個の点の近傍によって覆われる集合が有界であることが導かれます。

無限個の有界集合の和集合は有界であるとは限りません。以下の例より明らかです。

部分距離空間上の有界集合

1次元のユークリッド空間\(\left( \mathbb{R} ,d\right) \)が与えられているものとします。つまり、ユークリッド距離関数\(d:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R} \)は実数を成分とするそれぞれの順序対\(\left(x,y\right) \in \mathbb{R} \times \mathbb{R} \)に対して、\begin{equation*}d\left( x,y\right) =\left\vert x-y\right\vert
\end{equation*}を定めます。距離関数\(d\)は以下の性質\begin{eqnarray*}&&\left( M_{1}\right) \ \forall x,y\in \mathbb{R} :d\left( x,y\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall x,y\in \mathbb{R} :\left[ d(x,y)=0\Leftrightarrow x=y\right] \\
&&\left( M_{3}\right) \ \forall x,y\in \mathbb{R} :d(x,y)=d\left( y,x\right) \\
&&\left( M_{4}\right) \ \forall x,y,z\in \mathbb{R} :d\left( x,z\right) \leq d\left( x,y\right) +d\left( y,z\right)
\end{eqnarray*}を満たします。

非空な部分集合\(X\subset \mathbb{R} \)を任意に選んだ上で、それにあわせて距離関数\(d:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R} \)の定義域を\(X\times X\)へ制限して\(d_{X}:X\times X\rightarrow \mathbb{R} \)とすれば、すなわち、\begin{equation*}\forall \left( x,y\right) \in X\times X:d_{X}\left( x,y\right) =d\left(
x,y\right)
\end{equation*}を満たすものとして\(d_{X}\)を定義すれば、この\(d_{X}\)もまた距離関数としての性質\begin{eqnarray*}&&\left( M_{1}\right) \ \forall x,y\in X:d_{X}\left( x,y\right) \geq 0 \\
&&\left( M_{2}\right) \ \forall x,y\in X:\left[ d_{X}(x,y)=0\Leftrightarrow
x=y\right] \\
&&\left( M_{3}\right) \ \forall x,y\in X:d_{X}(x,y)=d_{X}\left( y,x\right)
\\
&&\left( M_{4}\right) \ \forall x,y,z\in X:d_{X}\left( x,z\right) \leq
d_{X}\left( x,y\right) +d_{X}\left( y,z\right)
\end{eqnarray*}を満たすため、\begin{equation*}
\left( X,d_{X}\right)
\end{equation*}もまた距離空間になります。これをもとの空間\(\left( \mathbb{R} ,d\right) \)の部分距離空間と呼びます。集合\(X\)上に距離関数\(d_{X}\)が定義されていることが文脈から明らかである場合には、部分距離空間\(\left( X,d_{X}\right) \)をシンプルに、\begin{equation*}X
\end{equation*}と表記できるものと定めます。

空間\(\left( \mathbb{R} ,d\right) \)の部分距離空間\(\left(X,d_{X}\right) \)が与えられている状況を想定します。部分距離空間の点\(a\in X\)を中心とする半径\(\varepsilon >0\)の近傍とは、点\(a\)からの距離が\(\varepsilon \)よりも小さい場所にある\(X\)の点からなる集合であり、これを、\begin{eqnarray*}N_{\varepsilon }^{X}\left( a\right) &=&\left\{ x\in X\ |\ d_{X}\left(
x,a\right) <\varepsilon \right\} \\
&=&X\cap \left( a-\varepsilon ,a+\varepsilon \right)
\end{eqnarray*}で表記します。

部分距離空間は距離空間であるため、部分距離空間においても、その部分集合が有界であるか検討できます。部分距離空間\(X\)上の集合\(A\)が\(X\)上において有界であることを検討する際には、\(X\)上の距離関数\(d_{X}\)や点の近傍\(N_{\varepsilon }^{X}\left( a\right) \)などを用いることになります。

具体例を挙げると、\(\mathbb{R} \)の非空な部分集合\(A\subset \mathbb{R} \)が\(\mathbb{R} \)上において有界であることは、\begin{equation*}\exists y\in \mathbb{R} ,\ \exists \varepsilon \in \mathbb{R} ,\ \forall x\in A:d\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことを意味しますが、\(\mathbb{R} \)の部分距離空間\(X\)の非空な部分集合\(A\subset X\)が\(X\)上において有界であることは、\begin{equation*}\exists y\in X,\ \exists \varepsilon \in \mathbb{R} ,\ \forall x\in A:d_{X}\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことを意味します。

同様に、\(\mathbb{R} \)の非空な部分集合\(A\subset \mathbb{R} \)が\(\mathbb{R} \)上において有界であることは、\begin{equation*}\exists \varepsilon \in \mathbb{R} ,\ \forall x,y\in A:d\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことを意味しますが、\(\mathbb{R} \)の部分距離空間\(X\)の非空な部分集合\(A\subset X\)が\(X\)上において有界であることは、\begin{equation*}\exists \varepsilon \in \mathbb{R} ,\ \forall x,y\in A:d_{X}\left( x,y\right) \leq \varepsilon
\end{equation*}が成り立つことを意味します。

同様に、\(\mathbb{R} \)の非空な部分集合\(A\subset \mathbb{R} \)が\(\mathbb{R} \)上において有界であることは、\begin{equation*}\exists x\in \mathbb{R} ,\ \exists \varepsilon >0:A\subset N_{\varepsilon }\left( x\right)
\end{equation*}が成り立つことを意味しますが、\(\mathbb{R} \)の部分距離空間\(X\)の非空な部分集合\(A\subset X\)が\(X\)上において有界であることは、\begin{equation*}\exists x\in X,\ \exists \varepsilon >0:A\subset N_{\varepsilon }^{X}\left(
x\right)
\end{equation*}が成り立つことを意味します。

他の条件についても同様に考えます。

部分距離空間\(X\)の部分集合\(A\)が与えられたとき、\(A\)が\(X\)上で有界であることと、\(A\)が\(\mathbb{R} \)上で有界であることは必要十分です。

空間\(\left( \mathbb{R} ,d\right) \)の部分距離空間\(\left(X,d_{X}\right) \)が与えられているものとします。\(\mathbb{R} \)の部分集合\(A\subset \mathbb{R} \)が\(\mathbb{R} \)上の有界集合である場合、これと\(X\)の共通部分\(A\cap X\)は\(X\)上の有界集合になることが保証されます。

先の命題の逆は成り立つとは限りません。つまり、空間\(\left( \mathbb{R} ,d\right) \)の部分距離空間\(\left(X,d_{X}\right) \)が与えられた状況において集合\(A\subset \mathbb{R} \)を任意に選んだとき、\(A\cap X\)が\(X\)上の有界集合であっても、\(A\)は\(\mathbb{R} \)上の有界集合であるとは限りません。以下の例より明らかです。

演習問題