数学分析中，经常要遇到开区间 ( a , b ) ( a , b ) (a,b) 和闭区间 [ a , b ] [ a , b ] [a,b] 这样的点集.在实变函数论中，我们要将它们扩展为更一般的开集和闭集，并由此生成许多重要的集合类.现在我们从原始概念说起.
设
E
E
E 是
n
n
n 维空间
R
n
\mathbf { R } ^ { n }
Rn 中 的一个点集，
P
0
P _ { 0 }
P0 是
R
n
\mathbf { R } ^ { n }
Rn 中 的一个定点，我们来研究
P
0
P _ { 0 }
P0 与
E
E
E 的关系.现在有三种互斥的情形：
第一，在
P
0
P _ { 0 }
P0 的附近根本没有
E
E
E 的 点；
第二，
P
0
P _ { 0 }
P0 附近全是
E
E
E 的 点；
第三，
P
0
P _ { 0 }
P0 附近既有
E
E
E 的 点，又有不属于
E
E
E 的 点
针对这些情况我们给出下述定义
定义1
如果存在 P 0 P _ { 0 } P0 的某一邻域 U ( P 0 ) , U \left( P _ { 0 } \right) , U(P0), 使 U ( P 0 ) ⊂ E , U \left( P _ { 0 } \right) \subset E , U(P0)⊂E, 则称 P 0 P _ { 0 } P0 为 E E E 的 内点；
如果 P 0 P _ { 0 } P0 是 E c E ^ { c } Ec 的 内点（这里余集是对全空间 R n \mathbf { R } ^ { n } Rn 来作的，即 E c = R n \ E , E ^ { c } = \mathbf { R } ^ { n } \backslash E , Ec=Rn\E, 以后仿此)， 则称 P 0 P _ { 0 } P0 为 E E E 的外点；
如果 P 0 P _ { 0 } P0 既 非 E E E 的内点又非 E E E 的 外点，也就是： P 0 P _ { 0 } P0 的任一邻域内既有属于 E E E 的点， 也有不属于 E E E 的 点，则称 P 0 P _ { 0 } P0 为 E E E 的 界点或边界点；
上述三个概念中当然以内点最为重要，因为其他两个概念都是由此派生出来的.
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
