Mutually complementary families of topologies, equivalence relations and partial orders

Authors:
Juris Steprāns and Stephen Watson

Journal:
Proc. Amer. Math. Soc. **123** (1995), 2237-2249

MSC:
Primary 54A10; Secondary 03E50, 04A05, 06C15, 54A35

DOI:
https://doi.org/10.1090/S0002-9939-1995-1301530-9

MathSciNet review:
1301530

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We examine the maximum sizes of mutually complementary families in the lattice of topologies, the lattice of topologies, the semi-lattice of partial orders and the lattice of equivalence relations. We show that there is a family of many mutually complementary partial orders (and thus topologies) on and, using this family, build another family of many mutually complementary topologies on . We obtain many mutually complementary equivalence relations on any infinite cardinal and thus obtain the simplest proof of a 1971 theorem of Anderson. We show that the maximum size of a mutually complementary family of topologies on a set of cardinality may not be greater than unless . We show that it is consistent with and independent of the axioms of set theory that there be many mutually -complementary topologies on using the concept of a splitting sequence. We construct small maximal mutually complementary families of equivalence relations.

**[1]**Paul S. Alexandroff,*Diskrete Raume*, Mat. Sb.**2**(1937), 501-519.**[2]**-,*Sur les espaces discrets*, C. R. Acad. Sci. Paris**200**(1935), 1649-1651.**[3]**B. A. Anderson,*Families of mutually complementary topologies*, Proc. Amer. Math. Soc.**29**(1971), 362-368. MR**0281141 (43:6860)****[4]**B. A. Anderson and D. G. Stewart, -*complements of**topologies*, Proc. Amer. Math. Soc.**23**(1969), 77-81. MR**0244927 (39:6240)****[5]**Bruce A. Anderson,*Finite topologies and Hamiltonian paths*, J. Combin. Theory Ser. B**14**(1973), 87-93. MR**0312447 (47:1004)****[6]**-,*Symmetry groups of some perfect 1-factorizations of complete graphs*, Discrete Math.**18**(1977), 227-234. MR**0463015 (57:2979)****[7]**Garrett Birkhoff,*On the combination of topologies*, Fund. Math.**26**(1936), 156-166.**[8]**Jason Brown and Stephen Watson,*Finite topologies, preorders and their complements*;*the diameter of the graph*(to appear).**[9]**-,*Finite topologies, preorders and their complements*;*the vertex degree*(to appear).**[10]**-,*Mutually complementary partial orders*, Discrete Math.**113**(1993), 27-39. MR**1212868 (94h:06005)****[11]**-,*Self-complementary topologies and preorders*, Order**7**(1991), 317-328. MR**1120979 (93a:06002)****[12]**D. Dikranjan and A. Policriti,*Complementation in the lattice of equivalence relations*, preprint.**[13]**Eric K. van Douwen,*The integers and topology*, Handbook of Set-Theoretic Topology (K. Kunen and J. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 111-167. MR**776622 (87f:54008)****[14]**H. Gaifman,*The lattice of all topologies on a denumerable set*, Notices Amer. Math. Soc.**8**(1961), 356.**[15]**Oystein Ore,*Theory of equivalence relations*, Duke Math. J.**9**(1942), 573-627. MR**0007388 (4:128f)****[16]**A. K. Steiner,*The lattice of topologies*:*structure and complementation*, Trans. Amer. Math. Soc.**122**(1966), 379-398. MR**0190893 (32:8303)****[17]**A. W. Tucker,*Cell spaces*, Ann. of Math.**37**(1936), 92-100. MR**1503271****[18]**Stephen Watson,*Self-complementation in countable relations*(to appear).**[19]**-,*A completely regular space which is its own*-*complement*, Proc. Amer. Math. Soc. (to appear).**[20]**-,*The number of complements*, Topology Appl.**55**(1994), 101-125. MR**1256214 (94k:54002)**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
54A10,
03E50,
04A05,
06C15,
54A35

Retrieve articles in all journals with MSC: 54A10, 03E50, 04A05, 06C15, 54A35

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1995-1301530-9

Article copyright:
© Copyright 1995
American Mathematical Society