稠密と可分
空間 R
N
の界集合 Ω で定義されている φ
C(Ω) に対して φ(x)≠0 となる x
Ω の集合の閉包を φ の
台
(support)と呼び,しばしば
supp φ
などと表わす.すなわち,
となる.C(Ω) に属する関数 φ のうち,台がコンパクト集合であるものの全体を
C
0
(Ω)
で表わす.
稠密と可分
定義
(
稠密
) ノルム空間Xの二つの部分集合L,MについてM
Lであるとする.このときMの閉包
がLを含むとき,MがLにおいて
稠密
(dense)であるという.いいかえると,L上の任意の点 x の近傍が,Mの点を少なくとも一つ含むことになる.
定義
(
可分
) ノルム空間Xが
可分
(separable)であるとは,Xにおいて稠密な可算集合が存在する事である.