OneToOneCorrespondence
[wiki:선형대수내용: 위로] 1대1 대응관계 OneToOneCorrespondence 1대1대응관계(=전단사함수=bijective fucntion=bijection)란 두 집합 사이의 함수로서 단사(1대1;one-to-one;injective)인 동시에 전사(onto;surjective)인 것이다. 함수 \(f:X\to Y\) 에 대하여 위와 동치인 조건으로 다음을 들 수 있다. There exists a function \(g:Y\to X\) such that \(g\circ f=\text{id}_X\) and \(f\circ g=\text{id}_Y\). 즉 함수 \(f\) 의 역함수가 존재하는 것이다. 단사함수 함수 \(f:X\to Y\) 가 단사함수(one-to-one)라 함은 임의의 … Read more