実数の部分集合における上界・下界についてその定義と具体例を紹介します。
上界・下界・上に有界・下に有界の定義
定義(上界・下界・上に有界・下に有界)
を空でないとする。
が の(一つの)上界 (upper bound) であるとは, が成立することであり,
が の(一つの)下界 (かかい; lower bound) であるとは, が成立することである。
上界が存在するとき, は上に有界であるといい,下界が存在するするとき, は下に有界であるという。
図で描くと次のような感じです。

なお,今は実数 の部分集合を考えましたが,順序 が定義された集合(半順序集合)であれば何でも構いません。
が上に有界かつ下に有界のとき,は有界 (bounded) であるといいます。これについては,以下でも詳しく解説しています。
上界・下界の取り方は複数あり得ることに注意しましょう。実際,定義より直ちに次が成立します。
命題
が の上界のとき, となる任意の実数 もまた の上界である。
同様に, が の下界のとき, となる任意の実数 もまた の下界である。
上界・下界の具体例
簡単かつ重要な具体例を挙げましょう。
上界・下界の具体例
- において, は全て上界であり, は全て下界である。
- において, は全て上界であり, は全て下界である。
- の上界は存在しない。よって上に有界でない。
- や には上界・下界が存在しない。よって上にも下にも有界でない。
- において最大値 ,最小値 が存在するとき, はそれぞれ上界・下界である。特にそれぞれ上界のうち最小なもの,下界のうち最大のものになっている。
上限・下限
上界・下界のうち,最小・最大のものをそれぞれ上限・下限と言い,それぞれ といった記号で表します。これは以下で詳しく解説していますから,そちらを参照してください。
より一般の順序集合における上界・下界
以下を参照してください。