f:X->Y g:Y->X X의 임의의 원소 x에 대해 g(f(x))=x and Y의 임의의 원소 x에 대해 f(g(x))=x 이면 f와 g는 역함수관계이다. - dc official App
데피니션 아니였냐
f g가 역함수면 => 저거는 맞는데 역방향증명은 어케해주지? 저게 데피니션은 아니고 역함수면 저런성질이성립한다고 성질로나옴 - dc App
데피니션 멀로 배웠는데
데피니션이야 f:X->Y에 대해 Y={f(x) l xㅌX} 이면, x=f(y) 를 역함수라하고 (xㅌY,yㅌX) y=f^-1(x) 라고 쓸 수 있다. (xㅌY,yㅌX) - dc App
?
책마다 정의가 다르긴 하겠지만 저 정도면 정의라고 쓰는 책도 있긴 할듯
저게 정의가 아니면 1-1 & onto라는 건데 f(g(y))=y를 만족하면 f가 전사 g가 단사임을 증명해보셈 (근데 이게 본문에 없음?)