동형

군 동형은 군 구조를 보존하는 함수이다. 두 군 G와 H 사이의 함수 f: G -> H가 군 동형이라 함은, G의 모든 원소 a, b에 대해 f(ab) = f(a)f(b)를 만족하는 것을 의미한다. 여기서 좌변의 곱 ab는 군 G에서의 연산이며, 우변의 곱 f(a)f(b)는 군 H에서의 연산이다. 이 조건은 연산 구조가 완전히 보존됨을 보장한다.

군 동형은 항등원을 항등원으로, 역원을 역원으로 보낸다. 즉, f(e_G) = e_H 이고, f(a^{-1}) = f(a)^{-1} 이 성립한다. 이러한 성질들은 군 동형의 정의로부터 직접 유도할 수 있다.

군 동형의 핵과 상은 중요한 개념이다. 핵은 G의 원소 중 H의 항등원으로 보내지는 원소들의 집합이며, 이는 G의 정규 부분군이 된다. 상은 함수 f에 의한 G의 상으로, H의 부분군을 이룬다. 군의 제1 동형 정리는 핵을 이용하여 원래 군 G를 몫군 G/ker(f)으로 나타내고, 이 몫군이 상 im(f)와 동형임을 보여준다.

군 동형의 예시로는 정수군 Z에서 순환군 Z_n으로의 나머지 연산을 취하는 준사상, 또는 행렬의 행렬식 함수가 있다. 모든 군 동형사상이 동형사상인 것은 아니다. 동형사상이 되기 위해서는 함수가 전단사 함수여야 하며, 이 경우 두 군은 구조적으로 완전히 같다고 볼 수 있다.

환 동형은 두 환 사이의 구조를 보존하는 함수이다. 두 환 R과 S가 있을 때, 함수 f: R → S가 환 동형이라면, R의 모든 원소 a, b에 대해 두 가지 조건을 만족한다. 첫째, 덧셈과 곱셈을 보존하여 f(a + b) = f(a) + f(b)와 f(ab) = f(a)f(b)가 성립한다. 둘째, 곱셈의 항등원인 단위원을 보존하여, 만약 R이 곱셈에 대한 항등원 1_R을 가진다면, f(1_R)은 S의 곱셈에 대한 항등원 1_S가 되어야 한다.

환 동형의 핵심은 두 환의 대수적 연산 구조가 정확히 대응된다는 점이다. 이는 단순히 집합의 일대일 대응을 넘어, 환으로서의 덧셈, 곱셈, 그리고 단위원의 역할까지 동일하게 매핑함을 의미한다. 예를 들어, 정수 환 Z에서 정수 modulo n 환 Z/nZ로의 자연스러운 사영 사상은 전사인 환 동형의 대표적인 예이다.

모든 환 동형은 정의에 따라 덧셈 군에 대한 군 동형이기도 하다. 환 동형이 전단사 함수인 경우, 이를 환 동형사상이라 부르며, 이때 두 환은 동형이라고 한다. 동형인 환들은 환론적 관점에서 완전히 같은 구조를 가진 것으로 간주할 수 있다. 환 동형의 핵은 환의 덧셈 군으로서의 부분군이며, 동시에 곱셈에 대해 닫혀 있는 아이디얼의 구조를 가진다.

벡터 공간에서의 동형은 선형 변환 중에서도 특히 일대일 대응이며, 선형 구조를 완벽하게 보존하는 사상을 의미한다. 이러한 사상을 선형 동형사상 또는 가역 선형 변환이라고 부른다. 두 벡터 공간 사이에 선형 동형사상이 존재한다는 것은 두 공간이 구조적으로 완전히 동일하다는 것을 의미하며, 이 경우 두 벡터 공간은 서로 동형이라고 한다.

구체적으로, 두 벡터 공간 V와 W 사이의 선형 변환 T: V -> W가 선형 동형사상이 되기 위해서는 선형성을 만족하면서도 전단사 함수여야 한다. 즉, 임의의 벡터 u, v와 스칼라 c에 대해 T(u+v) = T(u) + T(v)와 T(cv) = cT(v)를 만족하고, T가 일대일 함수이며 치역이 전체 W여야 한다. 이 조건은 핵이 영벡터만을 포함하고 상이 W 전체인 것과 동치이다.

모든 유한 차원 벡터 공간은 그 차원에 의해 완전히 분류된다. 예를 들어, 실수체 위의 n차원 벡터 공간은 모두 n차원 실수 좌표 공간 R^n과 선형 동형이다. 이는 해당 공간의 기저를 R^n의 표준 기저에 대응시키는 선형 사상을 정의함으로써 명확한 동형 관계를 보여줄 수 있다.

선형 동형사상은 가역적이며, 그 역함수 역시 선형 변환이 된다. 따라서 벡터 공간의 범주에서 동형 사상은 바로 이러한 가역 선형 변환에 해당한다. 이 개념은 행렬로 표현될 때, 정사각 행렬이 가역 행렬인 경우와 연결된다.

위상 동형은 위상수학에서 두 위상 공간 사이의 동형 사상을 의미한다. 두 위상 공간 X와 Y가 위상 동형이라는 것은 전단사 함수 f: X -> Y가 존재하여, f와 그 역함수 f^{-1}가 모두 연속일 때를 말한다. 이러한 함수 f를 위상 동형사상 또는 위상동형사상이라 부른다.

두 공간이 위상 동형이면, 이들은 위상적 성질을 완전히 공유한다. 여기서 위상적 성질이란 열린 집합, 닫힌 집합, 연결성, 콤팩트성, 하우스도르프 성질 등 연속성의 개념을 통해 정의되는 모든 성질을 포함한다. 따라서 위상 동형인 공간들은 위상수학의 관점에서 본질적으로 '같은' 공간으로 취급된다.

가장 유명한 예시 중 하나는 구와 정육면체의 표면이 위상 동형이라는 점이다. 구를 고무로 만들어 늘리거나 구부려서 정육면체 모양으로 변형시킬 수 있다고 생각하면 이해하기 쉽다. 이 변형 과정에서 찢거나 붙이는 일 없이 연속적으로만 형태를 바꿀 수 있기 때문에, 두 공간은 위상적으로 동일하다. 반대로, 도넛(토러스)과 찻잔은 위상 동형이지만, 도넛과 구는 그렇지 않다. 구에는 '구멍'이 없지만 도넛에는 하나의 구멍이 존재하기 때문이다.

위상 동형의 개념은 위상수학의 핵심으로, 서로 다른 공간들을 분류하는 데 사용된다. 두 공간이 위상 동형인지 판별하는 것은 종종 매우 어려운 문제이며, 이에 대한 연구가 위상수학의 주요 과제 중 하나이다.

두 그래프가 동형이라는 것은, 두 그래프의 정점들 사이에 일대일 대응이 존재하여, 두 정점이 한 그래프에서 인접할 때 그에 대응하는 정점들도 다른 그래프에서 인접하는 관계를 보존하는 것을 의미한다. 즉, 정점의 이름이나 위치는 다를 수 있지만, 연결 구조가 완전히 같은 그래프를 동형인 그래프라고 한다.

그래프 동형 문제는 주어진 두 그래프가 동형인지 판별하는 계산 문제이다. 이 문제는 NP에 속하며, NP-완전인지는 아직 증명되지 않았다. 많은 특수한 경우에 대해 다항식 시간 알고리즘이 알려져 있지만, 일반적인 경우에 대한 효율적인 알고리즘은 발견되지 않았다.

그래프 동형은 그래프의 본질적인 구조를 다루기 때문에, 화학에서 분자 구조를 식별하거나, 소프트웨어 검증에서 상태 전이 그래프를 비교하는 등 다양한 응용 분야에서 중요하게 사용된다.

자료 구조 동형은 두 자료 구조가 그 내부 표현 방식은 다를 수 있지만, 외부에서 관찰 가능한 동작과 논리적 구조가 완전히 동일한 경우를 말한다. 즉, 사용자나 프로그램이 두 자료 구조를 통해 수행할 수 있는 연산과 그 결과가 동일하게 매핑될 수 있을 때, 두 자료 구조는 동형이다. 이는 추상 데이터 타입의 구현이 다르더라도 동일한 인터페이스와 의미론을 제공한다는 개념과 연결된다.

예를 들어, 스택이라는 추상 데이터 타입은 배열이나 연결 리스트 등 서로 다른 내부 구현으로 만들어질 수 있다. 사용자는 push, pop, peek 같은 연산을 통해 스택과 상호작용하며, 이러한 연산의 결과는 내부 구현에 관계없이 동일해야 한다. 배열로 구현된 스택 A와 연결 리스트로 구현된 스택 B 사이에 모든 연산을 일대일로 대응시키는 매핑이 존재하여, A에서의 연산 결과가 B에서의 대응 연산 결과와 논리적으로 같다면, 이 두 구현은 자료 구조 동형 관계에 있다고 볼 수 있다.

이 개념은 특히 알고리즘 분석이나 프로그램 정확성 검증에서 중요하다. 서로 동형인 자료 구조는 기능적으로 호환 가능하므로, 특정 상황에 더 효율적인 구현을 선택하여 교체하는 것이 이론적으로 안전하다. 또한, 복잡한 자료 구조의 설계 시, 이미 알려진 동형 구조의 성질을 활용할 수 있다.

타입 이론에서 동형은 두 타입이 구조적으로 동일함을 의미한다. 두 타입 A와 B가 동형이라는 것은, A의 값을 B의 값으로 변환하는 함수와 그 역함수가 모두 존재하여, 합성했을 때 항등 함수가 됨을 뜻한다. 이는 두 타입 사이에 정보의 손실 없이 완전히 호환 가능한 변환이 가능함을 수학적으로 보장한다.

예를 들어, 불리언 타입 Bool은 두 개의 값 True와 False를 가진다. 한 쌍의 불리언 값으로 이루어진 타입 (Bool, Bool)은 네 개의 값 (True, True), (True, False), (False, True), (False, False)을 가진다. 이 두 타입 Bool과 (Bool, Bool)은 서로 다른 개수의 값을 가지므로 동형이 아니다. 반면, (Bool, ()) 타입(여기서 ()는 단 하나의 값만 가지는 유닛 타입)은 값 (True, ())와 (False, ())만을 가지는데, 이는 Bool 타입의 두 값과 정확히 일대일 대응이 가능하므로 두 타입은 동형이다.

이 개념은 함수형 프로그래밍과 정적 타입 시스템에서 중요한 역할을 한다. 두 타입이 동형이라면, 한 타입을 사용하는 코드를 다른 타입을 사용하는 코드로 안전하게 변환할 수 있다. 또한, 타입 동형은 프로그램 최적화나 코드 리팩토링 시 타입을 변경하더라도 프로그램의 의미가 보존됨을 논증하는 데 활용된다.

준동형은 두 대수적 구조 사이의 구조를 보존하는 함수이다. 동형과 달리 준동형은 반드시 일대일 대응일 필요는 없다. 즉, 준동형은 더 넓은 개념으로, 모든 동형은 준동형이지만 그 역은 성립하지 않는다. 준동형 사상은 정의역의 연산 구조를 공역으로 '옮기는' 역할을 한다.

가장 대표적인 예는 군 준동형이다. 두 군 G와 H 사이의 함수 f: G -> H가 모든 G의 원소 a, b에 대해 f(ab) = f(a)f(b)를 만족하면 f를 군 준동형이라 한다. 여기서 왼쪽의 곱 ab는 G의 연산이고, 오른쪽의 곱 f(a)f(b)는 H의 연산이다. 이 조건은 군의 결합 연산이 함수 f를 통해 보존됨을 의미한다. 환 준동형이나 벡터 공간의 선형 변환도 각각 환의 덧셈·곱셈, 벡터 덧셈과 스칼라 곱셈을 보존하는 준동형의 특별한 경우이다.

준동형의 핵심은 구조의 '보존'이다. 예를 들어, 정수 덧셈군 (Z, +)에서 나머지 덧셈군 (Z_n, +)으로 가는 함수 f(a) = a mod n은 준동형이다. 이 함수는 모든 정수 a, b에 대해 (a+b) mod n = (a mod n) + (b mod n)이 성립하기 때문이다. 그러나 이 함수는 서로 다른 정수가 같은 나머지를 가질 수 있으므로 일대일 함수가 아니다. 따라서 이는 동형이 아닌 준동형의 예시이다.

준동형의 개념은 동형을 정의하는 기초가 된다. 동형은 준동형에 추가로 전단사(일대일 대응) 조건을 부여한 것이다. 또한 준동형의 핵과 상은 원래 구조의 중요한 부분 구조를 이루며, 이를 통해 제1 동형 정리와 같은 기본 정리들이 성립한다.

자기 동형은 수학적 구조를 자기 자신으로 대응시키는 동형 사상이다. 즉, 어떤 구조 X가 있을 때, X에서 X로 가는 동형 사상을 자기 동형이라고 한다. 모든 자기 동형의 집합은 합성 연산에 대해 군을 이루며, 이를 자기 동형군이라고 한다. 자기 동형군은 주어진 구조의 대칭성을 연구하는 핵심 도구이다.

군론에서, 군 G의 자기 동형은 G에서 G로 가는 전단사 군 준동형이다. 모든 자기 동형의 집합 Aut(G)는 군을 이룬다. 내부 자기 동형은 군 원소 g에 대해 x -> gxg^-1으로 정의되는 특별한 종류의 자기 동형이며, 이들로 이루어진 정규 부분군을 내부 자기 동형군 Inn(G)라고 한다. 외부 자기 동형군 Out(G)는 Aut(G)를 Inn(G)로 나눈 몫군으로 정의된다.

위상수학에서는 위상 공간 X에서 X로 가는 전단사 연속 함수이며, 그 역함수도 연속인 함수를 위상 자기 동형 또는 위상동형사상이라고 한다. 그래프 이론에서는 그래프 G에서 G 자신으로 가는 그래프 동형을 그래프 자기 동형이라고 하며, 그래프의 구조적 대칭성을 나타낸다.

자기 동형의 개념은 대수학, 기하학, 위상수학 등 수학의 여러 분야에서 구조의 불변량을 분석하고 분류하는 데 광범위하게 활용된다. 예를 들어, 다각형의 대칭군은 그 모양의 자기 동형군으로 이해할 수 있다.

동형과 동치는 수학적 구조를 비교하는 두 가지 중요한 관계이지만, 그 의미와 강도에는 차이가 있다. 동형은 두 구조가 완전히 같은 것으로 간주될 수 있을 만큼 구조를 보존하는 일대일 대응을 의미한다. 즉, 동형인 두 대상은 본질적으로 구별할 수 없는 동일한 구조를 가진다. 반면, 동치는 일반적으로 동형보다 더 약한 조건으로, 어떤 기준 아래에서 두 대상이 '같다'고 간주되는 더 포괄적인 관계를 말한다.

예를 들어, 집합론에서 두 집합 사이에 일대일 대응(전단사 함수)이 존재하면, 그 두 집합은 원소의 개수라는 측면에서 '동등'하다고 말할 수 있다. 이를 집합의 동치, 즉 크기가 같음(equinumerosity)이라고 한다. 그러나 이는 집합의 원소 사이에 특별한 대수적 구조나 순서 관계가 고려되지 않은, 순수한 '원소의 개수'에 대한 비교이다. 범주론에서는 동형인 사상(morphism)을 통해 연결된 두 대상이 동형 객체(isomorphic objects)이며, 이는 해당 범주 내에서 구별되지 않는다고 본다. 여기서 동형은 매우 강력한 동치 관계의 한 형태이다.

따라서 동치는 맥락에 따라 그 의미가 달라질 수 있는 광의의 개념이며, 동형은 특정한 수학적 구조(대수적 구조, 위상적 구조 등)를 완벽하게 보존하는 가장 강력한 형태의 동치 중 하나로 이해할 수 있다. 모든 동형은 동치 관계의 특별한 경우이지만, 모든 동치가 동형인 것은 아니다.