1 空区間の定義
空区間とは、数直線上で「ある端点条件の組」で区間として指定されるにもかかわらず、その条件を同時に満たす実数点が存在せず、結果として点集合が空集合になる区間のことをいう。通常、区間は端点を用いた記法で表され、その記法に対応する点の集合が空になる場合に「空区間」と呼ぶ。
空区間は「区間として書かれているが，中身がない」という意味であり、区間の長さや面積がゼロという状況（例えば単点）とは異なる。点集合としての有無が本質である。
1.1 区間と集合の関係
区間は、実数全体を対象とする部分集合として理解するのが基本である。すなわち、区間の記号は「集合を定義するための略記」として扱われ、開・閉の指定や端点の大小関係は、その集合に含める点と含めない点を決める条件になる。
この観点では、空区間とは「区間の略記が定義する部分集合が空である」状態に対応する。言い換えれば、記号の意味論は集合論の言葉で確定する。
1.2 空集合としての性質
1.2.1 要素を持たないことの意味
空集合は要素を一切持たない集合である。したがって空区間は、上端点や下端点の近くに点があるかどうかを問う余地がない。含まれる点の存在が否定されるため、区間上の性質（例：そこでの値の成否、そこでの成立）を議論する場合は「前提条件を満たす点がない」という形で整理する必要がある。
また、空集合上では「全称命題が真になる」など、論理学的な性質が通常の直観とずれることがある。これは実数点がないために、反例となる点が存在しないことに由来する。
1.2.2 代表的な表記法
実数の区間表記では、端点の包含（開・閉）を括弧の種類で示すのが一般的である。代表例として、(a,b)、[a,b]、(a,b]、[a,b) のように書かれる。空区間はこれらの記法が表す条件が両立しないときに現れる。
典型的には、端点の大小が反転している場合に空になる。たとえば (a,b) で a>b なら集合として空になる。さらに、端点が等しいときの開閉指定によっては空になり得る（後述）。
1.3 関連概念との位置づけ
空区間は、空集合・区間の空でない条件・境界点の扱いと密接に結びつく。特に、以下の区別が重要である。
第一に、空区間と「単点集合としての区間」（端点が一致しているがその点を含むように指定される場合）を混同しないこと。第二に、開区間と閉区間では端点を含めるか否かが異なり、その違いが空集合化の可否を左右すること。第三に、無限端点を含む記法では境界の大小をめぐる直観が変わるため、定義の形式に沿った判定が必要になる。
2 空区間が成立する条件
空区間の判定は、端点の大小関係と括弧の種類（端点の包含/排除）により決まる。加えて、端点に無限記号が現れる場合は、有限の大小比較とは性質が異なるため注意する。
2.1 端点の大小関係による判定
2.1.1 開区間の場合
一般に開区間 (a,b) は a<b を満たすときに非空になる。もし a>b なら、両端を同時に満たす実数点は存在しないため空集合となる。さらに a=b の場合も、条件 a<x<b は不可能であり、同様に空になる。
このため開区間は「端点が厳密に反転しない」だけでは足りず、「端点が厳密に異なる」ことが必要条件になる。
2.1.2 閉区間・半開区間の場合
閉区間 [a,b] は a≤b のとき非空である。a=b である場合でも、その唯一の点 a=b を含むため、結果は単点集合ではあるが空ではない。
半開区間（例：[a,b)、(a,b]）は端点の片側だけを含むため、端点が一致するケースで挙動が分かれる。たとえば [a,b) で a=b とすると条件 a≤x<b となり b への上側包含がないため実数点が存在せず空になる。同様に (a,b] でも a=b のとき空になる。
以上を整理すると、端点一致のときに空になるかは「両端を同時に含むか否か」によって決まる。両端を含む閉区間のみが一致でも非空になり、それ以外は空に落ちる。
2.2 括弧の違いによる境界点の扱い
括弧の種類は境界点の包含条件を符号化する。開括弧（丸括弧）は端点を含めないことを意味し、閉括弧（角括弧）は端点を含めることを意味する。
この違いが空区間化に与える影響は、特に a=b のときに顕著である。端点一致では内部点（a<x<b のような厳密不等式の領域）が存在しないため、残る可能性は境界点の採否に限られる。よって、少なくとも片側の括弧が開になっていると境界点が排除され、空集合化が起きる。
また、端点反転（a>b）の場合には、括弧の種類に関わらず厳密な条件が両立しないため空となる。境界点の採否よりも大小関係の矛盾が支配的になる。
2.3 無限区間での注意点
無限端点を含む区間では、比較対象が有限実数と異なる。たとえば (−∞,b] や [a,∞) のように、無限側は「その方向へいくらでも広がる」ことを意味する。したがって無限記号を含む区間は通常、端点の大小関係の判定をそのまま有限同士のときと同じ感覚で適用しない。
具体的には、形式的な不等式条件（例：x>b、a≤x、x≤b など）を優先し、どの実数も矛盾なく満たせるかを確認する方が確実である。無限端点側が与える条件は「存在を消す」方向には働きにくく、空集合化が起きるとすれば主として有限端点同士の矛盾や、片側の開閉指定と端点一致に由来する。
例として、(a,∞) は常に非空である（aより大きい実数は存在する）。一方、(∞,b) のような記法は通常の区間定義としては扱いづらく、定義域側の読み替えが必要になるため、表記が与えられた状況では「定義が意味する不等式」を確認するべきである。
3 区間演算と空区間
区間演算では、空区間がどのように生じるか、また結果として空が消えるのか（あるいは残るのか）を決める必要がある。ここでは和（和集合）、積（共通部分）、差、補集合に分けて考える。
3.1 和（和集合）によって空が消える/残る場合
和集合は「どちらかに属する点があるか」を判定する演算である。片方が空区間であっても、他方が非空なら和集合は非空になる。したがって空が「消える」典型は、片側だけに意味のある点がある場合である。
一方、両方が空区間であるなら和も空のままである。区間の和集合は、端点の位置関係によっては連結形（単一区間）にならず、複数区間の合併の形になることがあるが、空か否かの判定は結局「含まれる点が存在するか」に帰着する。
3.2 共通部分（積集合）で空が生じる場合
共通部分は両者に同時に属する点があるかに対応し、空集合化が比較的起こりやすい。とりわけ、端点の大小関係が重なりを許さないとき、共通部分は空になる。
開閉の違いも影響する。端点がちょうど接するだけの状況では、閉側が両方そろっているか、片側でも開になっているかで共通部分が空か単点かに変わる。したがって、積集合は「重なりの実体（内部の共通部分）」と「境界点の共通採用」の両方を確認する必要がある。
3.3 差集合・補集合と空区間
差集合 A\B は「Aに属するがBに属さない点」を集める。Aが空なら差集合は空になる。逆に、Bが空なら A\B は A のままである。空区間が絡むときは、まずどちらが母集合として情報を持つかを見れば判定が容易になる。
補集合は「定義域（通常は実数全体など）における残り」であり、基準となる母集合が明示されないと解釈が変わる。母集合を実数とする場合、空区間の補集合は全体（非空）になる。つまり、補集合により空は通常「残らない」方向に働くが、母集合自体が限定されている文脈では結果が変わる。
3.4 包含関係と空集合の整合性
包含関係は空区間の整合性を保証する基盤になる。空集合は任意の集合の部分集合であり、空区間はその性質を持つ。よって、空区間が登場したときに「積で必ず空になる」「差で場合分けが簡単になる」など、集合論の基本則がそのまま適用される。
また、区間の和や積が再び区間として表せるかは別問題である。空であるかどうかは端点の矛盾や一致条件から決まるが、非空であっても演算結果が複数区間の合併となる可能性はあるため、表記の形だけで性質を断定しないことが望ましい。
4 微積分（Calculus）での実用
微積分では、空区間上での極限、関数の性質、積分の扱いが現れる。特に「積分対象が空」のときの定義上の挙動を理解しておくことが実務上の誤りを防ぐ。
4.1 空区間での極限・収束の扱い
極限や収束の議論では「何が近づくのか」「どの変数がどの集合上で動くのか」が重要になる。空区間上で定義されるはずの近傍が存在しない場合、当該極限命題は前提条件（十分小さい距離で点を取れる等）を満たせず、証明の枠組みが壊れることがある。
ただし、論理命題としては「空集合上での全称性」が真になる形で扱われることがあるため、直観に反する結論が出ることがある。実用では、定義に従って「近づくための点が実際に存在するか」を先に確認するのが安全である。
4.2 空区間上の関数の性質（有界性・可積分性）
関数の性質のうち、有界性や可積分性などは領域に応じて定義される。空領域では評価対象が存在しないため、「上限を持つ」「積分できる」といった性質が自動的に成立する扱いになることがある。
ただし、この種の成立は「関数が良い挙動をするから」ではなく「点集合が存在しないために条件が検証不能」あるいは「反例がない」ことに由来する。従って、空区間上で得られた性質を、非空領域へ拡張して解釈する際には追加の仮定が必要になる。
4.3 リーマン積分・不等式の基礎での注意
リーマン積分では区間が与えられ、その長さや分割が定義に現れる。空区間の場合、分割点の作り方が形式的にどう扱われるかに応じて、積分値は通常 0 と整合する形で定義されることが多い。したがって「長さがあるから積分値が大きくなる」といった直観は、領域が空だと成立しない。
不等式の証明では「区間上で任意の点に対して成り立つ」形を用いることがあるが、空領域だと仮定の射程が消えるため、証明が過度に簡潔になってしまう。誤りの発見には、対象領域が本当に非空であることを途中で確認する習慣が有効である。
4.4 計算時に誤りやすい典型パターン
誤りが起きやすいのは、端点条件の符号や開閉指定の読み取りミスである。典型は次のような場面である。
- 端点一致だが片側が開になっているにもかかわらず「単点を含む」と誤解する。
- a>b のケースで、括弧の種類を無視して「何かしらの点がある」と見なす。
- 共通部分を考える際に、境界点の採否（両側が閉かどうか）を確認せず単点/空の区別を落とす。
- 極限・連続性・可積分性の証明で、区間が空である可能性を見落とし、定義が要求する点の存在条件を満たさないまま結論だけを採用する。
これらは「区間を集合として扱う」視点に戻ることで予防できる。端点の条件を不等式に翻訳し、含まれる点の有無を確かめる手順が有効である。