Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-05T21:38:49.745Z Has data issue: false hasContentIssue false

A quotient ordered space

Published online by Cambridge University Press:  24 October 2008

S. D. McCartan
Affiliation:
Queen's University, Belfast

Extract

It is well known that, in the study of quotient spaces it suffices to consider a topological space (X, ), an equivalence relation R on X and the projection mapping p: XX/R (where X/R is the family of R-classes of X) defined by p(x) = Rx (where Rx is the R-class to which x belongs) for each xX. A topology may be defined for the set X/R by agreeing that UX/R is -open if and only if p-1 (U) is -open in X. The topological space is known as the quotient space relative to the space ) and projection p. If (or simply ) since the symbol ≤ denotes all partial orders and no confusion arises) is a topological ordered space (that is, X is a set for which both a topology and a partial order ≤ is defined) then, providing the projection p satisfies the property

a partial order may be defined in X/R by agreeing that p(x) < p(y) if and only if x < y in x. The topological ordered space is known as the quotient ordered space relative to the ordered space and projection p.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1968

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Kelley, J. L.General Topology (Van Nostrand; New York, 1955).Google Scholar
(2)McCartan, S. D.On subsets of a partially ordered set. Proc. Cambridge Philos. Soc. 62 (1966), 538595.CrossRefGoogle Scholar
(3)Nachbin, L.Topology and Order (Van Nostrand; Princeton, New Jersey, 1965).Google Scholar
(4)Northam, E. S.The interval topology of a lattice. Proc. Amer. Math. Soc. 4 (1953), 824827.CrossRefGoogle Scholar
(5)Ward, L. E. JrPartially ordered topological spaces. Proc. Amer. Math. Soc. 5 (1954), 144161.CrossRefGoogle Scholar