Real Analysis | Subsequences

Sdílet
Vložit
  • čas přidán 26. 08. 2024
  • We introduce the notion of a subsequence and prove a few simple results including the Bolzano-Weirstrass Theorem.
    Please Subscribe: www.youtube.co...
    Merch: teespring.com/...
    Personal Website: www.michael-pen...
    Randolph College Math: www.randolphcol...
    Randolph College Math and Science on Facebook: / randolph.science
    Research Gate profile: www.researchga...
    Google Scholar profile: scholar.google...
    If you are going to use an ad-blocker, considering using brave and tipping me BAT!
    brave.com/sdp793
    Buy textbooks here and help me out: amzn.to/31Bj9ye
    Buy an amazon gift card and help me out: amzn.to/2PComAf
    Books I like:
    Abstract Algebra:
    Judson(online): abstract.ups.edu/
    Judson(print): amzn.to/2Xg92wD
    Dummit and Foote: amzn.to/2zYOrok
    Gallian: amzn.to/2zg4YEo
    Artin: amzn.to/2LQ8l7C
    Differential Forms:
    Bachman: amzn.to/2z9wljH
    Number Theory:
    Crisman(online): math.gordon.edu...
    Strayer: amzn.to/3bXwLah
    Andrews: amzn.to/2zWlOZ0
    Analysis:
    Abbot: amzn.to/3cwYtuF
    How to think about Analysis: amzn.to/2AIhwVm
    Calculus:
    OpenStax(online): openstax.org/s...
    OpenStax Vol 1: amzn.to/2zlreN8
    OpenStax Vol 2: amzn.to/2TtwoxH
    OpenStax Vol 3: amzn.to/3bPJ3Bn
    My Filming Equipment:
    Camera: amzn.to/3kx2JzE
    Lense: amzn.to/2PFxPXA
    Audio Recorder: amzn.to/2XLzkaZ
    Microphones: amzn.to/3fJED0T
    Lights: amzn.to/2XHxRT0
    White Chalk: amzn.to/3ipu3Oh
    Color Chalk: amzn.to/2XL6eIJ

Komentáře • 41

  • @kademeyer9993
    @kademeyer9993 Před 3 lety +26

    Dude I just wanted to say that I fell in love with this channel within a single video. I was looking for help on a homework for my intro to analysis class and stumbled across your video on cauchy sequences. I was almost in disbelief at how efficiently you explain these concepts. Keep rocking on man!

  • @tyjensen8366
    @tyjensen8366 Před 4 lety +41

    Btw the fact that every bounded sequence has a convergent subsequence is called the Bolzano-Weierstrass Theorem

    • @razvbir
      @razvbir Před 4 lety +1

      I was told that Bolzano-Weierstrass says that any infinite and bounded subset of R^n has at least one accumulation point. This video looks more like a corollary to me.

    • @razvbir
      @razvbir Před 4 lety

      @VeryEvilPettingZoo We proved that every bounded sequence has a convergent subsequence by proving that every bounded sequence has a monotone subsequence. Bolzano-Weierstrass Theorem was another lecture and I've never realised that the two are equivalent.

  • @JoshStadler
    @JoshStadler Před 4 lety +14

    Thank you for doing these videos. These are the best real analysis lectures I can find!

  • @thatdude_93
    @thatdude_93 Před 4 lety +12

    I just wanna mention, a sequence is not a set! In a set the order or repeated appearance of the member is irrlevant, i.e {1,3,2,3,3,4}={1,2,3,4}, whereas in a sequence these factors indeed play a role. Thats why the notation (a_n) is more common than {a_n}, since formally, a K-valued sequence is a map IN --> K, hence an element of the IN-fold cartesian product of K, thus more akin to a vector with infinitely many entries, than a set.

  • @doodelay
    @doodelay Před 4 lety +4

    I'm on my way to real analysis right after Calc 3, so I cannot thank u enough for having advanced topics like this ready for me and everyone else who'll need them.

    • @taopaille-paille4992
      @taopaille-paille4992 Před 4 lety

      it is not advanced though.

    • @doodelay
      @doodelay Před 4 lety

      @@taopaille-paille4992 Real analysis is an introduction to advanced calculus because it is the theory of calculus on real numbers. You cannot get more advanced than the theory itself I think. Further i'm not speaking on this specific video topic, he's creating a full real analysis playlist

  • @jonaskoelker
    @jonaskoelker Před 2 lety +1

    Every increasing sequence of natural numbers is unbounded:
    Let n_i be an increasing sequence of natural numbers (N = {1, 2, ...}), and assume for contradiction that there is a natural number M such that n_i < M for all i.
    Since the n_i are increasing we have
    n_i < n_i + 1 = n_{i+k} + 1 >= (k + n_i) + 1 = n_i + (k+1)
    so in general n_{k+d} >= d + n_k by induction.
    But then n_{M+1} >= M + n_1 > M, contradicting n_{M+1} < M.

  • @victorserras
    @victorserras Před 3 lety +2

    These lectures are incredible, the explanations are so clear. Thanks for these videos.

  • @thesecondderivative8967

    5:37 I'm unsure if this is correct but here's my proof. Assuming n_k is bounded, Since it is strictly increasing, n_k has a limit. Therefore;
    L - e < n_k 0.5. That means you can find an epsilon small enough but greater than zero for which our expression is less than 1. This leads to a contradiction.

  • @muwongeevanspaul9166
    @muwongeevanspaul9166 Před 3 lety

    Michael Pen, I looked at this video my first time and I quit it coz possibly my mind had not yet settled but just again have looked at it, I have clearly understood what is a subsequence and how to come up with one. This is so easy. Thanks alot Pen, it is a puzzle that has been bothering me alot. I have understood the idea. Thanks so much. May the Good LORD maker and creator of heavens and the Earth bless u and really bless u much.

  • @ashlaw2102
    @ashlaw2102 Před 2 lety

    in the proof of B-W theorem ,you must take n1

  • @NoOne-wb9xr
    @NoOne-wb9xr Před 4 lety +7

    Good Place to Start 0:14
    Good Place to Stop 22:14
    Needless to say, the whole video is a Good Thing to Watch

    • @goodplacetostop2973
      @goodplacetostop2973 Před 4 lety +1

      So now it becomes a race? Lmao, I think we go a little too far that with meme 😂

    • @NoOne-wb9xr
      @NoOne-wb9xr Před 4 lety

      @@goodplacetostop2973 lol

    • @NoOne-wb9xr
      @NoOne-wb9xr Před 4 lety

      TBH I just wanted to surprise you a little

  • @goodplacetostop2973
    @goodplacetostop2973 Před 4 lety +5

    22:13

  • @razvbir
    @razvbir Před 4 lety +3

    I was taugh a more complicated proof of the last result. 😅 This video was very useful. 😊

  • @rizalpurnawan3796
    @rizalpurnawan3796 Před 3 lety

    I was roaming around to this channel to find some inspiration to prove that, in the case of metric space, the complement of a closed subset S of a metric space (M, d) is open, using Cauchy sequence. And 04:45 on this video gave me the idea. Great video! Thanks sir!

  • @lucassaito1791
    @lucassaito1791 Před 3 lety +1

    The notation is quite confusing, but fortunately now I got it, thanks!

  • @doodelay
    @doodelay Před 4 lety +3

    Also professor if u don't mind the question, are u able to do research papers when running a channel like this? or has the channel become a full priority now? thx! I'm just trying to gauge how time consuming it is to be a researcher

  • @nestorv7627
    @nestorv7627 Před 4 lety

    If M/2^(k-1) is the length of the I_k th set, then shouldn't the length of the I_K th (k>K) set be bigger? This means that the step at the end ( 21:16 ) when he says that the length of the I_K th set is less than epsilon is not correct.
    length of I_k < length of I_K
    So even if (length of I_k ) is less than ε, this does not imply that the length of I_K is also less than epsilon.

    • @malawigw
      @malawigw Před 4 lety

      if k>K then lenght(I_k) < lenght(I_K)

  • @devnull5475
    @devnull5475 Před 6 měsíci

    I don't really know any set theory. But, question: Was that the Axiom of Choice in the second proof?

  • @uffe997
    @uffe997 Před rokem

    I think a strictly increasing sequence can be bounded?

  • @ochinglam599
    @ochinglam599 Před 2 lety +1

    How do you make sure that the n_1,n_2,... you picked is strictly increasing?

    • @jimallysonnevado3973
      @jimallysonnevado3973 Před 2 lety +3

      Use the fact that natural numbers are unbounded, and we are picking from the partition that has infinitely many terms. We may choose to pick a_nk where n_k is bigger than everything we have previously picked. This is possible because in each step we only have chosen finitely many terms and there are infinitely many terms to choose another term from.

    • @ochinglam599
      @ochinglam599 Před 2 lety

      @@jimallysonnevado3973 thanks!

  • @maxpercer7119
    @maxpercer7119 Před 3 lety

    9:24 a lot of letters to keep track of, lower and upper case

  • @rahul_k_a_g
    @rahul_k_a_g Před 2 lety

    Michael can you please help me on a question where we have a constant sequence and are asked about number of subsequences of it. Do we count the subsequences as distinct or is it only one?

  • @fym4x7
    @fym4x7 Před 4 lety +1

    What if the sequence is alternating sign? I don't think the convergence holds for that, or am I wrong? 😅

    • @razvbir
      @razvbir Před 4 lety +2

      You can take a subsequence that's not alternating. For example, if you have (-1)^n you can take the subsequence (-1)^{n_k} where n_k is even.

  • @dewittreeve4345
    @dewittreeve4345 Před 3 lety

    You did a very good job. Years after college I’m beginning to understand analysis, thank you!

  • @OvsankaPoutram
    @OvsankaPoutram Před 4 lety

    What is the quantity of all irreducible polynomials of degree n with coefficients from Z/pZ, where p is prime?

    • @OvsankaPoutram
      @OvsankaPoutram Před 4 lety

      @VeryEvilPettingZoo I hope there is a nice way to count the quantity of all reducible polynomials. But I cannot find it. I also don't like the solution you described.

  • @onwechisomemmanuel4489

    For a sequence to be bounded I thought you have less than or equal to sign instead of less than and you made a mistake and you used the open interval

  • @stenzenneznets
    @stenzenneznets Před 4 lety +1

    I prefer the classic proof of the Bolzano Weierstrass theorem