The Unapologetic Mathematician

Mathematics for the interested outsider

Ordered Linear Spaces I

I saw a really great talk today by Howard Barnum of the Los Alamos National Laboratory. It dovetails wonderfully with what I’ve been talking about here, and I think I can help him by bringing my categorical inclination to bear on his subjects. I’ll omit the motivation he was using because I can’t really explain the background, but it makes for a great example of a category.

We define the category \mathcal{O}rd\mathcal{L}in of “ordered linear spaces” by starting with a totally ordered field \mathbb{F}. If you know what the real numbers are (I still haven’t defined them here) use them, but otherwise you can get away for now with rational numbers. We consider the category \mathbf{FinVect}_\mathbb{F} of finite-dimensional vector spaces over \mathbb{F} and \mathbb{F}-linear maps between them.

Now an ordered linear space is a finite-dimensional vector space equipped with a certain partial order, compatibly with the linear structure. We can do this by specifying a “cone” of vectors to consider as being bigger than {0}. Then v\geq w exactly when v-w\geq0. We require that if v\geq0 then so is each \lambda v with \lambda\geq0 in the field \mathbb{F}. From this we can tell that if u=\lambda v+(1-\lambda)w with v\geq0, w\geq0, and 0\leq\lambda\leq1, then u\geq0 by the transitive property of partial orders. That is, the cone contains the line segment between any two of its points. In this situation we say it is a “convex set”. Finally, we require that we can find a positive basis of our vector space — one consisting of positive vectors. This is an ordered linear space, which is an object of \mathcal{O}rd\mathcal{L}in. Because the order is specified by its cone, we often call such a space a “cone”.

A morphism in our category is just a linear function from one ordered linear space to another that preserves the partial order. That is, we call a linear function f:V\rightarrow W “positive” if whenever v\geq0 in V then f(v)\geq0 in W. In other words, it sends the one cone into the other. An isomorphism is an isomorphism of vector spaces which identifies the two cones — the must be the “same shape”, up to a linear transformation. A subcone — the image of a monomorphism — works out to be exactly what it seems like it should be: a convex cone that fits inside another cone.

There’s a functor from the category \mathbf{FinSet} of finite sets to \mathcal{O}rd\mathcal{L}in. We start with a finite set and construct the free vector space on it. We define the cone to be all those vectors with all components positive. For reasons related to our motivation, we call these cones — and any cone equivalent to one of them — “classical”. The linear transformation induced by a function between finite sets is clearly positive, and so this is indeed a functor. It’s not hard to see that the image of any morphism from a classical cone is again classical, and thus the classical cones form a full subcategory of \mathcal{O}rd\mathcal{L}in.

There’s a lot more to be said about these things, but I’ll leave it here for now.

About these ads

September 23, 2007 - Posted by | Category theory

4 Comments »

  1. [...] posting things at the end of last week due to the conference, I’ll continue my discussion of ordered linear spaces with this observation: because each ordered linear space is a vector space with extra structure, [...]

    Pingback by Ordered Linear Spaces II « The Unapologetic Mathematician | September 24, 2007 | Reply

  2. [...] on a roll with our discussion of ordered linear spaces. So I want to continue past just describing these things and prove a very interesting theorem that [...]

    Pingback by Ordered Linear Spaces III « The Unapologetic Mathematician | September 24, 2007 | Reply

  3. [...] Linear Spaces — Solved! Okay, there’s some sort of problem with these things. I defined the category , showed some properties, and tried to prove a theorem. Here I want to collect what [...]

    Pingback by Problems with Ordered Linear Spaces — Solved! « The Unapologetic Mathematician | September 25, 2007 | Reply

  4. Many basic properties of cones and partial ordering in the book:

    Convex Optimization & Euclidean Distance Geometry

    http://meboo.convexoptimization.com
    http://convexoptimization.com

    Comment by Jon Dattorro | September 26, 2007 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 388 other followers

%d bloggers like this: