The Unapologetic Mathematician

Mathematics for the interested outsider

Some Topological Fields

Okay, hopefully now that I’m back in Kentucky and I’ve gotten the first day of all three of my classes under my belt, I can get back into the groove.

In a little while we’re going to want to talk about “evaluating” a power series like we did when we considered polynomials as functions. But when we try to map into our base field, we get a sequence of values and we ask questions about convergence. That means we need to have a topology on our field! Luckily there are a few hanging around.

The real numbers have a topology. In fact, that’s really their main characteristic. The rational numbers have a topology too, but the whole motivation of the construction of the real numbers is that rational numbers have a lot of holes that sequence limits fall through. Since we’re talking about sequences here we really need the tighter weave that the real numbers provide.

What else can we use? The complex numbers form a two-dimensional vector space over the reals, which means that as a vector space we have the isomorphism \mathbb{C}\cong\mathbb{R}\times\mathbb{R}. So let’s just use the product metric, along with the topology it gives on the complex numbers.

Let’s be a little explicit here: the product metric depends on picking the basis \{1,i\} for \mathbb{C} as a vector space over \mathbb{R}. We get the “size” of a complex number |a+bi|=\sqrt{a^2+b^2}, and then we define the distance between two complex numbers as the size of their difference.

I said before that there may be many different distance functions that give the same topology, so why do we really want to use this one? Well, it turns out that this formula can actually be written in a really neat way in complex number language. If we have a complex number z=a+bi we also have its conjugate \bar{z}=a-bi. Then we can calculate the product

z\bar{z}=(a+bi)(a-bi)=(a^2+b^2)+0i

This is just the square of our distance function, written as a complex number! But also notice that this formula is symmetric between a complex number and its conjugate. That is, conjugation preserves the size of complex numbers, as we should expect because there’s no a priori difference between the two.

Now we need to prove that the field operations are continuous. For multiplication, for example, we need to ask that if z_2 is close to z_1 and w_2 is close to w_1, then z_2w_2 is close to z_1w_1. We write z_2=z_1+\Delta z and w_2=w_1+\Delta w, and multiply out

z_2w_2=z_1w_1+z_1\Delta w+\Delta zw_1+\Delta z\Delta w

The condition is that for any real \epsilon>0 we can find real \delta_z and \delta_w so that \delta_z>|\Delta z| and \delta_w>|\Delta w| together imply that |z_1\Delta w+\Delta zw_1+\Delta z\Delta w|<\epsilon. From here it’s a bunch of mucking around with our formula, but none of it is very difficult.

At the end of the day, we’ve got two topological fields to work with — the real numbers \mathbb{R} and the complex numbers \mathbb{C} — and we can talk about evaluating power series from \mathbb{R}[[X]] or \mathbb{C}[[X]].

UPDATE: I forgot to mention that it’s also easy to see that the norm is multiplicative. That is, |zw|=\sqrt{zw\overline{zw}}=\sqrt{z\bar{z}}\sqrt{w\bar{w}}=|z||w|.

About these ads

August 26, 2008 - Posted by | Algebra, Ring theory

5 Comments »

  1. […] Power Series Now that we’ve got some topological fields to use as examples, let’s focus in on power series over or […]

    Pingback by Evaluating Power Series « The Unapologetic Mathematician | August 27, 2008 | Reply

  2. […] at a one-dimensional complex vector space — the field of complex numbers itself. We do have a notion of length here. We define the length of a complex number as the square root of . This quantity is always a […]

    Pingback by Complex Inner Products « The Unapologetic Mathematician | April 22, 2009 | Reply

  3. […] us lengths and angles. In fact, this notion of length is exactly that which we used to define the absolute value of a complex number, in order to get a topology on the […]

    Pingback by Complex Numbers and the Unit Circle « The Unapologetic Mathematician | May 26, 2009 | Reply

  4. […] angle from around to the point in question. Since the absolute value of a complex number is multiplicative, we know that the product of two unit-length complex numbers is again of unit length. We can also […]

    Pingback by The Circle Group « The Unapologetic Mathematician | May 27, 2009 | Reply

  5. […] is, we multiply their lengths (as we already knew) and add their angles, just like before. This viewpoint also makes division […]

    Pingback by Complex Numbers and Polar Coordinates « The Unapologetic Mathematician | May 29, 2009 | 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 392 other followers

%d bloggers like this: