관계에서 ~위로의 사상 이라는 용어가 있습니다. 그것은 모든 브의 원소가 적어도 (의 한 원소의 상일 때, /를 브 위로의 사상 이라고 하는 것입니다. 이것은 공역과 치역이 같다는 의미입니 다. 즉 임의의 원소 0브에 대하여 적어도 의 한 원소 a7t 있 어서 f(a) =c7} 됨을 말하는 것입니다. 이때, /가 일대일대응이 고 트위로의 사상이면 임의의 262브에 대하여 오직 하나의 원소 cEG7} 있어 /(0)=<가 되는 것입니다. 곧 /는 일대일대응이 되는 것이죠. 일대일대응이라는 AS 정의역에 속하는 모든 원소 에 서로 다른 함숫값이 대응되며, 함숫값들의 집합이 공역이 된 다는 것입니다. 예를 들어, 어떤 교실에 학생들이 30명이 있고, 그 교실에 30대의 컴퓨터가 있을 경우에, 학생들의 집합과 컴퓨 터 집합 사이에 일대일 대응이 이뤄진다는 것은 학생 LSS 컴퓨 터가 1대씩 주어진다는 의미입니다. 이러한 생각을 무한집함으 로까지 확장하여 집합의 농도# 개념이 얻어지는 것입니다. 이와 같이 일대일대응이 이뤄지는 준동형사상인 /:(6-브가 을 경우에, 이러한 함수를 SF BAM isomorphism] pal 약속하 것입니다. 수학에서는 이런 것을 정의한다 라고 합니다. 지 금까지 준동형사상이나 군에 대한 개념처럼 말입니다. 이러한 동

ip

갈루아가 들려주는 군 이야기