Download T K 1 -ordered Spaces: A New Version of T1-ordered Topological Spaces and more Papers Trigonometry in PDF only on Docsity! Publ. Math. Debrecen 73/3-4 (2008), 361โ377 Ordered separation axioms and the Wallman ordered compactification By HANS-PETER A. KUฬNZI (Rondebosch), AISLING E. MCCLUSKEY (Galway) and THOMAS A. RICHMOND (Bowling Green) Abstract. Two constructions have been given previously of the Wallman ordered compactification w0X of a T1-ordered, convex ordered topological space (X, ฯ,โค). Both of those papers note that w0X is T1, but need not be T1-ordered. Using this as one motivation, we propose a new version of T1-ordered, called T K 1 -ordered, which has the property that the Wallman ordered compactification of a T K1 -ordered topological space is T K1 -ordered. We also discuss the R0-ordered (R K 0 -ordered) property, defined so that an ordered topological space is T1-ordered (T K 1 -ordered) if and only if it is T0-ordered and R0-ordered (R K 0 -ordered). 1. Introduction Given a set X with a topology ฯ and a partial order โค, we recall the topology ฯ โฏ on X as the collection of all ฯ -open โค-increasing subsets of X and the topology ฯ โญ on X as the corresponding collection of all ฯ -open โค-decreasing subsets of X . Thus, we may consider the topological space (X, ฯ), the ordered topological space (X, ฯ,โค), or the bitopological space (X, ฯ โฏ, ฯ โญ). As the study of ordered topological spaces and bitopological spaces devel- oped, important topological properties, including separation axioms, were defined Mathematics Subject Classification: 54F05, 54D10, 54D35, 54A10, 54E55, 18B30, 06F30. Key words and phrases: ordered topological space, T1-ordered, T0-ordered, R0-ordered, T K1 - ordered, RK0 -ordered, Wallman ordered compactification, ordered reflection. Hans-Peter Kuฬnzi was partially supported by the South African NRF Grant FA2006022300009 during his stay at the National University of Ireland, Galway, in September 2007. 362 Hans-Peter A. Kuฬnzi, Aisling E. McCluskey and Thomas A. Richmond for these new categories. As a general unifying principle, it seems natural that the chain of implications (1) โ (2) โ (3) should hold for the statements (1) (X, ฯ โฏ, ฯ โญ) satisfies the bitopological (or pairwise) property P , (2) (X, ฯ,โค) satisfies the ordered property P , and (3) (X, ฯ) satisfies the (topological) property P . This scheme is borne out in particular by the complete regularity properties when certain other reasonable necessary conditions are assumed. However, as the ordered theory and bitopological theory were often developed independently, there are exceptions and anomalies, which we address here. In particular, the standard definition of the T1-ordered property is seen to fall short of expectations in this regard, as well as in regard to its relation to the Wallman ordered com- pactification. In Section 2, we review the T0-ordered and T1-ordered properties and introduce the R0-ordered property, noting their relation to the corresponding pairwise properties of (X, ฯ โฏ, ฯ โญ). In Section 3, we introduce the T K1 -ordered and RK0 -ordered properties, and show that the T K 1 -ordered property does not have the shortcomings of the standard T1-ordered property. Continuing in this theme, Section 4 shows that the Wallman ordered compactification behaves more nicely for T K1 -ordered spaces than for T1-ordered spaces. Our notation is that of Nachbin [15]. If (X, ฯ,โค) is a partially ordered topo- logical space and A โ X , then the increasing hull of A is i(A) = {x โ X : โ a โ A with a โค x}. If A = i(A), we say A is an increasing set. The closed increasing hull of A, denoted I(A), is the smallest closed increasing set containing A. The decreasing hull d(A), closed decreasing hull D(A), and decreasing sets are defined dually. If A = {a}, we write i(a) for i({a}). Another useful hull operator, used in the construction of the Wallman ordered compactification, is C(A) = I(A)โฉD(A). Following [5] and [6], C(A) is the c-set hull of A, and if A = C(A) we say A is a c-set. We say (X, ฯ,โค) is convex if ฯ has a subbase of monotone (i.e., increasing or decreasing) open sets. In other terminology, note that D(A) = clฯโฏ(A) and I(A) = clฯโญ(A) where ฯ โฏ = {U โ ฯ : U = i(U)} and ฯ โญ = {U โ ฯ : U = d(U)}. The T0(-ordered) reflection of a (partially ordered) topological space X is the T0(-ordered) quotient space Y of X such that for any continuous (and increasing) function f from X into any arbitrary T0(-ordered) space Z, there exists a unique continuous (and increasing) function h : Y โ Z with f = h โฆ q, where q : X โ Y is the quotient map. The construction of the T0-ordered reflection, considered in Section 2, utilizes the equivalence relation defined by x โ y if and only if I(x) = I(y) and D(x) = D(y), or equivalently, if and only if C(x) = C(y) (see [8]). Let [x] denote the โ-equivalence class of x. The closure operator C(ยท) Ordered separation axioms and the Wallman ordered compactification 365 It is easily seen that (X, ฯ,โค) being T1-ordered implies (X, ฯ) is T1, and (X, ฯ โฏ, ฯ โญ) being pairwise T1 implies (X, ฯ) is T1. However, (X, ฯ โฏ, ฯ โญ) being pairwise T1 does not imply (X, ฯ,โค) is T1-ordered. Indeed, the example after Theorem 15 shows that (X, ฯ โฏ, ฯ โญ) being middle pairwise T1 (the strongest of these pairwise T1 properties which can possibly be satisfied by ordered spaces other than antichains) does not imply (X, ฯ,โค) is T1-ordered. That example also shows that (X, ฯ โฏ, ฯ โญ) being middle pairwise T1 does not imply that (X, ฯ โฏ, ฯ โญ) is pairwise R0 (for the definition of this concept, see below). The following characterization of the T1-ordered property will be used often. Lemma 3. (X, ฯ,โค) is T1-ordered if and only if i(x) = โ {U โ ฯ โฏ : x โ U} and dually for all x โ X . Proof. If X is T1-ordered, then y /โ i(x) implies x /โ d(y) = D(y), so i(x) โ X \ D(y) โก Hy, and thus i(x) = โ {Hy : y /โ i(x)} โ โ {U โ ฯ โฏ : x โ U}. The reverse inclusion is immediate. Conversely, if y /โ i(x), then x /โ d(y) = โ {U โ ฯ โญ : y โ U}, so there exists an open decreasing neighborhood of y disjoint from x and therefore from i(x), so y /โ cl(i(x)), and thus i(x) is closed. R0 Properties One motivation for R0 spaces, introduced by Davis [3], is that a space is T1 if and only if it is T0 and R0. The analogous equivalences in the categories of ordered topological spaces and bitopological spaces are used to motivate definitions of the appropriate concepts of R0 in those categories. Note however, as seen in the example mentioned before Lemma 3, that the weak concept of pairwise T1 used in this article does not imply pairwise R0 as defined below. It appears that R0- ordered spaces have not been studied previously, so our discussion here will be more thorough. We start with some theorems providing equivalent definitions of the R0 properties in the three categories in question. Theorem 4. The following are equivalent: (a) (X, ฯ) is an R0-space. (b) F closed, x /โ F โ โ open U with F โ U , x /โ U . (c) U open, x โ U โ cl{x} โ U . (d) {cl{x} : x โ X} is a partition of X . (e) ฯ is lattice isomorphic to the topology of a T1-space. (f) cl{x} 6= cl{y} โ โ neighborhood of x not containing y. (g) F closed, cl{x} โฉ F 6= โ
โ x โ F . (h) โ {U โ ฯ : x โ U} = cl{x} for all x โ X . 366 Hans-Peter A. Kuฬnzi, Aisling E. McCluskey and Thomas A. Richmond (i) The T0-reflection of X is T1. (j) โ {U โ ฯ : A โ U} โ cl A for all A โ X . These equivalences may be found in [3] or [1], except for (j), which is easily shown. (In [1], a T(ฮฑ,ฮฒ) space is one whose Tฮฑ reflection is already Tฮฒ, so there, R0 spaces are called T(0,1) spaces.) Note that the containment in (j) cannot be strengthened to equality: Let X = [0, 1] with the discrete topology on (0, 1] and the usual neighborhoods of 0. Now (b) holds, but A=(0, 1] = โ {U โฯ :A โ U} 6= cl A = [0, 1]. It will be interesting to note that many of the characterizations of R0 given above have direct analogs in either the ordered topological setting or the bitopo- logical setting, but not both. The definition given below for an R0-ordered space arises from the necessary and sufficient conditions in [8] for the T0-ordered reflection of an ordered topolog- ical space to be T1-ordered. For an ordered topological space (X, ฯ,โค), we obtain the T0-ordered reflection (X/ โ, ฯ0,โค0) as an ordered quotient of X , modulo the equivalence relation x โ y if and only if C(x) = C(y). The order โค0 on X/ โ is the โfinite step orderโ given by [z0] โค 0 [zn] โโ โ[z1], [z2], . . . , [znโ1] and โz โฒ i, z โ i โ [zi] (i = 0, 1, . . . , n) with zโฒi โค z โ i+1 โi = 0, 1, . . . , n โ 1. Note that any closed or open monotone set S in X is โ-saturated (that is, x โ S implies [x] โ S). We note that Mrsฬevicฬ [13] introduced a bitopological โquotient spaceโ which, in the case of (X, ฯ โฏ, ฯ โญ), is equivalent to the T0-ordered reflection of (X, ฯ,โค). Lemma 5. Suppose x, y โ X , F โ X , and f : X โ X/ โ is the quotient map from an ordered topological space X to its T0-ordered reflection X/ โ. (a) If A is closed and increasing in X then f(A) is closed and increasing in X/ โ, and dually. If A is โ-saturated, the converse holds. (b) B is closed and increasing in X/ โ if and only if fโ1(B) is closed and increasing in X , and dually. (c) f(I(x)) = IX/โ([x]) and f(D(x)) = DX/โ([x]). (d) fโ1(IX/โ(f(x)) = f โ1(IX/โ([x])) = I(x) and dually. (e) If [y] โ f(D(F )), and [x] โค [y] in X/ โ, then x โ D(F ), and dually. Ordered separation axioms and the Wallman ordered compactification 367 Proof. (a), (b), and (c) were stated and justified in the paragraph before Theorem 3.1 of [8]. See also Corollary 2 and Proposition 5 of [13]. (d) I(x) โ fโ1(IX/โ([x])) since the latter set is a closed increasing set con- taining x and the former is the smallest such set. For the reverse inclusion, if z โ fโ1(IX/โ([x])) but z /โ I(x), then since I(x) is saturated, applying f (and part (c)) gives f(z) /โ f(I(x)) = IX/โ([x]), contrary to z โ f โ1(IX/โ([x])). (e) Suppose [y] โ f(D(F )) with [x] โค [y] in X/ โ. Now D(F ) is closed and decreasing, and thus saturated, and contains y. Since X/ โ carries the finite step order, it follows that x โ D(F ). Any of the equivalent statements below may be taken as the definition of an R0-ordered space. Theorem 6. For an ordered topological space (X, ฯ,โค) with T0-ordered reflection X/ โ, the following are equivalent: (a) (X, ฯ,โค) is R0-ordered. (b) โ {U โ ฯ โฏ : x โ U} = i([x]) and dually for all x โ X . (c) The T0-ordered reflection of X is T1-ordered. (d) [x] [y] in X/ โ implies x /โ D(y) and y /โ I(x). (e) I(x) = fโ1(iX/โ([x])) and D(x) = f โ1(dX/โ([x])) for all x โ X , where f : X โ X/ โ is the natural ordered quotient map. Proof. The equivalence of (b) and (c) is Theorem 3.2 of [8], and was the impetus for taking these conditions to be the definition of R0-ordered. (c) โ (d). The proof of this implication is modeled on the proof of the corresponding non-ordered case (Theorem 3.5 (i) โ (ii) in [1]). Suppose (c) holds and [x] [y] in X/ โ. Then [y] /โ iX/โ([x]) = IX/โ([x]). Applying fโ1, where f : X โ X/ โ is the (ordered) quotient map, we have y /โ fโ1(IX/โ([x])) = fโ1(f(I(x)) โ I(x), so y /โ I(x). Similarly, [x] /โ dX/โ([y]) implies x /โ D(y). (d) โ (c). Suppose (d) holds and [y] /โ iX/โ([x]). Then x /โ D(y) implies that X\D(y) is an open increasing (and thus, saturated) neighborhood of x which does not include y, so [y] /โ IX/โ([x]). Similarly, y /โ I(x) shows X \ I(x) is an open decreasing saturated neighborhood of y not containing x. (c) โ (e). Suppose (c) holds. Then iX/โ([x]) is closed and increasing, so fโ1(iX/โ([x])) is closed, increasing, and contains x, so I(x) โ f โ1(iX/โ([x])). For the reverse inclusion, if z โ fโ1(iX/โ([x])), then [z] = f(z) โ iX/โ([x]) = IX/โ([x]) = f(I(x)), and thus z โ I(x) by Lemma 5 (e). Thus, we have I(x) = fโ1(iX/โ([x])). The dual argument completes this implication. 370 Hans-Peter A. Kuฬnzi, Aisling E. McCluskey and Thomas A. Richmond and e โ D(ฯ). It immediately follows that C(x) = {x} for every x โ X . Thus, X is a T K1 -ordered space. Consider e and ฯ. There exists no increasing (open) neighborhood of e that does not contain ฯ and no increasing (open) neighborhood of ฯ that does not contain e. Thus, the associated bispace (X, ฯ โฏ, ฯ โญ) is not a weak pairwise T1 space, and hence is not middle pairwise T1. Noting that ฯ โ โ {U โ ฯ โฏ : eโU} 6= i(e) = {e}, Lemma 3 shows that X is not T1-ordered. This is also easily seen since d(ฯ) is not closed. Now we define RK0 -ordered spaces and subsequently list some of their prop- erties. Definition 12. An ordered topological space (X, ฯ,โค) is RK0 -ordered if, for all x, y โ X , we have y โ C(x) implies x โ C(y) . Theorem 13. Suppose (X, ฯ,โค) is an ordered topological space. (a) The following are equivalent: (i) (X, ฯ,โค) is RK0 -ordered. (ii) C = Cโ1. (iii) C is an equivalence relation. (iv) x โ C(y) if and only if C(x) = C(y) for all x, y โ X . (v) x โ C(y) if and only if [x] = [y] for all x, y โ X . (vi) {C(x) : x โ X} is a partition of X . (b) (X, ฯ โฏ, ฯ โญ) is pairwise R0 โ (X, ฯ,โค) is RK0 -ordered. (X, ฯ,โค) is R0-ordered โ (X, ฯ,โค) is RK0 -ordered. (X, ฯ,โค) is R K 0 -ordered and convex โโ (X, ฯ) is R0 and (X, ฯ,โค) is convex. (c) If (X, ฯ,โค) is a linearly ordered space, then R0-ordered and RK0 -ordered are equivalent properties. Proof. (a) is immediate. (b) The first implication follows from a comparison of part (iv) of (a) above and Theorem 8 (c). X is R0-ordered if and only if X/ โ is T1-ordered, which implies X/ โ is T K1 -ordered, and hence (by Theorem 15 below) X is R K 0 -ordered. Suppose X is RK0 -ordered and convex. We will show that {cl(x) : x โ X} partitions X . Suppose z โ cl(x)โฉcl(y). Now z โ cl(x) โ C(x) implies, by part (v) of (a), that [x] = [z], and similarly [y] = [z] = [x]. Recalling that convexity implies [w] โ cl(w) for any w โ X , we have x โ [x] = [y] โ cl(y) and y โ [y] = [x] โ cl(x). Applying the closure operator now shows cl(x) โ cl(y) โ cl(x), so cl(x) = cl(y), and thus (X, ฯ) is R0 by Theorem 4 (d). Conversely, suppose (X, ฯ,โค) is convex Ordered separation axioms and the Wallman ordered compactification 371 and (X, ฯ) is R0. We will show that z โ C(x) implies C(z) = C(x), from which it easily follows that {C(x) : x โ X} partitions X and thus X is RK0 -ordered. If z โ C(x) and x โ C(z), applying the closure operator C shows C(x) = C(z). Thus, suppose z โ C(x) and x /โ C(z). Then x /โ cl(z), so cl(x) 6= cl(z). Theorem 4 (f) implies the existence of a neighborhood N of z which does not contain x, and by convexity, we may assume N is monotone open. If N is increasing, then X \N is a closed decreasing set containing x and excluding z. This shows z /โ D(x), giving the contradiction that z /โ C(x). The dual argument applies if N is decreasing. (c) If X is a linearly ordered RK0 -ordered space, by Theorem 15 below, X/ โ is T K1 -ordered. It is easy to see that the finite step order on X/ โ is also linear, in which case X/ โ is T1-ordered, and therefore X is R0-ordered. The converse follows from part (b). Observing the appearance of convexity in (b) above, we note that RK0 -ordered need not imply R0 if the topology is not convex. For example, consider X = {โฅ, a, b,โค} where a and b are noncomparable and โฅ โค x โค โค for all x โ X . Give X the topology having {{โค,โฅ}, {a, b}, {a}} as base of closed sets. It is easy to check that C(x) = X for each x โ X , so X is RK0 -ordered. In fact, X is R0-ordered since i([x]) = i(X) = X = โ {U โ ฯ โฏ : x โ U} and dually for each x โ X . However, {cl(x) : x โ X} does not partition X , so X is not R0. The next theorems show that the RK0 -ordered and T K 0 -ordered properties interact as one would hope. Theorem 14. (X, ฯ,โค) is T K1 -ordered if and only if it is T0-ordered and RK0 -ordered. Proof. If X is T0-ordered and R K 0 -ordered, then for all x โ X we have {x} = Cโ1(x)โฉC(x) = C(x)โฉC(x) = C(x), where the first equality follows from the T0-ordered property and the second equality from the R K 0 -ordered property. Thus, X is T K1 -ordered. Conversely, if X is T K 1 -ordered, then C(x) = {x} implies C(x) โฉ Cโ1(x) = {x}, so that X is T0-ordered. Also, y โ C(x) = {x} implies x โ C(y), so X is RK0 -ordered. Theorem 15. The T0-ordered reflection X/ โ of an ordered topological space X is T K1 -ordered if and only if X is R K 0 -ordered. Proof. If X/ โ is T K1 -ordered, then IX/โ([x]) โฉ DX/โ([x]) = {[x]} for all [x] โ X/ โ. Applying fโ1 as in Lemma 5 (d) gives C(x) = I(x) โฉ D(x) = [x]. Now y โ C(x) = [x] โโ C(x) = C(y), so X is RK0 -ordered by Theorem 13 (a). Conversely, suppose X is RK0 -ordered and [y] โ CX/โ([x]) = IX/โ([x]) โฉ DX/โ([x]). Applying f โ1 as in Lemma 5 (d) gives [y] โ I(x) โฉ D(x) = C(x), 372 Hans-Peter A. Kuฬnzi, Aisling E. McCluskey and Thomas A. Richmond and now y โ C(x) implies [y] = [x]. It follows that CX/โ([x]) = {[x]} for any [x] โ X/ โ, so X/ โ is T K1 -ordered. This direction of the proof also follows from the bitopological quotient construction of Theorem 3.1 of [20], which also appears as Corollary 6 of [13]. (X, ฯ โฏ, ฯ โญ) (X, ฯ,โค) (X, ฯ ) pairwise T0 โ T0-ordered โ T0 weak pairwise T0 โโ T0-ordered โ T0 T0-ordered + convex โโ ( T0 + (X, ฯ,โค) convex pairwise R0 6โ R0-ordered 6โ R0 โ pairwise R0 โ R K 0 -ordered 6โ R0 RK0 -ordered + convex โโ ( R0 + (X, ฯ,โค) convex pairwise T1 6โ T1-ordered โ T1 โ pairwise T1 โโ T K 1 -ordered โ T1 T K1 -ordered + convex โโ ( T1 + (X, ฯ,โค) convex pairwise completely regular + (X, ฯ,โค) convex + (X, ฯ,โค) T1-ordered 9>>=>>; โ completely regularlyordered โ completelyregular We note that T1-ordered is a strictly stronger property than T K 1 -ordered. For example, consider the interval [0, 1] โ R with the usual topology. Impose the usual order on (0, 1], with 0 noncomparable to all other points. This ordered topological space is easily seen to be (ฯ โฏ, ฯ โญ)-pairwise T1, and hence T K 1 -ordered, but since, for example, d(1) = (0, 1] is not closed, it is not T1-ordered. Furthermore, since T K1 -ordered implies T0-ordered, this space is its own T0-ordered reflection. Now the characterizations in Theorem 6 and Theorem 15 show that this space is RK0 - ordered but not R0-ordered. Thus, R0-ordered is a strictly stronger property than RK0 -ordered. The table above summarizes the implications (1) โ (2) โ (3) suggested in the introduction. A bitopological space is pairwise completely regular (see [9]) if and only if it admits a compatible quasi-uniformity U in the sense that ฯ(U) is the first topology and ฯ(Uโ1) is the second topology. An ordered topological space is Ordered separation axioms and the Wallman ordered compactification 375 bases of closed sets, we must use (S(D(x)),S(I(x))) for the construction of the Wallman ordered compactification of a T K1 -ordered space. With this modification, the proof in [2] that (S(d(x)),S(i(x))) is a maximal bifilter for all x โ X does not show that the bifilter (S(D(x)),S(I(x))) is maximal if X is T K1 -ordered. We remedy this situation with the following Lemma. Lemma 17. If X is a convex T K1 -ordered topological space and x โ X , then (S(D(x)),S(I(x))) is a maximal bifilter. Proof. It is easy to see that (S(D(x)),S(I(x))) is a bifilter. If it is not maximal, then there exists a bifilter (F ,G) โ (S(D(x)),S(I(x))) with either S(D(x)) 6= F or S(I(x)) 6= G. The cases are dual, so we will only consider the case S(D(x)) 6= F . Since F has a base of closed decreasing sets, there exists a closed decreasing set F โ F such that F /โ S(D(x)), or equivalently, D(x) 6โ F . Since D(x) โ F , we have A = D(x) โฉ F โ F . Now A โ F implies D(x) * A, so x /โ A. We also have I(x) โ X \ A, for if y โ I(x) โฉ A โ I(x) โฉ D(x), then we have the contradiction that y = x /โ A since, by the T K1 -ordered property, I(x)โฉD(x) = {x}. Thus, we have X \A โ S(I(x)) โ G and A โ F , contradicting that F โจG exists. This shows that the bifilter (S(D(x)),S(I(x))) is maximal. The Wallman ordered compactification of a T1-ordered space need not be T1- ordered, but the theorem below shows the advantage of the T K1 -ordered property. Theorem 18. If X is any convex T K1 -ordered topological space, the Wallman ordered compactification w0X is T K 1 -ordered. Proof. We will show that w0X satisfies the characterization of T K 1 -ordered given in Theorem 10 (a). Suppose F and G are distinct maximal c-filters on X , that is, F and G are distinct points in w0X . Now either I(G) 6โ F or I(G) โ F . In case I(G) 6โ F , there exists I(G) โ I(G) โ G with I(G) /โ F . Since G is a filter and F is maximal, it follows that X \ I(G) /โ G and X \ I(G) โ F , so that G /โ (X \ I(G))โ and F โ (X \ I(G))โ. Now (X \ I(G))โ is an open decreasing neighborhood of F in w0X which excludes G. In case I(G) โ F , we have D(G) 6โ F , for otherwise I(G) โจ D(G) = C(G) = G โ F , contradicting the maximality of G. Now there exists D(G) โ G with D(G) /โ F , and the dual argument of the previous case shows that (X \ D(G))โ is an open increasing neighborhood of F in w0X which excludes G. In either case, we have found that G 6= F implies G /โ โ { open monotone neighborhoods of F}, and it follows that w0X is T K 1 -ordered. 376 Hans-Peter A. Kuฬnzi, Aisling E. McCluskey and Thomas A. Richmond We mention that the expected properties of the Wallman ordered compacti- fication remain valid even when the construction is applied to T K1 -ordered topo- logical spaces. For example, if X is convex and T K1 -ordered, ฯ : X โ w0X is the natural embedding, and f : X โ Y is a continuous increasing function from X into an arbitrary compact T2-ordered space Y (i.e., Y is compact and the graph of its order is closed in Y ร Y ), then there exist a unique continuous increasing function f : w0X โ Y such that f โฆ ฯ = f . References [1] K. Belaid, O. Echi, and S. Lazaar, T(ฮฑ,ฮฒ)-spaces and the Wallman compactification, Internat. J. Math. & Math. Sci. 68 (2004), 3717โ3735. [2] T. H. Choe and Y. S. Park, Wallmanโs Type Order Compactification, Pacific J. Math. 82 (2) (1979), 339โ347. [3] A. S. Davis, Indexed Systems of Neighborhoods for General Topological Spaces, The Amer. Math. Monthly 68 (9) (1961), 886โ893. [4] B. P. Dvalishvili, Bitopological Spaces: Theory, Relations With Generalized Algebraic Structures, and Applications, Vol. 199, North-Holland Mathematics Studies, Elsevier Sci- ence B. V., Amsterdam, 2005. [5] D. C. Kent, On the Wallman Order Compactification, Pacific J. Math. 118 (1985), 159โ163. [6] D. C. Kent and T. A. Richmond, Separation properties of the Wallman ordered compact- ification, Internat. J. Math. & Math. Sci.. 13 (2) (1990), 209โ222. [7] H.-P. A. Kuฬnzi and T. A. Richmond, Completely regularly ordered spaces versus T2-ordered spaces which are completely regular, Topology Appl. 135 (1โ3) (2004), 185โ196. [8] H.-P. A. Kuฬnzi and T. A. Richmond, Ti-ordered reflections, Applied General Topology 6 (2) (2005), 207โ216. [9] E. P. Lane, Bitopological spaces and quasi-uniform spaces, Proc. London Math. Soc. (3) 17 (1967), 241โ256. [10] S. D. McCartan, Separation axioms for topological ordered spaces, Proc. Cambridge Phi- los. Soc. 64 (1968), 965โ973. [11] D. N. Misra and K. K. Dube, Pairwise R0-space, Annales de la Socieฬteฬ Scientifique de Bruxelles 87, I (1973), 3โ15. [12] M. Mrsฬevicฬ, On bitopological separation axioms, Math. Vesnik 38 (1986), 313โ318. [13] M. Mrsฬevicฬ, On pairwise R0 and pairwise R1 bitopological spaces, Bull. Math. Soc. Sci. Math. R. S. Roumanie 30 (78) (1986), 141โ148. [14] M. G. Murdeshwar and S. A. Naimpally, Quasi-Uniform Topological Spaces, Noordhoof, Groningen, 1966. [15] L. Nachbin, Topology and Order., Van Nostrand Math. Studies 4, Princeton, N. J., 1965. [16] K. R. Nailana, Strict complete regularity in the categories of bitopological spaces and ordered topological spaces, Publ. Math. Debrecen 58 (4) (2001), 693โ705. [17] I. Reilly, On Pairwise R0 Spaces, Annales de la Socieฬteฬ Scientifique de Bruxelles 88, III (1974), 293โ296. Ordered separation axioms and the Wallman ordered compactification 377 [18] M. J. Saegrove, Pairwise completely regularity and compactification in bitopological spaces, J. London Math. Soc. (2) 7 (1973), 286โ290. [19] J. Swart, Total disconnectedness in bitopological spaces and product bitopological spaces, Nederl. Akad. Wetensh. Proc. Ser. A 74 Indag. Math. 33 (1971), 135โ145. [20] M. R. Zฬizฬovic, Some properties of bitopological spaces, Math. Vesnik 11 (26) (1974), 233-237. HANS-PETER A. KUฬNZI DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS UNIVERSITY OF CAPE TOWN RONDEBOSCH 7701 SOUTH AFRICA E-mail: hans-peter.kunzi@uct.ac.za AISLING E. MCCLUSKEY DEPARTMENT OF MATHEMATICS NATIONAL UNIVERSITY OF IRELAND, GALWAY GALWAY IRELAND E-mail: aisling.mccluskey@nuigalway.ie THOMAS A. RICHMOND DEPARTMENT OF MATHEMATICS WESTERN KENTUCKY UNIVERSITY BOWLING GREEN, KY 42101 USA E-mail: tom.richmond@wku.edu (Received March 3, 2008; revised June 25, 2008)