위상동형사상

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
- 2.1. 역사상의 연속성
3. 성질
4. 예
- 4.1. 위상동형이 아닌 예
5. 다른 동치 관계
참조

1. 개요

위상동형사상은 두 위상 공간 사이의 함수로, 전단사 함수이면서 연속 함수이고, 역함수 또한 연속인 경우를 말한다. 두 위상 공간 사이에 위상동형사상이 존재하면 두 공간은 위상동형이라고 하며, 위상동형사상은 위상수학적 성질을 보존한다. 예를 들어, 닫힌 원판과 정사각형, 개구간 (-1, +1)과 실수 전체는 위상동형이며, 구와 원환면은 위상동형이 아니다. 위상동형사상은 열린 사상, 닫힌 사상이며, 합성 또한 위상동형사상이다.

더 읽어볼만한 페이지

위상동형사상 - 자기유사성
자기유사성은 대상의 작은 부분이 전체와 유사한 형태를 보이는 현상으로, 수학, 자연, 컴퓨터 네트워크, 주식 시장, 사이버네틱스, 음악 등 다양한 분야에서 관찰되며 자기 아핀성은 자기 유사성의 일반화된 개념이다.
위상수학 - 뫼비우스의 띠
"상상력" 한가 아닌 답변을 바랍니다.
위상수학 - 공간
공간은 물체의 위치와 운동을 기술하는 배경으로, 시간과 함께 시공간을 구성하며, 학문 분야에 따라 정의와 관점이 다르지만, 현대 물리학에서는 고차원 공간을 가정하기도 한다.
함수와 사상 - 적분
적분은 아르키메데스가 고안하고 앙리 르베그가 완성한 미적분학의 핵심 개념으로, 도형의 면적과 부피를 구하는 데 사용되며 미분과 역의 관계를 갖고, 확률, 넓이, 부피 계산 등 다양한 분야에서 활용된다.
함수와 사상 - 지수 함수
지수 함수는 양의 상수 *a*를 밑으로 하는 *y = a^x* 형태의 함수이며, 특히 자연로그의 역함수인 *e^x*는 다양한 정의와 응용을 가지며 복소수로 확장될 수 있다.

위상동형사상

2. 정의

위상 공간 $(X, T_X)$ 와 $(Y, T_Y)$ 가 주어져 있고, $f : X \to Y$ 가 두 위상 공간 사이의 함수라고 할 때, 함수 $f$ 가 다음 세 가지 조건을 만족하면 $f$ 를 '''위상동형사상'''이라고 한다.

$f$ 는 전단사 함수이다.
$f$ 는 연속 함수이다.
역함수 $f^{-1}$ 도 연속 함수이다.

만일 위 세 가지 조건을 만족시키는 함수가 두 위상 공간 사이에 존재하면 두 위상 공간은 서로 '''위상동형'''(homeomorphic^영어)이라고 한다. 위상동형사상은 때때로 "쌍방향 연속" 함수라고도 불린다. "위상동형"은 위상 공간에서 동치 관계이며, 이 동치 관계의 동치류는 '''위상동형류'''라고 한다.

2. 1. 역사상의 연속성

f^{-1}

이 연속이어야 한다는 세 번째 조건은 필수적이다. 예를 들어

f(\phi) = (\cos\phi,\sin\phi)

로 정의된 함수

f : [0,2\pi) \to S^1

(여기서

S^1

은

\mathbb{R}^2

의 단위원)을 생각해 보자. 이 함수는 전단사 함수이고 연속 함수이지만 위상동형사상은 아니다. 왜냐하면

S^1

은 콤팩트 공간이지만

[0,2\pi)

는 콤팩트 공간이 아니기 때문이다.^[4] 함수

f^{-1}

는 점

(1,0)

에서 연속이 아니다.^[4]

3. 성질

두 위상동형인 공간은 위상수학적 성질이 같다. 예를 들어 한 쪽이 콤팩트 공간이면 다른 쪽도 그렇고, 한 쪽이 연결 공간이면 다른 쪽도 그렇고, 한 쪽이 하우스도르프 공간이면 다른 쪽도 마찬가지이다.^[4] 위상동형사상은 열린 사상이며 닫힌 사상이다. 즉, 열린 집합을 열린 집합으로, 닫힌 집합을 닫힌 집합으로 변환한다.^[4]

위상동형사상은 위상 공간의 범주에서 동형 사상이다. 따라서 두 위상동형사상의 합성은 다시 위상동형사상이며, 모든 자기 위상동형사상 $X \to X$ 의 집합은 ''X''의 '''위상동형사상 군'''(종종 $\text{Homeo}(X)$ 로 표시)을 형성한다.^[5]

4. 예

세잎매듭(trefoil knot)은 토러스와 위상동형이다. 연속적인 사상(mapping)을 항상 연속적인 물체의 변형(deformation)으로 표현가능한 것은 아니다. 그림에서 매듭을 두껍게 표현한 것은 이해를 돕기 위해서이다.

열린 구간 $(a,b)$ 는 모든 $a < b$ 에 대해 실수와 위상동형이다. 이 경우, 쌍연속 정방향 사상은 $f(x) = \frac{1}{a-x} + \frac{1}{b-x}$ 로 주어지며, 다른 사상은 또는 함수의 확대 및 이동 버전으로 주어진다.
2차원 원판 $D^2$ 과 의 단위 정사각형은 위상동형이다. 왜냐하면 단위 원판을 단위 정사각형으로 변형할 수 있기 때문이다. 정사각형에서 원판으로의 쌍연속 사상의 예는 극좌표에서 $(\rho, \theta) \mapsto \left( \tfrac{\rho}{ \max(|\cos \theta|, |\sin \theta|)}, \theta\right)$ 이다.
그래프는 함수의 정의역과 위상동형이다.
매개변수 방정식의 미분 가능한 매개변수화는 매개변수화의 정의역과 곡선 사이의 위상동형사상이다.
차트는 다양체의 열린 부분 집합과 유클리드 공간의 열린 부분 집합 사이의 위상동형사상이다.
스테레오그래픽 투영은 의 단위 구에서 단일 점을 제거한 것과 의 모든 점의 집합(2차원 평면) 사이의 위상동형사상이다.
만약 $G$ 가 위상군이면, 그 역 사상 $x \mapsto x^{-1}$ 는 위상동형사상이다. 또한, 모든 $x \in G$ 에 대해, 왼쪽 이동 $y \mapsto xy$ , 오른쪽 이동 $y \mapsto yx$ , 내부 자기 동형사상 $y \mapsto xyx^{-1}$ 은 위상동형사상이다.

4. 1. 위상동형이 아닌 예

단위원과 정사각형은 '''R'''²^영어에서 위상동형이다.
개구간 (-1, +1)과 실수 전체는 위상동형이다.
두 원의 곱공간인 S¹ × S¹^영어과 2차원 원환면은 위상동형이다.
n ≠ m^영어일 때, '''R'''ⁿ^영어과 '''R'''^m^영어은 위상동형이 아니다.
구와 원환면은 서로 위상동형이 아니다.
f(Φ) = (cos(Φ), sin(Φ))^영어로 정의된 함수 f : [0, 2π) → S¹^영어는 전단사 함수이고 연속 함수이지만, 역함수가 연속 함수가 아니므로 위상 동형 사상이 아니다. (S¹^영어는 콤팩트 공간이지만 [0, 2π)^영어는 콤팩트 공간이 아니다.)
유클리드 실수선은 단위 원이 유클리드 '''R'''²^영어의 콤팩트 부분 공간인 반면 실수선은 콤팩트하지 않으므로 '''R'''²^영어의 부분 공간으로서 단위 원과 위상동형이 아니다.
일차원 구간 [0,1]^영어과 (0,1)^영어은 하나는 콤팩트하고 다른 하나는 그렇지 않으므로 위상동형이 아니다.

5. 다른 동치 관계

위상동형사상은 늘이기, 구부리기, 자르기, 다시 붙이기와 같은 직관적인 기준으로 설명되지만, 이를 적용할 때는 주의해야 한다. 예를 들어 선분은 무한히 많은 점을 가지므로, 유한한 점을 가진 집합과는 전단사 함수를 만들 수 없어 점으로 변형할 수 없다.^[1]

위상동형사상의 이러한 특징은 호모토피 개념과 혼동되기도 한다. 호모토피는 연속적인 변형으로 정의되지만, 공간의 변형이 아닌 함수 간의 변형이다. 위상동형사상에서 연속적인 변형을 상상하는 것은 ''X''의 점들이 ''Y''의 점들에 대응하는 방식을 추적하는 도구이다. 반면 호모토피는 한 사상에서 다른 사상으로의 연속적인 변형 자체가 핵심이며, 일대일 또는 전사일 필요가 없어 덜 제한적이다. 호모토피는 호모토피 동치라는 공간 간의 관계로 이어진다.^[1]

위상동형사상을 시각화하는 변형에는 아이소토피라는 이름이 붙는다. 이는 ''X''의 항등 사상과 ''X''에서 ''Y''로의 위상동형사상 사이의 호모토피이다. (단, 자르거나 다시 붙이는 경우는 제외)^[1]

이와 관련된 다른 동치 관계는 다음과 같다.

연속 변형에 의한 동치 관계: 위상 동형보다 더 강한 조건이다.
호모토피 동치
미분 동상: 두 다양체 사이에서 생각할 수 있는 개념이다. 다양체 간의 동형 사상 ''f''가 ''C''^''n''급이고, 그 역사상도 ''C''^''n''급일 때, ''f''를 ''' ''C''^''n''급 미분 동상'''(diffeomorphism of class ''n'') ('''사상''')이라고 한다.

참조

_[1] 서적 Differential Equations: A Dynamical Systems Approach. Part II: Higher-Dimensional Systems https://books.google[...] Springer
_[2] 서적 Analysis Situs http://serge.mehl.fr[...] Gauthier-Villars 2018-04-29
_[3] 서적 Introduction to Topology https://books.google[...] Dover
_[4] 서적 Topologia I Limes RY 1999
_[5] 간행물 On Homeomorphism Groups and the Compact-Open Topology http://www.cs.vu.nl/[...] 2005-12-01

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com