이 등식을 만족시킬 x는 어느 경우에 성립할까 생각해봤는데 요 두가지 경우밖에 안떠오더라고요... 질문1. 저 두가지 이외에도 있나요? 질문2. 저 두가지 예시가 그림으로밖에 설명을 못하겠는데 말로 설명해주실수 있을까요? - dc official App
저 케이스가 전부고 증명도 그냥 저 그림을 말로 옮기기만 하면 됨. b=c면 두 번째 경우가 첫 번째 경우까지 포함하니까 그냥 f가 b, c를 서로 바꾼다는 조건만 있음 되고
f(f(x))=x를 만족하고 X에서 X로 가는 함수 f는 기본적으로 X를 원소의 크기가 1,2인 집합들로 partition한 것과 일대일대응시킬 수 있음.
어떤 a에 대해 [a]라는 것을 {a,f(a)}라고 하면, [a]들을 모아놓으면 X의 분할(partition)이 됨.
예를 들어 1-1,2-3,3-2라면 {1},{2,3}이 이 함수에 대응되는 분할. 이렇게 이해하면 3보다 큰 크기를 갖는 X에 대해서도 함수의 개수라던가 성질이라던가 추론하는 게 좀 더 편할지도?