Functional Analysis 5 | Cauchy Sequences and Complete Spaces

Поділитися
Вставка
  • Опубліковано 18 гру 2024

КОМЕНТАРІ •

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

    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 3 роки тому

      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 2 роки тому

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

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

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

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

      @@Shahid_With_Art R is the set of real numbers.

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

      @@angelmendez-rivera351 Thank You..

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

    These videos are amazing for building intuition.

  • @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

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

    You don't know how thankful I am.

  • @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!

  • @Independent_Man3
    @Independent_Man3 4 роки тому +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.

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

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

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

    So good. Thank you!

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

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

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +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.

  • @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 Рік тому

      @@brightsideofmathswhat do you mean?

    • @brightsideofmaths
      @brightsideofmaths  Рік тому +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 Рік тому +1

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

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

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

  • @Afxonidis
    @Afxonidis 4 роки тому +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  4 роки тому +2

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

  • @umbranocturna6342
    @umbranocturna6342 4 роки тому +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

  • @ouafaeraibi7847
    @ouafaeraibi7847 4 роки тому +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  4 роки тому +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 4 роки тому

      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 3 роки тому

      @@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 = ∅.

  • @javohirsultonov8806
    @javohirsultonov8806 2 роки тому +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  2 роки тому

      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 Рік тому +1

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

  • @jordanfernandes581
    @jordanfernandes581 4 роки тому +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  4 роки тому +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 4 роки тому +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 -> +♾) = ♾

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

    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  3 роки тому +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

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

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

  • @marcbanfi4985
    @marcbanfi4985 3 місяці тому

    Why is (0,3) a closed set in ((0,3), d)? Isn't it that for every x in (0,3) any ball centered at that point is a subset of (0,3)?

    • @brightsideofmaths
      @brightsideofmaths  3 місяці тому

      "Closed" is not the opposite of "open".

    • @marcbanfi4985
      @marcbanfi4985 3 місяці тому

      @@brightsideofmaths yeah but a set A is open if for every x in A, there exists an open ball centered at x that is contained in A, so in that example this is fullfilled, right?

    • @brightsideofmaths
      @brightsideofmaths  3 місяці тому

      @@marcbanfi4985 Yes, which means the set is open. But before you asked about why it is closed.

    • @marcbanfi4985
      @marcbanfi4985 3 місяці тому

      @@brightsideofmaths can a set be open and closed at the same time?

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

      @@marcbanfi4985 Yes, of course. You know one example now :)

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

    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 :-)

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

    Why (0,3) is closed?

    • @torerik7847
      @torerik7847 4 роки тому +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 3 роки тому +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 3 роки тому

      @@VinVin21969 Yes, that is exactly right.

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

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

  • @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.

  • @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 2 роки тому

      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 2 роки тому

      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 3 роки тому +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  3 роки тому +1

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

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

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

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +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 4 роки тому +2

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