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:

    The work of the miner has its unavoidable incidents of discomfort and danger, and these should not be increased by the neglect of the owners to provide every practicable safety appliance. Economies which involve a sacrifice of human life are intolerable.
    —Benjamin Harrison (1833–1901)