Definition of Supremum and Infimum of a Set | Real Analysis

Поделиться
HTML-код
  • Опубликовано: 30 июл 2024
  • What are suprema and infima of a set? This is an important concept in real analysis, we'll be defining both terms today with supremum examples and infimum examples to help make it clear! In short, a supremum of a set is a least upper bound. An infimum is a greatest lower bound. It is easily proven that we can refer to "the supremum" and "the infimum" of a set because if they exist they are unique.
    Epsilon Definition of Supremum and Infimum: • Epsilon Definition of ...
    Proof that suprema and infima are unique: • Proof: Supremum and In...
    Proof the maximum of a set is the supremum: • Proof: Maximum of a Se...
    Absolute value inequality result we mention near the end of the lesson: • Proof: A Useful Absolu...
    Supremum and Infimum Example Exercises:
    • Proof: Supremum of {1/...
    • Supremum of the Union ...
    • Proof: Supremum of {1/...
    • Proof: Minimum of a Se...
    • Proof: Infimum of {1/n...
    • Prove Infimums Exist w...
    Thanks to Nasser Alhouti, Robert Rennie, Barbara Sharrock, and Lyndon for their generous support on Patreon!
    ◆ Donate on PayPal: www.paypal.me/wrathofmath
    ◆ Support Wrath of Math on Patreon: / wrathofmathlessons
    I hope you find this video helpful, and be sure to ask any questions down in the comments!
    +WRATH OF MATH+
    Follow Wrath of Math on...
    ● Instagram: / wrathofmathedu
    ● Facebook: / wrathofmath
    ● Twitter: / wrathofmathedu
    My Music Channel: / @emery3050

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

  • @WrathofMath
    @WrathofMath  3 года назад +12

    Check out my Real Analysis playlist for more! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli
    Let me know if you have any requests!

  • @oldcowbb
    @oldcowbb 2 года назад +34

    i thought this would be a really bad video when you were just reading the definition at the beginning, but the explanations and the examples following are super helpful

  • @zafaris
    @zafaris Год назад +5

    I'm studying logic for computer science at university and this really helped! The visual explanations and examples helped the concepts of supremum and infimum to click in my mind.

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

      So glad it helped, thanks for watching!

  • @xyz-fq8lv
    @xyz-fq8lv 2 года назад +2

    Very nice and completely understandable at once about the concept.

  • @rachelmadoo3671
    @rachelmadoo3671 3 года назад +6

    from the moment you said the channel name I knew this was gonna be good. Also these videos are a life saver

    • @WrathofMath
      @WrathofMath  3 года назад +1

      Thank you Kakashi-sensei! Be sure to keep your Sharingan on my Real Analysis playlist, many more lessons coming! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli
      Or if you're in a more rhythmic mood, don't miss my math raps: ruclips.net/p/PLztBpqftvzxW7a66b0dJPgknWsfbFQP-c

    • @rachelmadoo3671
      @rachelmadoo3671 3 года назад +1

      @@WrathofMath ahhhhhhggggzjsn okay!

  • @JimbobFaz
    @JimbobFaz Год назад +1

    These videos are the best I have found so far on real analysis. Great work! 👍

    • @WrathofMath
      @WrathofMath  Год назад +1

      Thanks so much! Still a long ways to go with this analysis playlist, but I've enjoyed making the highest quality videos I can for the subject! I'd like it to be the definitive playlist on the topic when I am done.

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

      The way you explain the concept and rational before just diving into the proofs is very helpful in getting the idea across, and this ultimately makes understanding the proofs and definitions a lot easier. Your proofs are also very good and rigorous.
      I have a 1st class undergraduate maths degree and I still find real analysis pretty difficult. Im trying to watch your videos ATM as a refresher and to try deepen understanding as im starting to forget this stuff after not studying it for a while and when picking up an old text book on metric spaces it all seemed rock solid again! I get rusty so fast when I stop studying maths. The hardest bit in real analysis that I remember not understanding very well and struggling the most with was about function spaces and uniform convergence of functions (not sure if this is what isknown as functional analysis though?)Also, the in abstract algebra I found in fields was very hard, rings not as much, and group theory was fine.

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

    Many thanks for this good video.

  • @user-wr4yl7tx3w
    @user-wr4yl7tx3w 2 года назад

    so well explained!

  • @ayaudh
    @ayaudh 25 дней назад

    Very nicely explained.

  • @GerardFunClub
    @GerardFunClub 6 месяцев назад

    Thank you very much!!!

  • @valeriereid2337
    @valeriereid2337 11 месяцев назад

    Thanks for this excellent explanation of the supremum and infimum. This most certainly helped.

    • @WrathofMath
      @WrathofMath  11 месяцев назад

      Glad to hear it - thanks for watching!

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

    Can you help on the sup and inf of a closed set union natural numbers

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

    Just wondering why do we use supremum and Infimum? What good are finding the upper/lower bounds of a set? I think I’d solidify these lessons more if I knew what they were used in, but the explanation was really clear and nice! Keep up the great work!

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

      Thanks for watching and great question! I'll mention I don't love doing a bunch of lessons with no particular context, but the most common situation is that someone is learning something in a class - where they're getting more context - and just need some extra help understanding a particular concept, which is why I think its worthwhile to present topics with hyper-focus on the concept itself, without spending too much time on context which the majority of viewers who find this lesson over the coming years will already have from their classes.
      In this lesson though I touch on perhaps the biggest use of supremum and infimum right at the end of the lesson! By taking the completeness axiom, which guarantees us the existence of infima and suprema of bounded sets, we can "complete" the rational numbers - filling in their holes with all the irrational real numbers. And this completeness is tremendously nice to have.
      In future real analysis lessons we'll see more powerful results involving bounded sets, and suprema and infima, which will hopefully make their value more clear! And of course, it all builds up a rigorous foundation for calculus which is some of the most useful math ever devised!

    • @anjaneyasharma322
      @anjaneyasharma322 3 года назад +1

      Cheaty Hotbeef Someboddyhas reached the top So whatever he says or observes has to be of very high value.
      In today's times it can be for getting doctorate.
      Simply put in the given set of values or bounded interval there will be two values
      Highest is Supremum and Lowest is Infimum.
      As Cheatybeef says this observation is very very ordinary.
      If instead of interval a function is taken
      It will have some value like
      Function is convergent or divergent
      real roots or imaginary etc for analysis.

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

      this is the one question you are not allowed to ask a math teacher (or any teacher) , WHAT IS THE POINT OF LEARNING this?
      answer: one day you will find out (or not)???

    • @placeholder6811
      @placeholder6811 Год назад +2

      @@maxpercer7119 As a topology teacher for 20 years, I wholeheartedly disagree with you. You are speaking from arrogance. Students who are learning new material don't even know what they don't know so it is nice to have something to ground their learning direction. Walking around a subject vacuously is one of the easiest ways for students to get disinterested. For shame if you are an educator.

  • @jonathanabraham2655
    @jonathanabraham2655 3 месяца назад

    Hello doctor, here 8:22 is the set {1/n: n€N} an open or closed set? I think it’s closed as taking x=1 then any delta>0 makes x+delta beyond the set. Is that assumption right or not? Thank you😊

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

    how do you show that the set S=a/b E(0,1) is unbounded

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

    Your lectures are great ...love them

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

    Just a quick question at 6:25 do you mean 0 is greater than n instead of 0 is greater or equal than n for all n belongs to the natural number set.

  • @sumittete2804
    @sumittete2804 2 года назад

    Sir ...what are the supremum and infimum of (0,1) intersection {m+n√2 : m,n€Z}?

  • @OmarAhmed-ic4fw
    @OmarAhmed-ic4fw 2 года назад

    May you make a video on the completeness axiom, pleases!

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

    Thanks for this. Great explanation.

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

      My pleasure, thanks for watching! Let me know if you have any questions, and if you're looking for more real analysis check out my playlist! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @aishwaryapotdar1348
    @aishwaryapotdar1348 Год назад +1

    crystal, got it, thank you

  • @lalhriatpuiahmar5057
    @lalhriatpuiahmar5057 2 года назад

    Thank you for your great explanation

    • @WrathofMath
      @WrathofMath  2 года назад

      My pleasure! Thanks a lot for watching, and if you're looking for more analysis - check out my playlist! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @Hana-gj7mi
    @Hana-gj7mi 2 года назад

    Great video, thanks!

    • @WrathofMath
      @WrathofMath  2 года назад

      My pleasure, thanks for watching and check out my real analysis playlist if you're looking for more!
      ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

    for the last example why can’t the infimum be -sqrt (-1) as it’s less than 2

  • @archibongbenjamine8606
    @archibongbenjamine8606 3 года назад +1

    Thank you this vidoes really brought me out of confusion

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

      So glad it helped! Thanks for watching, and if you're looking for more analysis check out my playlist! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @hnr683
    @hnr683 2 года назад

    very talented work and very clear

    • @WrathofMath
      @WrathofMath  2 года назад

      Glad to hear it, thanks for watching and check out my analysis playlist for more! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @user-wd2nx4lt1g
    @user-wd2nx4lt1g 5 месяцев назад

    very interesting

  • @tanvirkaisar7245
    @tanvirkaisar7245 Год назад +1

    Sorry for the dumb question, but for the last example, if we take Q as our field instead of R, then should not the sup and inf be +1 and -1 respectively?

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

    Nice and simple explanation 😇❤

    • @WrathofMath
      @WrathofMath  2 года назад

      Thank you, glad it was clear! Let me know if you have any questions, and check out my playlist if you're looking for more analysis! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

    So, just take any real number, either included in the subset or not, that fits the definition of lower or upper bounds, either the interval is open or closed. Just as long as it's not infinity

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

    Aren't these usually called the GLB and the LUB ? I like to use lim sup and lim inf for sets, but maybe that is just my habit.

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

    Big help!
    Thanks!

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

      My pleasure, thanks for watching!

  • @caotriinh3236
    @caotriinh3236 2 года назад

    great explanation!

    • @WrathofMath
      @WrathofMath  2 года назад

      Thank you! Check out my analysis playlist for more, and let me know if you have any questions! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @mustafamalik4211
    @mustafamalik4211 2 года назад

    Excellent explanation.

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

      Thanks, Mustafa! Let me know if you have any questions, and check out my analysis playlist if you're looking for more: ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

    Brilliant video

  • @user-zn6xb5ho8f
    @user-zn6xb5ho8f 8 месяцев назад

    great . i learnt this easily from you❤

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

    Thank you!!

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

      No problem, thanks for watching! Check out my Real Analysis playlist if you’re looking for more on the subject, many more lessons to come! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

    Thanks for this .... pls I need more explanation on limit and continues

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

      My pleasure, thanks for watching! I am working my way through creating lessons on analysis, so we will get to limits and continuity soon enough. Check out the playlist I am putting together if you haven't already: ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli
      Lots more to come!

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

    Too good! Subscribed

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

      Thanks, Marcus! Be sure to check out my Real Analysis playlist: ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli
      Planning to build it up a lot more as this year continues!

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

      @@WrathofMath I certainly will! Thank you for the link :)

  • @user-qb4pz6ru1c
    @user-qb4pz6ru1c Год назад

    nice video

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

    Good explanation

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

    I'm starting to like analysis now, thanks.

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

      Glad to hear it! I like it a lot, it's a fascinating subject! If you haven't already, check out my real analysis playlist: ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli
      Let me know if you ever have any video requests!

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

      @@WrathofMath sounds good thanks :D

  • @citizencj3389
    @citizencj3389 2 года назад +2

    These concepts are VERY useful in understanding compact sets which can also help understand uniform continuity. Triangle inequality is op af in analytical math.

    • @WrathofMath
      @WrathofMath  2 года назад

      Definitely! And that's a funny way to put it - I agree, it's super OP, and you'd never expect it!

  • @musratjahan4452
    @musratjahan4452 2 года назад

    Thank you sir

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

      My pleasure, thanks for watching! If you're looking for more analysis lessons, check out my playlist! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

  • @AmjadKhan-xo2ux
    @AmjadKhan-xo2ux 2 года назад

    Is it necessary for a supermum to be an element of ordered field.

    • @WrathofMath
      @WrathofMath  2 года назад

      Yes indeed! We need to know what numbers are being considered. So if S is the set, the supremum need not be in S, but it must be in the field S belongs to (which field this is can depend on context, since sets can belong to multiple fields we must specify the one we are considering).

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

    Wow great video ,greetings from india 🙏

    • @WrathofMath
      @WrathofMath  3 года назад +1

      Thank you, from the US! Be sure to check out my Real Analysis playlist if you're studying the subject, many more lessons to come! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

      @@WrathofMath yes sir ofcourse thank you so much 🙏I'm crying 😭in happyness🙏

  • @mkthakral
    @mkthakral 2 года назад

    Thank God you are here.

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

      I do my best, thanks for watching and let me know if you have any questions!

    • @mkthakral
      @mkthakral 2 года назад

      @@WrathofMath Thank you so much.

  • @existentialrap521
    @existentialrap521 10 месяцев назад

    Your little dude saved me. I was thinking of b0 and b as being in the inside of the set S rather than outside. Once you moved the little yellow line i was like oh sht, this mfer spittin. Apologies for the crude comments. They help me retain sht way better than normal. That's why this is an anon account. Gang sht. I was raised in the hood tho. shootings at the corner trap house. they was cookin dope. get u a girl that'll cook w/ u. a ride or die. sup(S).

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

    i don’t understand why 0 isn’t the infimum in the first example, is it because it isn’t a natural number?

    • @citizencj3389
      @citizencj3389 2 года назад

      Infimums are the greatest lower bound. 0 is bounded above 1 so it is not an infimum...it is instead a minimum value. Remember the set of natural numbers do not include rational numbers. And 1 is the greatest lower bound of the set of natural numbers.

  • @emmanuelcampos82
    @emmanuelcampos82 2 года назад

    What is the sup and inf of this S=(-∞, 5)?

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

    Teach us the maximum and minimum of a set( non empty set)

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

    Sir induced relation plz

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

    Wow 👏

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

    1 ) For N = {1,2,3,...} Why can't we say infinity is the supremum?

    • @he_is_mark
      @he_is_mark 8 месяцев назад +1

      this set is not bounded above, therefore there's no supremum

  • @efeberkeksi7301
    @efeberkeksi7301 2 года назад

    Isn't zero a naturel number as well?

    • @WrathofMath
      @WrathofMath  2 года назад

      Thanks for watching! Some people consider it one, I generally don't and in my experience most people don't (though it's far from a great majority). Sometimes the "whole numbers" are considered to be the set of naturals with 0 included.
      And if you're looking for more real analysis, check out my playlist! ruclips.net/p/PLztBpqftvzxWo4HxUYV58ENhxHV32Wxli

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

    Damnit! Now I want some soup.

  • @kazikmajster5650
    @kazikmajster5650 11 месяцев назад +1

    Hey! The Naturals start with 0!

  • @kaos092
    @kaos092 2 года назад

    How is 1 the greatest lower bound of the natural numbers? The logic used to make one the greatest lower bound would also make 2 the greatest lower bound.

    • @WrathofMath
      @WrathofMath  2 года назад

      1 is the greatest lower bound of the naturals because
      a) 1 is a lower bound of the naturals, there is no natural number less than 1
      b) there is no lower bound of the naturals greater than 1, we know this because any number x greater than 1 couldn't be a lower bound of the naturals, since 1 (a natural) is less than x. For example, 2 is not the greatest lower bound of the naturals since it is not a lower bound at all, the natural number 1 is less than it.

    • @kaos092
      @kaos092 2 года назад

      @@WrathofMath Are you basically saying 0 isn't a natural number?

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

      Yes. If you include 0 as a natural, then it would be the infimum.

    • @kaos092
      @kaos092 2 года назад

      @@WrathofMath Wow thank you!

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

    The first slide of an explanation should never be an esoteric definition... but a good video anyways.

    • @WrathofMath
      @WrathofMath  3 года назад +1

      Thank you! I disagree for these sorts of videos, because people generally find them by searching for them specifically, and so have already had some form of introduction to the concept. I like to have the definition on screen so anyone who just wants a definition can see it immediately, but I begin this lesson with a simple explanation of what each definition means. For a normal in-person math lecture though, I agree!

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

    supremum = tightest upper bound , least upper bound, least max, best max
    infimum = tightest lower bound, greatest lower bound , greatest min, best min

  • @ArtisticEats
    @ArtisticEats 3 дня назад

    supremum of the natural number should be +∞

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

    Why can't the infimum of natural numbers be > 1 @wrath of math

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

      That's because the infimum is by definition the greatest lower bound, and seeing as 1 is in the set of natural numbers, anything greater than 1 cannot be a lower bound.

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

      @@WrathofMath thank you 🙏