実数からなる集合
S = \{ \ 1, \, \frac{1}{2}, \, \frac{1}{3}, \ \cdots \ \ \} = \{ \ \frac{1}{n} \ | \ n = 1, \, 2, \, 3, \cdots \ \ \}
を考えてみましょう。この集合 S の最大値は 1 です。なぜなら、 1 は S の要素(元)であり、 S のすべての要素 \displaystyle\frac{1}{n} に対して、 \displaystyle\frac{1}{n} \leq 1 が成立しているからです。一方、 S の最小値はありません。 S のすべての要素 \displaystyle\frac{1}{n} に対して、 \displaystyle\frac{1}{n} > 0 は成立しているのですが、残念ながら 0 は S の要素ではありませんので、 0 を S の最小値ということはできません。しかし、 0 より小さい S の要素はないことと、 0 にいくらでも近い S の要素があることから、 0 はギリギリの限界値であると思われます。イプシロンデルタ論法を用いると、このようなギリギリの限界値を正確に表現することができます。
以下では、集合は空でないとします。
実数 {\bf R} 上の集合 S に対して、次の条件をみたす \ell \in {\bf R} を S の下限といいます。
集合 S の下限は、記号 \inf S で表されます。ここで、条件 (2) における x(\varepsilon) は \varepsilon に依存しているので、 \varepsilon の関数であることに注意しましょう。
上の条件 (1) より、下限 \ell よりも小さい S の要素は存在しないことがわかります。また、条件 (2) における x(\varepsilon) は、条件 (1) も合わせて考えると、
\ell \leq x(\varepsilon) < \ell + \varepsilon
をみたすことがわかります。この式は、直観的には x(\varepsilon) が \ell と \ell + \varepsilon の間にあることを意味していますが、 \varepsilon をいくらでも小さく選べることから、 x(\varepsilon) は \ell のいくらでも近くにあると考えられます。つまり、条件 (2) は \ell がギリギリの限界値であることを表現しているのです。
集合の下限は上のように定義されましたが、注意しておくべきことは、集合 S の最小値は S の要素でなければならないことに対して、集合 S の下限は必ずしも S の要素である必要はないということです。このことは、下限の条件のほうが最小値の条件よりも緩いことを意味しています。実際、上の条件 (1) と (2) に対して、さらに \ell \in S という条件を付け加えたときに限り、 \ell は S の最小値、すなわち、
\ell \in S であって、すべての x \in S に対して x \geq \ell
をみたすようになります。
ここで、 \ell が S の最小値であれば、 \ell は S の下限であることを確かめておきましょう。まず、下限の条件 (1) が成り立つことは明らかです。また、 \ell \in S ですから、任意の正の数 \varepsilon に対して、
x(\varepsilon) = \ell
と定めると、 x(\varepsilon) < \ell + \varepsilon であり、条件 (2) が成り立つことがわかります。

任意の正の数 \varepsilon に対して、 x(\varepsilon) = \ell とおくのは意外と気が付きにくいです。

そうなんですよ。 \ell が S の最小値であるとき、 \ell \in S に注意することを忘れるのです。言われると「そりゃそうだ」と思いますが。
以上をまとめると、
ということがわかります。
集合 S = \{ \ 1, \, \displaystyle\frac{1}{2}, \, \displaystyle\frac{1}{3}, \, \displaystyle\frac{1}{4}, \ \cdots \ \ \} の下限が 0 であることを確かめてみましょう。まず、任意の \displaystyle\frac{1}{n} \in S に対して、
0 < \displaystyle\frac{1}{n}
ですから、条件 (1) が成り立ちます。また、任意の正の数 \varepsilon に対して、 n(\varepsilon) を \displaystyle\frac{1}{\varepsilon} を超える最小の自然数として定めると、 \displaystyle\frac{1}{n(\varepsilon)} \in S であることと、 n(\varepsilon) > \displaystyle\frac{1}{\varepsilon} より
\frac{1}{n(\varepsilon)} < \varepsilon = 0 + \varepsilon
ですから、条件 (2) が成り立ちます。よって、 \inf S = 0 であることがわかります。
同様に、次の条件をみたす m \in {\bf R} を集合 S の上限といいます。
集合 S の上限は、記号 \sup S で表され、必ずしも S の要素である必要はありません。また、集合の下限の場合と同様に、
ということもわかります。
練習問題1 集合 S = \{ \ \displaystyle\frac{n}{n+1} \ | \ n = 1, \, 2, \, 3, \cdots \ \ \} の上限と下限を求めなさい(定義をみたすことを示しなさい)。
最後に、最大下界と最小上界について説明します。ここでは、論理記号を使ってみます。
実数 {\bf R} 上の集合 S に対して
^{\exists}a \in {\bf R} s.t. ^{\forall}x \in S, \ x \geq a
が成り立つとき、 S は下に有界であるといい、 a を S の下界といいます。 a が S の下界であるとき、 a より小さい実数は S の下界になることに注意しましょう。
同様に、
^{\exists}b \in {\bf R} s.t. ^{\forall}x \in S, \ x \leq b
が成り立つとき、 S は上に有界であるといい、 b を S の上界といいます。 b が S の上界であるとき、 b より大きい実数は S の上界になることに注意しましょう。
S が下に有界かつ上に有界であるとき、単に有界であるといいます。例えば、
S_1 = \{ \ x \ | \ x > 0 \ \} は下に有界
S_2 = \{ \ x \ | \ x \leq 1 \ \} は上に有界
S_3 = \{ \ x \ | \ 0 < x \leq 1 \ \} は有界
です。
練習問題2 上の集合について、 S_1 が下に有界、 S_2 が上に有界、 S_3 が有界であることを定義にしたがって確かめなさい。
S が下に有界であるとき、 S の下界全体からなる集合
S' = \{ \ x' \ | \ ^{\forall}x \in S, \ x' \leq x \ \}の最大値 \ell が存在すれば、 \ell を S の最大下界といいます。例えば、下に有界な集合 S_1 = \{ \ x \ | \ x > 0 \ \} の下界全体からなる集合は
S_1' = \{ \ x' \ | \ x' \leq 0 \ \}であり、その最大値は 0 です。
同様に、 S が上に有界であるとき、 S の上界全体からなる集合
S'' = \{ \ x'' \ | \ ^{\forall}x \in S, \ x'' \geq x \ \}の最小値 m が存在すれば、 m を S の最小上界といいます。例えば、上に有界な集合 S_2 = \{ \ x \ | \ x \leq 1 \ \} の上界全体からなる集合は
S_2'' = \{ \ x'' \ | \ x'' \geq 1 \ \}であり、その最小値は 1 です。
例題 実数 {\bf R} 上の集合 S は下に有界であるとする。 S の下限が存在すれば、 S の最大下界が存在し、 S の下限と最大下界は一致することを示せ。
[解] \ell = \inf S とおく。 \ell が S の下界全体の集合 S' の最大値であることを示せばよい。下限の条件 (1) より
^{\forall}x \in S, \ \ell \leq xであるから、 \ell \in S' である。次に、
^{\forall}x' \in S', \ x' \leq \ellが成り立つことを背理法によって示す。もしも、この主張が成り立たないと仮定すると、
^{\exists}y' \in S' s.t. \ \ell < y'
すなわち、 \ell < y' をみたす y' \in S' が存在する。 y' \in S' であるから、
^{\forall}x \in S, \ y' \leq xが成り立つ。このとき、 \varepsilon = y' \, - \, \ell > 0 とおくと
x < \ell + \varepsilon = y'をみたす x \in S は存在しない。これは、下限の条件 (2) に反する。したがって、 ^{\forall}x' \in S', \ x' \leq \ell が成り立つ。以上より、 \ell は S' の最大値である。(証明終)
練習問題3 実数 {\bf R} 上の集合 S は下に有界であるとします。 S の最大下界が存在すれば、 S の下限が存在し、 S の最大下界と下限は一致することを示しなさい。
上の例題と練習問題より、実数 {\bf R} 上の集合 S が下に有界であるとき、 S の下限と最大下界は、どちらか一方が存在すれば、他の方も存在し、両者は一致することがわかります。イメージとしては、下限は集合の内側からギリギリの限界を探すという感じであるのに対し、最大下界は集合の外側からピッタリのふたをするという感じです。

実数 {\bf R} 上の集合 S が下に有界であるとき、 S の下限や最大下界が存在することは証明できるのでしょうか?

いいえ、一般的にはできません。実は、実数 {\bf R} 上の集合 S が下に有界であるとき、 S の下限や最大下界が存在することは「公理」として認めなければならないのです。これは「実数の完備性公理」とよばれています。興味があれば、実数論もしくは(レベルの高い)微分積分学の本を調べてみてください。
同様に、 {\bf R} 上の集合 S が上に有界であるとき、 S の上限と最小上界は、どちらか一方が存在すれば、他の方も存在し、両者は一致することが示されます。
集合の下限と上限は、集合の最小値および最大値と同様もしくはそれ以上に、いろいろな場面で登場します。次の2つの練習問題ができれば、集合の下限と上限については、ひとまず理解できたといえるでしょう。
練習問題4 実数 {\bf R} 上の有界な集合 A, \, B について、 A \subset B ならば \, \inf B \leq \inf A, \ \sup A \leq \sup B が成り立つことを示しなさい。
練習問題5 数列 \{ a_n \} は単調減少、すなわち、 a_1 \geq a_2 \geq a_3 \geq \cdots \geq a_n \geq \cdots をみたすとします。 \{ a_n \} が下に有界であるとき、
\alpha = \inf\{ \ a_n \ | \ n = 1, 2, 3, \cdots \ \}
とおくと、 \displaystyle\lim_{n \to \infty} a_n = \alpha が成り立つことを示しなさい。単調増加な数列 \{ a_n \} についても同様の主張が成り立ちます。