“Think about what things **do** rather than about how they are **defined**.”

That’s a nice piece of advice from Dr. Erdman in response to my question about ideals in class today. Having already taken abstract algebra, the image of an ideal in my head is as an algebraic structure with certain properties:

A subset of a ring is an

idealif:is closed under addition, and

given any element , and any element , then both and .

But the ideal the Dr. Erdman is talking about in section 16.2 of his text is an **order ideal**, and to be an order ideal, we start with a partially ordered set:

Let be a partially ordered set, then a subset is an order ideal of if and together imply that .

My question in class had to do with the rationale behind the use of the term *ideal* to describe two (what seem to me to be) very different things. Perhaps there was a way to make them equivalent… Perhaps if we look at a sigma-algebra as a ring under some operations, or since a Riesz space is a lattice, we get binary relations there too…

The answer is both simpler and more deep that that, let us look at what an ideal *does*: in abstract algebra, we came up with the idea of an ideal to allow us to create ‘cosets’ and thus have an easy way of looking at factor rings. The properties of an ideal are what is needed for it to be the kernel of some homomorphism and to then generate a homomorphism theorem for rings analogous to that for groups.

An order ideal plays a similar role in partially ordered sets, although I have not actually looked at the details of that, it makes a lot of sense. I will try to work through what I have and see where that gets us – any comments or suggestions or observations would be greatly appreciated!

We also discussed a selection of different kinds of measures:

[0, ∞] : Positive Measure

[0, ∞) : Positive Real Measure

(-∞, ∞] or [-∞,∞) : Signed Measure

: Real Measure

: Complex Measure.

In general, a measure is a countably additive set function whose domain is a -algebra, and whose codomain is some subset of (yes, or ) In the list above, the first items are the codomains for that particular kind of measure.

Another thing Dr. Erdman gave us to think about was why must we have when we allow or as a result (i.e. in either signed or positive measures?) And then, why cannot we have the possibility the the empty set is the only set of measure 0 and all other sets have measure ?

There were a couple of other items I didn’t quite catch, if someone else can fill me in… But one important thing I did catch — measures are an abstraction of the idea of *length*. Perhaps more an idea of the *size* of a set in some sense too.

In any case, I must get cracking on class prep for my first day of teaching!

ex animo-

Felicis

Filed under: Analysis |

saij, on January 9, 2008 at 12:34 pm said:Sweet! He once told me upon my questioning him about what a Tensor was, “I don’t know, but I can tell you what it does!”