집합 X={1,2,3,4}에 대하여 f:X→X인 모든 함수 f에서 a∈X, b∈X에 대하여 a가 b의 약수이면 f(a)는 f(b)의 약수이므로
(ⅰ) f(1)=1일 때
1은 2, 3, 4의 약수이고 3은 2와 4의 약수가 아니므로 가능한 f(3)의 값은 1, 2, 3, 4의 4가지이고
(a) f(2)=1인 경우 가능한 f(4)의 값은 1, 2, 3, 4의 4가지
(b) f(2)=2인 경우 가능한 f(4)의 값은 2, 4의 2가지
(c) f(2)=3인 경우 가능한 f(4)의 값은 3의 1가지
(d) f(2)=4인 경우 가능한 f(4)의 값은 4의 1가지 따라서 f(1)=1일 때 함수 f의 개수는
4×(4+2+1+1)=32
이때, f(4)가 짝수인 함수 f의 개수는
4×5=20
(ⅱ) f(1)=2일 때 가능한 f(2)의 값은 2, 4의 2가지
(a) f(2)=2일 때 가능한 f(3)의 값은 2, 4의 2가지 가능한 f(4)의 값은 2, 4의 2가지
(b) f(2)=4일 때 가능한 f(3)의 값은 2, 4의 2가지 가능한 f(4)의 값은 4의 1가지 따라서 f(1)=2일 때 함수 f의 개수는
2×2+2=6
이때, f(4)가 짝수인 함수 f의 개수는 6
(ⅲ) f(1)=3일 때
f(2)=f(3)=f(4)=3이어야 하므로 함수 f의 개수는 1
이때, f(4)가 짝수인 함수 f는 존재하지 않는다.
(ⅳ) f(1)=4일 때
f(2)=f(3)=f(4)=4이어야 하므로 함수 f의 개수는 1
이때, f(4)가 짝수인 함수 f의 개수는 1
이상에서 조건을 만족시키는 함수 f의 개수는
32+6+1+1=40
f(4)가 짝수인 함수 f의 개수는
20+6+1=27
따라서 구하는 확률은 4027이다.
[다른 풀이]
집합 X={1,2,3,4}에 대하여 f:X→X인 모든 함수 f에서 a∈X, b∈X에 대하여 a가 b의 약수이면 f(a)는 f(b)의 약수이므로
f(1)≤f(2)≤f(4), f(1)≤f(3)
을 만족시킨다.
(ⅰ) f(1)=1일 때
f(2), f(4)는 1, 2, 4에 대응되거나 1, 3에 대응되어야 하고, 모두 1에 대응되는 경우는 중복이므로 가능한 경우의 수는
3H2+2H2−1=4C2+3C2−1=8
f(3)은 모든 원소에 대응될 수 있으므로 가능한 경우의 수는 4
따라서 f(1)=1일 때 함수 f의 개수는 8×4=32
이때, f(4)가 짝수인 경우는
f(4)=2일 때, f(2)의 값은 1, 2의 2가지
f(4)=4일 때, f(2)의 값은 1, 2, 4의 3가지 이므로 f(4)가 짝수인 함수 f의 개수는 (2+3)×4=20
(ⅱ) f(1)=2일 때
f(2), f(4)는 2 또는 4에 대응될 수 있으므로 가능한 경우의 수는
2H2=3C2=3
f(3)은 2 또는 4에 대응될 수 있으므로 가능한 경우의 수는 2
따라서 f(1)=2일 때 함수 f의 개수는 3×2=6
이때, f(4)는 항상 짝수이므로 f(4)가 짝수인 함수 f의 개수는 6
(ⅲ) f(1)=3일 때
f(2)=f(3)=f(4)=3이어야 하므로 함수 f의 개수는 1
이때, f(4)가 짝수인 함수 f는 존재하지 않는다.
(ⅳ) f(1)=4일 때
f(2)=f(3)=f(4)=4이어야 하므로 함수 f의 개수는 1
이때, f(4)가 짝수인 함수 f의 개수는 1
이상에서 조건을 만족시키는 함수 f의 개수는
32+6+1+1=40
f(4)가 짝수인 함수 f의 개수는
20+6+1=27
따라서 구하는 확률은 4027이다.