수학에서 위상 공간 X의 부분 집합의 아류 지점(또한 또는 점접점 폐쇄의 시점이나 지점 closure)[1]{A\displaystyle}X에서,{X\displaystyle,}은 포인트={\displaystyle)}가 x{\displaystyle)}(또는 동등하게의 모든 이웃마다 열려 있어{X\displaystyle}. nei의 ghborhood는 . A의 최소 한 점을 포함한다이(, 의 폐쇄에 있는 경우에만이다
if and only if for all open subsets if
이 정의는 제한 지점의 정의와 다르며, 지점의 경우,x {\ x의 모든 인접영역에x . {\과(와) 다른A {\ A의 최소 한 점을 포함해야 한다는 점에서, 따라서 모든 한계점은 일관성 있는 지점이지만, 그 반대는 사실이 아니다.의 부착점은 의 한계점 또는또는 둘 다)의 요소다.한계점이 아닌 일관성 있는 지점은 고립된 지점이다.
직관적으로 {\이(가) 일부 경계 내 영역으로 정의되어 있는 경우, A의 부속 지점은 경계를 포함한의 지점이다.
If is a non-empty subset of which is bounded above, then the supremum is adherent to In the interval is an adherent point that is not in the interval, 의 일반적인 토폴로지를 사용하는 경우
공간의 부분 S 이가) M. M에서 닫힌 경우(순차적으로)에만 해당 부분 집합 S {\displaystystyle S}의 모든 부착점을 포함한다.
일관성 있는 포인트 및 하위 스페이스
Suppose and where is a topological subspace of (that is, is endowed with the subspace topology induced on it by ).S{S\displaystyle}의 X{X\displaystyle}그럼){\displaystyle)}은 아류 지점 S{S\displaystyle}의 Y에서 만일 x{\displaystyle)}은 부착 지점이다.{Y\displaystyle}[증거 1]S{S\displaystyle}에 결과적으로,){\displaystyle)}은 부착 지점이다.x(또는 일부) 위상학적 초공간에서 의 x displaystyle X}에 해당하는 경우에만
일관성 있는 포인트 및 시퀀스
If is a subset of a topological space then the limit of a convergent sequence in does not necessarily belong to however it is always an adherent point of Let 은(는) 그러한 시퀀스로, {\을(를) 제한으로 한다.Then by definition of limit, for all neighbourhoods of there exists such that for all In particular, and also so is an adherent point of In contrast to the previous example, the limit of a convergent sequence in is not necessarily a limit point of ; for example consider as a subset of Then the only sequence in is the constant sequence whose limit is but is not a limit point of it is only an S의 일관성 있는 지점
^By assumption, and Assuming that let be a neighborhood of in so that will follow once it is shown that The set is a neighborhood of in (by definition of the subspace topology) so that implies that Thus as desired.For the converse, assume that and let be a neighborhood of in so that will follow once it is shown that By definition of the subspace topology, there exists a neighborhood of in such that Now implies that From it follows that and so as desired.
인용구
^Steen, 페이지 5; Lipschutz, 페이지 69; Adamson, 페이지 15.