数学において、位相空間がσコンパクト (σ-compact) であるとは、可算個のコンパクト部分空間の合併であることをいう 。 空間がσ局所コンパクト (σ-locally compact) であるとは、σコンパクトかつ局所コンパクトであることをいう。