동형사상
위키백과 ― 우리 모두의 백과사전.
수학에서 일대일 대응 f가 동형사상(isomorphism)이라는 것은 f와 그 역사상 f-1가 준동형사상임을 뜻한다. 어떤 두 대상 사이에 동형사상이 있을 경우 두 대상의 성질은 구조적으로 동일하며, 이 경우 이 두 대상이 서로 동형(isomorphic)이라고 한다.
[편집] 예
[편집] 로그함수
친숙한 로그함수를 살펴보자. 밑이 어떤 b로 고정되어 있을 때, 지수함수 logb는 양의 실수 를 실수 전체
에 대응시킨다. 수학기호를 써서 표현하면,
이 사상은 단사이며, 동시에 전사이다. 즉, 전단사 사상이다.
더불어, 로그함수는 정의역과 치역 각각에서 정의되는 연산도 같이 보존한다. 특히 양의 실수에서 곱셈으로 정의되는 군 을 살펴보면, 로그함수는 다음 관계를 만족한다.
실수는 덧셈에 대해서도 군이기 때문에, 로그함수는 군 에서 군
로의 동형사상이다.
이것이 실용적으로 뜻하는 것은, 우리가 실수의 곱셈을 더 간단한 실수의 덧셈으로 바꾸어 할 수 있다는 것이다.
[편집] 함께 보기
- 자기동형사상
- 준동형사상
- 전사준동형사상
- 단사준동형사상
- 등거리변환
![]() |
이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다. |