内部

拓扑空间领域的术语
image
数学上，集合S的内部（又称开核）含有所有直观上“不在S的边界上”的S的点。S的内部中的点称为S的内点。

定义

若S为欧几里德空间的子集，则x是S的内点，若存在以x为中心的开球被包含于S。
这个定义可以推广到度量空间X的任意子集S。具体地说，对具有度量d的度量空间X，x是S的内点，若对任意
，存在y属于S，且
。
这个定义也可以推广到拓扑空间，只需要用邻域替代“开球”。设S是拓扑空间X的子集，则x是S的内点，若存在x邻域被包含于S。注意，这个定义并不要求邻域是开的。