Ordered Field - Harrison Topology

The Harrison topology is a topology on the set of orderings XF of a formally real field F. Each order can be regarded as a multiplicative group homomorphism from F* onto ±1. Giving ±1 the discrete topology and ±1F the product topology induces the subspace topology on XF. The product is a Boolean space (compact, Hausdorff and totally disconnected), and XF is a closed subset, hence again Boolean.

Read more about this topic:  Ordered Field

Famous quotes containing the word harrison:

    It is so manifestly incompatible with those precautions for our peace and safety, which all the great powers habitually observe and enforce in matters affecting them, that a shorter water way between our eastern and western seaboards should be dominated by any European government, that we may confidently expect that such a purpose will not be entertained by any friendly power.
    —Benjamin Harrison (1833–1901)