Completion of a metric space

Here is fundamental mathematical result in mathematics, namely: any metric space, no matter how crazy it is, can be completed. After watching this video, it should be no surprise that the rational numbers can be completed to get the real numbers. The proof itself is very neat and kind of meta too! Enjoy
Topology Playlist: • Topology
Subscribe to my channel: / drpeyam
Check out my TikTok channel: / drpeyam
Follow me on Instagram: / peyamstagram
Follow me on Twitter: / drpeyam
Teespring merch: teespring.com/stores/dr-peyam

Пікірлер: 39

  • @dbmalesani
    @dbmalesani3 жыл бұрын

    This is a beautiful theorem and a nice proof. Well done. It fascinates me that this construction relies on ℝ being a complete metric space. The completeness of ℝ seems to allow to construct a completion for every other metric space.

  • @drpeyam

    @drpeyam

    3 жыл бұрын

    Wow you’re right, I didn’t notice that

  • @harambesson1098

    @harambesson1098

    3 жыл бұрын

    Exactly my thoughts. Thanks for expressing it more clearly 😁😁

  • @sm_1425
    @sm_14253 жыл бұрын

    You're such a humble teacher, I love it!

  • @michaelkoch6863

    @michaelkoch6863

    3 жыл бұрын

    ^^

  • @trtlphnx
    @trtlphnx3 жыл бұрын

    Thank You For ALL You Do, you Are A Great Instructor

  • @umerfarooq4831
    @umerfarooq48313 жыл бұрын

    Great video, you make studying math truly fun and very helpful thank you

  • @murielfang755
    @murielfang7552 жыл бұрын

    I am a visiting undergraduate to Berkeley and going to take Introduction to Topology and Analysis this semester. It is indeed a challenging course, and fortunately I see your videos. They really helpa lot! Thank you!

  • @drpeyam

    @drpeyam

    2 жыл бұрын

    Yay 202A!!! Isn’t Rieffel teaching it? I had him for 202B in Spring 2008. His class is tough but his homework is interesting! Tell him hi whenever you can 😁

  • @murielfang755

    @murielfang755

    2 жыл бұрын

    @@drpeyam Yes! It's Rieffel, exactly! Got your message!

  • @dushyanthabandarapalipana5492
    @dushyanthabandarapalipana54923 жыл бұрын

    Thank you!

  • @matematicasemplice
    @matematicasemplice3 жыл бұрын

    Thank You! A very good Explantation! I have a Little math Channel in italian and I appreciate you a lot

  • @godthinkun
    @godthinkun3 жыл бұрын

    Thank you for good videos

  • @nicolascamargo8339
    @nicolascamargo83398 ай бұрын

    Grandiosa explicación

  • @shivaudaiyar2556
    @shivaudaiyar25563 жыл бұрын

    Thanks for such a great content with love from India

  • @dgrandlapinblanc
    @dgrandlapinblanc3 жыл бұрын

    What of things with Cauchy ! Thank you very much for this demonstration Dr Peyam.

  • @dgrandlapinblanc
    @dgrandlapinblanc2 жыл бұрын

    It's the second time that i see the video, i find it always hard but thank you very much.

  • @thedoublehelix5661
    @thedoublehelix56613 жыл бұрын

    The idea is really simple, but some portions of the proof are quite tricky !

  • @greatstuff5

    @greatstuff5

    3 жыл бұрын

    So true

  • @greatstuff5

    @greatstuff5

    3 жыл бұрын

    Bruh how ur comment a week earlier than the goddamn video itself

  • @thedoublehelix5661

    @thedoublehelix5661

    3 жыл бұрын

    @@greatstuff5 He has a playlist with all the videos from his analysis class in advance

  • @greatstuff5

    @greatstuff5

    3 жыл бұрын

    @@thedoublehelix5661 ahhhhh lol I was like wth

  • @thedoublehelix5661

    @thedoublehelix5661

    3 жыл бұрын

    @Jose Ignacio Millán nope

  • @Nick-kg7sk
    @Nick-kg7sk3 жыл бұрын

    You should make a video about field norms and Ostrowski’s theorem

  • @IzenaiYT
    @IzenaiYT3 жыл бұрын

    Why is this so comfortable 🥰

  • @mathssolverpoint6059
    @mathssolverpoint60593 жыл бұрын

    Make some more video on metric space please

  • @drpeyam

    @drpeyam

    3 жыл бұрын

    See playlist

  • @ChuckNorris-ly6uo
    @ChuckNorris-ly6uo3 жыл бұрын

    how do you map a cauchy seq in S that say tends to sqrt(2) to S´? Is that seq considered a point in S?

  • @riadsouissi
    @riadsouissi3 жыл бұрын

    Excellent video. At 20:00, to be more precise, shouldn't N(underscore) depend on k, so N(k)? In which case P* = [P(k, n+N(k)]? Also, at 22:00, I suppose [q(n)] is constructed from P* not P?

  • @francaisdeuxbaguetteiii7316
    @francaisdeuxbaguetteiii73163 жыл бұрын

    where is the million subscribers? You deserve way more.

  • @drpeyam

    @drpeyam

    3 жыл бұрын

    Awww thank you!!!!

  • @rikhalder5708
    @rikhalder57083 жыл бұрын

    Well well.....

  • @ar3568row
    @ar3568row5 ай бұрын

    how did they think of all this out of thin air when these theorems were being developed, when this field was new 💀

  • @kruksog
    @kruksog3 жыл бұрын

    Ugh, I never took an analysis course, and I feel like it's such a big chunk missing from my toolkit. (If you're wondering why I missed analysis, I was getting a CS major as well and so took a ton of discrete math courses.)

  • @drpeyam

    @drpeyam

    3 жыл бұрын

    Check out the playlist, it will help

  • @kruksog

    @kruksog

    3 жыл бұрын

    @@drpeyam Dr pi*m, you are such a quality instructor. Thank you for your suggestion. I will be sure to consider and explore it.

  • @rikhalder5708
    @rikhalder57083 жыл бұрын

    What's difference between undefined and indeterminant.

  • @drpeyam

    @drpeyam

    3 жыл бұрын

    Indeterminate is for limits usually, like 0/0

  • @overridezone973
    @overridezone9733 жыл бұрын

    Sir i love your voice tune😂😂😅😅👍🏻