The hyperreal numbers are the members of an ordered field denoted which has a proper subfield isomorphic to (the set of all real numbers). One of the interesting things about is that it has infinite members. The formal definition of an infinite member of an ordered field is as follows.

Definition 1For every ordered field and every member of , isinfiniteif and only if for every integral member of , .

For every infinite member of an ordered field , we have for every positive integer , since ; therefore, is said to be **infinitesimal**. Now, the mathematicians who originally developed the calculus— principally Newton and Leibniz— often justified their proofs with reference to infinitesimals. For example, Leibniz would have justified that the derivative of is roughly as follows: for every real number and every infinitesimal ,

which differs from only by an infinitesimal. He was on dubious grounds here, because he was working before a rigorous definition of the real numbers had been developed, and therefore was not clear that infinitesimals actually existed. In fact, it was always pretty clear that no real numbers could be infinitesimal, since reciprocals of infinitesimals are infinite, and infinite real numbers clearly don’t exist. In the 19th century, the real numbers were finally defined in a rigorous way. It was then possible to prove in an absolutely rigorous way that there were no infinite real numbers, and hence no infinitesimal real numbers. At the same time, Augustin-Louis Cauchy gave an explanation of how the calculus could be developed without any reference to the concept of infinitesimals. Cauchy’s way of developing calculus (which, now that it has been placed on a rigorous footing, tends to be called analysis) is now standard. But in the 1960s, Abraham Robinson developed the concept of hyperreal numbers and explained how analysis could also be developed using the infinitesimals in in much the same way as Leibniz. This way of developing analysis is called non-standard analysis. Obviously, the disadvantage of non-standard analysis is that you have to construct a whole nother number system, but proofs in it do tend to be a lot more intuitive. I’m not going to go into it in this post, but I think the best way to illustrate this is the proof of the extreme value theorem. You can see both the standard and non-standard proofs on Wikipedia. Once you are familiar with I think you’ll agree that the non-standard proof is much more natural.

In this post, I’m just going to explain how can be constructed. The basic idea is to let be the quotient in (the set of all sequences of real numbers) of an equivalence relation , so that every hyperreal number can be represented by a sequence of real numbers). Informally, two sequences of real numbers and are equivalent with respect to if and only if for almost every natural number , . The difficulty in the definition is making the term “almost” precise. One natural way to do this would be to say that for almost every natural number if and only if the set of all natural numbers such that is infinite. Unfortunately, will not be an equivalence relation if “almost” is defined in this way. An equivalence relation must be reflexive, symmetric and transitive. But consider the sequences , and . The set of all natural numbers such that is empty, so and are not equivalent with respect to . Yet the set of all natural numbers such that is the set of all even natural numbers, which is infinite, and the set of all natural numbers such that is the set of all odd natural numbers, which is infinite. Therefore, and are equivalent with respect to and and are equivalent with respect to . So is not transitive.

Let us think about the problem in more general terms. Let be an arbitrary set of subsets of and let us say that for almost every natural number if and only if the set of all natural numbers such that is a member of . In other words, is the set of all subsets of which contain almost every natural number. Given that must be an equivalence relation, what can we conclude about ?

- must be reflexive. Therefore, for every sequence of real numbers , the set of all positive integers such that must be in . This set is simply itself (because equality is reflexive). So it must be the case that is in .
- must be symmetric. Therefore, for every pair of sequences of real numbers and , if is in , must be in as well. But and are always the same (because equality is symmetric), so this does not impose any condition on .
- must be transitive. Therefore, for every triple of sequences of real numbers , and , if and are both in , must be in as well. Now, includes the intersection of and (because equality is transitive). Since , and can be chosen so that and are any two subsets of and is any superset of their intersection, it follows that must contain every superset of every finite intersection of its members.

A set of subsets of that has these properties is called a **filter**. That is, a set of subsets of is a filter if and only if it contains as well as every superset of every finite intersection of its members. We have just proven that is an equivalence relation if and only if is a filter.

One trivial example of a filter is , which is actually the greatest filter with respect to inclusion. If we take to be this filter, all sequences of real numbers are equivalent with respect to , so has just one member. It cannot, therefore, be an ordered field extension of . So this filter isn’t useful. By the way, filters which are not is said to be **proper**. , then, is the only improper filter. Every filter which contains the empty set is improper, because every subset of is a superset of the empty set, so if a filter contains the empty set it also contains every subset of .

Another trivial example of a filter is . But if we take to be this filter, is simply equality, so is isomorphic to , which means this filter isn’t helpful either. In order to find a non-trivial filter, let’s think about our original example where was the set of all infinite subsets of . The problem there was that the intersection of two infinite subsets of can be finite. Exactly when does this occur? Well, if two infinite subsets and of have a finite intersection, it follows that the complement of in is infinite. Now, can also be written as (by De Morgan’s laws). If this set is infinite, at least one of and is infinite. So we can rule out the possibility that two infinite subsets and of have a finite intersection by requiring that both subsets have a finite complement in . Therefore, the set of all subsets of with a finite complement in is a filter. As perhaps the simplest non-trivial filter, it has a name of its own, the **Fréchet filter**.

Of course the Fréchet filter may still not be good enough; we haven’t checked that is an ordered field extension of when is taken to be the Fréchet filter. Let’s see what conditions must satisfy, if is to be an ordered field extension of . First, we need to come up with a way of adding and multiplying hyperreal numbers. There’s a very natural way to do this: for every pair of sequences and of real numbers, let and , where for every sequence of real numbers, denotes its equivalence class with respect to . The following two theorems prove that this definition does not lead to a contradiction as long as is a filter.

Theorem 2For every pair of sequences and of real numbers such that and ,

*Proof:* Suppose and are sequences of real numbers and and . Then and . For every natural number such that and , , so the intersection of and is a subset of , which means the latter is in , because is a filter.

Theorem 3For every pair of sequences and of real numbers such that and ,

*Proof:* Suppose and are sequences of real numbers and and . Then and . For every natural number such that and , , so the intersection of and is a subset of , which means the latter is in , because is a filter.

Given these two theorems it is easy to prove that is a commutative ring, regardless of the value of . Its additive identity is and its multiplicative identity is . However, when we attempt to prove that is a field— i.e., every hyperreal number other than has a multiplicative inverse— we run into difficulties. For every pair of sequences and such that is the multiplicative inverse of , , which means that is a member of . But if is the Fréchet filter and is , then for every odd natural number , , so (regardless of the value of ), which means does not contain any odd natural numbers, so it cannot be a member of since its complement in is infinite. So it is impossible for to have a multiplicative inverse. Yet does not contain any even numbers either (for every even natural number , ), so its complement in is infinite, which means . Therefore, cannot be a field if is the Fréchet filter.

In order to avoid this problem, it is sufficient to ensure that as long as , i.e. , the complement in of this set, , is a member of . This is because for every natural number such that , exists, and , so is the same set as and hence a member of . Therefore, as long as this condition holds, if we let be any sequence of real numbers such that for every natural number , if , then will be a multiplicative inverse of . Since can be chosen so that is any subset of , this condition is equivalent to requiring that for every subset of , either or . A filter with this property is called an **ultrafilter**. We have just proved that is a field if and only if is an ultrafilter.

Note that if is to be an ultrafilter, either the set of all even natural numbers or the set of all odd natural numbers must be a member of , since these two sets are each other’s complements in . But neither of these sets is intuitively “larger” than the other; our intuition would be that they are the same size. Therefore, if we were to explicitly construct an ultrafilter (like how we constructed the Fréchet filter as an example of a filter), we would have to make an essentially arbitrary choice about which of these sets should be in the ultrafilter (and we would have to make other arbitrary choices for other pairs of sets as well). Because this choice is arbitrary, we will not make any such explicit construction. We will just let be an arbitrary ultrafilter. However, we should at least ensure that an ultrafilter exists. The proof of this is given below. It relies on Zorn’s lemma, a well-known result of set theory equivalent to the axiom choice.

Lemma 4A filter is an ultrafilter if and only if it is the maximal proper filter, with respect to inclusion, i.e., the only filters such that are the improper filter and itself.

*Proof:* Suppose is an ultrafilter, is a filter and . Let be a member of . Since is an ultrafilter, either or . If , as well, but then , i.e. , must also be in . Since is a subset of every subset of , that every subset of is in , so is the trivial filter . The only way can avoid being is if this is not the case for any value of , which means every value of is a member of , so , which means .

Suppose is a filter and the only filters such that are and itself. Let be a subset of which is not in . We want to show that . It is sufficient to show that a subset of is in since is a filter. Now, a member of is a subset of if and only if it is disjoint from , i.e. . So we need to show that contains a member disjoint from . Let be the set of all supersets of intersections of with members of (i.e. ). It can be immediately seen that is a filter, and, moreover, , so is either or itself. But it cannot be itself, because is a member of but not . So must be , which contains , so there is a member of disjoint from .

Theorem 5There is an ultrafilter.

*Proof:* Let be the set of all filters other than which are supersets of the Fréchet filter. Let be any chain in with respect to inclusion. In order to use Zorn’s lemma we need to show that has an upper bound in . Well, the union of is an upper bound of with respect to inclusion. The hard part is showing that is a filter and not . It obviously contains since all the members of contain . And it obviously doesn’t contain since none of the members of contain ; therefore, it is not . Suppose and are members of . Then there are members and of such that and . Since is a chain we can assume without loss of generality that , which means as well, so (since is a filter) and hence . So is a filter. Therefore, by Zorn’s lemma, there is a maximal member of with respect to inclusion. Since this member cannot be , by the lemma above, this filter must be an ultrafilter.

We have not yet defined the order on , but there is a natural way to do it which makes into an ordered field, without any more conditions being imposed on . I may expand on this in a later post, but this was supposed to only take a day or two to write.

use hyperreals in SUPERCOMPLEX NUMBERS eg z=a+bi+cj+dij where j*j=+1 and jis the Perplex Operator