동형사상

위키백과 ― 우리 모두의 백과사전.

수학에서 일대일 대응 f가 동형사상(isomorphism)이라는 것은 f와 그 역사상 f-1준동형사상임을 뜻한다. 어떤 두 대상 사이에 동형사상이 있을 경우 두 대상의 성질은 구조적으로 동일하며, 이 경우 이 두 대상이 서로 동형(isomorphic)이라고 한다.

[편집]

[편집] 로그함수

친숙한 로그함수를 살펴보자. 밑이 어떤 b로 고정되어 있을 때, 지수함수 logb는 양의 실수 \mathbb{R}^+ 를 실수 전체 \mathbb{R}에 대응시킨다. 수학기호를 써서 표현하면,

\log_b : \mathbb{R}^+ \to \mathbb{R} \!

이 사상은 단사이며, 동시에 전사이다. 즉, 전단사 사상이다.

더불어, 로그함수는 정의역과 치역 각각에서 정의되는 연산도 같이 보존한다. 특히 양의 실수에서 곱셈으로 정의되는 군 (\mathbb{R}^+,\times)을 살펴보면, 로그함수는 다음 관계를 만족한다.

\log_b(x \times y) = \log_b(x) + \log_b(y) \!

실수는 덧셈에 대해서도 군이기 때문에, 로그함수는 군 (\mathbb{R}^+,\times) 에서 군 (\mathbb{R},+)로의 동형사상이다.

이것이 실용적으로 뜻하는 것은, 우리가 실수의 곱셈을 더 간단한 실수의 덧셈으로 바꾸어 할 수 있다는 것이다.


[편집] 함께 보기

  • 자기동형사상
  • 준동형사상
  • 전사준동형사상
  • 단사준동형사상
  • 등거리변환
이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.