ebooksgratis.com

See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
开集 - Wikipedia

开集

维基百科,自由的百科全书

拓扑学和相关的数学领域中,集合 U 被称为开集,如果在直觉上说,从 U 中任何一点 x 开始你可以在任何方向上稍微移动一下而仍处在集合 U 中。换句话说,在 U 中任何点 xU 的边界之间的距离总是大于零。

满足 x2 + y2 = r2 的点 (x,y) 着蓝色。满足 x2 + y2 < r2 的点 (x,y) 着红色。红色的点形成了开集。红色和蓝色的点的并集是闭集。
满足 x2 + y2 = r2 的点 (x,y) 着蓝色。满足 x2 + y2 < r2 的点 (x,y) 着红色。红色的点形成了开集。红色和蓝色的点的并集是闭集。

例如,实数线上的由不等式2<x<5 \,规定的集合称为开区间,是开集。这时候的边界为实数轴上的点2和5,如由不等式2\leq x \leq 5,或者2< x \leq 5规定的区间由于包含其边界,因此不能称之为开集。

开集是指不包含自己边界点的集合。或者说,开集把它所包含的任何一点的充分小的邻域也包含在其自身之中。开集的概念一般与拓扑概念是紧密联系着的,通常先公理化开集,然后通过其定义边界的概念。(详细请参照拓扑空间

目录

[编辑] 定义

可以按不同的一般性程度来形式化开集的概念。

[编辑] 函数分析

Rn 中点集是开集,如果在这个集合的所有点 P 都是内部点

[编辑] 欧几里德空间

n 维欧几里德空间 Rn 的子集 U 是开集,如果给定任何在 U中的点 x,存在一个实数 ε > 0 使得,给定任何 Rn 中点 y 有着从 x 到它的欧几里德距离小于 ε,则 y 也属于 U。等价的说,U 是开集,如果所有 U 中的点有包含在 U 中的邻域

[编辑] 度量空间

度量空间 (M,d) 的子集 U 是开集,如果给定任何 U 中的点 x,存在一个实数 ε > 0 使得,给定任何 M 中的点 y 带有 d(x,y) < ε,则 y 也属于 U。(等价的说,U 是开集,如果所有 U 中的点有包含在 U 中的邻域。)

这推广了欧几里德空间的例子,因为带有欧几里德距离的欧几里德空间是度量空间。

[编辑] 拓扑空间

拓扑空间中,开放性概念被选取为基础性的。你可以开始于任意集合 X 和满足假定有所有“合理”开放性概念的特定性质的 X子集族。这种子集族 T 被叫做 X 上的“拓扑”,而这个集合族的成员被叫做拓扑空间 (X,T) 的开集。注意开集的无限交集不必须是开集。可以构造为可数多个开集的交集的集合被指示为 Gδ集合。

开集的拓扑定义推广了度量空间定义: 如果你开始于一个度量空间并如上定义开集,则所有开集的集合族将形成在这个度量空间上的拓扑。所有度量空间因此以自然方式是拓扑空间。(但有不是度量空间的拓扑空间。)

[编辑] 性质

  1. 任意个开集的并集是开集。
  2. 有限个开集的交集是开集。
  3. 开集的补集闭集

[编辑] 例子

  • 度量空间(X,d)中,以点x\in X为中心,\varepsilon为半径的球体B(x,\varepsilon)为开集,任意的开集A包含以x\in A为中心,充分小的\varepsilon为半径的球体B(x,\varepsilon)
  • 流形中的开集为子流形

[编辑] 用处

开集在拓扑学分支中是基础重要性的。需要这个概念来定义拓扑空间和处理空间如度量空间一致空间中的邻近性与收敛概念的其他拓扑结构并使其有意义。

所有拓扑空间 X子集 A 都包含一个(可能为空)开集;最大的这种开集被叫做 A内部。它可以通过选取包含在 A 中的所有开集的并集来构造。

给定拓扑空间 XY,从 XY函数 f连续的,如果在 Y 中的所有开集的前像是在 X 中的开集。映射 f 被叫做开映射,如果在 X 中的所有开集的Y 中的开集。

实直线上开集有它是不相交开区间的可数并集的特征性质。

[编辑] 相关条目


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -