I got an assignment that uses this Fixed Point theorem. Now I just remembered this video and all the ideas came back to my mind. Thank you for everything, Dr. Peyam
I love the way you teach this! It makes me really happy to see someone being playful while teaching math, instead of the dry boring stuff out there. Nice work.
That was a really nice and understandable video about the Banch Fix point theorem. Honestly I thought after your Lemma 2 it was already proven, but I have to think a little bit about why Lemma 3 is needed. Thank you so much for your effort!
There is a special place in my heart for the Banach Fixed Point Theorem. I was not originally interested in math when I entered college, but I ended up taking an ODEs course in my sophomore year. One of the first things the course covered was the Banach Fixed Point Theorem and its application(s) to existence/uniqueness of solutions to certain classes of ODEs. It was first theorem whose full proof I saw and understood. It fascinated me and motivated me to start learning more math. Long story short, I am now a second year math PhD student, and I’m having a blast. I owe this partially to the Banach Fixed Point Theorem. Thanks for giving it the shoutout it deserves!
nice explanatory video, there is some interesting generalisation of this theorem which i came across in my exercise. the mapping T doesn't have to be contractive, it also suffices if T^n is contractive for some n in N and the theorem still holds. edit: it's rather an extension than a generalisation of this theorem, because it uses the banach fix point theorem in its proof.
I want to thank you deeply for these videos. I studied a bit of math in college but always became very frustrated with the spoon feeding of information. It's wonderful to be able to just buy a dover book and search for a youtube video on a given subject that needs a bit more explanation or conceptualization.
Thanks for the video! Any chance of more fixed point videos? Brouwer, Kakutani, and Tarski would all make for fixating videos. Hopefully that pun is convincing enough.
As long as M is not infinity, you are omitting a factor in the analytical short-form solution to the geometric series, no? Did you leave it out because in the later limit considerations it falls out anywas as N \to \infty and M > N?
Sir, why have you not explained about the applications of Banach fixed pt th. , the have taught this so amazing that now I want to see you teaching all the applications and there proofs of BFPT
Great proof, but there is something I obviously don‘t quite get: Consider the function f(x) = 1 - x ^ 2 like in the thumbnail. For the metric space we want (J, |•|) for some interval J and the normal real metric d(a, b)=| a - b |. Now, one can derive* that, for f to be a contraction, it must hold that for all a, b from J: 1 > |a+b|, which would imply that J = (-0.5, -0.5), otherwise there could be two numbers from J whose sum is greater than or equal to 1. That contradicts the theorem because there is no fixed point there, it’s at 1/sqrt(2)! *Here’s my derivation: d( f(a), f(b) ) = | (1 - a^2) - (1 - b^2) | = | b^2 - a^2 | Wlog, let b = a + h => b^2 = a^2 + 2ah + h^2 q | b - a | = q | h | >= | 2ah + h^2 | = | h | | 2a + h| q >= 2a + h = a + b Can you spot the mistake? I am pretty confused!
Which "areas" do you mainly deal with in general? From your previous videos, I suspect that you are interested especially in analysis and differentiable geometry(?)
just seeing your happy mood made me be more interested in the theorem, thank you so much !!!!
I got an assignment that uses this Fixed Point theorem. Now I just remembered this video and all the ideas came back to my mind. Thank you for everything, Dr. Peyam
I love the way you teach this! It makes me really happy to see someone being playful while teaching math, instead of the dry boring stuff out there. Nice work.
That was a really nice and understandable video about the Banch Fix point theorem. Honestly I thought after your Lemma 2 it was already proven, but I have to think a little bit about why Lemma 3 is needed.
Thank you so much for your effort!
well it was shown that xn converges to some x, you still need to show that this x is fixed point of T tho.
@@tofu8676
Thank you for your answer! Now I can see it better.
I think it's been years since I saw one of your vids. Glad to remember you exist man! Great lecturer!
Welcome back!
Your smiles are as nice as your videos. Thanks.
I hope every teacher in this world have same enthusiasm as this... So nice 👍
There is a special place in my heart for the Banach Fixed Point Theorem. I was not originally interested in math when I entered college, but I ended up taking an ODEs course in my sophomore year. One of the first things the course covered was the Banach Fixed Point Theorem and its application(s) to existence/uniqueness of solutions to certain classes of ODEs. It was first theorem whose full proof I saw and understood. It fascinated me and motivated me to start learning more math. Long story short, I am now a second year math PhD student, and I’m having a blast. I owe this partially to the Banach Fixed Point Theorem. Thanks for giving it the shoutout it deserves!
That theorem inspired me too! ❤️❤️❤️
This is explained so brilliantly as always!!! :) I learned recently about this elegant theorem in the context of ODEs
Thanks a ton for this video, honestly the best explanation/proof of this theorem I have seen!
nice explanatory video, there is some interesting generalisation of this theorem which i came across in my exercise. the mapping T doesn't have to be contractive, it also suffices if T^n is contractive for some n in N and the theorem still holds.
edit: it's rather an extension than a generalisation of this theorem, because it uses the banach fix point theorem in its proof.
What a Lively lecture!! The giant tiger becomes a little kitty as the way you explain it. Thank you!! 🙂
I want to thank you deeply for these videos. I studied a bit of math in college but always became very frustrated with the spoon feeding of information. It's wonderful to be able to just buy a dover book and search for a youtube video on a given subject that needs a bit more explanation or conceptualization.
I was going to see the proof of this theorem tomorrow in topology class, guess I just spoiled myself
Amazing video! I really enjoyed learning about Banach fixed point theorem! Thanks.
You're amazing, Dr!
Thank you for this, it was a very good video! "There can be only one" actually is from a movie (and series) called Highlander =)
Thanks for the video! Any chance of more fixed point videos? Brouwer, Kakutani, and Tarski would all make for fixating videos. Hopefully that pun is convincing enough.
Hahahaha
other level math than before. Thank you, Dr. Peyam. Thank you.
Thank You, This is really great explanation.
loved how simply you explained this. can you make a playlist on teaching real analysis pleaseeeee ?
I already have one :)
Amazing proof, you made it very clear 😃
thank you so much @Peyam, your video is very helpful and fun, love it
Amazing video, Thanks!!
This video is very helpful . Thank you Dr!
You’re welcome!!!
As long as M is not infinity, you are omitting a factor in the analytical short-form solution to the geometric series, no? Did you leave it out because in the later limit considerations it falls out anywas as N \to \infty and M > N?
Good video. Thank you for making these.
0:07 - Thanks for watching!
Oh... no problem, CYA!
Underrated time-stamp 8:54 🤣
Great video, now that I’m coursing analysis I can finally understand all of this demonstrations and theorems, cheers.
The proof does not work if d(T(a), T(b)) < d(a,b) without a specific constant c
Great remark
Sir, why have you not explained about the applications of Banach fixed pt th. , the have taught this so amazing that now I want to see you teaching all the applications and there proofs of BFPT
The Mean Value Theorem and Fixed Points th-cam.com/video/zEe5J3X6ISE/w-d-xo.html
Superb explanation. Please recommend the functional analysis book you follow.
Brezis Functional Analysis
@@drpeyam thanks a lot.
Subscribed because of that 10/10 d(a,b) joke
Actually incredible!!!
You explained it so well! Thank you! Is this the same of the contraction mapping theorem?
yes
Great proof, but there is something I obviously don‘t quite get:
Consider the function f(x) = 1 - x ^ 2 like in the thumbnail. For the metric space we want (J, |•|) for some interval J and the normal real metric d(a, b)=| a - b |. Now, one can derive* that, for f to be a contraction, it must hold that for all a, b from J: 1 > |a+b|, which would imply that J = (-0.5, -0.5), otherwise there could be two numbers from J whose sum is greater than or equal to 1. That contradicts the theorem because there is no fixed point there, it’s at 1/sqrt(2)!
*Here’s my derivation:
d( f(a), f(b) ) = | (1 - a^2) - (1 - b^2) | = | b^2 - a^2 |
Wlog, let b = a + h => b^2 = a^2 + 2ah + h^2
q | b - a | = q | h | >= | 2ah + h^2 | = | h | | 2a + h|
q >= 2a + h = a + b
Can you spot the mistake? I am pretty confused!
Dr Peyam you are superb and i’m very grateful i found you your videos are really helpful. But why do you write in capital letters?
Because I can only write in cursive and people can’t read my handwriting
This reminds me a bit of the bourbaki-witt fpt, though the proof is totally different. That theorem has several cute proofs.
Which "areas" do you mainly deal with in general?
From your previous videos, I suspect that you are interested especially in analysis and differentiable geometry(?)
No differential geometry! I’m interested in Partial Differential Equations!
@@drpeyam So are you looking forward to the Navier Stokes equation problem?
Hahahahaha, good one 😂
Wonderful video! Peyam, can you please make a proof why does the l'Hôpital rule work. It is realy not obvious to me
Coming in the next month or so :)
Great effort sir! Tysm sir !
Never seen this way of proving it, so cool especially the series part!
the way i learned it was way less elegant for sure lol
Please briefly describe how continuity allows to move limit inside (t(x))?
That's one of the definitions of continuity.
Great video!!
absolutely good
Thank you thank you thank you ❤️❤️😭
Hey Dr peyam what's up? why don't you do some videos on statistics?
I’m a mathematician, I don’t know any statistics
Booom
!!!!!!
brutal
Such a great teacher!
Thank you
does x* is a periodical point?
Yes, a point of period 1
Solve.
615 + x^2 = 2^y where "x, y" are elements of Z
The solutions are y = log2 (615 + x^2) for x in R
@@drpeyam
y= (615+x^2)/[log(2)], no?
Nicholas Sway By log2 I mean log base 2, so it’s log base 2 of 615 + x^2
@@drpeyam 👍
@Eŭkalipto Muziko thx; I corrected it.
Nice!
Dr Peyam sent me here!
Oh, I know where I heard this before now.
please use lower case letters o.O
No one can read them
d(a,b) indeed my friend
*dabs*
Mrbk
Bit difficult to watch this video cuz of the angle...
I didn't catch the joke because I am not a native speaker.
ecks dee