케인즈의 개구리 [1202655] · MS 2022 (수정됨) · 쪽지

2024-07-29 23:51:58
조회수 929

도함수가 연속이라고 해서

게시글 주소: https://orbi.kr/00068839234

원래 함수가 미분 가능인 건 아닙니다.

그렇게 생각하시면 큰일 납니다.


해당 내용은 수2 의 내용에 입각해 설명한다는 걸 이해해 주세


동생이 갑자기 이런 질문을 하더군요....

"도함수가 실수 전체 집합에서 연속이면 원함수가 실수 전체 집합에서 미분가능한 거 아니냐?"


듣고는 맞는 말인 것 같길래 대충 그렇다고 답을 해주고 언매 수특 풀다가

갑자기 '아 아니구나'라는 걸 떠올리고는 붙잡고 예시를 들어가며 설명해주었습니다.


저도 아무 생각 없이 들었다가 맞겠구나라고 생각했다는 점에서

글로 써서 공유하면 좋겠다는 생각이 들어 적어봅니다


"도함수가 실수 전체 집합에서 연속인 경우에 원함수가 실수 전체 집합에서 미분 가능이다"

라는 명제가 참이기 위해서는

다른 조건이 추가로 필요합니다.


"원함수가 실수 전체에서 연속이다."라는 조건이 추가로 필요합니다.....

해당 개념을 사용한 문제는 아니지만 제가 만든 것 중에 예시로 사용하기 적절한 문제 하나를 가져 와 봤습니다.


해당 문제가 원하는 g(x)는 불연속 함수입니다.

(해당 내용과 무관한 관계로 개형이 왜 그런지는 생략을 하겠습니다. 일대일대응과 불연속 극값에 대한 개념을 이해하신다면 쉽게 개형을 찾으실 수 있을 거라 생각합니다.)


그렇지만 문제에서도 제시된 것처럼, 함수 g'(x)는 미분하게 되면 결국 f'(x)와 동일하다는 것을 발견할 수 있습니다. 이건 어디까지나 수2 범위에 입각한 확통통이가 제시가능한 예시입니다.






(이건 무시하셔도 좋습니다. 미적분 선택자분들은 이런 게 있다는 건 아셔도 좋을 거 같네요....

수2 범위에서 이런 걸 개념적으로 물어볼 확률은 0이라는 생각이 듭니당....)


제가 이야기한 것과 직접적인 연관은 없지만 그래도 추가로 재밌는 점을 얘기해 보자면, 미분 가능한 함수라고 해서 그 함수의 도함수가 실수 전체 집합에서 연속인 것은 아닙니다.


대학 수학에서 배우는 '다르부 정리'라고 하는 게 있던데, 미분 가능한 함수의 도함수가 실수 전체 집합에서 연속이 아닐지라도, 평균값 정리를 만족시킬 수 있다는 건데요....저도 증명을 정확하게는 못 하겠지만, 찾아보니 y=x^2sin(1/x)라는 함수가 대표적인 예시라고 하더라구요


그래프의 사진을 첨부하자면 다음과 같습니다



해당 함수의 도함수는 x=0일 때 정의가 되지 않으나, [0,1]인 구간에서 평균값 정리를 만족한다고 합니다....지오지브라로 도함수를 그려서 직접 눈으로 확인하려 했으나, 함수가 야랄 맞은 관계로 확인은 못하고 수식 증명만 확인했습니다....


넵 이상으로 짧은 글이었지만 수2 내용에서 '도함수가 연속이라고 해서 해당 함수가 실수 전체 집합에서 미분 가능하지 않을 수 있다'가 오늘 칼럼의 내용이었습니다. 마지막은 추가로 함수가 미분 가능하면 도함수 역시 실수 전체 집합에서 연속일 것이다'도 항상 그런 것은 아닐 수 있다라는 것을 확인시켜 드리면 혼란은 없겠다 싶어 첨언했습니다....


(미적 선택자인 동생의 수학 공부를 도와주다가 순수한 궁금증으로 인터넷을 뒤적거린 확통통이라....저도 정확히는 아는 바가 거의 없습니다.)


유익하셨다면! 좋아요!! 종종 이런 걸로 글 쓸 일이 있을 수도 있으니, 관심 있으신 분은 팔로 눌러주시면 감사하겠습니다!



rare-힉스 입자

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.