분류
Connected Space
1. 정의
1.1. 연결 공간
연결 공간을 직접적으로 정의하는 것이 아니라 비연결 공간을 정의하고 비연결이 아닌 공간을 연결 공간이라 한다.
위상 공간 [math(X)]의 임의의 공집합이 아닌 열린집합 [math(A, B)]에 대하여, [math( X= Acup B )]이고 [math( Acap B = emptyset )]이면 [math({ A, B})]를 [math(X)]의 분리(separation)라 하고 [math(X)]의 분리 [math({ A, B})]가 존재하면 [math(X)]는 비연결 공간(disconnected space)라 한다.
위상 공간 [math(X)]가 연결(connected)이란 [math(X)]의 분리 [math({ A, B})]가 존재하지 않는 경우를 말한다. 이러한 공간을 연결 공간(connected space)이라 한다.
1.2. 경로 연결 공간
경로연결공간(path-connected space)는 모든 점이 경로로 연결된 공간이다. 이를 수학적으로 서술하면 다음과 같다.
위상 공간 [math(X)]상의 임의의 두 점 [math(p, q)]에 대하여 [math(gamma(0)=p, gamma(1)=q)]를 만족하는 연속함수 [math(gammacolon[0, 1]to X)]가 존재할 때, [math(X)]를 경로연결공간(path-connected space)이라 한다.
쉽게 말해, 아무 점을 두 개 잡았을 때 한 점에서 출발해 다른 한 점으로 도착하는 연속함수를 항상 잡을 수 있다는 뜻이다. 이것이 불가능한 공간을 비경로연결공간(path-disconnected space)이라고 한다.
위 경로연결공간의 정의에서 나와있듯이, 두 점 [math(p, qin X)]에 대하여 [math(gamma(0)=p, gamma(1)=q)]를 만족하는 연속함수 [math(gammacolon[0, 1]to X)]를 [math(p)]와 [math(q)] 사이의 경로(path)라고 한다.
자명하게, 경로연결이면 연결이다. 증명은 가정법을 이용, f-1(U), f-1(V)를 잡고, [0,1]이 연결공간인걸 이용하면 된다. [0,1]이 연결공간인 건 해석개론 시간에 지겹게 할테니 패스.
반면, 연결공간이 항상 경로연결공간인 것은 아니다. 좋은 반례로 위상수학자의 사인곡선이 있다.
일반적으로, 다양체에서는 경로연결과 연결이 동치라는 것이 알려져 있다.
1.3. 연결성분
위상공간 [math(X)]의 점 [math(x)]를 포함하는 가장 큰 연결부분공간을 [math(x)]의 연결성분이라 한다.
1.4. 경로 연결성분
위상공간 [math(X)]의 점 [math(x)]와 경로로 연결할 수 있는 모든 점들의 집합을 [math(x)]의 경로 연결성분이라 한다.
2. 연결성과 열린 닫힌 집합
[math(X)]가 비연결공간이면 정의에 따라서, 공집합이 아니고 서로소인 두 열린 집합 [math(U, V in X)]가 존재하여 [math(X=Ucup V)]를 만족한다. 그렇다면 [math(U = X setminus V)]이므로 [math(U)]는 열린 동시에 닫혔고, [math(V)] 역시 마찬가지다.
반대로 [math(X)]가 연결공간이면 열린 닫힌 집합이 [math(emptyset )], [math(X)] 뿐이다.
3. 국소적 연결 공간
위상공간 [math( (X,mathcal{T}) )]에 대하여, [math(X)]의 모든 점이 항상 연결부분공간인 근방을 지닐 때 국소 연결 공간(Locally Connected Space)이라고 부른다.
즉, 위상공간 [math(left(X, mathcal{T}right))]이 주어졌을 때, 임의의 [math(x in X)]에 대하여 [math(x in Y subset X)]인 근방 Y가 X의 부분공간으로서 위상르 주었을 때 연결공간이 될 수 있다는 뜻이다.
4. 단순 연결
단순연결공간(simply connected space)는 길연결보다 강한 연결의 개념이며 주로 다음과 같이 정의된다.
위상 공간 [math(X)] 의 기본군이 자명군일때 이를 단순연결공간(simply connected space)이라 한다.
더 자세히 들어가려면 연속변형이니 기본군이니 왱알왱알 해야 하지만 조금 직관적으로 설명해 보자면 우리가 경로 연결성을 판단할 때는 두 점을 잇는 곡선을 그릴수 있냐로 판단할 수 있다. 그렇다면 속이 꽉 찬 원판과 그것의 가운데에 구멍이 난 원판을 생각을 해 보자. 둘다 아무 점이나 둘을 찍어 곡선을 연결하는것은 어려운 일이 아닐 것이다. 이제 곡선중 시작점과 끝점이 같은 고리형태의 곡선을 생각해보자. 원판에서는 자연스럽게 시작점으로 끌어 당길 수 있지만 구멍이 나 있는 공간에서 구멍을 감싸는 곡선이라면 구멍이 난 부분을 통과하기 위해서는 들어오기 위해서는 구멍을 빠져나오는 과정이 적어도 한번 필요하다. 그리고 전자의 경우를 단순연결이라 한다.
더 쉽게 말하면 아무 닫힌곡선이든 한점으로 수축가능하다면 그것이 단순연결이라는 것이다.