For the third problem, I confused myself with the epsilon towards the end of the proof. Although the result still holds, my reason for the epsilon being there was incorrect.
24:00 I think what happens here is that we split up the integral again: On [1, 1/ε]\E the integrand is 1/x² which is less than 1, and integrating 1 just gives us m([1, 1/ε]\E]) (without the interval (1/ε, ∞) as that has Lebesgue measure ∞). The integral over (1/ε, ∞) of 1/x² we can calculate directly, giving us the "+ ε". So it does not come from the size of the set but from the value of the integral of 1/x².
13:15 I think it feels a bit off since you technically need to specify two different Ns: an N_0 that you pick first such that n>N_0 implies |b_n|N_1 implies a_n
Love this type of videos! I would like to see other series of this type for different branches of maths as well! (maybe for linear or abstract algebra, topology, differential geometry or functional analysis.) Keep up the good work!
i am not a student but i am doing from book understanding analysis by abbot. i am on continuity chapter. so still a newbie. hope i will reach your level one day
For #2 I would finish it off by saying that since |b_n| tends to zero as n grows large, and since (S_1]/n clearly tends to zero for all n greater than or equal to N for a sufficiently large N, we can choose N such that (S_1)/n < (eps)/2 and |b_n| < (eps)/2 for all n greater than or equal to N. Then, since (S_2)/n is less than or equal to ((n-N)/n)*[(eps)/2]=(eps)/2 by the triangle inequality, we have that a_n is strictly less than ((eps)/2)+((eps)/2)=epsilon, so |a_n| < epsilon for all n greater than N, as required.
I’m a high school student who’s not currently even on the Calc Train and it’s legitimately like watching someone speak a different language. Interesting nonetheless but I have not even an iota of an understanding lmao😂
these actually are really easy problems, the first one is really an application exercise on our course of topology in my second preparation years for greath engineering schools in france
For problem 1. I have a direct proof. We know that the irrationals are uncountable and hence can not be written as the countable union of countable sets. Therefore, one of the closed sets has to be uncountable. Taking that set, F, we know that the rationals are dense in R and therefore F can’t have a nonempty interior. But this implies that F is the disjoint union of singleton sets and also uncountable which we cannot write it as the countable union of closed sets. Thus, our original countable union of closed sets contains a closed set which cannot be written as the countable union of closed sets.
I used to real analysis proofs especially in limits and continuity, sometimes the epilson delta proofs were kinda annoying to do and I abandoned them ( i used to study real analysis due to interest) there is something very special about real analysis which is basically purely on the concept of sequences and series. Though I must say something like differential topology is harder real analysis, kinda has a special place in the SET of hard topics in matsh.
For the third problem, I confused myself with the epsilon towards the end of the proof. Although the result still holds, my reason for the epsilon being there was incorrect.
What is the reason then?
You’ve become on of my favorite UA-camrs in a matter of days. Keep the content coming
What the fuck! I never realized this channel was only a month old! And I agree, within a few days and I’m watching each new vid that comes out
Man i’m a mechanical engineering and this channel is like a drug I swear. Public everyday mate, ur videos are so relaxing
📠
I’m biomedical engineering and sometimes when I think there’s too much math I pop over here to see that my life is just fine 😂
24:00 I think what happens here is that we split up the integral again: On [1, 1/ε]\E the integrand is 1/x² which is less than 1, and integrating 1 just gives us m([1, 1/ε]\E]) (without the interval (1/ε, ∞) as that has Lebesgue measure ∞). The integral over (1/ε, ∞) of 1/x² we can calculate directly, giving us the "+ ε". So it does not come from the size of the set but from the value of the integral of 1/x².
13:15 I think it feels a bit off since you technically need to specify two different Ns: an N_0 that you pick first such that n>N_0 implies |b_n|N_1 implies a_n
I am an undergraduate student taking a symbol logic class. We just learned about De Morgan's and seeing it used here was pretty cool I think.
This is completely incomprehensible to me LOL
Love this type of videos! I would like to see other series of this type for different branches of maths as well! (maybe for linear or abstract algebra, topology, differential geometry or functional analysis.) Keep up the good work!
It helps to have a passion for inequalities!
this is a hidden gem
I really enjoy watching these proofs.
i am not a student but i am doing from book understanding analysis by abbot. i am on continuity chapter. so still a newbie. hope i will reach your level one day
For #2 I would finish it off by saying that since |b_n| tends to zero as n grows large, and since (S_1]/n clearly tends to zero for all n greater than or equal to N for a sufficiently large N, we can choose N such that (S_1)/n < (eps)/2 and |b_n| < (eps)/2 for all n greater than or equal to N. Then, since (S_2)/n is less than or equal to ((n-N)/n)*[(eps)/2]=(eps)/2 by the triangle inequality, we have that a_n is strictly less than ((eps)/2)+((eps)/2)=epsilon, so |a_n| < epsilon for all n greater than N, as required.
Man ur videos are kinda amazing
I’m a high school student who’s not currently even on the Calc Train and it’s legitimately like watching someone speak a different language. Interesting nonetheless but I have not even an iota of an understanding lmao😂
these actually are really easy problems, the first one is really an application exercise on our course of topology in my second preparation years for greath engineering schools in france
Where can I find those problems with solutions?
For problem 1. I have a direct proof. We know that the irrationals are uncountable and hence can not be written as the countable union of countable sets. Therefore, one of the closed sets has to be uncountable. Taking that set, F, we know that the rationals are dense in R and therefore F can’t have a nonempty interior. But this implies that F is the disjoint union of singleton sets and also uncountable which we cannot write it as the countable union of closed sets. Thus, our original countable union of closed sets contains a closed set which cannot be written as the countable union of closed sets.
I used to real analysis proofs especially in limits and continuity, sometimes the epilson delta proofs were kinda annoying to do and I abandoned them ( i used to study real analysis due to interest) there is something very special about real analysis which is basically purely on the concept of sequences and series. Though I must say something like differential topology is harder real analysis, kinda has a special place in the SET of hard topics in matsh.
Great videos! I really enjoy all of them. Just one question, what kind of pen do you use?
GOD BLESS YOU....ALHAMDULILLAH MASHA ALLAH..
🧮