## From Local Oscillation to Neighborhoods

When we defined oscillation, we took a limit to find the oscillation “at a point”. This is how much the function changes due to its behavior within every neighborhood of a point, no matter how small. If the function has a jump discontinuity at , for instance, it shows up as an oscillation in . We now want to investigate to what extent such localized oscillations contribute to the oscillation of over a spread-out neighborhood of a point.

To this end, let be some bounded function on a compact region . Given an , assume that for every point . Then there exists a so that for every closed neighborhood we have whenever the diameter of is less than . The diameter, incidentally, is defined by

in a metric space with distance function . That is, it’s the supremum of the distance between any two points in .

Anyhow, for each we have some metric ball so that

because by picking a small enough neighborhood of we can bring the oscillation over the neighborhood within any positive distance of . This is where we use the assumption that .

The collection of all the half-size balls forms an open cover of . Thus, since is compact, we have a finite subcover. That is, the half-size balls at some finite collection of points still covers . We let be the smallest of these radii .

Now if is some closed neighborhood with diameter less than , it will be partially covered by at least one of these half-size balls, say . The corresponding full-size ball then fully covers . Further, we chose this ball so that the , and so we have

and we’re done.

I have been enjoying this, yet haven’t thanked you in a while. There are only a few days left for me to land interviews for local high school Math teaching jobs that start January 2010. This week, I filled out online forms for 1.5 straight hours in Yet Another Incompatible Online Teaching Job application. They emailed me a noncommittal suggestion that I phone to schedule a screening interview, and bring “all my documents.” All. Hmmmm….

Comment by Jonathan Vos Post | December 8, 2009 |

It is a nice presentation. Perhaps it is very complicated but I think there are already Math experts know about this equation. Very difficult.

Comment by dvestv | December 9, 2009 |

I’m not intending this to be original, dvestv. And which particular equation do you mean?

Comment by John Armstrong | December 9, 2009 |

[...] . In each of the subintervals not containing points of , we have for all in the subinterval. Then we know there exists a so that we can subdivide the subinterval into smaller subintervals each with a [...]

Pingback by Jordan Content Integrability Condition « The Unapologetic Mathematician | December 9, 2009 |

I’m afraid I got a little lost in the notation and didn’t quite follow the argument here. What do you mean by big omega of little x? Also, why is big omega of a local neighborhood of x ( less than the oscillation at x? I would think that inequality goes the other way.

I may just be terribly confused, so my apologies if so and I just didn’t read carefully enough.

Comment by Gilbert Bernstein | December 10, 2009 |

Your first question is do to what we mathematicians call “my bad”. Should have been .

For the second, it’s not less than the oscillation at , it’s less than (which is connected to my earlier mistake). The “trick” (artful, not deceptive, just like in those climate emails) is that I’m writing as the oscillation plus the difference between the oscillation and .

Clearer now?

Comment by John Armstrong | December 10, 2009 |

Ahh, yes. That makes so much more sense now. That’s remarkable how much of a difference a typo can make for math.

Comment by Gilbert Bernstein | December 11, 2009 |