I'm addicted to the way you pronounce ''real analysis'' at the intro of every video

I don't have any good master to teach me basics of real analysis better than you ... Thank you very much. I'm from India.

Many thanks for this video! Best explanation of the theorem I have seen anywhere! 👍

@brightsideofmaths

3 жыл бұрын

You're very welcome!

Awesome, this is perhaps the cleanest proof of the BW theorem I've ever seen! Please keep it up!

0:25 BW theorem 5:22 every bounded sequence has at least one accumulation point (check the textbook to verify)

I enjoyed your inclusion of the sandwich theorem at the end. Only wish you started this Real Analysis series (No pun intended) sooner. I have a final exam tomorrow and your videos are a comfort.

@PunmasterSTP

2 жыл бұрын

How'd your final go?

@vaginalarthritis1753

2 жыл бұрын

@@PunmasterSTP I only got a B+ for the course overall. Didn't get the results for the final.

@PunmasterSTP

2 жыл бұрын

@@vaginalarthritis1753 I'm glad that you got a high B! That seems odd that they didn't give you more information regarding the final exam. Did they at least tell you your grade for the final, or not even that?

@vaginalarthritis1753

2 жыл бұрын

@@PunmasterSTP The issue is that the math department of my University is understaffed. Only two professors are teaching level 1 - 3 courses in mathematics...for an institution with 100s of students. We don't get back a lot of our grades through the semester.

@PunmasterSTP

2 жыл бұрын

@@vaginalarthritis1753 Oh snap; I’m sorry to hear that! Any chance that the staffing will get better sometime soon?

Great video as always!

Thank you so much for this awesome content. I took a Real Analysis class three years ago and I am using your videos to brush up on a bit of proof-based math prior to taking more advanced courses this Fall. Please keep it up. It would be absolutely fantastic if you could add partial differential equations and stochastic calculus crash courses similar in style and delivery to this one.

@brightsideofmaths

2 жыл бұрын

Thank you very much! Both things are on my list. However, I am already producing many series in parallel such that other ones have to wait a little bit longer.

How does thee proof work for a constant sequence?

Simple and to the point !

Thank you very much for the video, very helpful!!

@brightsideofmaths

3 жыл бұрын

You are welcome!

I wonder is there a proof using the least upper bound property (that every bounded sequence has a least upper bound in the real numbers)?

thanks

if the sequence elements are chosen at random from an interval does the sequence have infinitely many accumulation points? or do we call it an accumulation interval?

@brightsideofmaths

2 жыл бұрын

"Random" can mean a lot of things :) Which distribution do you choose? Anyway: You get out a sequence in the end. It could have few or many accumulation values. The question would then be: What is the probability?

@predatoryanimal6397

2 жыл бұрын

@@brightsideofmaths Yes, I was thinking of uniform distribution in this case, however my statistics knowledge is very crude (limited to one semester of biostatistics), and hopefully your playlist on probability will smooth-out some of the gaps in my understanding!

This is also binary search :) I am seeing a pattern. We are showing that if we run binary search long enough, we will converge to some infinitesimally small point, sandwitched between the binary search process.

Thanks!

@brightsideofmaths

2 жыл бұрын

Welcome! And thank you very much :)

Hey, What book do you follow (and/or suggest) for real analysis part?

@brightsideofmaths

2 жыл бұрын

I don't follow it but I could suggest "Introductory Real Analysis : A. N. Kolmogorov"

@mmanojkumar3950

2 жыл бұрын

Fine, I'll check that. Thanks :)

Does the definition of a_n_k at the end of the proof rely on the axiom of choice?

@brightsideofmaths

Жыл бұрын

Probably not but since I assume it in the foundations, we can just use it here. Of course, your question is useful if you want to see where the axiom of choice is actually needed. In order to avoid the axiom of choice, you have to make the "choice" how to define a_n_k more precise.

1:30 how do you know which half contains infinitely many elements of the sequence? That's a rather large step in the proof.

@xoppa09

Жыл бұрын

You don't have to know. Since we are given a sequence, by definition a sequence is a mapping from N to R and thus there are an infinite number of sequence members x1, x2, ... , xn, ..., Also suppose the sequence is bounded by [c, d]. How do we choose which half after we bisect [c,d]? i.e. do we choose [c , (c+d)/2 ] or [ (c+d)/2 , d] ? Consider the left half. Either there are an infinite number of sequence members x_i in the left half , so we pick it and we are done with the choice, or there is not. (This is true by logic, either p or not p.) If there is not an infinite number of sequence members x_i in the left half, then choose the right half. Automatically we know there must be an infinite number of x_i in the right half. Why? Because otherwise, if there were a finite number of x_i in the right half, the original sequence would not have an infinite number of sequence terms (since we assumed that the left half does not have an infinite number of x_i).

I use this theorem to trade and it works beautifully.

@brightsideofmaths

8 ай бұрын

What do you mean? :D

Hi sorry for the stupid question, but how do we know that we can choose each a_{n_{k}} such that n_{k+1} > n_{k}? Does this just follow directly from the fact that each new bisection contains infinitely many members - I can see it but I am not sure how to write that intuition down...

@brightsideofmaths

8 ай бұрын

Yes, it follows from the fact that you have infinitely many members to build your sequence :)

@videolome

4 ай бұрын

The proof is incomplete. He skipped this important step.

Could anyone tell me why we can define the subsequence: a_n_k belongs to [c_k, d_k]? See 4:34 Because I think not all bounded sequences have the subsequence, where a_n_k belongs to [c_k, d_k].

@brightsideofmaths

2 жыл бұрын

The interval always contains infinitely many sequences members. That is how we choose c_k and d_k. Does this help?

@i-fanlin568

2 жыл бұрын

@@brightsideofmaths Thank you for your reply! This is very smart! I think I understand now.

Frage: Du sagst, wir nehmen das linke unendliche Intervall, aber das neue Intervall mit c1 und d1 ist doch die rechte Seite. Das verwirrt mich gerade,

@brightsideofmaths

9 ай бұрын

We take the one with infinitely many members. In the picture, it's the one on the right-hand side.

What about the sequence a_n=(nπ)%1?

@brightsideofmaths

3 ай бұрын

What about that? :)

@agostonkis1365

3 ай бұрын

@brightsideofmaths does it have infinitely many accumulation values?

@brightsideofmaths

3 ай бұрын

@@agostonkis1365 I guess it has.

❤️🤸🙌🤗

Your proof is incomplete. A sequence requires that n_k is increasing. So, in each step, you have the restriction n_{k+1}>n_k.

@brightsideofmaths

4 ай бұрын

That is exactly included in the definition of a subsequence.

@videolome

4 ай бұрын

You are presenting a proof that you didn’t discover, for students that are trying to learn. But you omit an important step. So, you are not helping.

@brightsideofmaths

4 ай бұрын

@@videolome I really don't understand what you mean. We've defined subsequences in Part 9.

@konataizumi6358

Ай бұрын

Due to the fact that [c_k, d_k] always contains an infinite number of members, we can always find an a_n_k within this interval that makes n_k greater than n_{k-1}.