§8.2 度量空间的完备性与紧致性
2006-10-25 15:48
218 查看
§8.2 度量空间的完备性与紧致性
定义8.2.1 设(X,ρ)是一个度量空间,ε>0是一个实数.X的有限子集A称为一个ε网,如果对于任何x∈X有ρ(x,A)<ε.如果对于任何实数ε>0,X有一个ε网,则称度量空间(X,ρ)是完全有界的.
一个度量空间是完全有界明显蕴涵着它是有界的.反之不然,例如包含着无限多个点的离散度量空间是有界的但不是完全有界的
定理8.2.1 设(X,ρ)是一个度量空间,则(X,ρ)是紧致的当且仅当(X,ρ)是一个完全有界的完备度量空间.
定义8.2.1 设(X,ρ)是一个度量空间,ε>0是一个实数.X的有限子集A称为一个ε网,如果对于任何x∈X有ρ(x,A)<ε.如果对于任何实数ε>0,X有一个ε网,则称度量空间(X,ρ)是完全有界的.
一个度量空间是完全有界明显蕴涵着它是有界的.反之不然,例如包含着无限多个点的离散度量空间是有界的但不是完全有界的
定理8.2.1 设(X,ρ)是一个度量空间,则(X,ρ)是紧致的当且仅当(X,ρ)是一个完全有界的完备度量空间.
相关文章推荐
- §7.5 度量空间中的紧致性
- §8.1 度量空间的完备化
- §7.2 紧致性与分离性公理
- 2.1 度量空间与连续映射
- Ext 4 概述(三)之Env命名空间 & 语言增强包 & Ext.Function
- ORA-01950: 对表空间 'USERS' 无权限
- &ldquo;不管什么进程,一旦进入了系统空间,都有相同的页面映射&rdquo;之解疑
- UVA 167 The Sultan's Successors
- Veeam Backup & Replication试用(二):前期准备,配置备份存储空间和VMware vSphere虚拟化平台
- Linux sed --模拟空间&保留空间
- C#中找不到类型或命名空间名称"SqlConnection"以及连接别的数据库的命名空间
- uva 167 The Sultan's Successors 搜索
- 用户进程&内核线程的内核空间的pgd
- 关于指针a与&a所代表的内存空间
- [精华] 用裸设备扩数据库表空间专…
- nyoj167 && zoj3305【DP位运算--枚举补集】
- Java JTS & 空间数据模型
- "测试对受保护存储空间的访问权限"释疑
- uva 167 The Sultan's Successors