有界

数学において集合が有界（ゆうかい、）である、または有界集合（ゆうかいしゅうごう、）であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界（ひゆうかい、）であるという。

定義 順序集合の有界性 順序集合 (X, ≤) とその空でない部分集合 A を考える。X の元 L が、A の任意の元 a について a ≤ L を満たすとき、L を A の上界 といい、上界を持つ A は上に有界であるまたは「上から抑えられる」 という。また X の元 l が、A の任意の元 a について l ≤ a を満たすならば、l を A の下界 といい、下界を持つ A は下に有界である、または「下から押さえられる」 という。

上に有界かつ下に有界な集合は単に有界であるという。

順序集合 (X, ≤) が半順序 ≤ に関して最大元および最小元を持つならば、この半順序は有界順序 である、または X は有界順序集合 であるという。有界順序を持つ順序集合 X に対し、部分集合 S に順序を制限した (S, ≤) は必ずしも有界順序にはならない。

距離空間の有界性 距離空間 (M, d) の部分集合 S が有界であるとは、S が有限な半径を持つ球で覆えることをいう。すなわち、M の元 x と正数 r > 0 で、任意の S の元 s に対して d (x, s) < r となるようなものが存在するとき、S は有界であるという。

M がそれ自身を M の部分集合とみて有界であるとき、d を有界距離函数 といい、M を有界距離空間 と呼ぶ。

ここでSが空集合でないときは中心xをSの元に選ぶとしても同値である。

また同値な特徴付としてSの直径 diam S := sup{d(x, y) | x, y ∈ S} が有限というものがある。

位相空間・一様空間・位相ベクトル空間における有界性 一般の位相空間においては、距離（スケール）の概念が存在しないため、単純に「有界集合」を直接定義することはできない。しかし、空間に付加的な位相構造が入っている場合には、以下のように有界性が定式化される。

位相ベクトル空間（フォン・ノイマン有界）: 位相ベクトル空間 の部分集合 が有界（またはフォン・ノイマン有界）であるとは、原点 の任意の開近傍 に対して、あるスカラー が存在し、任意の について

が成り立つ（すなわち を十分膨らませれば を覆うことができる）ことをいう。 がノルム空間である場合、この定義は「ノルムに関して有界」であることと完全に一致する。 一様空間: 一様空間 においては、距離空間の全有界性の概念を一般化することができる。部分集合 が全有界（または前コンパクト）であるとは、空間の任意の一様構造（近傍系） に対して、 が有限個の -小集合によって覆えることをいう。 コンパクト性との関連（位相空間）: 距離空間や位相ベクトル空間において、コンパクト集合（あるいは相対コンパクト集合）は常に有界である。位相幾何学において「有界性」は位相不変量（同相で保たれる性質）ではないが、「コンパクト性」は位相不変量であり、局所コンパクト空間や多様体論などでは有界閉集合の代わりにコンパクト集合が空間の局所的な制限を与える役割を果たす。

関数の有界性と本質的有界性 有界関数 任意の集合 から距離空間（またはノルム空間） への関数 について、その値域 が の有界集合であるとき、 は有界関数であるという。

特に （実数体）の場合、ある実定数 が存在して、すべての に対して

が成り立つことと同値である。

本質的有界性 測度論およびルベーグ積分の理論においては、関数がすべての点で有界である必要はなく、測度 0 の集合（高々例外的な零集合）を除いた部分で有界であれば十分である場合が多い。

測度空間 上で定義された可測関数 （または複素数値関数）が本質的に有界（）であるとは、ある実定数 が存在して、集合

の測度が 0 であること（すなわちほとんど至る所で が成り立つこと）をいう。このとき、そのような の下限は の本質的上限（）と呼ばれ、次のように表される：

本質的に有界な可測関数の同値類（ほとんど至る所等しい関数同士を同一視した空間）の全体は というLp空間を成し、この本質的上限ノルム（ ノルム）のもとでバナッハ空間となる。

例と性質 実数からなる開区間 (a, b) や閉区間 [a, b] は（通常の実数の大小関係に関する）順序集合としても（通常のユークリッド距離に関する）距離空間としても有界である。 実数からなる集合（実数全体の成す集合 R の部分集合）が有界ならば、それを含む有界区間が存在する。 一般に、Rn に大小関係の直積順序と通常のユークリッド距離を入れて考えるとき、Rn の部分集合 S がこの順序に関して有界となることとこの距離に関して有界となることとは等価である。 実数全体 R は有界ではない（アルキメデス性）。 R の空でない有界集合は上限（最小上界）と下限（最大下界）を持つ。 ユークリッド空間 Rn の有界集合は全有界である。とくにRn の有界集合はそれが閉集合ならばコンパクトである。一般に完備距離空間の全有界部分集合はコンパクトになる。 実数直線 上で定義された関数 は全空間では非有界であるが、有理数の集合 のルベーグ測度は 0 であるため、任意の有界区間上に制限すれば本質的に有界（かつほとんど至る所 0）である。

関連項目 全有界（前コンパクト） 順序集合 有向集合 有界関数 位相ベクトル空間 一様空間 本質的上限と本質的下限