미분이 잘 정의되려면 정의역에 어느정도 조건이 필요함..?
경험적으로 R^n →V 나 C^n →V 정도에선 잘 정의된거 같은데
실수 성질 중에 연속성 정도는 빼고 조밀성 정도만 있어도 정의할 수 있지 않을까(유리서에서도?) 싶어서...
그리고 그거랑 별개로 대2따리 생각으론 미분계수 정의로 봤을 때는 거리가 정의되긴 해야할텐데
그걸 그냥 직선거리로 안해도( 택시 거리함수나 이산 거리함수나) 정의가 되나....?
솔직히 군론이니 집합론이니 모르고 에베베하는거라서 좀 바보같은 질문이긴 할듯
이런건 어디 나옴...?
