稠密と可分

 空間 RN の界集合 Ω で定義されている φC(Ω) に対して φ(x)≠0 となる xΩ の集合の閉包を φ の(support)と呼び,しばしば supp φ などと表わす.すなわち,
となる.C(Ω) に属する関数 φ のうち,台がコンパクト集合であるものの全体を0(Ω)で表わす.

稠密と可分

定義(稠密) ノルム空間Xの二つの部分集合L,MについてMLであるとする.このときMの閉包がLを含むとき,MがLにおいて稠密(dense)であるという.いいかえると,L上の任意の点 x の近傍が,Mの点を少なくとも一つ含むことになる.
定義(可分) ノルム空間Xが可分(separable)であるとは,Xにおいて稠密な可算集合が存在する事である.