f(sin x)=x는 실수 전체에서는 함수 조건과 충돌한다

f:[−1,1]→R이며 모든 실수 x에 대해 f(sin x)=x라면, sin 0=sin π=0에서 f(0)=0과 π가 동시에 필요합니다. 존재하지 않습니다. x를 [−π/2,π/2]로 제한하면 각 sin 값에 입력 하나가 대응합니다.

여러 갈래로 연결된 흰 배수관과 벽

사진: KaiKemmann · CC BY-SA 4.0 · 원본 출처

f:[−1,1]→R,f(sin⁡x)=x(x∈R)f:[-1,1]\to\mathbb R,\qquad f(\sin x)=x\quad(x\in\mathbb R)

이런 함수 f가 존재할까? 같은 함수값을 만드는 두 입력을 찾자.

sin⁡0=sin⁡π=0.\sin0=\sin\pi=0.

x=0을 넣으면 f(0)=0, x=π를 넣으면 f(0)=π가 필요하다. 하나의 입력에 함수값 둘을 줄 수 없으므로 존재하지 않는다.

x의 범위를 [−π/2,π/2]로 제한하면 결과가 달라진다. sin은 그 구간에서 증가하고, −1부터 1까지의 값을 모두 갖는다. 같은 sin 값에 서로 다른 x가 대응하지 않으므로 이 범위에서는 되돌리는 함수를 정의할 수 있다.

x의 범위 판정의 근거
실수 전체 0, π가 같은 sin 값
[−π/2,π/2] 각 sin 값에 x 하나

f의 식을 먼저 찾기보다 안쪽 함수의 값이 겹치는지 확인한다. 범위를 제한한 뒤에는 일대일 조건과 치역 [-1,1]을 모두 남긴다.

출처·착안: Natalie Turbiville, 「Wendy’s Letter Project (Permutations and Combinations)」. 문항과 풀이는 새로 작성했다.