複製鏈接
請複製以下鏈接發送給好友

可分

鎖定
可分,數學領域術語。
中文名
可分
外文名
detachable
概    述
有可數稠密子集距離空間
舉    例
C[a,b]
重要定理
完全有界的距離空間是可分的
領    域
數學

可分定義

可分稠密子集

定義1 設(X,ρ)是一個距離空間,集合E
X 滿足如下的條件:
就稱E是X 的稠密子集 [1] 
注:易見E
X 是X的稠密子集的充分必要條件是:
例如根據魏爾斯特拉斯定理,[a,b]上的多項式空間P[a,b]在C[a,b]中稠密。 [1] 

可分可分性

定義2 一個距離空間若有可數稠密子集,就稱為是可分的 [1] 

可分重要結論

定理 完全有界的距離空間是可分的。 [1] 
證明:取Nn為有窮的1/n網,則
是一個可稠密子集。 [1] 

可分舉例

Rn、C[a,b]、Lp[a,b] (1≤p<∞)均是可分的距離空間,L[a,b]是不可分的距離空間 [2] 
參考資料
  • 1.    童裕孫.泛函分析教程:復旦大學出版社,2007
  • 2.    林崇德,姜璐,王德勝 ,沈復興 .中國成人教育百科全書·數學·電腦.:南海出版公司,1994