How to Prove that the Interval (a, b] is Not an Open Set

Поделиться
HTML-код
  • Опубликовано: 18 дек 2024
  • In this video I will show you how to prove that the interval (a, b] is not an open set. I do a proof by contradiction and I go over all of the steps very carefully. I hope this video helps someone.
    If you enjoyed this video please consider liking, sharing, and subscribing.
    You can also help support my channel by becoming a member
    / @themathsorcerer
    Thank you:)

Комментарии • 44

  • @nullbrain8552
    @nullbrain8552 3 года назад +5

    Real analysis 1 brought me here and man am I so grateful for your videos. This stuff CAN be simple so long as its explained well! Thanks for doin what you do I am almost certain you have saved many a mathematics student's grade!

  • @liftsu9943
    @liftsu9943 4 года назад +11

    Was just literally studying about this exact definition for multivariable analysis. Amazing how you always upload stuff I'm working on

  • @BrettWoodPiano
    @BrettWoodPiano 4 года назад +9

    Perfect timing, my upcoming test has this topic

  • @thierrry.k
    @thierrry.k 4 года назад +4

    I like the way you make calculus seem easy

  • @MiguelMoreno-qc5ip
    @MiguelMoreno-qc5ip Год назад

    Thank you, I have a midterm tm and this has helped so much. Thank YOU!

  • @julioezequiel8935
    @julioezequiel8935 4 года назад +6

    This is cool, thanks for sharing

  • @turokg1578
    @turokg1578 Год назад

    thanks for this vid. i always have hard time proving these kind of obv. stuff. would love more analysis content.

  • @asifmahmud5646
    @asifmahmud5646 4 года назад +4

    Beautiful explanation!

  • @ammarrosdi6693
    @ammarrosdi6693 4 года назад +3

    Very good explanation 👍👍

  • @tino_
    @tino_ 3 года назад

    this guy is literally amazing

  • @mmeixner5051
    @mmeixner5051 4 года назад +2

    Very clear, thank you.

  • @dvashunz7880
    @dvashunz7880 4 года назад +2

    I am trying to figure out why it is necessary to go to the trouble of bringing ε/2 into the argument rather than just using ε. The only difference appears to be the assertion that b+ε/2 is an element of (b-ε,b+ε)⊆ (a,b] and therefore b+ε/2 is an element of (a,b] and therefore b+ε/2 is

    • @TheMathSorcerer
      @TheMathSorcerer  4 года назад +3

      yeah that's correct

    • @TheMathSorcerer
      @TheMathSorcerer  4 года назад +2

      implies b + e/2 is in (a, b], so b + e/2

    • @Alex-ri6be
      @Alex-ri6be 4 года назад +1

      I removed my comments but my name is still showing in some comments above. So for the record, this is what I posted:
      For all sets A and B of (extended) real numbers, A ⊆ B implies sup A ≤ sup B. Since sup(c,d) = d and sup(a,b] = b, we have (c,d) ⊆ (a,b] implies d ≤ b.
      So in the case of this video: (b-ε, b+ε) ⊆ (a,b] implies b+ε ≤ b. Which is the more direct contradiction you are talking about in your first comment.
      Of course in some classes at this level you may have to additionally prove these facts, for instance that sup(c,d)=d. In which case the argument of The Math Sorcerer is much shorter and direct. This is probably the reason he chose the approach of bringing ε/2 into the argument. So the argument in the video is not necessary, but may be preferred in some settings.
      Now I have answered all of the questions of your first comment.
      If you are satisfied with these answers, please remove the comments in which you mention my name. Good luck in your studies and have a good day!

    • @dvashunz7880
      @dvashunz7880 4 года назад

      Yeh, that wiggle room thing can be a slippery little sucker 👍

    • @dvashunz7880
      @dvashunz7880 4 года назад

      and in (a,b], b doesn't wiggle. So if it were the case that b < d, then there would be more of (c,d) wiggling past b. This would mean (c,d) would exceed the constraint of being contained in (a,b], thus contradicting the statement (c,d) ⊆ (a,b] .Such is the image my mind has conjured up.... feel free to help me out here 😂. Good times 👍

  • @pawpatrol55
    @pawpatrol55 8 месяцев назад

    does not open imply closed or do you have to prove closedness separately?

  • @lucascaixeta1119
    @lucascaixeta1119 Год назад

    Beautiful proof

  • @kunalbarua5145
    @kunalbarua5145 2 года назад +1

    Who said mathematicians can't be cool😁 Thanks for the video

  • @MrCentrax
    @MrCentrax Год назад

    Is there a video like this, showing that the set is neither closed?

  • @__.__-_.
    @__.__-_. 4 года назад +1

    Learned a new symbol ( c with line below it ) thx

    • @TheMathSorcerer
      @TheMathSorcerer  4 года назад +3

      ahh yes the all important subset symbol! let's call it

  • @yiuminghuynh5252
    @yiuminghuynh5252 4 года назад +1

    I sense a little bit of snark in the proof of contradiction LOL XD

  • @rizkyachsa4513
    @rizkyachsa4513 4 года назад +1

    thanks

  • @maxpercer7119
    @maxpercer7119 4 года назад +2

    YES! topology and ... we get to stay home because of corona. What better to do than study math.

  • @oraz.
    @oraz. 4 года назад +3

    Nice

  • @masoomparwej5650
    @masoomparwej5650 3 года назад

    How to prove that set of rational numbers is not closed??

    • @turokg1578
      @turokg1578 Год назад

      its dense in R and it doesn't contain any x € R so it doesnt contain all of its boundary points therefore its not closed.

  • @stevemwanza7521
    @stevemwanza7521 8 месяцев назад

    😊clear

  • @anshusingh9843
    @anshusingh9843 2 года назад +1

    Gzb

  • @charmilla96
    @charmilla96 4 года назад +1

    ♥️🇧🇷