ysmedical13 [415646] · 쪽지

2012-10-21 22:00:32
조회수 907

lim a->0+일때 f(a)-f(0)/a와 lim a->0+일때 f'(a)의 차이

게시글 주소: https://ui.orbi.kr/0003132867

(다시 치기 힘들어서 전자 후자로 줄일게요) 전자는 우미분계수를 뜻하는 말인데 후자는 고교과정내에서 다른 명칭이 없나요?
전자의 좌극한값과 우극한값, 함숫값이 모두 같으면 이 함수는 a에서 미분가능하잖아요.
근데 후자는 우극한값 좌극한값 함숫값이 모두 달라도 이 함수는 f'(a), 즉 도함수의 a값이 존재하니까 원함수는 미분가능 하다. 맞는 말인가요?
예전에 인강 들으면서 유제에 도함수 그래프가 주어져있는데 도함수의 그래프가 x<=0일때 y=-x,x>0일때 y=-x-1 이런 꼴이였는데 인강 쌤은 이게 도함수의 함숫값이 존재하므로 원함수는 0에서 미분가능하다고 하셨습니다.. 전 이때까지 우미분계수를 도함수의 우극한으로 취급해왔거든요..근데 도함수은 불연속이라면.. 도대체 원함수 그래프가 어떻게 그려지는지 상상이 안되네요.
질문을 요약하자면 도함수가 불연속이라도 함숫값만 존재한다면 원함수는 미분가능한가, 가능하다면 이때 원함수의 그래프 개형은 어떻게 되는가.
꼭 답변해주세요..

0 XDK (+0)

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

  • 글쓰는상어 · 419721 · 12/10/21 22:06 · MS 2012
    제가 알고있는 지식으로 미분가능의 전제조건은 연속함수라는 것입니다.
  • ysmedical13 · 415646 · 12/10/21 22:10
    그건 원함수 얘기잖아요..
  • Desireforsnu · 403470 · 12/10/21 22:09 · MS 2012
    도함수값이존재해도 함수는연속일수있죠 도함수는말그대로 도함수,즉,기울기인거죠
    님이예시로든걸 함수로그려보면 x=0일때 좌측쪽은 x=0에평행한꼴이고 우측쪽의기울기는 -1이죠..
  • ysmedical13 · 415646 · 12/10/21 22:10
    그렇게 되면 첩점이니까 미분불가 아니에요? 그럼 모순이잖아요 도함수값이 존재한단 말에..
  • Desireforsnu · 403470 · 12/10/21 22:17 · MS 2012
    미분불가맞아요 도함수값은 구간에따라나뉘어져있으니 존재한다고볼수도있네요(좌우로나눠서)
    선생님이 잘못말하신게아닐까요?
  • ysmedical13 · 415646 · 12/10/21 22:20
    아.. 모르겠네요 ㅠㅠ
  • ysmedical13 · 415646 · 12/10/21 22:21
    고교과정이 아닌건가..
  • ysmedical13 · 415646 · 12/10/21 22:23
    님 말씀대로라면 도함수가 좌극한 우극한 함숫값이 모두 존재하지만 모두 다르다면 원함수의 좌미분계수는 도함수의 좌극한을 따르고 우미분계수는 도함수의 우극한을 따라서 그리신단 얘긴데 그러면 도함수의 함숫값은 어디로 가는걸까요?
  • Desireforsnu · 403470 · 12/10/21 22:36 · MS 2012
    도함수의그래프를그려보세요 x<=0일떈 -x이고 x>0일떈 -x-1이잖아요
    그니깐 y축을기준 왼쪽그래프의 x=0일때는 0 즉좌미분값0
    오른쪽그래프는 x=0일때 y값이 -1 즉 우미분값은 -1
    엄밀하게말하면 x=0일때 도함수값은없는게맞아요 다만 좌우로나눌땐 나뉠수있단거죠..
  • ysmedical13 · 415646 · 12/10/21 22:43
    그냥 한번 인강쌤 홈페이지에 질문해봐야겠네요 거긴 답이 좀 시원찮아서 여기 올렸는데.. 제가 가지고있는 개념으론 이해가 안되네요
  • ysmedical13 · 415646 · 12/10/21 22:40
    님이 말씀하시는건 제가 제목에 올린 두식이 같다라고 전제하시고 말씀하시는거잖아요..
    근데 도함수의 좌극한값이 원함수의 좌미분계수라는건 배우지 않았습니다..
    혹시 수학과학생이라서 확실히 아시고 답해주시는거면 제가 잘못알고 있다는거구요..
  • ysmedical13 · 415646 · 12/10/21 22:48
    아니면 도함수의 개념으로 접근했을때 저런그래프는 존재할 수 없단 생각이 들기도 하네요 예를들어 절댓값x의 도함수를 그려보면 0에서 불연속이면서 함숫값이 존재하지 않으니..
  • Desireforsnu · 403470 · 12/10/21 22:52 · MS 2012
    도함수는 구간에따라 충분히나뉠수있어요 도함수가 불연속일수도있고요
    기출에서도 풀었던거같은데 불연속이어도 원함수는 연속일수있습니다 다만미분불가능할뿐이에요
    저런그래프는 충분히존재할수있습니다...
  • Desireforsnu · 403470 · 12/10/23 00:13 · MS 2012
    저는문과종자라 이해가안되네요 제가배운바로는 제가생각한게맞는지말입니다..
  • Desireforsnu · 403470 · 12/10/21 22:49 · MS 2012
    그냥전 간단히 lxl만봐도 좌미분계수가 도함수의좌극한값과 같다고생각했습니다
    님말대로 좌식으로정리하면 결국 lxl도 구간으로나누면 +0쪽은 x이니 +1이나오고
    우식으로접근하면 lxl를구간에따라나눠서 정리하면 x>0일땐 +1이잖아요
  • ysmedical13 · 415646 · 12/10/22 23:01
    밑에 분이 정확하게 답글 달아주셨네요.. 제가 댓글 이렇게 단거 보시고 오개념 잡고 가시길 바래요 혹시나 수능 때 틀리면 안되니깐요.. 답변 감사합니다.
  • syzy · 418714 · 12/10/21 23:59 · MS 2012
    도함수가 step 불연속을 가질 수는 없습니다. (님이 드신 예가 바로 x=0에서 스텝 불연속입니다.)

    그 문제는 미분을 피상적으로 아시는 분이, 별 생각없이 만든 문제라고 생각이 됩니다.

    도함수가 불연속이라도 함숫값만 존재한다면 원함수는 미분가능한가 --> 예. 반드시 미분가능합니다.
    가능하다면 이때 원함수의 그래프 개형은 어떻게 되는가 -> 원함수는 연속일 뿐만 아니라, 각진 곳이 없어야 합니다.

    원함수 f(x)가 구간 [a,b]에서 미분가능하다면, (보통 열린 구간으로 나타내는데 그냥 대충 이렇게 쓰겠습니다.) 우리가 친숙한 많은 경우에 그 도함수 f ' (x)가 연속이지만, 수학적으로 반드시 연속일 필요는 없습니다. 재미있는 성질이 하나 있는데, f ' 이 연속이 아닌 경우에조차도, f ' (a)와 f ' (b) 사이의 모든 값이 반드시 적절한 어떤 x (구간[a,b] 내의) 에 대해 f ' (x)의 형태로 표현이 되어야 합니다.

    (따라서 작성자분 예처럼 도함수가 step 불연속인 예는 있을 수가 없겠지요.)
  • 히융히융 · 394705 · 12/10/22 00:31 · MS 2011
    어렵네여 ㅠㅠ 도함수가 불연속이라도 함숫값만 있으면 미분가능하며, 원함수 그래프 역시 각진 곳이 없는 매끄러운 선으로 나타난다고 하셨는데, 제가 이해하고 있는 범위 내에서는 쉽게 머릿속으로 그림이 떠오르지가 않아요 ㅠㅠ
    예를 하나 들어주시면 딱 catch 할 거 같은뎁 .. 말씀하신 형태의 함수로는 어떤 게 있나요??

    그리규.. 제가 난독증이어서 그런가..ㅠㅠ
    재미있는 성질이 있다며 말씀해주신 것과, 그 앞에 있는 문장이 제 눈에는 같은 의미로 보이는데 ... 무슨 차이가 있는 건가요???
  • syzy · 418714 · 12/10/22 01:10 · MS 2012
    아, 원글님이 말씀하신 그런 끊긴 함수를, 도함수로 가지는 원함수는 존재하지 않는다! 라는 이야기를 저도 하고 있는 것이고요~

    원글이님의 질문을 읽어보시면

    '도함수가 불연속이라도 함숫값만 있으면 원함수는 미분가능한가?' 라는 질문이

    '도함수가 불연속이라도 도함수의 함숫값만 있으면, 원함수는 그 점에서 미분가능한가?' 라는 뜻의 질문일 것이라고 추측이 돼요~
    도함수가 불연속이든 연속이든 그것과 무관하게, lim_{h->0} (f(x+h) - f(x)) / h 라는 극한만 존재하면 그 점에서 미분가능한 것이니까 미분가능하다 말씀드렸어요~ 즉, lim_{h->0} f ' (x+h) 가 존재하든 안 하든 상관없이 도함수의 값은 바로 앞 문장의 극한이 존재하기만 하면, 존재한다는 뜻이었어요.


    그리고 예를 들어
    y = x^2 sin (1/x) (x=0이 아닐때)
    y = 0 (x=0일 때)

    로 정의된 함수가 유명한 것으로 알고 있어요.

    이 함수는 모든 실수x에서 연속이고, 미분가능해요. (원점 근처에서 마구 진동하기는 하지만, 진폭이 점점 줄어들어서 연속이고, 이 함수도 직관적으로 부드러운 함수이지요~ (부드럽다(smooth)고 하면 보통 무한 번 미분 가능하다는 뜻으로 쓰지만 여기서는 그냥 각진 곳이 없다는 뜻(한 번 미분가능하다는 뜻)으로 사용할게요)

    그런데, 미분해보면 도함수는,
    f ' = 2x sin (1/x) - cos (1/x) (x=0아닐때)
    f ' = 0 (x=0)
    이라서, x=0에서 도함수가 연속이지는 않지요.

    이것이 도함수의 존재성과, 도함수의 연속성이 일치하지 않음을 보여주는 좋은 예이고요, 그럼에도 불구하고 도함수의 함수값 존재와 도함수의 연속성 사이에는 무시하지 못할만한 관계가 있기도 하다고 알고 있어요.

    끝으로, 원함수의 도함수가 반드시 연속일 필요는 없다고 말씀드렸고, 따라서 도함수가 반드시 중간값 정리를 만족할 필요는 없음에도 불구하고, 실제로 도함수가 중간값 정리는 만족시킨다... 라는 것이 도함수의 재미있는 성질이라고 말씀드린 거였어요~ 즉, 도함수가 연속일 필요는 없으나 중간값 정리는 만족한다.
  • 히융히융 · 394705 · 12/10/22 01:27 · MS 2011
    우와 진짜 신세계네요 함수는 정말, 기하하고는 다르게 직관적으로 생각했다간 큰코 다치는 분야인거 같아요
    x^2 sin(1/x) 라는 식은 모의고사에서 만난 적이 있는 식인데, 그냥 문제 풀기에 급급하고, 맞췄다고 오답노트도 안했고
    그래서 도함수의 연속과 존재로 생각해보진 못했네요 우와 진짜 신세계에요 역시 문제는 단지 풀줄 안다고 해서 다 알고 있다고 생각하면 진짜 오산이네요 ㄷㄷㄷ
    신세계를 열어주셔서 감사합니다 !! 적어주신 글 두고두고 읽어봐야할듯여 ,, 데헷
  • syzy · 418714 · 12/10/22 01:38 · MS 2012
    이렇게 칭찬해주시고 저야말로 영광이에요..^^
  • ysmedical13 · 415646 · 12/10/22 23:03
    답변 정말 감사합니다.. 제가 원하는 명쾌한 답변이네요.. 저런 도함수는 존재할 수 없다는게 맞았군요.. 정말 감사합니다