About: 相対コンパクト部分空間

数学の分野における、ある位相空間 X の相対コンパクト部分空間（そうたいコンパクトぶぶんくうかん、英: relatively compact subspace）、あるいは相対コンパクト部分集合 Y とは、その閉包がコンパクトであるような部分集合のことである。 コンパクト空間の閉部分集合はコンパクトであるため、コンパクト空間の全ての部分集合は相対コンパクトである。距離位相や、より一般的にコンパクト性を調べるために列が用いられるような場合では、相対コンパクト性の基準は、Y 内の任意の列に X 内に収束する部分列が存在する、というものになる。そのような部分集合もまた相対コンパクトあるいはプレコンパクトなどと呼ばれる。ただし、プレコンパクトという語は全有界な部分集合に対しても用いられる（それらは完備距離空間において同値になる）。 いくつかの主要な定理が、特に関数空間における相対コンパクト部分集合を扱っている。そのような例の一つとして、アルツェラ-アスコリの定理が挙げられる。その他の興味深いケースでは、や、複素解析における正規族の概念との関連が述べられている。の分野におけるマーラーのコンパクト性定理では、ある非コンパクトな等質空間（特に格子の空間）における相対コンパクト部分集合の特徴付けが行われている。