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 . 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 for as a vector space over . We get the “size” of a complex number , 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 we also have its conjugate . Then we can calculate the product
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 is close to and is close to , then is close to . We write and , and multiply out
The condition is that for any real we can find real and so that and together imply that . 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 and the complex numbers — and we can talk about evaluating power series from or .
UPDATE: I forgot to mention that it’s also easy to see that the norm is multiplicative. That is, .
[…] 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 |
[…] 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 |
[…] 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 |
[…] 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 |
[…] 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 |