동형사상 (Isomorphism)

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

쉽게 풀면

같은 조직표를 한글로 그린 것과 영어로 그린 것이 있다고 해봅시다. 이름표는 다르지만, "누가 누구에게 보고하는지" 같은 관계 구조는 완전히 똑같습니다. 이럴 때 두 조직표는 "이름만 다를 뿐 구조적으로 동일하다"고 말할 수 있습니다. 수학에서 동형사상은 바로 이런 상황을 엄밀하게 정의한 것입니다. 두 집합의 원소를 일대일로 짝지을 수 있을 뿐만 아니라, 그 짝짓기를 통해 연산(덧셈, 곱셈 등)의 결과까지 서로 그대로 대응되면 두 구조는 "동형(isomorphic)"이라고 부릅니다. 즉 겉모습(기호나 이름)은 달라도 수학적으로는 완전히 같은 대상으로 취급할 수 있습니다.

왜 중요한가

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

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

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

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

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

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

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

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

조금 더 깊게 보면

동형사상을 이해하려면 그보다 더 일반적인 준동형사상(homomorphism)과의 관계를 함께 볼 필요가 있습니다. 준동형사상은 연산 구조만 보존하면 되지만, 동형사상은 여기에 더해 전단사(일대일 대응)까지 요구합니다. 또한 자기 자신으로 가는 동형사상인 자기동형사상(automorphism)은 그 구조가 갖는 대칭성을 나타내는 개념으로, 군론이나 갈루아 이론 등에서 중요하게 다뤄집니다. 그래프 이론에서는 그래프 동형 여부를 판별하는 문제 자체가 계산 복잡도 이론에서도 흥미로운 연구 주제로 다뤄져 왔습니다.

주의할 점

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