ICM2014 (Seoul): Zhang YiTang

ICM2014 (VideoSeries LC7):
Yitang Zhang

A conversation between Yitang Zhang and Daniel Goldston — who is one of the team GPY:

Simplified Prime Gap Video Explanations:

Video 2 (extra) – https://youtu.be/D4_sNKoO-RA

Live your Dream (Motivational Video) 夢想．激勵人心的演說

Just to share a very inspiring motivational video from YouTube. Not sure which movie it is from. (any readers know, please comment below as I would be interested)

Highly suitable for students (and their parents) who have just completed their PSLE, whether their PSLE 2015 results are good or not, it is now a good time to reflect on their dreams and the next step to take in the next year 2016.

“Proof School” For Math Kids

Math Online Tom Circle

To overcome the USA general school low Math standard, there are some elite schools to groom the gifted students such as this “Proof School”:

San-Fancisco new “Proof School” for Math kids
The Math Syllabus : Topology, Number Theory, …
IT: Python programming

Proof School Website
http://www.proofschool.org/#we-love-math

What is Proof School?

https://www.quora.com/What-is-Proof-School/answer/Alon-Amit?srid=oZzP&share=50c583a6

Math Syllabus:

http://www.proofschool.org/course-descriptions-1#math-courses

View original post

Fundamental Group of Torus (van Kampen method)

There are various methods of computing fundamental groups, for example one method using maximal trees of a simplicial complex (considered a slow method). There is one “trick” using van Kampen’s Theorem that makes it relatively fast to compute the fundamental group.

This “trick” doesn’t seem to be explicitly written in books, I had to search online to learn about it.

Fundamental Group of Torus

First we let $U$ and $V$ be open subsets of the torus (denoted as $X$ )as shown in the diagram below. $U$ is an open disk, while $V$ is the entire space with a small punctured hole. We are using the fundamental polygon representation of the torus. This trick can work for many spaces, not just the torus.

$U$ is contractible, thus $\pi_1(U)=0$ . $U\cap V$ has $S^1$ as a deformation retract, thus $\pi_1(U\cap V)=\mathbb{Z}$ . We note that $X=U\cup V$ and $U\cap V$ is path-connected. These are the necessary conditions to apply van Kampen’s Theorem.

Then, by Seifert-van Kampen Theorem, $\displaystyle\boxed{\pi_1(X)=\pi_1(U)\coprod_{\pi_1(U\cap V)}\pi_1(V)}$ , the free product of $\pi_1(U)$ and $\pi_1(V)$ with amalgamation.

Let $h$ be the generator in $U\cap V$ . We have $j_{1*}(h)=1$ and $j_{2*}(h)=aba^{-1}b^{-1}$ . ( $j_1:U\cap V\to U$ and $j_2:U\cap V\to V$ are the inclusions. )

Therefore

$\begin{aligned} \pi_1(X)&=\langle a,b\mid aba^{-1}b^{-1}=1\rangle\\ &=\langle a,b\mid ab=ba\rangle\\ &\cong\mathbb{Z}\times\mathbb{Z} \end{aligned}$

vankampen_torus

Free Math Newsletter

Interpolation Technique in Analysis

Question: Let $f$ belong to both $L^{p_1}$ and $L^{p_2}$ , with $1\leq p_1<p_2<\infty$ . Show that $f\in L^p$ for all $p_1\leq p\leq p_2$ .

There is a pretty neat trick to do this question, known as the “interpolation technique”. The proof is as follows.

For $p_1<p<p_2$ , there exists $0<\alpha<1$ such that $\displaystyle\boxed{p=\alpha p_1+(1-\alpha)p_2}$ . This is the key “interpolation step”. Once we have this, everything flows smoothly with the help of Holder’s inequality.

$\displaystyle\begin{aligned} \int |f|^p\ d\mu&=\int (|f|^{\alpha p_1}\cdot |f|^{(1-\alpha)p_2})\ d\mu\\ &\leq\||f|^{\alpha p_1}\|_\frac{1}{\alpha}\||f|^{(1-\alpha)p_2}\|_\frac{1}{1-\alpha}\\ &=(\int |f|^{p_1}\ d\mu)^\alpha\cdot (\int |f|^{p_2}\ d\mu)^{1-\alpha}\\ &<\infty \end{aligned}$

Thus $f\in L^p$ .

Note that the magical thing about the interpolation technique is that $p=\frac{1}{\alpha}$ and $q=\frac{1}{1-\alpha}$ are Holder conjugates, since $\frac{1}{p}+\frac{1}{q}=1$ is easily verified.

Undergraduate Math Books

“latex path not specified” WordPress LaTeX Bug

Recently, there is a “latex path not specified” WordPress LaTeX bug, it is very weird. Some LaTeX expressions will get rendered and some will not. Will have to postpone my math blogging till it is fixed. Worst case scenario is I have to abandon this blog and move to Blogger (http://mathtuition88.blogspot.com) if the issue remains unfixed.

Testing: $x$ , $y$ , $z$ , $e^{i\pi}+1=0$ .

Hope this bug gets fixed soon. If anyone knows the solution to solve this bug, please inform me in the comments below!

Note: Thanks to Professor Terence Tao who has replied in the comments below and shown us a link where there is ongoing discussion about the highly mysterious “latex path not specified” issue.

Interesting Measure and Integration Question

Let $(\Omega,\mathcal{A},\mu)$ be a measure space. Let $f\in L^p$ and $\epsilon>0$ . Prove that there exists a set $E\in\mathcal{A}$ with $\mu(E)<\infty$ , such that $\int_{E^c} |f|^p<\epsilon$ .

Solution:

The solution strategy is to use simple functions (common tactic for measure theory questions).

Let $0\leq\phi\leq |f|^p$ be a simple function such that $\int_\Omega (|f|^p-\phi)\ d\mu<\epsilon$ .

Consider the set $E=\{\phi>0\}$ . Note that $\int_\Omega \phi\ d\mu\leq\int_\Omega |f|^p\ d\mu<\infty$ . Hence each nonzero value of $\phi$ can only be on a set of finite measure. Since $\phi$ has only finitely many values, $\mu(E)<\infty$ .

Then,

$\begin{aligned} \int_{E^c}|f|^p\ d\mu&=\int_{E^c} (|f|^p-\phi)\ d\mu +\int_{E^c}\phi\ d\mu\\ &\leq \int_\Omega (|f|^p-\phi)\ d\mu+0\\ &<\epsilon \end{aligned}$

Students in Singapore going for ‘ad-hoc’ tuition in specific topics

http://www.straitstimes.com/singapore/education/students-going-for-ad-hoc-tuition?&utm_source=google_gmail&utm_medium=social-media&utm_campaign=addtoany

Instead of committing to regular tuition sessions throughout the year, some students who need academic help are choosing to attend such classes on an “ad-hoc” basis.. Read more at straitstimes.com.

SAJC Retain Rate (JC 1)

SAJC Retain / Retention Rate (Estimate)

Just heard from a reliable source (cousin who is in the school) that SAJC’s tentative retention rate for 2015 is around 10%. On average, for a class of 25, around 2 or 3 are retained, after the Promos (Promotional Exams) in JC 1.

This is an estimate, intended to give information to those seeking it, hope it helps. By today’ s standards, 10% retention rate is considered “moderate”, considering official statistics from MOE shows that “The two JCs with the highest retention rates at JC1 averaged around 15% over the past three years.”

Side note: Some of those “retained” in SAJC are given a second chance to take another exam, upon passing they can be promoted. Hence the actual retain rate will be less than 10%, which is considered quite ok (compared to other JCs).

Success consists of going from failure to failure without loss of enthusiasm.

Winston Churchill

For those who are retained, do not despair, check out my motivational page for motivational quotes and stories.

Actually JC life is difficult for students, they have to wake up at 6am everyday, and go home at around 6-7 pm or later (due to CCA). After reaching home, it is just the beginning and they have to revise / do homework / go for tuition. It is much tougher than even the typical adult’s job of 8-5pm work. And JC students have to repeat the schedule daily for two years. The problem is that too much stuff is being crammed into two years.

Apparently, the retain rate / retention rate of JCs is a source of concern for many. Some official statistics has been released by MOE. The statistics given are “over the last three years, approximately 6% of first year JC students in each cohort failed some subjects in their promotional exams and were retained.” “The two JCs with the highest retention rates at JC1 averaged around 15% over the past three years.”

As a student who has gone through the system, rumours of JCs like MJC having 50% retain rate (most likely exaggerated, but having some basis of truth, since there is no smoke without fire) do cause some concern. Currently the JC system works by setting extremely tough internal exams, including promos and prelims (compared to the A levels), such that a D or E in the prelims in top JCs (e.g. RI/HCI/NJC) is very likely equivalent to an A in the eventual A levels. This works for some students to spur them to study harder, but may be overly demoralising for many students. For retention rate, common sense and logic would tell that a high retention rate would boost the school’s eventual A level results (one extra year of study is a lot), however that is at the expense of the student spending one extra year in JC. Since the retention rate is entirely up to the school’s decision (i.e. not regulated by MOE), each JC has different retain rate.

Students choosing a JC should check out their retention rate from reliable seniors / relatives / teachers (there is no official source released online for individual retention rate for JCs).

For students looking for tuition, do check out a highly recommended tuition agency.

Video on Computing Homology Groups

Just watched this again. I can truely say that this is the most clear explanation of Homology on the entire internet!

Mathtuition88

This video follows after the previous video on Simplicial Complexes.

If you are looking for quality Math textbooks to study from (including Linear Algebra and Calculus, the two most popular Math courses), check out my page on Recommended Math Books for students!

View original post

Motivational Quotes and Stories (for students)

Motivational Quotes and Stories (Life / Education / Math)

Just to share some motivational quotes and stories, including those that are relevant to life, education and math. Do also check out Motivational Books for the Student (Educational).

If you have any other quotes / stories that you like, do post it in the comments! 🙂

1) “Success consists of going from failure to failure without loss of enthusiasm.”

Winston Churchill

This applies especially to students in higher education (e.g. Junior Colleges in Singapore), where it is quite common to “fail” an exam by getting below 50%. Do not despair, and continue to study hard, and you will achieve success eventually.

“There is nothing noble in being superior to your fellow man; true nobility is being superior to your former self.”
― Ernest Hemingway

Do not compare yourself with your classmates, everyone is unique. Focus on improving yourself day by day.

Kirby tried his qualifying exam again, on the same two topics. “This time, they said, ‘You passed,’” he says. “They didn’t say it with any enthusiasm, but they said, ‘You passed.’” His committee recommended that Kirby move into some other field than topology.

But Kirby was not one to be deterred by discouragement from his teachers. He waited until their backs were turned, so to speak, and identified a topologist — Eldon Dyer — who had been away when Kirby took his qualifying exam. Kirby kept going to Dyer with questions, and “at some point it sort of became obvious that I was his student,” Kirby says. “And he told somebody later on that he realized at some point or other he was stuck with me.”

(https://www.simonsfoundation.org/science_lives_video/robion-kirby/)

Inspirational story from Rob Kirby (famous mathematician) on how to ignore discouragement, even from teachers. This is applicable to students in Singapore who are sometimes told by teachers / school to drop certain subjects (e.g. drop Higher Chinese / drop A Maths), where the motive may not be purely in the student’s interest. Sometimes the reason that the school wants the student to drop the subject is to protect the school’s ranking in the exams / boost principal’s KPI etc. In this case, the student should follow his own judgement on whether to drop the subject.

“Everyone is No. 1” Motivational Song by Andy Lau.

Beautiful Lyrics (Chinese):
我的路不是你的路
我的苦不是你的苦
每个人都有潜在的能力
把一切去征服

我的泪不是你的泪
我的痛不是你的痛
一样的天空不同的光荣
有一样的感动

不需要自怨自艾的惶恐
只需要沉着
只要向前冲
告诉自己天生我才必有用

Everyone is NO.1
只要你凡事不问能不能
用一口气交换你一生
要迎接未来不必等

Everyone is NO.1
成功的秘诀在你肯不肯
流最热的汗
拥最真的心
第一名属于每个人

我的手不是你的手
我的口不是你的口
只要一条心
暴风和暴雨
都变成好朋友

不需要自怨自艾的惶恐
只需要沉着
只要向前冲
告诉自己天生我才必有用

不害怕路上有多冷
直到还有一点余温
我也会努力狂奔

Everyone is NO.1
只要你凡事不问能不能
用一口气交换你一生
要迎接未来不必等

Everyone is NO.1
成功的秘诀在你肯不肯
流最热的汗
拥最真的心
第一名属于每个人
5)

Success is not final, failure is not fatal: it is the courage to continue that counts.

Winston Churchill

Galatians 6:4-6Easy-to-Read Version (ERV)

⁴Don’t compare yourself with others. Just look at your own work to see if you have done anything to be proud of. ⁵You must each accept the responsibilities that are yours.

Curious Inequality: 2^p(|a|^p+|b|^p)>=|a+b|^p

Try out the Personality Quiz!

This inequality often appears in Analysis: $2^p(|a|^p+|b|^p)\geq |a+b|^p$ , for $p\geq 1$ , and $a,b\in\mathbb{R}$ . It does seem quite tricky to prove, and using Binomial Theorem leads to a mess and doesn’t work!

It turns out that the key is to use convexity, and we can even prove a stronger version of the above, namely $2^{p-1}(|a|^p+|b|^p)\geq |a+b|^p$ .

Proof: Consider $f(x)=|x|^p$ which is convex on $\mathbb{R}$ . Let $a,b\in\mathbb{R}$ . By convexity, we have $\displaystyle\boxed{f(ta+(1-t)b)\leq tf(a)+(1-t)f(b)}$ for $0\leq t\leq 1$ .

Choose $t=1/2$ . Then we have $f(\frac{1}{2}a +\frac 12 b)\leq \frac 12 f(a)+\frac 12 f(b)$ , which implies $|\frac{a+b}{2}|^p\leq\frac{1}{2}|a|^p+\frac{1}{2}|b|^p$ .

Thus,

$\begin{aligned}|a+b|^p&\leq 2^{p-1}|a|^p+2^{p-1}|b|^p\\ &\leq 2^p|a|^p+2^p|b|^p\\ &=2^p(|a|^p+|b|^p) \end{aligned}$

Z(D_2n), Center of Dihedral Group D_2n

Click here for Free Personality Test

Question: What is $Z(D_{2n})$ , the center of the dihedral group $D_{2n}$ ?

Algebraically, the dihedral group may be viewed as a group with two generators $a$ and $b$ , i.e. $\boxed{D_{2n}=\{1,a,a^2,\dots,a^{n-1},b,ab,a^2b,\dots,a^{n-1}b\}}$ with $a^n=b^2=1$ , $bab=a^{-1}$ .

Answer: $Z(D_2)=D_2$

$Z(D_4)=D_4$ .

For $n\geq 3$ , $Z(D_{2n})=\begin{cases}1&,\ n\ \text{is odd}\\ \{1,a^{n/2}\}&,\ n\ \text{is even} \end{cases}$

Proof: For $n=1$ , $D_2=\{1, b\}\cong\mathbb{Z}_2$ which is abelian. Thus, $Z(D_2)=D_2$ .

For $n=2$ , $D_4=\{1,a,b,ab\}\cong V$ , the Klein four-group, which is also abelian. Thus, $Z(D_4)=D_4$ .

Let $A=\{1,a,a^2,\dots,a^{n-1}\}$ , $B=\{b,ab,a^2b,\dots,a^{n-1}b\}$ . Clearly elements in $A$ commute with each other.

Let $a^k$ be an element in $A$ . ( $0\leq k\leq n-1$ ). Let $a^lb$ be an element in $B$ . ( $0\leq l\leq n-1$ )

$\begin{aligned}a^k(a^lb)=(a^lb)a^k&\iff a^kb=ba^k\\ &\iff a^kba^{-k}b^{-1}=1\\ &\iff a^kb(bab)^kb=1\ (\text{here we used}\ bab=a^{-1})\\ &\iff a^kb(ba^kb)b=1\\ &\iff a^{2k}=1\\ &\iff k=0\ \text{or}\ n/2 \end{aligned}$

I.e. the only element in $A$ (other than 1) that is in the center is $a^{n/2}$ , which is only possible if $n$ is even.

Let $a^kb$ , $a^lb$ be two distinct elements in $B$ . ( $0\leq k< l\leq n-1$ )

$\begin{aligned}(a^kb)(a^lb)=(a^lb)(a^kb)&\iff ba^l=a^{l-k}ba^k\\ &\iff ba^{l-k}=a^{l-k}b \end{aligned}$

By earlier analysis, this is true iff $l-k=n/2$ . Each $a^kb\ (0\leq k\leq n-2)$ is not in the center since we may consider $l=k+1$ , i.e. $a^{k+1}b$ . Then $l-k=1<n/2$ . (since $n\geq 3$ ). $a^{n-1}b$ also does not commute with $a^{n-2}b$ for the same reason.

Therefore,

For $n\geq 3$ , $Z(D_{2n})=\begin{cases}1&,\ n\ \text{is odd}\\ \{1,a^{n/2}\}&,\ n\ \text{is even} \end{cases}$

Hardest JC Maths Paper (Prelims/Promos)

Just heard from some sources that AJC (Anderson Junior College) Math papers are considered the most difficult of all JCs, beating RI/HCI in terms of difficulty.

Do check out this page on how to calculate JC Ranking points.

Quotes:

AJC might have the most challenging Math papers, but that doesn’t equate to having the best math results. Other schools do better (RI/HCI)

From: http://forums.sgclub.com/singapore/ajc_good_jc_386546.html

H2 Maths this year was quite easy for both paper 1 & 2. It is definitely no where of the standard of AJC Maths Exam Papers, which are famously known for very challenging questions.

From: http://doggy94-in-air.blogspot.sg/

Group Theory in Rubik’s Cube & Music

Math Online Tom Circle

View original post

Mathematician’s life begins at 40

André Weil, the French mathematician, when still a student in University at Ecole Normale Superieur before WW 2, started the “Bourbaki” Club with the intention to change all Math Teaching using modern math from Set Theory.

Shimura was the Japanese mathematician, together with Taniyama, discovered the conjecture upon which Fermat’s Last Theorem was finally proved by Andrew Wiles in 1993/4.

Math Online Tom Circle

André Weil told the Japanese professor Goro Shimura that Prof GH Hardy talked nonsense, mathematics is not necessary for young men below 35.

Recent math breakthroughs are accomplished by men above 40, because Math needs “Logic as well as Intuition” – both take lengthy research, perseverance and team efforts by other pioneers, as illustrated below:

http://m.scmp.com/lifestyle/technology/article/1256542/zhang-yitang-proof-mathematicians-life-begins-40

View original post

Twin Prime Hero

Math Online Tom Circle

http://simonsfoundation.org/features/science-news/unheralded-mathematician-bridges-the-prime-gap/

On April 17, 2013, a paper arrived in the inbox of Annals of Mathematics, one of the discipline’s preeminent journals. Written by a mathematician virtually unknown to the experts in his field — a 50-something lecturer at the University of New Hampshire named Yitang Zhang — the paper claimed to have taken a huge step forward in understanding one of mathematics’ oldest problems, the twin primes conjecture.

Editors of prominent mathematics journals are used to fielding grandiose claims from obscure authors, but this paper was different. Written with crystalline clarity and a total command of the topic’s current state of the art, it was evidently a serious piece of work, and the Annals editors decided to put it on the fast track.

Yitang Zhang (Photo: University of New Hampshire)

Just three weeks later — a blink of an eye compared to the usual pace of mathematics journals — Zhang…

View original post 232 more words

Cut a cake 1/5

Math Online Tom Circle

Visually cut a cake 1/5 portions of equal size:

1) divide into half:

2) divide 1/5 of the right half:

3) divide half, obtain 1/5 = right of (3)

$latex frac{1}{5}= frac{1}{2} (frac{1}{2}(1- frac{1}{5}))= frac{1}{2} (frac{1}{2} (frac{4}{5}))=frac{1}{2}(frac{2}{5})$

4) By symmetry another 1/5 at (2)=(4)

5) divide left into 3 portions, each 1/5

$latex frac{1}{5}= frac{1}{3}(frac{1}{2}+ frac{1}{2}.frac{1}{5}) = frac{1}{3}.frac{6}{10}$

View original post

Quick verify multiplication

Math Online Tom Circle

Verify:2,578,314 x 6,321,737 = 16,299,423,011,418 ?

2,578,314 => (2+5+7+8+3+1+4)) =30 => (3+0) = 3

6,321,737 => (6+3+2+1+7+3+7)=29 => 2+9 = 11 => (1+1) = 2

3 x 2 = 6

16,299,423,011,418 => (1+6+2+9+9+4+2+3+0+1+1+4+1+8) = 51 => (5+1) = 6

Correct !

View original post

Proper Way of Cutting Cake

Math Online Tom Circle

The traditional way of cutting cake a la ‘Camembert Cheese’ is wrong.

View original post

Interview With The Smartest Man In The World

Math Online Tom Circle

Terence Tao (1975, Adelaide): Chinese-american, with IQ 230-240, full professor at 24. Fields Medalist.

View original post

J.P. Serre: Galois Group (Case Abelian)

JP Serre in French…

Math Online Tom Circle

(French) Groupes de Galois, le cas abélien

Jean Pierre Serre
♢ Youngest Fields Medalist in history at 27.
♢ Wolf Prize in 2000
♢ 1st person to win Abel Prize in 2003.

Listen to Master:

View original post

Introducing WordAds 2.0

WordAds 2.0 is out. Hope it is good news for international WordPress blogs, who are getting much lower ad revenue compared to the US and Europe.

WordAds

Today, we’re excited to introduce you to a new WordAds. On the front end, it’s a simpler and more streamlined experience like never before. On the back-end we have launched a real-time bidding platform to maximize earnings and ad creative control. Say hello to WordAds 2.0!

WordAds 2.0 is now fully integrated where you control the rest of your blog, in WordPress.com’s main Settings interface. You can also view your Earnings reports here and manage your payout information.

Existing WordAds users aren’t the only ones to benefit from the changes in WordAds 2.0. For new users, we have done away with the separate application process. Any family friendly WordPress.com blog with minimal page views will be considered for immediate admission to WordAds.

Bigger changes are now live in our real time bidding environment. We have dozens of ad agencies and buyers bidding in real time on each of our global…

View original post 92 more words

Projective Space Explicit Homotopy (RP1 to RP2)

Free Career Personality Quiz

The above video describes the real projective plane ( $\mathbb{R}P^2$ ).

The projective space $\mathbb{R}P^n$ can be defined as the quotient space of $S^n$ by the equivalence relation $x\sim -x$ for $x\in S^n$ .

Notation: For $x=(x_1,\dots, x_{n+1})\in S^n$ , we write $[x_1, x_2,\dots, x_{n+1}]$ for the corresponding point in $\mathbb{R}P^n$ . Let $f,g: \mathbb{R}P^1\to\mathbb{R}P^2$ be the maps defined by $f[x,y]=[x,y,0]$ and $g[x,y]=[x,-y,0]$ .

How do we construct an explicit homotopy between $f$ and $g$ ? A common mistake is to try the “straight-homotopy”, e.g. $F([x,y],t)=[x,(1-2t)y,0]$ . This is a mistake as it passes through the point [0,0,0] which is not part of the projective plane.

A better approach is to consider $F:\mathbb{R}P^1\times I\to\mathbb{R}P^2$ , defined by $\boxed{F([x,y],t)=[x,(\cos\pi t)y, (\sin\pi t)y]}$ .

Note that if $x^2+y^2=1$ , then $x^2+[(\cos\pi t)y]^2+[(\sin\pi t)y]^2=x^2+y^2=1$ .

$F([x,y],0)=[x,y,0]$

$F([x,y],1)=[x,-y,0]$

Story of Edison (Motivational)

Calculus World Cup

Just to share this news:

The National Taiwan University is holding the first ever Calculus World Cup (CWC) in February 2016. It’s the first time students from global top universities will be able to compete over Calculus in e-sports. The competition will be held on PaGamO – a social online gaming platform for education. The top 12 teams will be invited to Taiwan for the final round, and great prizes with a value of over $70,000 await the finalists!
Official website: http://cwc.pagamo.com.tw

Registration: https://pagamo.com.tw/calculus_cup

Facebook: https://www.facebook.com/PaGamo.glo

Contractible space as Codomain implies any two maps Homotopic

Click here for: Free Personality Quiz

Recall that a space Y is contractible if the identity map $\text{id}_Y$ is homotopic to a constant map. Let Y be contractible space and let X be any space. Then, for any maps $f,g: X\to Y$ , $f\simeq g$ .

Proof: Let Y be a contractible space and let X be any space. $\text{id}_Y\simeq c$ , where $c$ is a constant map. There exists a map $F: Y\times [0,1]\to Y$ such that $F(y,0)=\text{id}_Y(y)=y$ , for $y\in Y$ . $F(y,1)=c(y)=b$ for some point $b\in Y$ .

Let $f,g: X\to Y$ be any two maps. Consider $G:X\times [0,1]\to Y$ where $G(x,t)=\begin{cases} F(f(x),2t),&\ \ \ \text{for}\ 0\leq t\leq 1/2\\ F(g(x),-2t+2),&\ \ \ \text{for}\ \frac 12<t\leq 1 \end{cases}$

When $t=\frac 12$ , $F(f(x),1)=b$ , $F(g(x),1)=b$ . Therefore G is cts.

$G(x,0)=F(f(x),0)=f(x)$ ,

$G(x,1)=F(g(x),0)=g(x)$ .

Therefore $f\simeq g$ .

Motivational Video of the Weekend

Just chanced upon this video on YouTube, really made a lot of sense and is very uplifting. Dream big, and don’t set any limits on yourself and what you can do.

Some other books by Nick:

Outer measure of Symmetric Difference Zero implies Measurability

Free Career Quiz: Please help to do!

Just came across this neat beginner’s Lebesgue Theory question. As students of analysis know, just to show a set is measurable is no easy feat. The usual way is to use the Caratheodory definition, where a set E is said to be measurable if for any set A, $m^*(A)=m^*(A\cap E)+m^*(A\cap E^c)$ . This can be quite tedious.

Question: Suppose E is a Lebesgue measurable set and let F be any subset of $\mathbb{R}$ such that $m^*(E\Delta F)=0$ (Symmetric Difference is Zero). Show that F is measurable.

The short way to do this is to note that $m^*(E\Delta F)=0$ implies $m^*(E\setminus F)=0$ , and $m^*(F\setminus E)=0$ . This in turn (using a lemma that any set with outer measure zero is measurable) implies the measurability of $E\setminus F$ and $\setminus F\setminus E$ .

Next comes the critical observation: $\boxed{E\cap F=E\setminus (E\setminus F)=E\cap (E\setminus F)^c}$ . Using the fact that the collection of measurable sets is a $\sigma$ -algebra, we can conclude $E\cap F$ is measurable.

Thus $F=(E\cap F)\cup (F\setminus E)$ is the union of two measurable sets and thus is measurable.

Interesting indeed!

Math Joke (Fields Arranged by Purity)

Click here for free Career Quiz: https://career-test.com/s/sgamb?reid=210

I came across this joke on another blog: http://phdlife.warwick.ac.uk/

Quite true! A Math student will understand this at the university level and beyond, where Math has no more numbers and is full of symbols and jargon! Although even the most abstract Math has applications, the applications are only discovered years later, hence Pure Math is indeed one of the most pure subjects around.

$math joke$

Fail H2 Maths Promos or Prelims

For H2 (or H1) Maths students who are getting low marks for internal school exams, do not be overly discouraged. The current trend for schools is to set very tough internal exams (i.e. Promos and Prelims) to spur students to study hard, and (hopefully) ace the eventual final A level exams. If you look at the actual A Level Ten Year Series, you will find that the standard of questions is much easier than Prelim level.

A rule of thumb is that the eventual A level grade is 2 grades above the internal school grade. E.g., in internal exams a student getting D for H2 Maths is most likely equivalent to a B in the final A levels, provided the student continues to study hard.

Jumping from E to A grade has been done by many seniors. Do not give up, continue to believe in yourself, and keep calm while constantly revising.

Do check out this highly condensed H2 Math Notes (comes with free exam papers). The key thing to do before exams is to remember Math formulas (many students forget the AP/GP formulae for instance, and lost some free marks). Constant practice and exposure to questions is also a must.

Here are some sources of true stories:

1) https://www.facebook.com/RJConfessions/posts/220752441406251

To all the J1 and J2 kids who are struggling with math, let me share with you my personal experience. I took H2 math by the way, and refused to drop to H1 when people started dropping.

J1 CT 1: Math: U
J1 promos: Math: S
J2 CT1: Math S
J2 CT2: Math S
J2 Prelims: Math E
A levels: Math A.

The moral of the story is simple: It can be done. My math teacher used to motivate us with stories of seniors who have also flunked their way through math in the 2 years and clinched an A at the end. I didnt really believed it could happen, but I guess I chose to believe it anyways.

2) https://www.reddit.com/r/singapore/comments/3nkq4t/jc_prelims_alevels_correlation/

H2 Math: E A

H2 Chem: D B

H2 Econs: D D

H1 Physics: U A

H1 GP: B A

The grades on the left were prelims and right were my actual results. Of course it depends on your school and how hard they set the prelim papers

Fermat’s Two Squares Theorem (Gaussian Integers approach)

Today we will discuss Fermat’s Two Squares Theorem using the approach of Gaussian Integers, the set of numbers of the form a+bi, where a, b are integers. This theorem is also called Fermat’s Christmas Theorem, presumably because it is proven during Christmas.

Have you ever wondered why $5=1^2+2^2$ , $13=2^2+3^2$ can be expressed as a sum of two squares, while not every prime can be? This is no coincidence, as we will learn from the theorem below.

Theorem: An odd prime p is the sum of two squares, i.e. $p=a^2+b^2$ where a, b are integers if and only if $p\equiv 1 \pmod 4$ .

(=>) The forward direction is the easier one. Note that $a^2\equiv 0\pmod 4$ if a is even, and $a^2\equiv 1\pmod 4$ if a is odd. Similar for b. Hence $p=a^2+b^2$ can only be congruent to 0, 1 or 2 (mod 4). Since p is odd, this means $p\equiv 1\pmod 4$ .

(<=) Conversely, assume $p\equiv 1\pmod 4$ , where p is a prime. p=4k+1 for some integer k.

First we prove a lemma called Lagrange’s Lemma: If $p\equiv 1\pmod 4$ is prime, then $p\mid (n^2+1)$ for some integer n.

Proof: By Wilson’s Theorem, $(p-1)!=(4k)!\equiv -1\pmod p$ . $(4k)!\equiv [(2k)!]^2\equiv -1\pmod p$ . We may see this by observing that $4k\equiv p-1\equiv -1\pmod p$ , $4k-1\equiv -2\pmod p$ , …, $4k-(2k-1)=2k+1\equiv -2k\pmod p$ . Thus $[(2k)!]^2+1\equiv 0\pmod p$ and hence $p\mid n^2+1$ , where $n=(2k)!$ .

Then $p\mid (n+i)(n-i)$ . However $p\nmid (n+i)$ since $p\nmid n=(2k)!$ . Similarly, $p\nmid (n-i)$ . Therefore $p$ is not a Gaussian prime, and it is thus not irreducible.

$p=\alpha\beta$ with $N(\alpha)>1$ and $N(\beta)>1$ . $N(p)=N(\alpha)N(\beta)$ , which means $p^2=N(\alpha)N(\beta)$ . Thus we may conclude $N(\alpha)=p$ , $N(\beta)=p$ .

Let $\alpha=a+bi$ . Then $p=a^2+b^2$ and we are done.

This proof is pretty amazing, and shows the connection between number theory and ring theory.

Holder’s Inequality Trick

Click here: Free Career Quiz

Holder’s Inequality is a very useful inequality in Functional Analysis, hence many results can be proved by applying Holder’s Inequality.

Suppose that $\mu(\Omega)<\infty$ and $1\leq p_1<p_2\leq\infty$ . Prove that if $f_n\to f$ in $L^{p_2}$ , then $f_n\to f$ in $L^{p_1}$ .

Proof: Assume $f_n\to f$ in $L^{p_2}$ . Then there exists $N$ such that if $n\geq N$ , then $\|f_n-f\|_{p_2}=(\int |f_n-f|^{p_2} d\mu)^{1/p_2}<\epsilon$ .

Then, $\begin{aligned} \|f_n-f\|_{p_1}^{p_1}&=\int |f_n-f|^{p_1} d\mu\\ &=\||f_n-f|^{p_1}\cdot 1\|_1\\ &\leq\||f_n-f|^{p_1}\|_{p_2/p_1}\|1\|_{(p_2/p_1)'},\ \ \ \text{where } (p_2/p_1)'=\frac{p_2}{p_2-p_1}\ \text{is the Holder conjugate}\\ &=(\int |f_n-f|^{p_2}d\mu)^{p_1/p_2}(\int 1 d\mu)^\frac{p_2-p_1}{p_2}\\ &<\epsilon^{p_1}\cdot \mu(\Omega)^\frac{p_2-p_1}{p_2} \end{aligned}$

Since $\epsilon>0$ is arbitrary, $\|f_n-f\|_{p_1}^{p_1}\to 0$ as $n\to\infty$ .

Therefore, $\|f_n-f\|_{p_1}\to 0$ .

Abstract Algebra 抽象代数 (石生明教授)

Math Online Tom Circle

这位石教授的”抽象代数”很棒, 一来是他退休前的最后一课, 二来他总结为何老师教不好, 学生上完课好像听到3个大头”鬼” (群group, 环ring, 域field), 但没实际摸过。

他的第一和第二课很好, 与众不同的花时间讲 “动机”: Motivation – Why study Abstract Algebra ?

抽象代数01: Motivation

https://youtu.be/AGd1TZ-IKr0

抽象代数02: 复数扩域 C
$latex
x^{2} +1=0
$

扩域 (Extended Field)数学思维 = 人解决问题的思维
例: 国内不可行的问题, 跳出国门, 扩大到世界领域, 就找到可行的方法。
马云的Alibaba国内不看好, 跑去美国上市, 让他马上成为中国首富的亿万富翁。

View original post

张益唐: 速食店员竟然是数学天才

Math Online Tom Circle

【台湾壹週刊】

速食店员竟然是数学天才

张益唐 (1955 – ) : 北京大学 – 美国数学博士。因为执着数学理论的真理, 得罪美国大学台湾籍论文教授, 毕业后找不到大学教职, 在朋友的 Subway 速食店做会计8年, 潜心业余思考世界数学大难题: Twin Primes Gap, 终于攻破。

他的下一个目标是Riemann Hypothesis, 困扰数学家百年的难题: “素数 (Prime numbers)的分布”都集中在 Zeta function complex plane的实轴(real = 1/2) 上。大数学家David Hilbert说如果五百年后复活, 第一件事会急着问 “Riemann Hypothesis” 证明了吗?

View original post

James H. Simons, the mathematician who cracked Wallstreet

Math Online Tom Circle

James H. Simons, the Jewish mathematician who made $14 billion using Math modelling for Hedge Fund.

[Watch from 31:00 mins to 35 mins]. He told the Nobel Physicist Frank Yang (杨振宁) that the Math “Gauge Theory on Fiber Bundles(纤维丛)” which Yang was developing already existed 30 yrs ago in “Differential Geometry” by SS Chern (陈省身) from Berkeley.

“James H. Simons: Mathematics, Common Sense and Good Luck”

[Video 54:00 mins]
After being billionaire, at old age Simons went back to Math in 2004 to take refuge of sadness of the loss of a son.
He beat the German mathematicians in Differential Co-homology (Topology).

5 Guiding Principles of Success:
1) Don’t run with the pack – be original
2) Choose wonderful partner(s) in research, business…
3) Guided by Beauty
4) Don’t give up !
5) Have good luck.

Jim Simons | TED Talks
“A Rare Interview with the Mathematician Who…

View original post 3 more words

Decoding The Universe Great Math Mystery –

Math Online Tom Circle

Simons Foundation

New 2015 Full Documentary #WorldMathsDay” –

Math Mystery Tour (BBC)

View original post

245A, Notes 4: Modes of convergence

What's new

If one has a sequence $latex {x_1, x_2, x_3, ldots in {bf R}}&fg=000000$ of real numbers $latex {x_n}&fg=000000$, it is unambiguous what it means for that sequence to converge to a limit $latex {x in {bf R}}&fg=000000$: it means that for every $latex {epsilon > 0}&fg=000000$, there exists an $latex {N}&fg=000000$ such that $latex {|x_n-x| leq epsilon}&fg=000000$ for all $latex {n > N}&fg=000000$. Similarly for a sequence $latex {z_1, z_2, z_3, ldots in {bf C}}&fg=000000$ of complex numbers $latex {z_n}&fg=000000$ converging to a limit $latex {z in {bf C}}&fg=000000$.

More generally, if one has a sequence $latex {v_1, v_2, v_3, ldots}&fg=000000$ of $latex {d}&fg=000000$-dimensional vectors $latex {v_n}&fg=000000$ in a real vector space $latex {{bf R}^d}&fg=000000$ or complex vector space $latex {{bf C}^d}&fg=000000$, it is also unambiguous what it means for that sequence to converge to a limit $latex {v in {bf R}^d}&fg=000000$ or $latex {v in {bf C}^d}&fg=000000$; it means…

View original post 6,079 more words

mu is countably additive if and only if it satisfies the Axiom of Continuity

Free Career Personality Quiz (Hundreds of people have tried it!)

Let $\mu$ be a finite, non-negative, finitely additive set function on a measurable space $(\Omega, \mathcal{A})$ . Show that $\mu$ is countably additive if and only if it satisfies the Axiom of Continuity: For $E_n\in\mathcal{A}, E_n\downarrow\emptyset \implies \mu(E_n)\to 0$ .

(=>) Assume $\mu$ is countably additive. Let $E_n\in\mathcal{A}$ , $E_n\downarrow\emptyset$ . Then,

$\displaystyle \lim_n \mu (E_n)=\mu (\cap_{n=1}^\infty E_n)=\mu (\emptyset)$ .

Suppose $\mu(\emptyset)=c$ . Then $\mu(\emptyset)=\mu(\cup_{n=1}^\infty \emptyset)=\sum_{n=1}^\infty c$ implies $c=0$ .

(<=) Assume $\mu$ satisfies Axiom of Continuity. Let $A_n\in\mathcal{A}$ be mutually disjoint sets. Define $E_n=\cup_{i=1}^\infty A_i\setminus \cup_{i=1}^n A_i$ .

Then $E_n\downarrow\emptyset$ . $\lim_n \mu(E_n)=0$ , $\lim_n \mu(\cup_{i=1}^\infty A_i)-\mu (\cup_{i=1}^n A_i)=0$ . $\lim_n \mu(\cup_{i=1}^n A_i)=\mu (\cup_{i=1}^\infty A_i)$ .

Therefore

$\begin{aligned}\mu(\cup_{i=1}^\infty A_i)&=\lim_n \mu(\cup_{i=1}^n A_i)\\ &=\lim_n \sum_{i=1}^n \mu (A_i)\\ &=\sum_{i=1}^\infty \mu(A_i) \end{aligned}$

Measure that is absolutely continuous with respect to mu

Interesting Career Personality Test (Free): https://mathtuition88.com/free-career-quiz/

Let $(X,\mathcal{M},\mu)$ be a measure space, and let $f:X\to [0,\infty]$ be a measurable function. Define the map $\lambda:\mathcal{M}\to[0,\infty]$ , $\lambda(E):=\int_X \chi_E f d\mu$ , where $\chi_E$ denotes the characteristic function of $E$ .

(a) Show that $\lambda$ is a measure and that it is absolutely continuous with respect to $\mu$ .

(b) Show that for any measurable function $g:X\to[0,\infty]$ , one has $\int_X g d\lambda=\int_X gf d\mu$ in $[0,\infty]$ .

Proof: For part (a), we routinely check that $\lambda$ is indeed a measure.

$\lambda(\emptyset)=\int_X \chi_\emptyset f d\mu=\int_X 0 d\mu=0$ . Let $E_i$ be mutually disjoiint measurable sets.

$\begin{aligned} \lambda(\cup_{i=1}^\infty E_i)&=\int_X \chi_{\cup_{i=1}^\infty E_i} f d\mu\\ &=\int_X (\sum_{i=1}^\infty \chi_{E_i}) f d\mu\\ &=\sum_{i=1}^\infty \int_X \chi_{E_i} f d\mu\\ &=\sum_{i=1}^\infty \lambda (E_i) \end{aligned}$

If $\mu (E)=0$ , then $\chi_{E} f=0$ a.e., thus $\lambda (E)=0$ . Therefore $\lambda\ll\mu$ .

(b) We note that when $g$ is a characteristic function, i.e. $g=\chi_E$ ,

$\begin{aligned} \int_X g d\lambda&=\int_X \chi_E d\lambda\\ &=\lambda (E)\\ &=\int_X \chi_E f d\mu\\ &=\int_X gf d\mu \end{aligned}$

Hence the equation holds. By linearity, we can see that the equation holds for all simple functions. Let $(\psi_n)$ be a sequence of simple functions such that $\psi_n\uparrow g$ . Then by the Monotone Convergence Theorem, $\lim_{n\to\infty} \int \psi_n d\lambda=\int g d\lambda$ .

Note that $\psi_n f\uparrow gf$ , thus by MCT, $\lim_{n\to\infty}\int\psi_n f d\mu=\int g f d\mu$ . Note that $\int \psi_n d\lambda=\int \psi_n f d\mu$ . Hence, $\int g d\lambda=\int gf d\mu$ , and we are done.

Calculus: Difficult Integration

Math Online Tom Circle

Question on @Quora:

In the French Classe Préparatoire 1st year “Mathematiques Supérieures”, we wanted to test our admired Math Prof whom we think was a “super know-all” mathematician. We asked him the above question. He immediately scolded us in the unique French mathematics rigor:

“L’intégration n’a pas de sense!
Quelle-est la domaine de définition?”

(The integration has no meaning! What is the domain of definition ?)

He was right! Under the British Math education, we lack the rigor of mathematics. We are skillful in applying many tricks to integrate whatever functions, but it is meaningless without specifying the domain (interval) in which the function is defined ! Bear in mind Integration of a function f (curve) is to calculate the Area under the curve f within an interval (or Domain, D). If f is not defined in D, then it is meaningless to integrate f because there won’t be…

View original post 3 more words

Visual Math

Math Online Tom Circle

99% of my friends get it wrong, except a 13-year-old boy who can ‘see’ it.

Wrong answer : 25

Answer (below):
Try before you scroll down.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

View original post 58 more words

Singapore PSLE 2015 Math

Math Online Tom Circle

PSLE is “Primary School Leaving Exams” for 11~12 year-old children sitting at the end of 6-year primary education. The result is used as selection criteria to enter the secondary school of choice.

Hint: Without seeing or feeling the weight of the $1 coin, you still can guess the answer. This is the essence of “Singapore Math” — using “Guesstimation“.

Answer (below):
Try before you scroll down.
If wrong answer, please go back to primary school 🙂
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

View original post 118 more words

f integrable implies set where f is infinite is measure zero

Let $(X,\mathcal{M},\mu)$ be a measure space. Let $f:X\to [0,\infty]$ be a measurable function. Suppose that $\int_X f d\mu<\infty$ .

(a) Show that the set $\{x\in X:f(x)=\infty\}\subseteq X$ is of $\mu$ -measure 0. (Intuitively, this is quite obvious, but we need to prove it rigorously.)

(b) Show that the set $\{x\in X:f(x)\neq 0\}\subseteq X$ is $\sigma$ -finite with respect to $\mu$ . i.e. it is a countable union of measurable sets of finite $\mu$ -measure.

We may use Markov’s inequality, which turns out to be very useful in this question.

Proof: (a) Let $E_k=\{x\in X:f(x)\geq k\}$ , where $k\in\mathbb{N}$ . Denote $E_\infty=\{x\in X:f(x)=\infty\}$ .

$E_K \downarrow E_\infty$ , and $\mu (E_1)\leq\frac{1}{1}\int_X f d\mu<\infty$ . (Markov Inequality!)

Then

$\begin{aligned}\mu(E_\infty)&=\lim_{k\to\infty}\mu (E_k)\\ &\leq\lim_{k\to\infty}\frac{1}{k}\int f d\mu\ \ \ \text{(Markov Inequality)}\\ &=0 \end{aligned}$

Therefore, $\mu(E_\infty)=0$ .

(b) Let $S_k=\{x\in X:f(x)\geq\frac{1}{k}\}$ , $k\in\mathbb{N}$ .

$\{x\in X:f(x)\neq 0\}=\cup_{k=1}^\infty S_k$

Therefore, $\mu(S_k)\leq k\int f d\mu<\infty$ , and we have expressed the set as a countable union of measurable sets of finite measure.

Once again, do check out the Free Career Quiz!

Markov Inequality + PSLE One Dollar Question

Many people have feedback to me that the Career Quiz Personality Test is surprisingly accurate. E.g. people with peaceful personality ended up as Harmonizer, those who are business-minded ended up as Entrepreneur. Do give it a try at https://mathtuition88.com/free-career-quiz/. Please help to do, thanks a lot!

Also, some recent news regarding PSLE Maths is that a certain question involving weight of $1 coins appeared. It is very interesting, and really tests the common sense and logical thinking skills of kids.

Markov inequality is a useful inequality that gives a rough upper bound of the measure of a set in terms of an integral. The precise statement is: Let $f$ be a nonnegative measurable function on $\Omega$ . The Markov inequality states that for all $K>0$ , $\displaystyle \mu\{x\in\Omega:f(x)\geq K\}\leq\frac{1}{K}\int fd\mu$ .

The proof is rather neat and short. Let $E_K:=\{x\in\Omega: f(x)\geq K\}$ Then,

$\begin{aligned} \int f d\mu &\geq \int_{E_K} fd\mu\\ &\geq \int_{E_K}K d\mu\\ &=K \mu(E_K) \end{aligned}$

Therefore, $\mu(E_K)\leq\frac{1}{K}\int fd\mu$ .

Free Career Personality Quiz (Please help to do!)

URL: https://career-test.com/s/sgamb?reid=210

The results of this Personality Test is quite surprisingly accurate, do give it a try to see if you are a Careerist, Entrepreneur, Harmonizer, Idealist, Hunter, Internationalist or Leader?

Do try out this Free Career Guidance Personality Test at https://career-test.com/s/sgamb?reid=210 while it is still available!

Benefits of doing the (Free) Career Test:

Get familiar with the top companies in Singapore
There are seven distinct career types based on career preferences, goals and personality. Get to know yours! (My result: Harmonizer)
Take part in the annual Universum survey and win prizes!

Necessary and Sufficient Condition for Integrability in finite measure space

URL: https://career-test.com/s/sgamb?reid=210

The results of this Personality Test is quite surprisingly accurate, do give it a try to see if you are a Careerist, Entrepreneur, Harmonizer, Idealist, Hunter, Internationalist or Leader?

Do try out this Free Career Guidance Personality Test at https://career-test.com/s/sgamb?reid=210 while it is still available!

Benefits of doing the (Free) Career Test:

Get familiar with the top companies in Singapore
There are seven distinct career types based on career preferences, goals and personality. Get to know yours! (My result: Harmonizer)
Take part in the annual Universum survey and win prizes!

Let $(\Omega, \Sigma, \mu)$ be a finite measure space. Suppose that $f\geq 0$ is a measurable function on $\Omega$ . Let $E_n:=\{\omega\in\Omega:f(\omega)\geq n\}$ for each $n\in \mathbb{N}\cup\{0\}$ . Show that $f$ is integrable if and only if $\sum_{n=0}^\infty \mu(E_n)<\infty$ .

This proof has a cute solution that is potentially very short. We will elaborate more on this proof. Other approaches include using Markov’s Inequality / Chebyshev’s inequality.

Proof: Consider $g=\sum_{n=1}^\infty I_{E_n}$ .

Note that for each $n\geq 0, n\in\mathbb{N}$ on $E_n\setminus E_{n+1}$ , $g=n$ , while $n\leq f<n+1$ . Therefore $g\leq f<g+1$ on $\Omega$ .

Integrating with respect to $\mu$ , we get $\int_{\Omega} gd\mu\leq\int_{\Omega} fd\mu<\int_{\Omega} g+1d\mu$ .

$\displaystyle\boxed{\sum_{n=1}^\infty \mu (E_n)\leq \int_\Omega f d\mu<\sum_{n=1}^\infty\mu(E_n)+\mu(\Omega)}$

(=>) Now assuming f is integrable, i.e. $\int fd\mu<\infty$ , we have $\sum_{n=1}^\infty \mu(E_n)<\infty$ . $\mu(E_0)=\mu(\Omega)<\infty$ . Therefore $\sum_{n=0}^\infty\mu(E_n)<\infty$ .

(<=) Conversely, if $\sum_{n=0}^\infty\mu(E_n)=\sum_{n=1}^\infty \mu(E_n)+\mu(\Omega)<\infty$ , then $\int_\Omega f d\mu<\infty$ .

We are done.

Note: For a more rigorous proof of $\int gd\mu=\sum_{n=1}^\infty \mu (E_n)$ we can use MCT (Monotone Convergence Theorem).

Let $g_k=\sum_{n=1}^k I_{E_n}$ . Then $g_k\uparrow g$ . By MCT, $\int gd\mu=\lim_{k\to\infty} \int g_k d\mu=\lim_{k\to\infty} \sum_{n=1}^k \mu (E_n)=\sum_{n=1}^\infty \mu(E_n)$ .

εδ Confusion in Limit & Continuity

Math Online Tom Circle

1. Basic:
|y|= 0 or > 0 for all y

2. Limit: $latex displaystylelim_{xto a}f(x) = L$ ; x≠a
|x-a|≠0 and always >0
hence
$latex displaystylelim_{xto a}f(x) = L$
$latex iff $
For all ε >0, there exists δ >0 such that
$latex boxed{0<|x-a|<delta}$
$latex implies |f(x)-L|< epsilon$

3. Continuity: f(x) continuous at x=a
Case x=a: |x-a|=0
=> |f(a)-f(a)|= 0 <ε (automatically)
So by default we can remove (x=a) case.

Also from 1) it is understood: |x-a|>0
Hence suffice to write only:
$latex |x-a|<delta$

f(x) is continuous at point x = a
$latex iff $
For all ε >0, there exists δ >0 such that
$latex boxed{|x-a|<delta}$
$latex implies |f(x)-f(a)|< epsilon$

View original post