닫힘 (위상수학)

위키백과 ― 우리 모두의 백과사전.

닫힘, 폐포, 닫힘체

위상수학에서, 어떤 위상공간 X부분집합 S닫힘체S를 포함하는 가장 작은, 닫힌 부분집합이다. 이것은 X 안에 있는, S의 모든 포함집합(superset)의 교집합으로 구성된다.

[편집] 표기 규약

S의 닫힘체는 Cl(S) 또는 \bar S로 표기한다. 만약 X에 대해 하나 이상의 위상(topology)이 있으면 (예를 들어, \mathfrak{T}\mathfrak{T}') 이들 서로 다른 위상은 서로 다른 닫힘체를 생겨나게 한다. 이를 나타내기 위해 아래 첨자를 덧붙여 Cl_{\mathfrak{T}}(S) 처럼 쓸 수도 있다. 만약 그 위상이 어떤 다른 구조에 의해 정의된 것이라면, 예를 들어 거리(metric) d 같은 것에 의해 정의되었다면, d\mathfrak{T} 대신에 첨자로 써도 된다.