Before I moved here and started grad school, I felt that I had no idea what this life would be like. I know just what it's like to go to an office job every day, and I think the tenor of that life is similar across different jobs. But being in school full time - especially doing nothing but school, as I'm doing now - is a different thing. What would it be like not having as much income? A more variable schedule? A choice of where to work most of the time?

Well, I know what it's like now, I guess. In some ways, it's surprising how much I feel the same, like the same person as I was before. I know that couldn't surprise anyone else about me - of course I'm the same Tam! - but it feels surprising inside somehow.

One observation is that my current life feels much simpler than my old life. Every day, M-F, I walk to school, do stuff, and then walk back home. I almost never drive anywhere during the week, and on the weekends I usually only make one or two trips, for groceries and maybe to go eat somewhere or something. As a result, I don't see as many different things as I used to. My world has contracted a bit physically.

5 times a week, usually at lunch, I eat at a dining hall here, usually the same one. The food is different every day, but the experience is very similar. I used to eat out almost every weekday for lunch, at all different places, so this is another simplification. I go to this place and I eat whatever they have there. The rest of my meals I eat at home, and they are also not greatly varied.

At work, I used to interact (for work purposes) with a bunch of different people, and my assignments were varied, numerous, and overlapping. I'm doing more work now than I was then, yet it is given by fewer people and is less varied while at the same time also being far less routine. And everything has very clear deadlines, which wasn't the case when I was working.

It feels like in general, my life is more tightly circumscribed than before. And I pretty much like it.

For the most part, I don't find myself struggling as much as usual with motivation. Having clear deadlines and more difficult, interesting work makes it much easier for me to get stuff done. I've been operating in a pretty high gear (for me) since school started. I have found, however, that I will need to kick that up a notch to really do well, because my high gear isn't quite adequate to keep me out of the danger of not getting things finished on time. Work comes due in little clumps, so I have the option of relaxing for a few days and then having a few more stressful days, and I'd like to smooth that curve out a bit more than I've been doing.

But there is no question that this life is more enjoyable in just about every way than working for a living.

## Thursday, September 30, 2010

## Saturday, September 25, 2010

### Landslide

There are certain songs that speak to me very strongly, sometimes for reasons I don't understand. "Landslide" by Fleetwood Mac is one of them. I've always felt an affinity for the idea of speaking to my younger self, or more generally the relationship between younger and older selves, which is what the song strikes me as being about, at least today.

## Thursday, September 23, 2010

### The Problem of Measure

One of the central ideas, perhaps the central idea, of my real analysis course concerns something that is called "the problem of measure." Measure Theory is important in analysis and, eventually, probability theory and other things as well. (During my visit here in the Spring, I asked a grad student studying measure theory whether that was an area in probability and she said, no, it was more like probability was an area within measure theory.)

Anyway, the basic idea is like this. If you have the real line, or a plane, or 3-dimensional space, or as many dimensions as you want, can you measure every subset of it? I'm just going to talk about the real line (all of the real numbers). If you have an interval, we usually talk about the length of the interval as its measure. But not all subsets are intervals. For instance, the rational numbers are a subset of the real numbers, but they don't have a "length." Is there something like length, but more general, that we can use to measure all subsets?

Remember Riemann integration, where you find the area under a curve by approximating with boxes? One way to do that is to measure the boxes that go outside of the curve (the brown ones) and the ones that go inside (the orange ones), then take the limit as you make the boxes narrower, and then see if the two limits are the same, in which case, that limit is the area under the curve. (Intuitively, you can see that if you make the boxes "infinitely narrow," the inside and outside boxes would be the same under a smooth curve like this one. That's what it means to take the limit.)

There is a similar definition of measure, called Jordan Measure. Unfortunately, it doesn't exist for quite a lot of subsets of the real numbers (just like not every function is integrable).

What we really want is a happy kind of measure that satisfies at least the following intuitively obvious conditions:

1. The measure of an interval is the same as its length.

2. If you have two (or more) sets, and they are disjoint (don't overlap), then the measure of their union (both together) should be the sum of their individual measures. (In other words, if you cut something up into pieces, the sum of the sizes (measures) of the pieces should be the same as the size of the original.)

3. If you have two sets, A and B, and A is a subset of B, then the measure of A should be less than or equal to the measure of B. (In other words, if A fits inside of B, then A shouldn't be "larger" under this measure.)

4. It is "translation invariant" - moving a set around (like by adding something to every number in it) doesn't change its measure.

5. The measure of the empty set is 0.

6. Measures are never negative.

What we're studying now in analysis is called Lebesque Measure. Actually, what we have is Lebesque Outer Measure, which is the Lebesque equivalent of the outer box method (the brown boxes above). Here is the difference between Jordan measure and Lebesque measure. In both of them, you are looking at intervals (the 1-dimensional equivalent of boxes; of course when you do this in more dimensions you use boxes or rectangular solids, etc.). In Jordan outer measure, the intervals can't overlap, and they have to be finite in number. In Lebesque outer measure, the intervals CAN overlap, and they can be countably infinite (you can have one for each natural number, going up to infinity). In both cases, you then take the infimum (which is basically the lower limit) of the sum of the lengths of the intervals, for all such sets of intervals.

There is no Lebesque inner measure. Lebesque outer measure exists for every subset of the reals and it has a lot of the nice qualities we want, but it doesn't have criterion 2 (called "additivity") above for all sets. So what they did was, they said, hey, if a set is additive with every other set, then it's "Lebesque measurable." Otherwise, we don't care about it. (Ideally you'd have an even better measure that works perfectly for all sets, but such a thing either doesn't exist or hasn't been figured out yet, as best I'm aware.)

Basically, every kind of set you'd easily think of is Lebesque measurable. Certainly all of the intervals, all singletons, plus sets like the rational numbers are measurable.

Right now, what I'm struggling with is that we have approximately three kadrillion theorems about Lebesque outer measure and about Lebesque measurability, and I'm having a really hard time keeping them all straight, even though I've written out each one with proof and even though I've (several times) made lists of all of them. The idea that I might have to be able to reproduce any or all of these proofs on an exam is terrifying but possibly true. So...that's my own little personal addendum to this otherwise no doubt extremely boring post about math.

Anyway, the basic idea is like this. If you have the real line, or a plane, or 3-dimensional space, or as many dimensions as you want, can you measure every subset of it? I'm just going to talk about the real line (all of the real numbers). If you have an interval, we usually talk about the length of the interval as its measure. But not all subsets are intervals. For instance, the rational numbers are a subset of the real numbers, but they don't have a "length." Is there something like length, but more general, that we can use to measure all subsets?

Remember Riemann integration, where you find the area under a curve by approximating with boxes? One way to do that is to measure the boxes that go outside of the curve (the brown ones) and the ones that go inside (the orange ones), then take the limit as you make the boxes narrower, and then see if the two limits are the same, in which case, that limit is the area under the curve. (Intuitively, you can see that if you make the boxes "infinitely narrow," the inside and outside boxes would be the same under a smooth curve like this one. That's what it means to take the limit.)

There is a similar definition of measure, called Jordan Measure. Unfortunately, it doesn't exist for quite a lot of subsets of the real numbers (just like not every function is integrable).

What we really want is a happy kind of measure that satisfies at least the following intuitively obvious conditions:

1. The measure of an interval is the same as its length.

2. If you have two (or more) sets, and they are disjoint (don't overlap), then the measure of their union (both together) should be the sum of their individual measures. (In other words, if you cut something up into pieces, the sum of the sizes (measures) of the pieces should be the same as the size of the original.)

3. If you have two sets, A and B, and A is a subset of B, then the measure of A should be less than or equal to the measure of B. (In other words, if A fits inside of B, then A shouldn't be "larger" under this measure.)

4. It is "translation invariant" - moving a set around (like by adding something to every number in it) doesn't change its measure.

5. The measure of the empty set is 0.

6. Measures are never negative.

What we're studying now in analysis is called Lebesque Measure. Actually, what we have is Lebesque Outer Measure, which is the Lebesque equivalent of the outer box method (the brown boxes above). Here is the difference between Jordan measure and Lebesque measure. In both of them, you are looking at intervals (the 1-dimensional equivalent of boxes; of course when you do this in more dimensions you use boxes or rectangular solids, etc.). In Jordan outer measure, the intervals can't overlap, and they have to be finite in number. In Lebesque outer measure, the intervals CAN overlap, and they can be countably infinite (you can have one for each natural number, going up to infinity). In both cases, you then take the infimum (which is basically the lower limit) of the sum of the lengths of the intervals, for all such sets of intervals.

There is no Lebesque inner measure. Lebesque outer measure exists for every subset of the reals and it has a lot of the nice qualities we want, but it doesn't have criterion 2 (called "additivity") above for all sets. So what they did was, they said, hey, if a set is additive with every other set, then it's "Lebesque measurable." Otherwise, we don't care about it. (Ideally you'd have an even better measure that works perfectly for all sets, but such a thing either doesn't exist or hasn't been figured out yet, as best I'm aware.)

Basically, every kind of set you'd easily think of is Lebesque measurable. Certainly all of the intervals, all singletons, plus sets like the rational numbers are measurable.

Right now, what I'm struggling with is that we have approximately three kadrillion theorems about Lebesque outer measure and about Lebesque measurability, and I'm having a really hard time keeping them all straight, even though I've written out each one with proof and even though I've (several times) made lists of all of them. The idea that I might have to be able to reproduce any or all of these proofs on an exam is terrifying but possibly true. So...that's my own little personal addendum to this otherwise no doubt extremely boring post about math.

Subscribe to:
Posts (Atom)