実コンパクト空間
提供: Mathpedia
定義
位相空間 $X$ が実コンパクト空間(じつこんぱくとくうかん、realcompact space)であるとは、ある集合 $J$ について、閉埋め込み $i:X\to \mathbb{R}^J$ が存在することをいう。
同値な定義
(now writing)
性質
- 正則Lindelöf空間は実コンパクトである。
information
参考文献
- [RE1] Ryszard Engelking, "General Topology", 1989
