Real Analysis | Cauchy Sequences

We introduce the notion of a Cauchy sequence, give an example, and prove that a sequence of real numbers converges if and only if it is Cauchy.
Please Subscribe: kzread.info...
Merch: teespring.com/stores/michael-...
Personal Website: www.michael-penn.net
Randolph College Math: www.randolphcollege.edu/mathem...
Randolph College Math and Science on Facebook: / randolph.science
Research Gate profile: www.researchgate.net/profile/...
Google Scholar profile: scholar.google.com/citations?...
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/ntic/
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/subjects/math
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

Пікірлер: 94

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

    Mr. Michael I am a Ugandan lady ,I have a test soon ,I would like to say thank you for teaching me coz reading this stuff on my own is tough and I end up taking alot of time , God bless you for real coz eeeh..

  • @dw5chaosfan
    @dw5chaosfan3 жыл бұрын

    Examples of sets in which cauchy sequences which do not always converge: The rational numbers Polynomials with any Lp norm Smooth solutions of a PDE (If I remember correctly, they're dense in Sobolev space)

  • @sinecurve9999

    @sinecurve9999

    3 жыл бұрын

    Real analysis? Pshaw! We must delve into the "polynomial analysis"...

  • @danwe6297

    @danwe6297

    3 жыл бұрын

    Well, it's enough to have any pre-Hilbert space which is not Hilbert (supposing we have norm induced by the inner product).

  • @user-ez6kr8vy1y
    @user-ez6kr8vy1y3 жыл бұрын

    Thousand thanks for sharing this video. It really helps me figure out the basic idea of couchy sequence.

  • @josephmartos
    @josephmartos3 жыл бұрын

    We want the backfliiiiipsss!!! Haha nice videos sir!

  • @mrminer071166
    @mrminer0711663 жыл бұрын

    As someone who labored mightily in the SDSU math dept. tutoring room to acquaint struggling students with limit theory, the hardest idea in calculus, I have to say that the need for a SCRATCHWORK area to work backwards in, is underemphasize in this video. I had to tell students: imagine you're walking backwards down a staircase into a dark cellar. That's how it feels to work with limit theory . . . . until you get a feel for coming up with the mechanisms that ensure the operation of the Squeeze-Pipe.

  • @mrminer071166

    @mrminer071166

    3 жыл бұрын

    The SCRATCH is back-asswards to the proof; the proof is incomprehensible on first reading, before you've worked through the scratch. Pain in the neck!!!

  • @a.nelprober4971

    @a.nelprober4971

    2 жыл бұрын

    I am a first year student. Is it normal i find this shit hard?

  • @mrminer071166

    @mrminer071166

    2 жыл бұрын

    @@a.nelprober4971 Limit theory tends to make strong men cry, yes. It was figured out fairly LATE in the history of math, 19th c. You didn't see Pythagoras or Newton coming up with rigorous limit-theory proofs.

  • @a.nelprober4971

    @a.nelprober4971

    2 жыл бұрын

    @@mrminer071166 thanks. Makes me feel better. These are the inequalities they should be talking about in school

  • @mrminer071166

    @mrminer071166

    2 жыл бұрын

    @@a.nelprober4971 It's a perpetual pedagogical challenge to get kids to think in infinitesimals, when they're more comfortable with CONCRETE stuff. For instance, take a long strip of adding machine tape, like 3' to 6'. Have the student fold in half, then fold one piece back to make a quarter, then keep working with the end zig-zag fashion to make 1/8, 1/16, etc, as far as they can go. When then open the strip out again, they'll have a CONCRETE representation of the geometric series 1/2 + 1/4 + 1/8 . .. = 1. And of course when it's folded zig-zag style, they'll have the alternating series . . .I'll let you calculate what that adds up to!

  • @CharlesPanigeo
    @CharlesPanigeo3 жыл бұрын

    All convergent sequences in any metric space are Cauchy. The converse is not always true. For example the sequence (1+1/n)^n does not converge in the rational numbers (in the real numbers it converges to e, but e is not rational). A metric space where every Cauchy sequence is convergent is known as a complete metric space. In complete metric spaces a sequence is convergent if and only if it is Cauchy. The real numbers with the absolute value metric is complete. If we have a space that is not complete, we can make it complete, or more precisely, we can construct a complete metric space with a subspace that is isometric to the original metric space. This complete metric space is called a completion of our original not complete space. Importantly, the completion of a space is unique up to isometry. With this notion of the completion of a metric space, one was we can construct the real numbers from the rationals is by defining the the real numbers as the completion of the rationals under the absolute value metric.

  • @matt_uw
    @matt_uw3 жыл бұрын

    this has been so helpful. thank you for this!

  • @vincentochieng9698
    @vincentochieng96983 жыл бұрын

    I found this helpful, thank you sir.

  • @pratapswain4631
    @pratapswain46313 жыл бұрын

    Very helpful video👍..please make videos on group theory ☺️

  • @dzakytamir3048
    @dzakytamir30483 жыл бұрын

    Plz explain the complex analysis

  • @literallynull

    @literallynull

    Ай бұрын

    He did though..

  • @dzakytamir3048

    @dzakytamir3048

    Ай бұрын

    @@literallynull 3 years ago I need that :) thanks

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

    thank you for your good effort

  • @user-uw1ut4ss2q
    @user-uw1ut4ss2q2 жыл бұрын

    The fact that every Cauchy sequence in R converges depends on the axiom of completeness. The axiom of completeness implies the fact that every monotone bounded sequence in R converges. The fact that every monotone bounded sequence in R converges implies the fact that every bounded sequence in R has a convergent subsequence. Using this fact the convergence of Cauchy sequence is proved.

  • @thesecondderivative8967

    @thesecondderivative8967

    Жыл бұрын

    Can you explain how a convergent subsequence is related to the Cauchy-ness of a sequence? Also, can you explain how a Cauchy sequence requires the axiom of completeness?

  • @Jim-be8sj
    @Jim-be8sj3 жыл бұрын

    Completely awesome.

  • @miguelcerna7406
    @miguelcerna74063 жыл бұрын

    Thank you so much. Please make an ultimate Real Analysis playlist covering Rudin proofs.

  • @Roger_Kirk
    @Roger_Kirk3 жыл бұрын

    Love it. This video makes as much (or as little) sense as when I was first taught these thing by the brilliant Sandra Pott in my first year at York uni. I gradually went on to understand. But it takes me right back to those lectures and initially not having a clue what was going on as it was an entirely new topic and idea. In the end took loads of optional real analysis courses right in to my fourth year.

  • @maxpercer7119

    @maxpercer7119

    3 жыл бұрын

    what part doesnt make sense. it helps to look at concrete examples of sequences

  • @moupiyasaha7048
    @moupiyasaha70482 жыл бұрын

    Thanks for the explanation

  • @goodplacetostop2973
    @goodplacetostop29733 жыл бұрын

    19:13

  • @j9dz2sf

    @j9dz2sf

    3 жыл бұрын

    0:00 : good place to start.

  • @S24W2
    @S24W23 жыл бұрын

    Great teacher

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

    Sir .can you please explain why you cancel that (m+1) and (n+1)

  • @susannduku243
    @susannduku2432 жыл бұрын

    Very easy to understand

  • @morecokeplllllllz335
    @morecokeplllllllz3353 жыл бұрын

    at 9:28 , when we say that a series is convergent, shouldn't An approach 0 always? Is that 'L' there simply to count for all other possible emmm spaces (like not real numbers?)

  • @casdinnissen6032

    @casdinnissen6032

    3 жыл бұрын

    it doesn't always approach 0 right? The first example, A_n = n/(n+1) approaches 1 as n goes to infinity

  • @matheusfernandes5824
    @matheusfernandes582410 ай бұрын

    Very nice. I'm watching from Brazil.

  • @bobajaj4224
    @bobajaj42243 жыл бұрын

    and hence, we prove that the space of rationals is not a complete metric space. since the sequence (1+1/n)^n is a cauchy sequence in Q but does not converges in Q. R is a complete space which means there's equivalence between cauchy's sequences and convergent sequences

  • @TALKmd

    @TALKmd

    3 жыл бұрын

    We can extand Q , R as it is for now, is problematic

  • @sivakumars1880
    @sivakumars18803 жыл бұрын

    Thank you

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

    I dey vex o @Michael Penn

  • @Manuel-pd9kf
    @Manuel-pd9kf3 жыл бұрын

    3:22 Wasn't that supposed to be abs value

  • @bilalabbad7954
    @bilalabbad79542 жыл бұрын

    Good job

  • @kenrickchung8176
    @kenrickchung81762 жыл бұрын

    The theorem would fail using a p-adic metric right?

  • @mimzim7141
    @mimzim71412 жыл бұрын

    Is there a sequance that has a limit but is not Cauchy?? It is easy to find example of the converse, a sequance that is Cauchy but has no limit, for instance ia rational sequance converging to an itrational has no limit in the rationals. But having a limit and not being Cauchy?

  • @yurigansmith
    @yurigansmith2 жыл бұрын

    There's an equivalent statement: For all epsilon > 0 : there exists an index N : so that for all indices n >= N : | a_n - a_N | You can check the equivalence by yourself. One direction is trivial, for the other direction you can use epsilon' := 2*epsilon. I find this alternative definition much better, because it uses less indices (only n >= N instead of n,m >= N), and it's in my opinion also more intuitive. Is there a reasonable reason :-) why the original definition is used?

  • @alperenkoken
    @alperenkoken3 жыл бұрын

    Can you push ahead on solving Math Olimpiad problems?

  • @ayushgautam4265
    @ayushgautam4265Ай бұрын

    This is the most headache part in my entire RA course

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

    15:09 what about the sequence a_n = (-1)^n? It's bounded, but it doesn't have a convergent subsequence.

  • @xibbit6322

    @xibbit6322

    9 ай бұрын

    it does, a_n with n odd or n even would both be convergent subsequences. {1,1,1,1,1...}, and {-1,-1,-1,...} respectively converge to 1 and -1.

  • @thesecondderivative8967

    @thesecondderivative8967

    9 ай бұрын

    @@xibbit6322 I figured it out later lol. Thank you.

  • @Stillow
    @Stillow3 жыл бұрын

    5:33 it should be m/(m+1) and not n/(m+1), right?

  • @nabilahrasid2402

    @nabilahrasid2402

    2 жыл бұрын

    yea

  • @valentinamunoz1205
    @valentinamunoz12053 жыл бұрын

    I can't really see why you can cancel n/n+1 just because it's less than 1. Can someone explain to me, pls?

  • @samridhisingh19

    @samridhisingh19

    2 жыл бұрын

    Ok if we take n=2, we get 2/3 which is 0.66.. And if we round off this value is equal to 1. Similarly for 10/11 = 0.9 something on round off it is 1

  • @nin10dorox
    @nin10dorox3 жыл бұрын

    12:40 When you say you take the absolute value of each side, do you mean all three parts of the compound inequality? It looks like you are only considering the middle and right parts. Why are you allowed to take the absolute value of both sides? If a_n was negative, but with greater absolute value than a_N1 + 1, wouldnt this be illegal?

  • @Pklrs

    @Pklrs

    3 жыл бұрын

    Suppose |An-Am|

  • @maxpercer7119

    @maxpercer7119

    3 жыл бұрын

    @@Pklrs you have a mistake (why don't people ever edit their work :/) By substitution and triangle inequality we have |An | = | An + 0 | = | An - Am + Am |

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

    this has been very helpful tbh. i’m 17 years old and in uni (ik shocking) and my class has been struggling to understand what a Cauchy sequence is. luckily, i stumbled across your video and it makes perfect sense now! since we’re all from romania, i’ll try and translate everything for those who need extra help learning and credit you for your really good work!!

  • @gustavosouza5600
    @gustavosouza560011 ай бұрын

    I did not understand one thing. Let An = sum[k=1,n](1/k). An is cauchy, since the difference of their therms get as small as you want, but it diverges. How can that be possible?

  • @VS-is9yb

    @VS-is9yb

    9 ай бұрын

    "...the difference of their terms get as small as you want" - incorrect. In fact, the difference S_m-S_n where m,n >=N can be as big as you want, cause the initial series diverges, so you can enlarge the difference by choosing big enough m, keeping n fixed.

  • @yasinsoysal7056
    @yasinsoysal70562 жыл бұрын

    4:30 Can anybody state for me why 1/N+1

  • @user-uw1ut4ss2q

    @user-uw1ut4ss2q

    2 жыл бұрын

    By Archimedean property, for any positive number r there is a natural number N such that 1/N

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

    Nice explained but we need more clarify concept

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

    Cool❤

  • @hazaubel6532
    @hazaubel65322 жыл бұрын

    Do you work out by any chance sir

  • @picogilman7604
    @picogilman76043 жыл бұрын

    For the second proof, just take the rationals, then clearly if a sequence is Cauchy but in the reals converges to an irrational, then it does not converge to something in the rationals.

  • @leif1075

    @leif1075

    3 жыл бұрын

    What is archimedian pricniple and why is 1/n plus 1 leas than epsilon.

  • @SpartaSpartan117

    @SpartaSpartan117

    3 жыл бұрын

    @@leif1075 you can look up the specifics of the property but roughly speaking he's using it here to say that the number n/(n+1) is a number which actually exists (since in a Proof it would not be reasonable to pull a number out of thin air without justifying it). As for why it is less than 1; consider that to be equal to 1 the fraction would need to be n/n, if I increase the denominater by 1 I decrease the overall value of the fraction. For instance 2/2-->2/3, 2/3

  • @hyperboloidofonesheet1036

    @hyperboloidofonesheet1036

    3 жыл бұрын

    Vice versa should work too? Take the sequence a[n] = sin(n)/n, then for all n≥1, a[n] is irrational, but it converges to a rational number.

  • @leif1075

    @leif1075

    3 жыл бұрын

    @@SpartaSpartan117 Thanks yea ofcourse I know why it's less than one i understand basic fractions but i was asking why he knows it's less than EPSILON not one..also later how can he use the triangle inequality if we don't have a triangle here?

  • @Pklrs

    @Pklrs

    3 жыл бұрын

    @@leif1075 The Archimidean principle states in brief that for any ε>0 - Arbitrarily - small there is a number N (big enough depending on ε) such that Nε >1 (This is a special case. It states that for any y,x>0 nx>y if n is big enough) That answers your question Nε>1 nε > Nε >1 for every n>N nε > 1 1/n N (N depends on the ε value of course) Considering the ε-definition of a limit this leads to lim(1/n)=0 as n is getting bigger an bigger (as n goes to infinity)

  • @tristanleung7890
    @tristanleung78903 жыл бұрын

    why is n/n+1 smaller than 1?

  • @ClumpypooCP

    @ClumpypooCP

    5 ай бұрын

    Because n+1 is always bigger than n

  • @mypaldan
    @mypaldan2 ай бұрын

    Is it true that if I skip ads or use an adblocker, you don't get paid? I feel like that is not common knowledge.

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

    dude's jacked and smart

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

    🙂👍

  • @BinodTharu-co4by
    @BinodTharu-co4by3 жыл бұрын

    Binod

  • @mohamedaminehadji6415
    @mohamedaminehadji64152 жыл бұрын

    There is a small typo at 17:31; you should take n >= N = max{n_K, N_2} because you defined K such that |a_{n_k} - L| =K (so n_k >= n_K)

  • @lit22006
    @lit220062 жыл бұрын

    Could you always attach a pdf of a screenshot of all the board at the end, or just move out of the picture at the end. You know like teachers/professors do in actual school. great explanation btw. Thanks.

  • @josepher9071
    @josepher90713 жыл бұрын

    That's so cauchy

  • @Joffrerap
    @Joffrerap3 жыл бұрын

    Usually R is defined as the rationals completed so you shouldn t have to prove that R is complete, right? It s a property of construction.

  • @Joffrerap

    @Joffrerap

    3 жыл бұрын

    Also weierstrass theorem uses the fact that the set containing an is compact, which uses the fact that R is complete, so i feel like there is some circular logic going on

  • @acronym9687

    @acronym9687

    2 жыл бұрын

    @@Joffrerap Not really, you can construct R with Dedekind cuts and prove that R is complete as a theorem.

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

    lord have mercy, i am failing Analysis 1

  • @maxpercer7119
    @maxpercer71193 жыл бұрын

    sounds cauchy

  • @DanielRubin1
    @DanielRubin12 жыл бұрын

    This lecture is mostly good, but I must object to the use of the Bolzano-Weierstrass theorem to prove that every Cauchy sequence of reals converges. Any proof of BW will use the completeness of R or some equivalent property, so the proof is circular. You have to use the Cauchy sequence construction to exhibit a Cauchy sequence of rationals to which a Cauchy sequence of reals necessarily converges. The key step is to show there is a rational between any two reals.

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

    Wait is Cauchy pronounced co-she? Always pronounced it as cow-chi😳😳😳

  • @isohel9889

    @isohel9889

    2 ай бұрын

    Lol same. Fortunately, I corrected it within a week as I immediately started looking for videos online as my college course began

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

    I didn't like it I was expecting something else from you sir 🙏

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

    How much meth did it take