f X→Y 가 X에서 연속이라는건 Y의 모든 오픈섭셋V에 대해서 f역함수(V)가 X에서 open이라는 건데 역함수가 존재하려면 바이젝티브 해야하지않음? 집합만 생각하는거라서 상관없나?
역함수가아니라 역상
역함수가 아니라 f^{-1}(V) := {x in X: f(x) in V} 라는 기호야
아 맞다 2단원에서 봤던건데
연속을 열린집합 역상으로 정의한다는 것을 이야기하는 것을 보면 위상수학책을 보는 것 같은데, 위상수학책 맨 앞에 보통 1단원은 집합에 관한 성질들이 있어. 그 부분을 보면 역상에 대해서 나올거야