Functional Analysis 5 | Cauchy Sequences and Complete Spaces

Поділитися
Вставка
  • Опубліковано 28 чер 2024
  • 📝 Find more here: tbsom.de/s/fa
    👍 Support the channel on Steady: steadyhq.com/en/brightsideofm...
    Other possibilities here: tbsom.de/sp
    You can also support me via PayPal: paypal.me/brightmaths (Use "For friends and family" as payment type)
    Or via Ko-fi: ko-fi.com/thebrightsideofmath...
    Or via Patreon: / bsom
    Or via other methods: thebrightsideofmathematics.co...
    Please consider to support me if this video was helpful such that I can continue to produce them :)
    Each supporter gets access to the additional material. If you need more information, just send me an email: tbsom.de/s/mail
    Watch the whole video series about Functional Analysis and download PDF versions and quizzes: tbsom.de/s/fa
    Supporting me via Steady is the best option for me and you. Please consider choosing a supporter package here: tbsom.de/s/subscribe
    🌙 There is also a dark mode version of this video: • Functional Analysis 5 ...
    🔆 There is also a bright mode version of this video: • Functional Analysis 5 ...
    🔆 To find the UA-cam-Playlist, click here for the bright version: • Functional analysis
    🌙 And click here for the dark version of the playlist: • Functional Analysis [d...
    🙏 Thanks to all supporters! They are mentioned in the credits of the video :)
    This is my video series about Functional Analysis where we start with metric spaces, talk about operators and spectral theory, and end with the famous Spectral Theorem. I hope that it will help everyone who wants to learn about it.
    x
    00:00 Introduction
    02:30 Cauchy sequences
    03:34 Complete metric spaces
    #FunctionalAnalysis
    #Mathematics
    #LearnMath
    #calculus
    I hope that this helps students, pupils and others. Have fun!
    (This explanation fits to lectures for students in their first and second year of study: Mathematics for physicists, Mathematics for the natural science, Mathematics for engineers and so on)

КОМЕНТАРІ • 71

  • @angelmendez-rivera351
    @angelmendez-rivera351 3 роки тому +73

    Do not be confused, people! (0, 3) is not a closed set of the metric space (R, d), but it is a closed set of the metric space ((0, 3), d), which is what the video claimed. Also, that there are Cauchy sequences that do not converge in ((0, 3), d) does not mean (0, 3) is not closed in ((0, 3), d), but that ((0, 3), d) is not complete. This is the gist of what the video is trying to say.

    • @VinVin21969
      @VinVin21969 2 роки тому

      it because the set is(0,3) thats why the subset is closed right?? because it has the same range of its set .

    • @Shahid_With_Art
      @Shahid_With_Art Рік тому

      What is R here, Is (0,3) itself or Real numbers?

    • @angelmendez-rivera351
      @angelmendez-rivera351 Рік тому

      @@VinVin21969 Yes, if I understand you correctly. Sorry for the very late response.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Рік тому

      @@Shahid_With_Art R is the set of real numbers.

    • @Shahid_With_Art
      @Shahid_With_Art Рік тому

      @@angelmendez-rivera351 Thank You..

  • @zazinjozaza6193
    @zazinjozaza6193 3 роки тому +22

    These videos are amazing for building intuition.

  • @cediemacalisang7713
    @cediemacalisang7713 3 роки тому +2

    You don't know how thankful I am.

  • @prank290
    @prank290 3 роки тому +3

    Alles super erklärt. Ich freue mich jetzt schon auf die nächsten Videos!

  • @Independent_Man3
    @Independent_Man3 3 роки тому +7

    Take any closed subset A of a complete metric space. Then, the set A with the same inherited metric is a complete metric space in its own right.

  • @PunmasterSTP
    @PunmasterSTP 2 роки тому +1

    Complete metric spaces? More like "All of these concepts put us through our paces!" Though it can be difficult to grapple with these ideas, I think you're doing a wonderful job of shepherding us through them. Thank you!

  • @qiaohuizhou6960
    @qiaohuizhou6960 3 роки тому +4

    2:30 completeness
    3:15 the Cauchy sequence is always a generalization of convergent sequence
    4:50 Example of a complete metric space with discrete metric but is incomplete with Euclidean metric

  • @EvaPev
    @EvaPev 3 роки тому +2

    So good. Thank you!

  • @xiangqerupiso9186
    @xiangqerupiso9186 3 роки тому +2

    would you be so kind and make a videoseries about stochastiks?
    would really appreciate it

  • @umbranocturna6342
    @umbranocturna6342 3 роки тому +2

    Im not writing Analysis this semester, but looking forward to learn with this next semester.

    • @PunmasterSTP
      @PunmasterSTP 2 роки тому

      How have your studies been going?

    • @umbranocturna6342
      @umbranocturna6342 2 роки тому +2

      @@PunmasterSTP terribly frustrated with differential equasions

  • @Afxonidis
    @Afxonidis 3 роки тому +1

    I have a question. The idea of having a hole in the space X, also extends to sequences that doesn't converge on R^3 or on R^2 spaces? Should I think it as a real hole eg on the plane (xy) for R^2?

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +2

      R^2 and R^3 with the standard metric are complete :)

  • @tlli5066
    @tlli5066 Рік тому +1

    Dr. Großmann is there any textbook you would like to recommend, for which contains exercises which corresponds to your lectures.

    • @brightsideofmaths
      @brightsideofmaths  Рік тому +1

      For the Functional Analysis series there are a lot of different good textbooks out there. I find it hard to recommend a special one. You can check the one by Rudin and the one by Conway. They don't fit exactly to my course but they can complement it.

  • @jordanfernandes581
    @jordanfernandes581 3 роки тому +1

    Hi. Thank you for sharing these videos. I'm sort of confused about whether the sequence summing terms 1/n over the positive natural numbers (is this the harmonic series ?) converges ?! Intuitively it feels like it should right because the terms in the denominator grow to inifinity but I've been reading that it does not converge. Is that true and if yes, is there an easy way to see why ?!

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +3

      No, the harmonic series is not convergent. That's not the topic for this video but maybe I will make another video about this.

    • @jordanfernandes581
      @jordanfernandes581 3 роки тому +1

      @@brightsideofmaths Alright. Thanks for replying. I will look forward to that video 🙂

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому

      @@jordanfernandes581 It is easy to see why it does not converge using the integral comparison test. This is, lim 1 + 1/2 + ••• 1/(n - 1) + 1/n (n -> +♾) > lim Integral{[1, t); 1/x} (t -> +♾) = lim ln(t) - ln(1) (t -> +♾) = lim ln(t) (t -> +♾) = ♾

  • @ichkaodko7020
    @ichkaodko7020 2 роки тому

    I am wondering why some of your video has no english subtitle? do you make it or is it automatic?

  • @ouafaeraibi7847
    @ouafaeraibi7847 3 роки тому +1

    Hello, first 1000 thanks for the videos they are all amazinly explained
    my question is about the set (0,3) being closed . if we consider the sequence 3-1/n then all its elements belong to X but still its limit (=3) doesn't . ?? so why the set is closed ? please correct me if I am wrong

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +4

      For showing closedness, you need to choose a convergent sequence with limit inside the set. Your sequence simply does not fulfill this requirement.

    • @mehdislimani7555
      @mehdislimani7555 3 роки тому

      Your sequence doesnt have a limit (X = (0,3))

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому +1

      The sequence you chose does not have a limit in X, but this does not mean no sequence with a limit in X exists.

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому +1

      Remember that the properties of a set being closed or open only hold with respect to a given metric space in this context. What the video is saying is that (0, 3) is a closed subset of the metric space ((0, 3), d).

    • @VinVin21969
      @VinVin21969 2 роки тому

      @@angelmendez-rivera351 i think the subset should be clopen close and open right?? first the subset has same range as set it own all boundary points(so its closed ), and also the open ball at any space in the subset doesnt contain element from the complement of subset .since the complement of subset = ∅.

  • @ZirTaaah
    @ZirTaaah 3 роки тому

    Hiiiii :) I Think I miss something :p sequence 1/n is in X but not his limit so X is not closed or we cant apply sequential characterization cuz we dont have cauchy Space ??

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому +1

      You are confusing being closed with being complete. In the metric space ((0, 3), d), the set (0, 3) is closed. If the metric space being considered was (U, d), where U is some other arbitrary subset of R that included (0, 3), then (0, 3) may not be closed with respect to this metric space, but it is closed with respect to the metric space ((0, 3), d), which is precisely what the video claimed.
      However, the metric space ((0, 3), d) is not complete, even though (0, 3) is closed in it.

    • @ZirTaaah
      @ZirTaaah 3 роки тому +1

      @@angelmendez-rivera351 Thank you for your answer its clean :-)

  • @trondsaue7860
    @trondsaue7860 2 роки тому

    In the video we learn that X=(0,3) with the usual metric is closed, and that one argument for this is that the complement the empty set is open. Now in lecture 3 a definition of open sets were given in terms of epsilon-balls. Do the empty set comply with that definition ?

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +1

      Yes, for all points in the empty set you can find an epsilon :)

    • @sheldonchou8830
      @sheldonchou8830 2 роки тому

      @@brightsideofmaths But the epsilon ball will not be a subset of the empty set, because it is empty?

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому

      @@sheldonchou8830 Maybe the confusion comes from the logical use of the conditional (🡲). If the premise is false, then the conditional is always true.

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому

      @@sheldonchou8830 You can find the corresponding video here: thebrightsideofmathematics.com/start_learning_logic/overview/

    • @SkrtlIl
      @SkrtlIl Рік тому

      ​@@brightsideofmaths it seems that URI is broken

  • @javohirsultonov8806
    @javohirsultonov8806 Рік тому +1

    Why is the set only closed? We proofed in part 4 that set is closed when all of its sequences converge to x belongs this set. Here you showed example of sequence that doesn't satisfy it, I mean (1/n), then why is it still closed?

    • @brightsideofmaths
      @brightsideofmaths  Рік тому

      That is a good question. Maybe you can state the condition from part 4 again. If you state it correctly, you will understand why here it's different.

    • @you_know_who5036
      @you_know_who5036 6 місяців тому

      The set will be closed if we cannot leave the set from the inside using the sequences. Is this the correct way of thinking?

  • @rusumbetov
    @rusumbetov Рік тому

    If limit is 0 then we can say that the sequence is not convergent?

    • @brightsideofmaths
      @brightsideofmaths  Рік тому

      No, if there is a well-defined limit, we have a convergent sequence by definition.

  • @xwyl
    @xwyl 2 роки тому

    Normally, the name Cauchy always gives me a headache. But this time at The Bright Side, it isn’t the case.

  • @oskarjung6738
    @oskarjung6738 3 роки тому +1

    6:39 How is b) a complete metric space? Because, not all cauchy sequence converge, as defined above.
    In this case, if epsilon is >1 then there are so many violent sequences that will be cauchy sequences, because d(x(n),x(m)) is always

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +1

      Hello! Maybe you misinterpreted what a Cauchy sequence actually is: You need the property for *all* epsilon.

    • @Chinese_Man23
      @Chinese_Man23 11 місяців тому

      @@brightsideofmathswhat do you mean?

    • @brightsideofmaths
      @brightsideofmaths  11 місяців тому +1

      @@Chinese_Man23 A Cauchy sequence is a sequence that fulfils d(x(n),x(m)) < eps no matter how small epsilon is chosen. The comment from before only chose epsilson = 1.

    • @Chinese_Man23
      @Chinese_Man23 11 місяців тому +1

      @@brightsideofmaths thanks for explaining it! I had to use the Snapchat AI because I was so confused

  • @minhphanngoc530
    @minhphanngoc530 3 роки тому +2

    Why (0,3) is closed?

    • @torerik7847
      @torerik7847 3 роки тому +1

      Every convergent sequence belonging to the set has there limit with inn the set. The key idea is that we restrict our space to the open interval (0,3) and consider all convergent sequence with limit between 0 and 3.
      In other words if the limit is not in the set then the sequence does not belong to this set we moves out from our space or the sequence is not defined to our space since the limit does not belong to the open interval therefor is the entire space (0,3) closed.

    • @angelmendez-rivera351
      @angelmendez-rivera351 3 роки тому +3

      (0, 3) is closed with respect to the metric space ((0, 3), d), not with respect to the metric space (R, d), which is the one we usually work with.

    • @VinVin21969
      @VinVin21969 2 роки тому +2

      @@angelmendez-rivera351 i think the subset should be clopen close and open right?? first the subset has same range as set it own all boundary points(so its closed ), and also the open ball at any space in the subset doesnt contain element from the complement of subset .since the complement of subset = ∅.

    • @angelmendez-rivera351
      @angelmendez-rivera351 2 роки тому

      @@VinVin21969 Yes, that is exactly right.

  • @yathindrasairahul2859
    @yathindrasairahul2859 2 роки тому

    Why is null set open? Why is (0,3) a closed set in the space ((0,3),d)? We can go any far near zero and find a finite epsilon ball and the same applies for 3 too. So, it is open on both ends. Why is it closed ?
    And, instead of saying that the space is not complete, why can't we say the space is just open becase 0 is not in it!?

    • @yathindrasairahul2859
      @yathindrasairahul2859 Рік тому

      It is because the subset is the entire set and a sequence in it can't escape the set, so it is closed by definition.

    • @yathindrasairahul2859
      @yathindrasairahul2859 Рік тому

      All closed sets are complete but all complete sets may not be closed. Correct?

  • @SiriusFuenmayor
    @SiriusFuenmayor 3 роки тому +1

    From an intuitive point of view, why is important that all Cauchy sequences converge?

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +3

      Intuitively, Cauchy sequences are sequences that *should* converge. Therefore, spaces with this property are better to handle :)

    • @VinVin21969
      @VinVin21969 2 роки тому +2

      @@brightsideofmaths can i ask you how is it possible for x=(0,3) with descret metric space to be complete ??
      the sequence still converge to constant 0. but there is no 0 in our set.

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +1

      @@VinVin21969 Don't forget that your sequence has to consist of members from the set X.

    • @VinVin21969
      @VinVin21969 2 роки тому +1

      @@brightsideofmaths could you make it more clear please?? i already tried to find the answer but still have no clue

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +1

      @@VinVin21969 Try to formulate your question more concretely. Then I can answer in a clear way :) What is your counterexample for X = (0,3)?

  • @samuelleaf1124
    @samuelleaf1124 3 роки тому +1

    without subtitile ,it s so hard to understand for un-native speakers