Compact Sets are Closed and Bounded

In this video we prove that a compact set in a metric space is closed and bounded. This is a primer to the Heine Borel Theorem, which states that the converse is true in Euclidean spaces (i.e. R^n).
#Compact #ClosedAndBounded #HeineBorel
CHECK OUT OTHER TYPES OF VIDEOS:
================================
GRE Math Subject Test: • Improve Your Math Subj...
Putnam Math Competition: • Putnam Math Competitio...
Math Theorem Corner: • Math Theorems | Learn ...
Math Problems Corner: • Problem Solving Strate...
Math Insights: • Learn New Math Techniq...
Academic Advice: • Academic Advice for Un...
GET MY BOOK ON AMAZON!!
========================
"Number Theory Towards RSA Cryptography in 10 Undergraduate Lectures"
www.amazon.com/Number-Theory-...
CHECK ME OUT ON THE INTERNET!!
==============================
Website: www.mohamedomar.org
Twitter: @mohamedomarphd
Instagram: profomarmath
KZread: / profomarmath
And of course, subscribe to my channel!

Пікірлер: 30

  • @shirleymoon9934
    @shirleymoon9934

    The techniques used in the proof helped me clarify some other topology properties, thank you so much 👍🏻

  • @punditgi
    @punditgi3 жыл бұрын

    Excellent presentation of this theorem. Great idea to start with a metric space. 👍

  • @drose3723
    @drose37232 жыл бұрын

    Amazing video. Thank you so much!

  • @paulbiblio
    @paulbiblio Жыл бұрын

    Well done sir!

  • @adebayoemmanuel911
    @adebayoemmanuel911 Жыл бұрын

    Thank you so much Prof.

  • @lovemath127
    @lovemath127

    Heine Borel Thm bring me here❤️❤️❤️

  • @ListenToSleep
    @ListenToSleep4 жыл бұрын

    I'm hopelessly bad at math, but I love your videos anyway! :)

  • @discipulusoperarios2721
    @discipulusoperarios2721 Жыл бұрын

    why bounded set is less or equal to, but not less than? It is clear that

  • @rjy9387
    @rjy93873 жыл бұрын

    subscribed just from that beautiful "subscribe" pointing

  • @saadibnasaadhusain
    @saadibnasaadhusain2 жыл бұрын

    If we were in a general topological space and not necessarily a metric space, how would you define the notion of boundedness?

  • @BlackTigerClaws
    @BlackTigerClaws4 жыл бұрын

    So simple and clean! I don't quite get why it's necessary when you're showing compact => closed, to choose a ball of radius 1/2n_1, rather than just 1/n_1. Wouldn't the ball of radius 1/n_1 be separated too if S is contained in S_{1/n_1}=compliment(closure(B_(1/n_1))), which has to be disjoint to B_(1/n_1)?

  • @thezombat123
    @thezombat1234 жыл бұрын

    Really, the proof for compact implies closed goes much more smoothly if we use the Bolzano Weierstrass property.

  • @kanewilliams1653
    @kanewilliams16533 жыл бұрын

    6:28

  • @user-zj4ze9fi4y
    @user-zj4ze9fi4y Жыл бұрын

    this is how you prove ?