Epsilon-delta limit definition 1 | Limits | Differential Calculus | Khan Academy - YouTube

Channel: Khan Academy

[0]
Let me draw a function that would be interesting
[2]
to take a limit of.
[4]
And I'll just draw it visually for now, and we'll do some
[6]
specific examples a little later.
[8]
So that's my y-axis, and that's my x-axis.
[11]
And let;s say the function looks something like--
[14]
I'll make it a fairly straightforward function
[15]
--let's say it's a line, for the most part.
[19]
Let's say it looks just like, accept it has a
[23]
hole at some point.
[27]
x is equal to a, so it's undefined there.
[28]
Let me black that point out so you can see that
[32]
it's not defined there.
[33]
And that point there is x is equal to a.
[38]
This is the x-axis, this is the y is equal f of x-axis.
[45]
Let's just say that's the y-axis.
[47]
And let's say that this is f of x, or this is
[51]
y is equal to f of x.
[53]
Now we've done a bunch of videos on limits.
[55]
I think you have an intuition on this.
[57]
If I were to say what is the limit as x approaches a,
[59]
and let's say that this point right here is l.
[64]
We know from our previous videos that-- well first of all
[66]
I could write it down --the limit as x approaches
[70]
a of f of x.
[73]
What this means intuitively is as we approach a from either
[77]
side, as we approach it from that side, what does
[80]
f of x approach?
[82]
So when x is here, f of x is here.
[87]
When x is here, f of x is there.
[89]
And we see that it's approaching this l right there.
[95]
And when we approach a from that side-- and we've done
[100]
limits where you approach from only the left or right side,
[102]
but to actually have a limit it has to approach the same thing
[104]
from the positive direction and the negative direction --but as
[108]
you go from there, if you pick this x, then this is f of x.
[112]
f of x is right there.
[114]
If x gets here then it goes here, and as we get closer and
[117]
closer to a, f of x approaches this point l, or this value l.
[123]
So we say that the limit of f of x ax x approaches
[126]
a is equal to l.
[127]
I think we have that intuition.
[129]
But this was not very, it's actually not rigorous at all
[133]
in terms of being specific in terms of what we
[135]
mean is a limit.
[136]
All I said so far is as we get closer, what does
[139]
f of x get closer to?
[141]
So in this video I'll attempt to explain to you a definition
[147]
of a limit that has a little bit more, or actually a lot
[149]
more, mathematical rigor than just saying you know, as x gets
[152]
closer to this value, what does f of x get closer to?
[156]
And the way I think about it's: kind of like a little game.
[159]
The definition is, this statement right here means that
[168]
I can always give you a range about this point-- and when I
[175]
talk about range I'm not talking about it in the whole
[177]
domain range aspect, I'm just talking about a range like you
[180]
know, I can give you a distance from a as long as I'm no
[185]
further than that, I can guarantee you that f of x is go
[192]
it not going to be any further than a given distance from l
[196]
--and the way I think about it is, it could be viewed
[198]
as a little game.
[198]
Let's say you say, OK Sal, I don't believe you.
[201]
I want to see you know, whether f of x can get within 0.5 of l.
[209]
So let's say you give me 0.5 and you say Sal, by this
[217]
definition you should always be able to give me a range
[219]
around a that will get f of x within 0.5 of l, right?
[226]
So the values of f of x are always going to be right in
[229]
this range, right there.
[231]
And as long as I'm in that range around a, as long as I'm
[234]
the range around you give me, f of x will always be at least
[237]
that close to our limit point.
[242]
Let me draw it a little bit bigger, just because I think
[247]
I'm just overriding the same diagram over and over again.
[250]
So let's say that this is f of x, this is the hole point.
[256]
There doesn't have to be a hole there; the limit could equal
[259]
actually a value of the function, but the limit is more
[261]
interesting when the function isn't defined there
[262]
but the limit is.
[263]
So this point right here-- that is, let me draw the axes again.
[271]
So that's x-axis, y-axis x, y, this is the limit point
[284]
l, this is the point a.
[287]
So the definition of the limit, and I'll go back to this in
[289]
second because now that it's bigger I want explain it again.
[292]
It says this means-- and this is the epsilon delta definition
[298]
of limits, and we'll touch on epsilon and delta in a second,
[301]
is I can guarantee you that f of x, you give me any
[305]
distance from l you want.
[308]
And actually let's call that epsilon.
[310]
And let's just hit on the definition right
[312]
from the get go.
[313]
So you say I want to be no more than epsilon away from l.
[317]
And epsilon can just be any number greater, any real
[319]
number, greater than 0.
[320]
So that would be, this distance right here is epsilon.
[324]
This distance there is epsilon.
[327]
And for any epsilon you give me, any real number-- so this
[330]
is, this would be l plus epsilon right here, this would
[336]
be l minus epsilon right here --the epsilon delta definition
[343]
of this says that no matter what epsilon one you give me, I
[348]
can always specify a distance around a.
[351]
And I'll call that delta.
[354]
I can always specify a distance around a.
[357]
So let's say this is delta less than a, and this
[362]
is delta more than a.
[364]
This is the letter delta.
[369]
Where as long as you pick an x that's within a plus delta and
[375]
a minus delta, as long as the x is within here, I can guarantee
[379]
you that the f of x, the corresponding f of x is going
[383]
to be within your range.
[384]
And if you think about it this makes sense right?
[386]
It's essentially saying, I can get you as close as you want to
[389]
this limit point just by-- and when I say as close as you
[392]
want, you define what you want by giving me an epsilon; on
[396]
it's a little bit of a game --and I can get you as close as
[398]
you want to that limit point by giving you a range around the
[403]
point that x is approaching.
[404]
And as long as you pick an x value that's within this range
[409]
around a, long as you pick an x value around there, I can
[412]
guarantee you that f of x will be within the range
[415]
you specify.
[417]
Just make this a little bit more concrete, let's say you
[421]
say, I want f of x to be within 0.5-- let's just you know, make
[424]
everything concrete numbers.
[425]
Let's say this is the number 2 and let's say this is number 1.
[431]
So we're saying that the limit as x approaches 1 of f of x-- I
[436]
haven't defined f of x, but it looks like a line with the hole
[438]
right there, is equal to 2.
[441]
This means that you can give me any number.
[443]
Let's say you want to try it out for a couple of examples.
[447]
Let's say you say I want f of x to be within point-- let me do
[450]
a different color --I want f of x to be within 0.5 of 2.
[455]
I want f of x to be between 2.5 and 1.5.
[459]
Then I could say, OK, as long as you pick an x within-- I
[465]
don't know, it could be arbitrarily close but as long
[468]
as you pick an x that's --let's say it works for this function
[470]
that's between, I don't know, 0.9 and 1.1.
[477]
So in this case the delta from our limit point is only 0.1.
[482]
As long as you pick an x that's within 0.1 of this point, or 1,
[489]
I can guarantee you that your f of x is going to
[493]
lie in that range.
[495]
So hopefully you get a little bit of a sense of that.
[497]
Let me define that with the actual epsilon delta, and this
[499]
is what you'll actually see in your mat textbook, and then
[502]
we'll do a couple of examples.
[504]
And just to be clear, that was just a specific example.
[506]
You gave me one epsilon and I gave you a delta that worked.
[509]
But by definition if this is true, or if someone writes
[516]
this, they're saying it doesn't just work for one specific
[520]
instance, it works for any number you give me.
[522]
You can say I want to be within one millionth of, you know, or
[528]
ten to the negative hundredth power of 2, you know, super
[532]
close to 2, and I can always give you a range around this
[535]
point where as long as you pick an x in that range, f of x will
[540]
always be within this range that you specify, within that
[543]
were you know, one trillionth of a unit away from
[548]
the limit point.
[549]
And of course, the one thing I can't guarantee is what
[551]
happens when x is equal to a.
[552]
I'm just saying as long as you pick an x that's within my
[555]
range but not on a, it'll work.
[557]
Your f of x will show up to be within the range you specify.
[561]
And just to make the math clear-- because I've been
[563]
speaking only in words so far --and this is what we see the
[566]
textbook: it says look, you give me any epsilon
[573]
greater than 0.
[575]
Anyway, this is a definition, right?
[577]
If someone writes this they mean that you can give them any
[581]
epsilon greater than 0, and then they'll give you a delta--
[592]
remember your epsilon is how close you want f of x to be
[596]
to your limit point, right?
[597]
It's a range around f of x --they'll give you a delta
[600]
which is a range around a, right?
[604]
Let me write this.
[605]
So limit as approaches a of f of x is equal to l.
[611]
So they'll give you a delta where as long as x is no more
[615]
than delta-- So the distance between x and a, so if we pick
[623]
an x here-- let me do another color --if we pick an x here,
[627]
the distance between that value and a, as long as one, that's
[631]
greater than 0 so that x doesn't show up on top of a,
[634]
because its function might be undefined at that point.
[637]
But as long as the distance between x and a is greater
[640]
than 0 and less than this x range that they gave you,
[645]
it's less than delta.
[646]
So as long as you take an x, you know if I were to zoom the
[649]
x-axis right here-- this is a and so this distance right here
[655]
would be delta, and this distance right here would be
[659]
delta --as long as you pick an x value that falls here-- so as
[663]
long as you pick that x value or this x value or this x value
[667]
--as long as you pick one of those x values, I can guarantee
[670]
you that the distance between your function and the limit
[677]
point, so the distance between you know, when you take one of
[679]
these x values and you evaluate f of x at that point, that the
[683]
distance between that f of x and the limit point is
[687]
going to be less than the number you gave them.
[691]
And if you think of, it seems very complicated, and I have
[696]
mixed feelings about where this is included in most
[698]
calculus curriculums.
[699]
It's included in like the, you know, the third week before you
[702]
even learn derivatives, and it's kind of this very mathy
[704]
and rigorous thing to think about, and you know, it tends
[707]
to derail a lot of students and a lot of people I don't think
[709]
get a lot of the intuition behind it, but it is
[713]
mathematically rigorous.
[714]
And I think it is very valuable once you study you know, more
[716]
advanced calculus or become a math major.
[718]
But with that said, this does make a lot of sense
[721]
intuitively, right?
[722]
Because before we were talking about, look you know, I can get
[725]
you as close as x approaches this value f of x is going
[732]
to approach this value.
[733]
And the way we mathematically define it is, you say Sal,
[737]
I want to be super close.
[739]
I want the distance to be f of x [UNINTELLIGIBLE].
[742]
And I want it to be 0.000000001, then I can always
[745]
give you a distance around x where this will be true.
[749]
And I'm all out of time in this video.
[751]
In the next video I'll do some examples where I prove the
[754]
limits, where I prove some limit statements using
[758]
this definition.
[759]
And hopefully you know, when we use some tangible numbers, this
[763]
definition will make a little bit more sense.
[765]
See you in the next video.