History of The Separation Axioms - Different Definitions

Different Definitions

Every author agreed on T0, T1, and T2. For the other axioms, however, different authors could use significantly different definitions, depending on what they were working on. These differences could develop because, if one assumes that a topological space satisfies the T1 axiom, then the various definitions are (in most cases) equivalent. Thus, if one is going to make that assumption, then one would want to use the simplest definition. But if one did not make that assumption, then the simplest definition might not be the right one for the most useful concept; in any case, it would destroy the (transitive) entailment of Ti by Tj, allowing (for example) non-Hausdorff regular spaces.

Topologists working on the metrisation problem generally did assume T1; after all, all metric spaces are T1. Thus, they used the simplest definitions for the Ti. Then, for those occasions when they did not assume T1, they used words ("regular" and "normal") for the more complicated definitions, in order to contrast them with the simpler ones. This approach reached its zenith in 1970 with the publication of Counterexamples in Topology by Lynn A. Steen and J. Arthur Seebach, Jr.

In contrast, general topologists, led by John L. Kelley in 1955, usually did not assume T1, so they studied the separation axioms in the greatest generality from the beginning. They used the more complicated definitions for Ti, so that they would always have a nice property relating Ti to Tj. Then, for the simpler definitions, they used words (again, "regular" and "normal"). Both conventions could be said to follow the "original" meanings; the different meanings are the same for T1 spaces, which was the original context. But the result was that different authors used the various terms in precisely opposite ways. Adding to the confusion, some literature will observe a nice distinction between an axiom and the space that satisfies the axiom, so that a T3 space might need to satisfy the axioms T3 and T0 (e.g., in the Encyclopedic Dictionary of Mathematics, 2nd ed.).

Since 1970, the general topologists' terms have been growing in popularity, including in other branches of mathematics, such as analysis. (Thus we use their terms in Wikipedia.) But usage is still not consistent.

Read more about this topic:  History Of The Separation Axioms

Famous quotes containing the word definitions:

    The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.
    Pamela Patrick Novotny (20th century)

    What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.
    —G.C. (Georg Christoph)