동형사상 (Isomorphism)

한 줄 정의: 두 대수적 구조 사이에 연산까지 완벽히 보존하며 일대일로 대응시킬 수 있는 특별한 함수(사상)를 말합니다.

쉽게 풀면

같은 조직표를 한글로 그린 것과 영어로 그린 것이 있다고 해봅시다. 이름표는 다르지만, "누가 누구에게 보고하는지" 같은 관계 구조는 완전히 똑같습니다. 이럴 때 두 조직표는 "이름만 다를 뿐 구조적으로 동일하다"고 말할 수 있습니다.

수학에서 동형사상은 바로 이런 상황을 엄밀하게 정의한 것입니다. 두 집합의 원소를 일대일로 짝지을 수 있을 뿐만 아니라, 그 짝짓기를 통해 연산(덧셈, 곱셈 등)의 결과까지 서로 그대로 대응되면 두 구조는 "동형(isomorphic)"이라고 부릅니다.

즉 겉모습(기호나 이름)은 달라도 수학적으로는 완전히 같은 대상으로 취급할 수 있습니다.

왜 중요한가

동형사상은 "겉모습은 달라도 구조적으로 같은가"를 엄밀히 판별하는 개념이기 때문에, 대수학 내부의 분류 문제뿐 아니라 그래프 이론, 암호학, 컴퓨터과학의 자료구조 비교 등 서로 다른 분야에서 대상들을 근본적으로 동일시할 수 있는지를 논증하는 기초 도구로 쓰입니다. 어떤 성질이 한 구조에서 성립함을 보인 뒤 동형사상을 통해 다른 구조로 그대로 옮겨올 수 있다는 점에서 증명의 효율성을 높여줍니다.

핵심 정리

두 구조 사이의 함수 f가 구조를 보존하는 전단사이면 동형사상입니다. 군이라면 f(a·b) = f(a)·f(b)이고 f가 일대일 대응(전사이자 단사)입니다.
준동형사상은 연산 보존만 요구하고, 동형사상은 전단사까지 요구합니다. 군·환 같은 대수 구조에서는 전단사 준동형사상의 역함수가 자동으로 준동형이 되어 양방향으로 구조가 보존됩니다.
동형인 두 구조는 구조적 성질(원소 위수의 분포, 가환성, 부분군의 개수 등)이 모두 같아 “이름만 다른 같은 구조”로 취급합니다.
자기 자신으로의 동형사상은 자기동형사상이고, 그 구조의 대칭을 나타냅니다.

예시로 보기

예 1. 덧셈군 Z₆ = {0,…,5}에서 Z₂ × Z₃로 가는 함수 f(x) = (x mod 2, x mod 3)을 생각합니다. 코드로 모든 쌍(x, y)에 f(x+y) = f(x)+f(y)가 성립하고, 6개 원소가 6개의 서로 다른 쌍으로 가는지 확인했습니다. 둘 다 성립하므로 Z₆ ≅ Z₂ × Z₃입니다(중국인의 나머지 정리와 같은 내용).

예 2. Z₄와 Z₂ × Z₂는 원소가 4개씩이지만 동형이 아닙니다. Z₄에는 위수가 4인 원소(1과 3)가 있는데 Z₂ × Z₂의 원소는 모두 위수가 2 이하이기 때문입니다. 원소 수가 같다는 것과 동형은 다릅니다.

예 3. 지수함수 exp: (ℝ, +) → (ℝ>0, ×)는 exp(a+b) = exp(a)·exp(b)인 전단사이므로 동형사상입니다. 곱셈을 덧셈으로 바꾸는 로그의 성질이 이 동형입니다.

자주 하는 오해

오해	바로잡기
원소 수가 같으면 동형이다.	Z₄와 Z₂ × Z₂가 반례입니다. 동형은 연산 구조까지 일치해야 합니다.
동형사상은 군에서만 쓰는 말이다.	환, 체, 벡터공간, 그래프 등 여러 구조에 같은 틀(구조를 보존하는 전단사)로 정의됩니다. 그래프에서는 꼭짓점의 일대일 대응이 인접 관계를 보존하는 경우입니다.
구조를 보존하는 전단사는 어디서나 동형이다.	위상공간에서는 연속인 전단사라도 역함수가 연속이어야 위상동형사상이 됩니다. 대수 구조처럼 역함수 조건이 자동으로 따라오지 않습니다.
동형이면 두 대상이 똑같다.	구조적으로 구별할 수 없다는 뜻이지, 원소의 의미나 쓰임까지 같다는 뜻은 아닙니다.

논문에서는 이렇게 쓰입니다

실제 논문에서

이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.

예시 문장

아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.

"제안한 두 네트워크 구조가 그래프 동형(graph isomorphism)임을 증명하여, 한 구조에서 얻은 성질이 다른 구조에도 그대로 적용됨을 보였다."

이 문장은 겉보기에 다르게 그려진 두 그래프(네트워크)가 사실은 노드와 연결 관계가 완전히 동일한 구조임을 증명했다는 뜻입니다. 동형사상은 대수학뿐 아니라 그래프 이론, 암호학, 화학 구조 비교 등 다양한 분야에서 "두 대상이 본질적으로 같은가"를 판단하는 도구로 쓰입니다.

"두 군이 동형사상을 통해 서로 대응됨을 보임으로써, 한 군에서 성립하는 부분군 구조를 다른 군에도 그대로 적용할 수 있음을 확인하였다."

추상대수학 논문에서는 복잡한 군의 구조를 이미 잘 알려진 다른 군과 동형임을 보여 분석을 단순화하는 방식으로 이 개념을 사용합니다.

"두 신경망 모델의 파라미터 공간 사이에 동형사상에 가까운 대응관계가 존재함을 실험적으로 관찰하였다."

이론 중심 기계학습 연구에서는 서로 다른 모델 구조 사이의 대칭성이나 대응관계를 논의할 때 동형사상 개념을 빌려와 설명하는 경우가 있습니다.

조금 더 깊게 보면

동형사상을 이해하려면 그보다 더 일반적인 준동형사상(homomorphism)과의 관계를 함께 볼 필요가 있습니다. 준동형사상은 연산 구조만 보존하면 되지만, 동형사상은 여기에 더해 전단사(일대일 대응)까지 요구합니다.

또한 자기 자신으로 가는 동형사상인 자기동형사상(automorphism)은 그 구조가 갖는 대칭성을 나타내는 개념으로, 군론이나 갈루아 이론 등에서 중요하게 다뤄집니다. 그래프 이론에서는 그래프 동형 여부를 판별하는 문제 자체가 계산 복잡도 이론에서도 흥미로운 연구 주제로 다뤄져 왔습니다.

주의할 점

동형사상은 연산을 보존하는 함수인 "준동형사상" 중에서 일대일 대응(전단사)까지 만족하는 경우를 가리킵니다. 단순히 연산만 보존하고 일대일 대응은 아닌 경우와 혼동하지 않도록 주의해야 하며, 두 구조가 동형이라는 것과 원소 개수가 같다는 것은 서로 다른 이야기입니다.

헷갈리기 쉬운 용어

용어	한 줄 설명	구별 포인트
준동형사상	연산을 보존하는 함수	일대일일 필요 없음
동형사상	연산을 보존하는 전단사	역함수도 보존
위상동형사상	연속이고 역함수도 연속인 전단사	위상(연속성)을 보존하며 대수 연산은 보지 않음

참고 문헌

Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.
Herstein, I. N. (1975). Topics in Algebra (2nd ed.). John Wiley & Sons.
Lang, S. (2002). Algebra (Rev. 3rd ed.). Springer.

표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.