f(0)=e, f(n+1) = T(f(n)) 를 만족하는 f를 recursion에 의해 얻습니다. 그리고 f가 bijection이라는 것을 증명합니다. 여기까지는 많은 분들이 잘 쓰셨습니다.
이 문제에서 말하는 동형은 "순서로써의 동형"이 아닌 "구조로써의 동형"입니다.
즉, f(0) = e, f(S(n)) = T(f(n))임을 명시해야 하는 것입니다.
그런데 어떤 분들은 여기서 동형을 "순서로써의 동형"이라 생각하시고, 억지로 A에 순서를 주고, f가 순서로써 동형이라는 것을 보이셨습니다.
그래서 f(S(n)) = T(f(n))임을 명시하지 않으신 분들에 대해서는 위에 말씀드린 것처럼 "순서로써의 동형"이라 생각하신 분들도 계셔서 "구조로써의 동형"을 보이라는 것을 아는 분인지 확신을 가질 수 없었습니다. 그래서 부득이 하게 f(S(n)) = T(f(n))을 명시하시지 않은 분들에 대해서는 1점씩 감점하였습니다. 이점 너그러이 이해해 주시길 부탁드립니다.
f(0)=e, f(n+1) = T(f(n)) 를 만족하는 f를 recursion에 의해 얻습니다. 그리고 f가 bijection이라는 것을 증명합니다. 여기까지는 많은 분들이 잘 쓰셨습니다.
이 문제에서 말하는 동형은 "순서로써의 동형"이 아닌 "구조로써의 동형"입니다.
즉, f(0) = e, f(S(n)) = T(f(n))임을 명시해야 하는 것입니다.
그런데 어떤 분들은 여기서 동형을 "순서로써의 동형"이라 생각하시고, 억지로 A에 순서를 주고, f가 순서로써 동형이라는 것을 보이셨습니다.
그래서 f(S(n)) = T(f(n))임을 명시하지 않으신 분들에 대해서는 위에 말씀드린 것처럼 "순서로써의 동형"이라 생각하신 분들도 계셔서 "구조로써의 동형"을 보이라는 것을 아는 분인지 확신을 가질 수 없었습니다. 그래서 부득이 하게 f(S(n)) = T(f(n))을 명시하시지 않은 분들에 대해서는 1점씩 감점하였습니다. 이점 너그러이 이해해 주시길 부탁드립니다.