# Can we agree this is simpler?

June 26, 2012 2 Comments

I’m going to start writing about something I am not too familiar: analysis. More specifically, I want to remember some basic complex analysis, and while doing that, I’ll share it with you. I’m going to assume some basic working knowledge of analysis, but not very much. Pretty much only what I have.

For today, I wanted to talk about continuity. We have an intuitive grasp about what it means to be continuous (essentially it means “no jumps”), but when we try to write this down exactly, we get this monstrosity:

Even once you’ve gotten used to this, you’re sometimes thrown a curveball with these so-called “ arguments.” What I mean is that, maybe you have two parts whose sum has to be less that , so you’d want to ensure each part is less than . If each part is continuous, then for small enough , you can make each part less than whatever number you want: say, less than .

And of course, there are “ arguments,” and “ arguments,” and even wackier things. Stating it this way may seem reasonable, but it always annoyed and confused me when I started to read a proof, and it says “Pick that bounds some continuous expression by some wacky function of . Then, as you go through the proof, you undo the wacky function of , only to be left with at the end. This is certainly not how the author thought of the proof, and is not how I am going to understand it.

The core idea is that things don’t get “too big.” If you start with , and at the end of a proof, you end up with , what’s the big deal? It’s still a function of that goes to zero. I found a quote on this blog that I’ve always really liked:

Mathematical maturity is when you’re grown up enough to handle a “.” -Michael Sharpe

Now I’m going to actually prove for you that this is okay, so that from now on, I can do it the nice way, instead of the confusing way.

**Theorem:** Let be a function such that as . Suppose that for positive every there exists some such that whenever , then . Then is continuous at the point

**Proof:** Let . Pick such that . We can do this for any because tends to as goes to . Find so that whenever , then . Done.

At times I may use generalizations of this without taking the time to prove them in the blog. I promise the ideas are all the same, and the proofs are just as straight-forward and just as short.

Speaking of “wackier things”, I’ve always loved the arguments in analysis. It puts arguments to shame.

For example, if you want a open dense set with measure at most , then you can enumerate the rationals and take an interval of width around the -th rational. The union is open and contains a dense set, but the measure of the union is at most .

Glad to see you’ve seen the light and are writing about analysis!

Just to be persnickety, I meant open dense subset of (with Lebesgue measure).