1. 近方
近方. 가까운 곳을 나타내는 뜻의 한자어. 동일한 말로 '근처'가 있다. 한국어의 관용적 표현으로는 '엎어지면 코 닿을 거리'가 있다. 영어로는 a stone's throw away(돌 던지면 닿을 거리), 일본어로는 目と鼻の先(눈과 코 사이)라고 표현한다.2. 수학에서의 근방(neighborhood)
#!style
.grad {
background: border-box linear-gradient(to right, #781018, 10%, #8d141b 50%, 90%, #781018);
border: 2px solid transparent;
}
.grad tr:nth-of-type(2) > td {
background: padding-box var(--article-background-color);
overflow: hidden;
}
@theseed-dark-mode {
.grad {
background: border-box linear-gradient(to right, #781018, 10%, #8d141b 50%, 90%, #781018);
}
}
| [[위상수학|'''위상수학 {{{#!wiki style="font-family: Times New Roman; display: inline;"]] | ||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#0c524a,#0d564d><colcolor=#fff,#fff><bgcolor=#ddd,#555> 점-집합 위상수학 | |
| 위상 공간 | 개념 열린집합 · 내부 · 경계 · 폐포(극한점 · 그물) · 근방 · 위상 공간(부분기저 · 국소기저) · 부분공간 · 곱공간 · 몫공간 · 연속함수 · 위상동형사상종류 다양체 · 거리공간(거리함수 · 택시 거리 공간 · 유계 집합) · 위상군 · 위상 벡터 공간 · 함수 공간 | |
| 분리공리 | 콜모고로프 공간(T0) · 쿠라토프스키 공간(T1) · 하우스도르프 공간(T2) · 정칙 공간(T3) · 완전정칙 공간(T3½) · 정규 공간(T4) · 완전정규 공간(T5) · 완벽정규 공간(T6) | |
| 위상적 성질 | 콤팩트성(점렬 콤팩트 · 가산 콤팩트 · 극한점 콤팩트 · 국소 콤팩트) · 연결성(경로 연결 · 단순 연결 · 국소 연결 · 완전 비연결 · 축약 가능) · 가산성(제1가산 · 제2가산 · 린델뢰프 · 분리 가능) | |
| 대표 공간 | 구 · 원환면 · 뫼비우스의 띠 · 클라인의 병 · 사영평면 · 칸토어 집합 · 실직선 · 위상수학자의 사인곡선 · 조르겐프라이 직선 · 페아노 곡선 | |
| 주요 성질·정리 | 티호노프 정리 · 하이네-보렐 정리 · 우리손 거리화정리(우리손 보조정리) · 베르 범주 정리 · 부동점 정리 | |
| 분야 | ||
| 대수위상수학 | 오일러 지표 · 호모토피 · 경로 · 기본군(기본준군 · 자이페르트-반 캠펀 정리) · 피복공간 · 사슬 복합체 · 호몰로지 이론(호몰로지 · 코호몰로지) · 닐센-서스턴 분류 · 호프대수 | |
| 미분위상수학 | 미분다양체 · 미분형식 | |
| 기하위상수학 | 매듭이론(매듭 · 라이데마이스터 변환 · 목록) · 사상류군 · 푸앵카레 정리 | |
| 응용 위상수학 | 위상 데이터분석 · 위상부도체 · 위상학적 양자 컴퓨팅 | |
| 기타 | 차원 · 쾨니히스베르크 다리 건너기 문제 · 교재 | |
| 아르놀트 추측미해결 | ||
| 틀:기하학 · 틀:수학기초론 · 틀:범주론 · 틀:함수해석학 · 수학 관련 정보 | }}}}}}}}} | |
한문표기는 1과 같다. 위상수학과 해석학 분야에 광범위하게 이용되는 개념으로 엡실론-델타 논법에서의 엡실론이나 위상 공간의 열린집합(open set)의 개념을 확장했다고 보면 된다.
2.1. 정의
[math( X )]를 어떤 위상 공간이라 하자. 점 [math( p \in X )]에 대해 [math( X )]의 부분집합 [math( \mathcal{N} )]이 [math(p )]의 근방이라 함은, [math(p )]를 포함하는 적당한 열린집합 [math( O )]가 존재하여 [math( O \subset \mathcal{N} )]를 만족함을 말한다.
해당 정의에서 근방이라는 단어를 열린집합으로 바꾸면 열린집합의 정의가 된다. 다만 열린집합과의 차이점은 근방이라는 단어를 이용해 근방에 특수한 성질을 부여할 수 있다는 것이 열린집합과의 결정적인 차이점이다. 근방이라는 용어가 정의되지 않았을 때의 예를 들자면 하우스도르프 공간에서 컴팩트집합은 절대로 열린집합이 될 수 없어서, '열린집합을 포함하는 컴팩트집합'(...) 이라는 쓸데없이 긴 용어를 사용해야 했을 것이다. 근방의 정의를 이용하면 '컴팩트 근방'으로 쉽게 표현할 수 있다.2.2. 거리공간에서
거리공간에서도 동일한 정의를 생각할 수 있다. 거리공간의 경우 위 정의에서 '열린집합'을 '열린공'으로 바꾸어도 된다. 거리공간에서 [math(O)]가 열린집합이라는 말은 모든 [math(\forall x \in O)]에 대해 [math(\exists \epsilon > 0)]이 존재해서 [math(B(x, \epsilon) \sub O)]가 성립한다는 뜻이므로, [math(\mathcal N)]이 점 [math(p)]의 근방일 때 적당한 열린집합 [math(O)]에 대해 [math(B(p, \epsilon) \sub O \sub \mathcal N)]가 되는 [math(\epsilon > 0)]이 항상 존재한다. 또한 모든 열린공은 열린집합이기도 하기 때문에 [math(B(p, \epsilon) \sub \mathcal N)]이게 되는 [math(\epsilon > 0)]이 존재한다면 [math(\mathcal N)]은 [math(p)]의 근방이므로 역 또한 성립한다. 따라서 거리공간에서 점 [math(p)]를 중심으로 하는 열린공을 포함하는 것은 해당 점의 근방일 것의 필요충분조건이다.2.3. 국소적 성질
기본적으로 근방이라는 정의는 공간상의 한 점과 열린집합이 동시에 요구되기 때문에 이를 이용해 국소적 성질(Local property)이라는 것을 정의할 수 있다.예를 들어 어떤 특징 A가 국소적이라 함은 A라는 성질이 전체에서 성립하지 않다 하더라도 적당한 근방에서는 성립한다는 말이다. 물론 국소적으로 모든 곳에서 A가 성립한다 하더라도 전체에서는 A가 성립하지 않을 수도 있다. 또한 대부분의 대역적 성질(Global property) 또한 주어진 대상에서 가능한 모든 점에서 국소적 성질을 만족하는 대상으로 정의할 수 있다. 다만 앞서 이야기했듯이 국소적으로 모든 부분에서 성립한다고 하더라도 전체에서 성립하지 않는 경우는 분명히 존재한다.[1]
극한과 연속, 그리고 미분이 가장 대표적인 국소적 성질의 예시이다.[2] 특히 미분은 특별한 형태로 두고 근방으로 확장한 해석적이라는 용어도 따로 표현한다. 그 외에도 위상수학이나 해석학, 기하학, 심지어 대수학[3]에서도 웬만한 성질들도 수학자들은 끊임없이 끌고 내려와서 연구를 하다 보니 지금 이 순간에도 수많은 국소적 성질들이 전 세계의 수학자들에 의해 탄생하는 중이다.
[1] 이는 주로 국소적과 대역적의 정의의 차이로 인해 발생한다. 대표적으로 위상수학에서의 연결성, 가령 떨어진 두 개의 원판을 평면 위에서 생각해 보면 둘은 떨어져 있어 연결이 아니지만 각 점마다 그 점이 포함되는 원판이나 반원판을 잡을 수 있으므로 이는 국소적인 연결이다.[2] 물론 고등학교와 대학교 미적분학 수준에서는 이러한 성질들이 매우 잘 지켜지는, 몇 개의 점을 뺀 모든 점에서 연속, 무한 번 미분 가능 등등이 잘 지켜지지만 당장에 학부 해석학만 접해도 이것들이 깨지는 함수는 왕창 나온다. 이런 경우에는 각 점마다 파악하는 것은 기본 중의 기본.[3] 이곳에서는 대수 구조의 부분적인 성질을 만족하는 집합으로 의미가 바뀐다.