Banach Fixed-Point Theorem

Find more here: tbsom.de/s/mc
Support the channel on Steady: steadyhq.com/e...
Or support me via PayPal: paypal.me/brig...
Or via Ko-fi: ko-fi.com/theb...
Or via Patreon: / bsom
Or via other methods: thebrightsideo...
Watch the whole video series about Measure Theory and download PDF versions and quizzes: tbsom.de/s/mc
To find the KZbin-Playlist, click here for the bright version: • Multivariable Calculus
And click here for the dark version of the playlist: • Multivariable Calculus...
Thanks to all supporters! They are mentioned in the credits of the video :)
This is my video series about Multivariable Calculus also known as Analysis with more variables or in higher dimensions. I hope that it will help everyone who wants to learn about it. We discuss partial derivatives, the nabla operator, gradient, Jacobians, Hessian, and so on. For any questions, please leave a comment or come to the community forum of the Bright Side of Mathematics: tbsom.de/s/com...
#Analysis
#Integral
#Calculus
#Derivatives
#Mathematics
(This explanation fits to lectures for students in their first year of study: Mathematics for physicists, Mathematics for the natural science, Mathematics for engineers and so on)
The Bright Side of Mathematics has whole video courses about different topics and you can find them here tbsom.de/s/start

[@nadav7679]

I have a functional analysis exam coming up, so it was great to see the full details of the proof taken with care!

[@brightsideofmaths]

Thank you very much! Good luck and thanks for the support!

[@ivansidorov1384]

Thank you. Clear and consequent. I always enjoy your math videos.

[@brightsideofmaths]

You are very welcome :)

[@t.b.4923]

I really enjoyed your concise explanation. Keep up the work and your channel will grow!

[@DavidLessure]

This is a great video, we just learned about it in class, and this explanation makes it make a lot more sense. As always thank you TheBrightSideOfMaths ☀️😎

[@brightsideofmaths]

Nice :) Thank you! And thanks for the support!

[@StratosFair]

A beautiful proof for a beautiful theorem

[@MGoebel-c8e]

Nice to listen to someone speaking English in my own accent;) Good video, especially appreciate the constant reminders that this is no rocket science. One question and a couple of observations: On <a href="#" class="seekto" data-time="267">4:27</a> why does it have to be an inequality? The argument would hold as well if there was an equal sign, no? The definition of the map was a little quick for me - had to pause and go back in order to realize that we were hopping from one point to the next. Why this map? Would have helped if you had talked more about what this implies, i.e. what insight this delivers that is helpful for all the use cases you mention at the beginning. That would be more insightful than the uniqueness proof at the end (only professional mathematicians would even demand a proof of that, for the rest of us that is obvious enough:))

[@mulletronuk]

4:27 using an inequality here is more general than an equality. Insight: Take any real number, and take the cosine of it in your calculator. Now take cos(Answer) repeatedly and watch it converge rapidly to a fixed point :)

[@brightsideofmaths]

Thanks! Now try to prove this cosine procedure by using the Banach fixed-point theorem :)

[@DingHang04]

Very interesting to think this happens in real life

[@DOROnoDORO]

Recently had to prove this in an analysis test :) turns out it's quite important for dynamic systems, my university's specialty

[@BreezeTalk]

This is high quality mathematics in my eyes

[@brightsideofmaths]

It is :)

[@skyfragmented3933]

this is math porn. These videos have resolved the soup of information i've had these years. Danke!

[@tens0r884]

does the contraction have to be from X to X ? Does this not apply to X -> a different metric space as well ?

[@brightsideofmaths]

No, it has to be the same space in domain and codomain. Otherwise, the notion "fixed point" would not make much sense.

[@tens0r884]

@@brightsideofmaths You're correct but I should have mentioned that the two spaces X and Y have non trivial intersection, for example, a contraction that also shifts the points a bit. I'll give a concrete example, f: [0, 1] -> [0.75, 1.25] given the canonical metric

[@brightsideofmaths]

@@tens0r884 Then the Banach fixed-point theorem is not applicable :D

[@bestpixels596]

Which reference books are used to prove this theorems?

[@brightsideofmaths]

None. This proof is already mathematical folklore and can also be found in Wikipedia, for example.

[@debmallyachanda5384]

Absolute gem!

[@brightsideofmaths]

Thanks :)

[@A_doe_wasting_her_life]

i was just wondering why is the idea of a cauchy sequence useful lol. NIce vid

[@brightsideofmaths]

Thanks!

[@eduardoGentile720]

Here in Naples everybody calls this the Banach Caccippoli theorem hahaha

[@brightsideofmaths]

True :) I also know this name!

[@Risu0chan]

In France it's called the Picard (or Banach-Picard) fixed-point theorem, after Émile Picard. I didn't know Renato Caccioppoli's name. Interesting character, he was a pianist, an antifascist during Mussolini's era, playing La Marseillaise (French anthem) when il Duce was visiting… There is even a film about him.

[@brightsideofmaths]

@@Risu0chan Thanks! I did not know that :)

[@eduardoGentile720]

@@Risu0chan He is considered so important here in Naples that the math department of the Federico II (the most important university in the south of Italy) is called "department of Math and applications Renato Caccippoli"

[@oldcowbb]

seems like it will be very useful in nonlinear control

[@brightsideofmaths]

Yes, definitely

[@Satiric_cat]

What if the distance is 0.9999... + 0.0000...1. How far away are they then? <a href="#" class="seekto" data-time="114">1:54</a>

[@brightsideofmaths]

What is your metric space here?

[@tens0r884]

0.0000...1 is not a real number (its not well defined)

[@Satiric_cat]

@@tens0r884 Thank you for the answer. Would you like to expound on that?

[@tens0r884]

​@@Satiric_cat I mean your decimal representation doesnt make sense. A real number less than zero always has the representation \sum_{i = 1} a_i * 10^(-i)

[@Satiric_cat]

@@tens0r884 Ah ha.... my intention was to show (0 followed by infinitely many nines) + (0,0 followed by infinitely many zeros and a 1 at the end). 0.(9)n + 1/10n =1 Not any negative number. Like this en.wikipedia.org/wiki/0.999...#Rigorous_proof

[@Algebraictivist]

Cool

[@Ijkbeauty]

Vsauce

[@brightsideofmaths]

He?