Hyperreal Fields
Suppose X is a Tychonoff space, also called a T3.5 space, and C(X) is the algebra of continuous real-valued functions on X. Suppose M is a maximal ideal in C(X). Then the factor algebra A = C(X)/M is a totally ordered field F containing the reals. If F strictly contains R then M is called a hyperreal ideal (terminology due to Hewitt (1948)) and F a hyperreal field. Note that no assumption is being made that the cardinality of F is greater than R; it can in fact have the same cardinality.
An important special case is where the topology on X is the discrete topology; in this case X can be identified with a cardinal number κ and C(X) with the real algebra of functions from κ to R. The hyperreal fields we obtain in this case are called ultrapowers of R and are identical to the ultrapowers constructed via free ultrafilters in model theory.
Read more about this topic: Hyperreal Number
Famous quotes containing the word fields:
“The landscape was clothed in a mild and quiet light, in which the woods and fences checkered and partitioned it with new regularity, and rough and uneven fields stretched away with lawn-like smoothness to the horizon, and the clouds, finely distinct and picturesque, seemed a fit drapery to hang over fairyland. The world seemed decked for some holiday or prouder pageantry ... like a green lane into a country maze, at the season when fruit-trees are in blossom.”
—Henry David Thoreau (1817–1862)