The Topological Field of Real Numbers
We’ve defined the topological space we call the real number line as the completion of the rational numbers as a uniform space. But we want to be able to do things like arithmetic on it. That is, we want to put the structure of a field on this set. And because we’ve also got the structure of a topological space, we want the field operations to be continuous maps. Then we’ll have a topological field, or a “field object” (analogous to a group object) in the category of topological spaces.
Not only do we want the field operations to be continuous, we want them to agree with those on the rational numbers. And since is dense in (and similarly is dense in ), we will get unique continuous maps to extend our field operations. In fact the uniqueness is the easy part, due to the following general property of dense subsets.
Consider a topological space with a dense subset . Then every point has a sequence with . Now if and are two continuous functions which agree for every point in , then they agree for all points in . Indeed, picking a sequence in converging to we have
.
So if we can show the existence of a continuous extension of, say, addition of rational numbers to all real numbers, then the extension is unique. In fact, the continuity will be enough to tell us what the extension should look like. Let’s take real numbers and , and sequences of rational numbers and converging to and , respectively. We should have
but how do we know that the limit on the right exists? Well if we can show that the sequence is a Cauchy sequence of rational numbers, then it must converge because is complete.
Given a rational number we must show that there exists a natural number so that for all . But we know that there’s a number so that for , and a number so that for . Then we can choose to be the larger of and and find
So the sequence of sums is Cauchy, and thus converges.
What if we chose different sequences and converging to and ? Then we get another Cauchy sequence of rational numbers. To show that addition of real numbers is well-defined, we need to show that it’s equivalent to the sequence . So given a rational number does there exist an so that for all ? This is almost exactly the same as the above argument that each sequence is Cauchy! As such, I’ll leave it to you.
So we’ve got a continuous function taking two real numbers and giving back another one, and which agrees with addition of rational numbers. Does it define an Abelian group? The uniqueness property for functions defined on dense subspaces will come to our rescue! We can write down two functions from to defined by and . Since agrees with addition on rational numbers, and since triples of rational numbers are dense in the set of triples of real numbers, these two functions agree on a dense subset of their domains, and so must be equal. If we take the from as the additive identity we can also verify that it acts as an identity real number addition. We can also find the negative of a real number by negating each term of a Cauchy sequence converging to , and verify that this behaves as an additive inverse, and we can show this addition to be commutative, all using the same techniques as above. From here we’ll just write for the sum of real numbers and .
What about the multiplication? Again, we’ll want to choose rational sequences and converging to and , and define our function by
so it will be continuous and agree with rational number multiplication. Now we must show that for every rational number there is an so that for all . This will be a bit clearer if we start by noting that for each rational there is an so that for all . In particular, for sufficiently large we have , so the sequence is bounded above by some . Similarly, given we can pick so that for and get an upper bound for all . Then choosing to be the larger of and we will have
for . Now given a rational we can (with a little work) find and so that the expression on the right will be less than , and so the sequence is Cauchy, as desired.
Then, as for addition, it turns out that a similar proof will show that this definition doesn’t depend on the choice of sequences converging to and , so we get a multiplication. Again, we can use the density of the rational numbers to show that it’s associative and commutative, that serves as its unit, and that multiplication distributes over addition. We’ll just write for the product of real numbers and from here on.
To show that is a field we need a multiplicative inverse for each nonzero real number. That is, for each Cauchy sequence of rational numbers that doesn’t converge to , we would like to consider the sequence , but some of the might equal zero and thus throw us off. However, there can only be a finite number of zeroes in the sequence or else would be an accumulation point of the sequence and it would either converge to or fail to be Cauchy. So we can just change each of those to some nonzero rational number without breaking the Cauchy property or changing the real number it converges to. Then another argument similar to that for multiplication shows that this defines a function from the nonzero reals to themselves which acts as a multiplicative inverse.
[…] Order on the Real Numbers We’ve defined the real numbers as a topological field by completing the rational numbers as a uniform space, and then extending […]
Pingback by The Order on the Real Numbers « The Unapologetic Mathematician | December 4, 2007 |
[…] Spaces and continuity of real-valued functions Now that we’ve got the real numbers which correspond to our usual notion of magnitudes like distances, let’s refine our concept […]
Pingback by Metric Spaces and continuity of real-valued functions « The Unapologetic Mathematician | December 10, 2007 |
[…] in Series I As we’ve said before, the real numbers are a topological field. The fact that it’s a field means, among other things, that it comes equipped with an […]
Pingback by Associativity in Series I « The Unapologetic Mathematician | May 6, 2008 |
Given that the theory of fields is not purely algebraic, what exactly constitutes a field object? That is, what would correspond to the condition that reciprocation’s domain should be precisely the non-zero elements? Do we need to work in a category with a notion of subobject complement or something like that?
Comment by Sridhar Ramesh | July 7, 2008 |
I’m not sure offhand what you mean about the theory of fields not being algebraic. The theory of topological fields isn’t…
Comment by John Armstrong | July 7, 2008 |
Sure, I understand what a topological field is; I’m just curious what a field object would amount to in general, in other categories.
Sorry, what I meant by “the theory of fields is not purely algebraic” was that, as a result of the stipulation “Reciprocation is defined for all and only the non-zero elements”, it wasn’t specifiable purely in terms of universal equations over some language of (total) operators, in the manner of universal algebra, the way groups, rings, vector spaces, etc., are; as a result, my simple understanding of “X object” in such cases [as a monoidal functor from a particular monoidal category whose structure is determined by those identities] couldn’t work as is.
Comment by Sridhar Ramesh | July 7, 2008 |
Just to make my question clear, it is this: what exactly is the definition of a field object (where this definition is presumably interpretable in contexts beyond simply Set and Top)?
I would take it to be something like a pair of objects F and F* in a monoidal category, corresponding to the whole field and its multiplicative group, along with morphisms corresponding to the various field operators, satisfying the field identities _and_ satisfying some property along the lines of “F* should act as though it is all and only the nonzero elements of F”. The category theoretic-version of the property in quotes is what I can’t figure out.
Comment by Sridhar Ramesh | July 7, 2008 |
Whoops, I shouldn’t have listed “vector spaces” above as an example of case where I already understand what “X object” would mean. Replace it with “modules”.
Comment by Sridhar Ramesh | July 7, 2008 |
Ramesh, as you point out, the notion of field is not algebraic (i.e., is not given by a Lawvere algebraic theory, or for that matter by a suitable monad). To define the notion of a field in a category C, you therefore need to assume more of C than that it just has cartesian products.
A more or less satisfactory solution is to assume that C can support a certain amount of first-order logic, e.g., C is a pretopos or logos (see here for a quick sketch of the relevant notions), or more strongly, a topos. A lot of it boils down to certain assumptions on the structure of subobject lattices (for example, in a logos the subobject lattices form Heyting algebras, so that one can interpret operations like implication and negation), and on operations between them (pulling back or “substitution” operations, and pushing forward or “quantification” operations adjoint to pulling back, e.g., direct image operations as left adjoint to pulling back).
Probably a good place to begin learning about internalizing first-order logic in a category is by reading the book on topos theory by Mac Lane and Moerdijk.
Even so, there are subtleties because in the typical applications, pretoposes or logoses or toposes tend to be “intuitionistic”, i.e., the subobject lattices are not generally Boolean algebras, but Heyting algebras. For example, we could define a field by interpreting
forall x (not x = 0) => exists_y xy = 1
or by interpreting say
forall x (x = 0) or (exists_y xy = 1)
but in intuitionistic logic, the latter formulation will be strictly stronger than the former. Then one has to decide which is more “appropriate” for the application at hand (which I won’t get into here).
Comment by Todd Trimble | July 8, 2008 |
Ah, alright. I have some familiarity with topos theory (and no qualms with intuitionistic logic, which has pretty much became my default manner of thinking), but I was wondering if something less heavy-duty would suffice.
It looks from your link as though a prelogos should be more than able to handle something like “for all x. (x = 0) or (the inverse of x is defined)”, since it seems to have the right structure to deal with disjunctions. I guess a logos would be able to go further and also handle “forall x. (not x = 0) (the inverse of x is defined)” [my preferred formulation], since Lawvere-style generalized universal quantification and the empty disjunction should let us express “the object of non-zero elements” fairly directly.
It’s a shame that this all seems still quite a bit heavier than “monoidal categories” or “categories with finite products”; I suppose one could pare down the structure of a logos into only what is needed in this case, but perhaps it wouldn’t be very natural to do so. Ah well.
Comment by Sridhar Ramesh | July 8, 2008 |
I had written a bi-implication operator above whose angle brackets seem to have doomed it to be parsed as some kind of HTML tag instead. The second quote in the second paragraph above should read “forall x. (not x = 0) iff (the inverse of x is defined)”.
Comment by Sridhar Ramesh | July 8, 2008 |
Looking back on this discussion, it occurs to me that Top is none of the kinds of logic-interpreting categories mentioned above (as it is not regular). But its subobject lattices will have pseudocomplements, I suppose, which should be enough for defining field objects.
Comment by Sridhar Ramesh | August 1, 2008 |
[…] real numbers have a topology. In fact, that’s really their main characteristic. The rational numbers have a topology too, […]
Pingback by Some Topological Fields « The Unapologetic Mathematician | August 26, 2008 |