동형 사상: 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
TedBot (토론 | 기여)
잔글 봇: 틀 이름 및 스타일 정리
편집 요약 없음
3번째 줄: 3번째 줄:


== 정의 ==
== 정의 ==
[[범주 (수학)|범주]] <math>\mathcal C</math>에서, '''동형 사상'''은 다음 조건을 만족시키는 [[사상 (수학)|사상]] <math>f\colon X\to Y</math>이다.
[[범주 (수학)|범주]] <math>\mathcal C</math> 사상 <math>f\colon X\to Y</math>에 대하여, 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 사상을 '''동형 사상'''이라고 한다.
* 역사상이 존재한다. 즉, <math>f\circ g=\operatorname{id}_Y</math>, <math>g\circ f=\operatorname{id}_X</math>인 사상 <math>g\colon Y\to X</math>가 존재한다.
* [[역사상]]이 존재한다. 즉, <math>f\circ g=\operatorname{id}_Y</math>, <math>g\circ f=\operatorname{id}_X</math>인 사상 <math>g\colon Y\to X</math>가 존재한다.
* [[단사 사상]]이자 [[분할 전사 사상]]이다.
* [[전사 사상]]이자 [[분할 단사 사상]]이다.
* [[단사 사상]]이자 [[극단 전사 사상]]이다.
* [[전사 사상]]이자 [[극단 단사 사상]]이다.
두 대상 사이에 동형 사상이 존재하면, 서로 '''동형'''이라고 한다. 시작과 끝이 같은 동형 사상(즉, [[자기 사상]]인 동형 사상)을 '''[[자기 동형 사상]]'''이라고 한다.


[[범주 (수학)|범주]] <math>\mathcal C</math>에 대하여, 다음 세 조건이 서로 [[동치]]이며, 이를 만족시키는 범주를 '''균형 범주'''(均衡範疇, {{llang|en|balanced category}})라고 한다.
두 대상 사이에 동형 사상이 존재하면, 서로 '''동형'''이라고 한다. 시작과 끝이 같은 동형 사상을 '''[[자기 동형 사상]]'''이라고 한다.
* 모든 [[전사 사상|전사]] [[단사 사상]]이 동형 사상이다.

모든 [[전사 사상|전사]] [[단사 사상]]이 동형 사상을 이루는 범주를 '''균형 범주'''(均衡範疇, {{llang|en|balanced category}})라고 한다.
* 모든 [[단사 사상]] [[극단 단사 사상]]이다.
* 모든 [[전사 사상]]이 [[극단 전사 사상]]이다.
일반적으로, 단사 사상이자 전사 사상이지만 동형 사상이 아닌 사상들이 존재할 수 있다.


== 성질 ==
== 성질 ==
서로 동형인 것은 [[동치관계]]를 이룬다. 특히, [[항등 사상]]이 동형 사상이므로, 모든 대상은 스스로에게 동형이다.
서로 동형인 것은 [[동치 관계]]를 이룬다. 특히, [[항등 사상]]이 동형 사상이므로, 모든 대상은 스스로에게 동형이다.

임의의 범주의 임의의 사상에 대하여 다음 조건들이 서로 [[동치]]이다.
* 동형 사상이다.
* [[단사 사상]]이자 [[분할 전사 사상]]이다.
* [[전사 사상]]이자 [[분할 단사 사상]]이다.
일반적으로, 단사 사상이자 전사 사상이지만 동형 사상이 아닌 사상들이 존재할 수 있다.


[[구체적 범주]] <math>\mathcal C\to\operatorname{Set}</math>에서, 자유 함자(망각 함자 <math>\mathcal C\to\operatorname{Set}</math>의 왼쪽 [[수반 함자]] <math>\operatorname{Set}\to\mathcal C</math>)가 존재한다면, <math>\mathcal C</math>의 사상에 대하여 다음 두 조건이 서로 [[동치]]이다.
[[구체적 범주]] <math>\mathcal C\to\operatorname{Set}</math>에서, 자유 함자(망각 함자 <math>\mathcal C\to\operatorname{Set}</math>의 왼쪽 [[수반 함자]] <math>\operatorname{Set}\to\mathcal C</math>)가 존재한다면, <math>\mathcal C</math>의 사상에 대하여 다음 두 조건이 서로 [[동치]]이다.
* 동형 사상이다.
* 동형 사상이다.
* [[전단사 함수]]이다.
* [[전단사 함수]]이다.
특히, [[대수 구조 다양체]]의 범주에서는 자유 함자가 항상 존재하므로, 동형 사상은 [[전단사 함수]]인 [[준동형 사상]]이다.
특히, [[대수 구조 다양체]]의 범주에서는 자유 함자가 항상 존재하므로, 동형 사상은 [[전단사 함수]]인 [[준동형]]이다.


모든 [[아벨 범주]]와 모든 [[토포스]]는 균형 범주이다.
모든 [[아벨 범주]]와 모든 [[토포스]]는 균형 범주이다.


==예==
== ==
여러 범주에서, 동형 사상들은 특별한 이름이 붙는다.
여러 범주에서, 동형 사상들은 특별한 이름이 붙는다.
* [[집합]]과 [[함수]]의 범주 <math>\operatorname{Set}</math>에서, 동형 사상은 [[전단사 함수]]이다.
* [[집합]]과 [[함수]]의 범주 <math>\operatorname{Set}</math>에서, 동형 사상은 [[전단사 함수]]이다.
44번째 줄: 45번째 줄:


[[환 (수학)|환]]의 범주는 균형 범주가 아니다. 예를 들어, 포함 사상 <math>\mathbb Z\hookrightarrow\mathbb Q</math>는 [[전사 사상]]이며 [[단사 사상]]이지만, 동형 사상이 아니다.
[[환 (수학)|환]]의 범주는 균형 범주가 아니다. 예를 들어, 포함 사상 <math>\mathbb Z\hookrightarrow\mathbb Q</math>는 [[전사 사상]]이며 [[단사 사상]]이지만, 동형 사상이 아니다.

== 참고 문헌 ==
*{{서적 인용 |last=Mac Lane |first=Saunders |저자링크=손더스 매클레인|제목=Categories for the working mathematician |publisher=Springer |날짜=1998 |판=2 |series=Graduate Texts in Mathematics|issn=0072-5285|권= 5 |isbn=978-1-4419-3123-8 | zbl=0906.18001 | mr=1712872 |doi=10.1007/978-1-4757-4721-8|언어=en }}


== 같이 보기 ==
== 같이 보기 ==
* [[자기 동형 사상]]
* [[자기 사상]]
* [[전사 사상]]
* [[단사 사상]]
* [[동형 정리]]
* [[동형 정리]]
* [[자연 변환]]
* [[자연 동형]]
* [[범주의 동치]]
* [[범주의 동치]]

== 참고 문헌 ==
*{{서적 인용 |last=Mac Lane |first=Saunders |저자링크=손더스 매클레인|제목=Categories for the working mathematician |publisher=Springer |날짜=1998 |판=2 |series=Graduate Texts in Mathematics|issn=0072-5285|권= 5 |isbn=978-1-4419-3123-8 | zbl=0906.18001 | mr=1712872 |doi=10.1007/978-1-4757-4721-8|언어=en }}


== 외부 링크 ==
== 외부 링크 ==

2021년 6월 15일 (화) 00:17 판

수학에서, 동형 사상(同型寫像, 문화어: 동형넘기기, 영어: isomorphism)은 서로 구조가 같은 두 대상 사이에, 모든 구조를 보존하는 사상이다. 두 대상 사이에 동형 사상이 존재하는 경우 서로 동형(同型, 영어: isomorphic)이라고 하며, 서로 동형인 두 대상은 구조가 같아 구조로서 구별할 수 없다.

정의

범주 의 사상 에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 사상을 동형 사상이라고 한다.

두 대상 사이에 동형 사상이 존재하면, 서로 동형이라고 한다. 시작과 끝이 같은 동형 사상(즉, 자기 사상인 동형 사상)을 자기 동형 사상이라고 한다.

범주 에 대하여, 다음 세 조건이 서로 동치이며, 이를 만족시키는 범주를 균형 범주(均衡範疇, 영어: balanced category)라고 한다.

일반적으로, 단사 사상이자 전사 사상이지만 동형 사상이 아닌 사상들이 존재할 수 있다.

성질

서로 동형인 것은 동치 관계를 이룬다. 특히, 항등 사상이 동형 사상이므로, 모든 대상은 스스로에게 동형이다.

구체적 범주 에서, 자유 함자(망각 함자 의 왼쪽 수반 함자 )가 존재한다면, 의 사상에 대하여 다음 두 조건이 서로 동치이다.

특히, 대수 구조 다양체의 범주에서는 자유 함자가 항상 존재하므로, 동형 사상은 전단사 함수준동형이다.

모든 아벨 범주와 모든 토포스는 균형 범주이다.

여러 범주에서, 동형 사상들은 특별한 이름이 붙는다.

준군에서는 정의에 따라 모든 사상이 동형 사상이다. 특히, 을 하나의 대상만을 갖는 범주로 간주하였을 때, 모든 사상은 동형 사상이다.

모노이드를 하나의 대상만을 갖는 범주로 간주하였을 때, 동형 사상들은 가역원들이다.

균형 범주의 예

위상 공간의 범주는 균형 범주가 아니다. 이 범주에서, 전사 단사 사상은 전단사 함수연속 함수인데, 이는 위상 동형 사상보다 더 약한 조건이다. 그러나 콤팩트 하우스도르프 공간의 범주는 균형 범주이다.

의 범주는 균형 범주이다.

의 범주는 균형 범주가 아니다. 예를 들어, 포함 사상 전사 사상이며 단사 사상이지만, 동형 사상이 아니다.

같이 보기

참고 문헌

외부 링크