Proving differentiability implies continuity

Поділитися
Вставка
  • Опубліковано 14 гру 2024

КОМЕНТАРІ • 87

  • @jonathangrey6354
    @jonathangrey6354 6 років тому +68

    i love this channel! Who says summer has to be enjoyed away from school? Not me! Math is the best!

    • @blackpenredpen
      @blackpenredpen  6 років тому +6

      Nole Cuber what an awesome comment! Thank you!!

    • @l3igl2eaper
      @l3igl2eaper 6 років тому +2

      I'm taking Calculus 4 and Diff EQ this summer. I can't get enough math! hahaha

    • @asriel522
      @asriel522 2 роки тому +3

      "That nerd"

    • @jonathangrey6354
      @jonathangrey6354 2 роки тому

      @@asriel522 this is indeed very correct

  • @slowfreq
    @slowfreq 6 років тому +22

    You might like to know about the Weierstrass Function, a function which is continuous _everywhere_ but differentiable _nowhere._

  • @napv7922
    @napv7922 6 років тому +6

    I like the fact that it makes so much sense when you are also thinking on the derivative as a linear aproximation, you get the aproximation precisely in the same way, and basically when there is only one posible outcome for that aproximation, you have differetiability.

  • @pyromen321
    @pyromen321 6 років тому +4

    I'm loving the high energy thumbnails!

  • @aeoexe
    @aeoexe 6 років тому +15

    6:38 Actually you are using differentiable at this point right now, because limit of product is equal to product of limit if both limit exists.
    For example lim sinx/x cannot be decomposed to lim sinx lim 1/x, just to make it rigorous.

    • @ZoneEEEEEEEEEEEE
      @ZoneEEEEEEEEEEEE 6 років тому +1

      aeoexe Since it's given that f is differentiable at a, it's totally fine to split the limit because lim (f(x)-f(a))/(x-a) exists

    • @aeoexe
      @aeoexe 6 років тому +2

      That is what i am talking about, because he said limit of product is equal to product of limit at 6:38

    • @blackpenredpen
      @blackpenredpen  6 років тому +9

      aeoexe I should have also said "because we know both limits exit" right there too. But I did mention f'(a) is a "nice number" since we had differentiability

  • @jennaoneill7718
    @jennaoneill7718 4 роки тому +3

    Thank you so much!
    Your explanation was so clear and concise, and your enthusiasm made it so enjoyable to watch! Thanks for being my quarantine lecturer!

  • @kyoxx1231
    @kyoxx1231 6 років тому +1

    There exist an alternative definition of differentiable function: Let f:[a,b]→R, then f is differentiable in Xo if exist a function g:[a,b]→R continuous in Xo so that: f(x) = f(Xo) + (x-Xo) g(x), and g(Xo)= f'(xo). By that definition f is continuous in Xo because it's a sum of continuous functions: f(Xo) and Xo are constant numbers, x is continuous in every x and g(x) is continuous by definition.
    #YAY

  • @RANIMRANIM-z6m
    @RANIMRANIM-z6m 14 днів тому

    i really like your method when you teach keep going

  • @valqora
    @valqora 6 місяців тому

    Beautifully done. You should make a college calculus course as you are excellent at going explaining your steps

  • @offthepathworks9171
    @offthepathworks9171 9 місяців тому

    Thank you, best video on YT on this proof!

  • @rohitg1529
    @rohitg1529 6 років тому +1

    The limit of a sum is not always the sum of the limit right? For example lim n->inf of ln(n)-harmonic sum till (1/n) converges. If you split up the sum into 2 limits, you get infinity-infinity, which is undefined. I think that you need to place the restriction that f(a) is defined.
    P.S. I know that if f(a) is not defined then the function is definitely not continuous at a, but still, you cannot split limits in general.
    Peace

  • @pixelpix1728
    @pixelpix1728 6 років тому +1

    The way I'd prove this is by saying:
    "If you take the derivative of a function in a point *a*, you will have the slope the line tangent to the function in that point, but you can only have the slope of line tangent the function at that point if, and only if, the point *a* exists in the function (if it is continuous at a), since you can't have the slope of nothing"
    For example we have the famous function sin(x)/x, we can clearly see it's not conitnuous at 0, so that point doesn't exist in the function. It's derivative is (xcos(x)-sin(x))/x^2 , and you can see that the slope of the tangent at 0 is 0/0. sin(x)/x it's not differentiable at 0 because the point 0 doesn't exist in that function! :3
    Is my proof right? QwQ

    • @hanztimbreza6217
      @hanztimbreza6217 6 років тому

      sapato :3 Although that is a nice graphical way to think about it, I prefer the more rigorous (and conceptually simpler) proof presented in the video.

  • @JoshuaHillerup
    @JoshuaHillerup 6 років тому +7

    I suddenly find myself very curious about how to find the area of a fractal, as in the integral of a continuous function that is not differentiable anywhere.

    • @Theraot
      @Theraot 6 років тому +1

      For what I read, Daniell integral should do. With that said, I do not claim to understand it.

    • @JoshuaHillerup
      @JoshuaHillerup 6 років тому

      Alfonso J. Ramos yeah, I know it's possible, I just don't understand how to find it.

    • @farissaadat4437
      @farissaadat4437 6 років тому +2

      If I'm not mistaken, the exact area of something that is much more complicated like the mandelbrot set is an open problem. I think the area of something simpler like a kock snowflake can be written as an infinite series quite simply, then some work can be done to find the value.

  • @alegian7934
    @alegian7934 6 років тому

    This proof was taught to me in school. So I won't watch till the end, but I still liked and commented :) beautiful proof

  • @albertodelaraza4475
    @albertodelaraza4475 6 років тому +1

    The limit of a sum, is the sum of the limits. The same is true for the limit of products. My understanding is that this is true only if the functions inside the limits are continuous. (No?) But, we are trying to prove continuity in the first place. Can we prove continuity by assuming continuity first? It is clear that I am missing something important. Can you please clarify.
    I need this little clarification because I haven't studied calculus for almost thirty years and I don't remember much of it. (Love your channel, BTW. It brings back much of the love for math I had as a young person. So, thanks and keep up the good work.)

    • @stephenbeck7222
      @stephenbeck7222 6 років тому

      Alberto DeLaRaza you are close. The limit of a sum equals the sum of the limits, on the condition that the inside limits merely exist. Remember you can have the limit existing without being continuous. Also, as another comment pointed out, “the limit existing” means it must be an actual number and not infinity, which is why you can’t say lim sin x / x = lim sin x * lim 1 / x (as x -> 0).

    • @albertodelaraza4475
      @albertodelaraza4475 6 років тому

      Ah, I see my error now! Thank you for the clarification!

    • @hugocoolens
      @hugocoolens 6 років тому

      "The limit of a sum equals the sum of the limits": shouldn't we all so add the condition "for a sum consisting of a finite number of terms"?

  • @DenisBencic
    @DenisBencic 6 років тому +1

    Awesome proof, it finally made sense to me :) I know abs(x) at x=0 is the counter-example but can you also show in general that "if continuous then differentable" is a false statement or it doesn't lead to any conclusions?

  • @geekjokes8458
    @geekjokes8458 6 років тому +1

    What was that ending? Vihart is taking over your channel?

  • @raihan1539
    @raihan1539 Місяць тому

    you are the goat.

  • @Metalhammer1993
    @Metalhammer1993 6 років тому

    man this shows why i never got proofs. whenever i read them i tend to forget what i wanted to show in the first place or what the proof is supposed to show^^

  • @pierreabbat6157
    @pierreabbat6157 6 років тому

    Can you explain why f'=0 implies f is constant if the domain is the reals, but not if the domain is the p-adic numbers?

  • @nmisriyaaah79
    @nmisriyaaah79 3 місяці тому

    Simply explained

  • @willful759
    @willful759 6 років тому

    Great video as always

  • @timperry6948
    @timperry6948 6 років тому

    Great video. Thanks again.

  • @teacherjn2024
    @teacherjn2024 5 років тому

    Hello sir can I have a favor? do you lecture notes for Differentiability in R^2?

  • @09stir
    @09stir 6 років тому

    Can you help me with the following integral?
    Integration of x^2 * √(1+4x^2) dx
    It seems to me you can use integration by parts or something like trig substitution. However i get different results when doing so

  • @francescocostanzo8225
    @francescocostanzo8225 3 роки тому

    Does this count as a real analysis question?

  • @WhiteboardMaths
    @WhiteboardMaths 6 років тому

    Oh man this came up in my analysis exam two months ago :0

  • @pco246
    @pco246 6 років тому

    Is it rigorous to say that the product of a derivative and an infinitesimal quantity is always 0?

  • @harisrasheed4702
    @harisrasheed4702 6 років тому

    integration of 1/x^2 + 3x ?

  • @Geo25rey
    @Geo25rey 6 років тому

    When you record a snail you find in your backyard

  • @زهرةالنرجس-ن2ل2ب
    @زهرةالنرجس-ن2ل2ب 6 років тому

    You are amaizing thank you

  • @AndDiracisHisProphet
    @AndDiracisHisProphet 6 років тому

    "I don't know what a number is..."
    Are you sure you are the right person to make math videos?

    • @AndDiracisHisProphet
      @AndDiracisHisProphet 4 роки тому

      @@christinabae2625 Thanks, anti-joke-chicken

    • @AndDiracisHisProphet
      @AndDiracisHisProphet 4 роки тому +1

      @@christinabae2625 no problem. this comment is so old i don't even remember what i commented. But BPRP and I have some (friendly) jabs at each other from time to time.
      Ok, to be honest it is me that does all the jabbing, but whatever

  • @Ready4Music
    @Ready4Music 6 років тому +5

    Clickbait: Table → Content. 😁

  • @meerable
    @meerable 2 роки тому

    hm.. |0| = 0. But for f(x)=|x| df/dx at 0 don’t exist?

  • @matheus_rml
    @matheus_rml 6 років тому

    is there any other example of continuos functions that are not differentiable at some ponit?

    • @juberto_9383
      @juberto_9383 6 років тому

      Matheus Ramalho
      For example f(x)=x^(1/3) is continuous but not differentiable at 0.

    • @uchihamadara6024
      @uchihamadara6024 6 років тому

      abs(x) is continuous but not differentiable at 0

    • @aeoexe
      @aeoexe 6 років тому +5

      I am here to blow your mind.
      en.wikipedia.org/wiki/Weierstrass_function

    • @stephenbeck7222
      @stephenbeck7222 6 років тому +1

      Here's a nice little set of functions. f1(x) = sin(1/x).
      f2(x) = x*sin(1/x).
      f3(x) = x^2*sin(1/x).
      Assume for each that the function is actually piece-wise defined where f(0) = 0 in order to "plug" the hole at 0.
      f1(x) is not continuous at x=0 because the function oscillates between 1 and -1. f2(x) is continuous but not differentiable at x=0 because the tangent line slopes also oscillate.
      f3(x) is differentiable at x=0 and every other point, however the derivative is not continuous, i.e. it is not second-differentiable.

  • @nicholaslau3194
    @nicholaslau3194 6 років тому +2

    Isn't a differentiable function by definition continuous?

    • @jay_sensz
      @jay_sensz 6 років тому

      Yes, and this is the proof.

    • @helloitsme7553
      @helloitsme7553 6 років тому +1

      Not by definition, the definition is that when you get closer to a certain x-value , the y-value you are approaching is the same as the value at the specific point of x. If that's true for all x then it's continuous. A differentiable function is a function for which all x-values the derivative is defined

  • @ugursoydan8187
    @ugursoydan8187 3 роки тому

    thank ypu so much

  • @LUKAS-bb4jc
    @LUKAS-bb4jc 2 роки тому

    Wait at the end it looks like the tangent formula

  • @KeyMan137
    @KeyMan137 6 років тому

    Will you discuss how the converse is not true and mention the Weierstrass function?
    en.wikipedia.org/wiki/Weierstrass_function

  • @alexdarcovich9349
    @alexdarcovich9349 6 років тому +2

    What happened to the video where you found the limit of infinite square roots of 0? #yay

  • @qntnfeynman360
    @qntnfeynman360 2 роки тому

    Nice

  • @himanshumallick2269
    @himanshumallick2269 6 років тому

    Lab glasses??

  • @JamalAhmadMalik
    @JamalAhmadMalik 6 років тому +2

    #yay!❤

  • @alejrandom6592
    @alejrandom6592 3 роки тому

    I want a tshirt that says d'able

  • @jascarkamasonskaja7314
    @jascarkamasonskaja7314 6 років тому

    8:44 it’s me on math classes))))))

  • @ТарасЗаблоцький-о3л
    @ТарасЗаблоцький-о3л 6 років тому +3

    Can you solve this please?
    X^lg(X-2)=1000

  • @helloitsme7553
    @helloitsme7553 6 років тому

    Does continuity also imply differentability?

    • @japotillor
      @japotillor 6 років тому

      HelloItsMe no

    • @geometrydashbayve5004
      @geometrydashbayve5004 6 років тому +5

      As explained in the video, a counterexample is f(x)=|x|. This is a continuous function, yet is not differentiable at x=0.

    • @nejlaakyuz4025
      @nejlaakyuz4025 6 років тому

      Weistrass function,

  • @user-vm6qx2tu3j
    @user-vm6qx2tu3j 6 років тому

    #yayyyyy

  • @anandunambiar1032
    @anandunambiar1032 2 роки тому

    Sir, I don't get the proof..you just proved lim x → a f(x)=f(a)....where is the differentiability here?.. we are asked to prove if a f is differentiabie it is continous

  • @15schaa
    @15schaa 6 років тому

    You should've put another minute or two of that snail to get to 10 minutes. Do you not watch PewDiePie?