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:
“After so many historical illustrations of the evil effects of abandoning the policy of protection for that of a revenue tariff, we are again confronted by the suggestion that the principle of protection shall be eliminated from our tariff legislation. Have we not had enough of such experiments?”
—Benjamin Harrison (1833–1901)