함수의 정의를 보면

220px-Codomain2.SVG.png

이 그림처럼 이항관계, 대응으로 설명하는데


미적분의 함수들은 이런 넓은 정의보다는

그냥 x^3+x+1 마냥 함수식이 꼭 존재하잖음


그래서 미적분 공부하다보면, 

위 그림같은 '함수'를 미분하고 어쩌고 하는게 아니라

걍 함수식, x를 독립변수로 하는 " 종속변수" 를 

미분한다는 생각이 드는데


질문


1. 함수식이 없는 함수 중에도 미분가능한 함수가 존재함?

2. 왜 그림처럼 함수의 정의는 쓸데없이 넓은거임? 수학기초론 적인 이유라면 미적분에 걸맞는 함수의 좁은 정의는 모임?


공부중에 계속 틱틱 신경쓰여서 질문함