Cardinal representations for closures and preclosures
HTML articles powered by AMS MathViewer
- by F. Galvin, E. C. Milner and M. Pouzet
- Trans. Amer. Math. Soc. 328 (1991), 667-693
- DOI: https://doi.org/10.1090/S0002-9947-1991-1016806-3
- PDF | Request permission
Abstract:
A cardinal representation of a preclosure $\varphi$ on a set $E$ is a family $\mathcal {A} \subseteq \mathcal {P}(E)$ such that for any set $X \subseteq \cup \mathcal {A},\varphi (X) = E$ holds if and only if $|X \cap A|= |A|$ for every $A \in \mathcal {A}$. We show, for example (Theorem 2.3) that any topological closure has such a representation, but there are closures which have no cardinal representation (Theorem 11.2). We prove that, if $k$ is finite and a closure has no independent set of size $k + 1$, then it has a cardinal representation, $\mathcal {A}$, of size $|\mathcal {A}| \leq k$ (Theorem 2.4). This result is used to give a new proof of a theorem of D. Duffus and M. Pouzet [4] about gaps in a lattice of finite breadth. We do not know if a closure which has no infinite independent set necessarily has a cardinal representation, but we do prove this is so for the special case of a closure on a countable set (Theorem 2.5). Even in this special case, nothing can be said about the size of the cardinal representation; however, if the closure is algebraic, then there is a finite cardinal representation (Theorem 2.6). These results do not hold for preclosures in general, but if a preclosure on a countable set has no independent set of size $k + 1$ ($k$ finite), then it has a cardinal representation $\mathcal {A}$ of size $|\mathcal {A}| \leq k$ (Theorem 2.7).References
- Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
- P. M. Cohn, Universal algebra, 2nd ed., Mathematics and its Applications, vol. 6, D. Reidel Publishing Co., Dordrecht-Boston, Mass., 1981. MR 620952
- R. P. Dilworth, A decomposition theorem for partially ordered sets, Ann. of Math. (2) 51 (1950), 161–166. MR 32578, DOI 10.2307/1969503
- Dwight Duffus and Maurice Pouzet, Representing ordered sets by chains, Orders: description and roles (L’Arbresle, 1982) North-Holland Math. Stud., vol. 99, North-Holland, Amsterdam, 1984, pp. 81–98 (English, with French summary). MR 779846
- P. Erdös and A. Tarski, On families of mutually exclusive sets, Ann. of Math. (2) 44 (1943), 315–329. MR 8249, DOI 10.2307/1968767
- A. Hajnal, Proof of a conjecture of S. Ruziewicz, Fund. Math. 50 (1961/62), 123–128. MR 131986, DOI 10.4064/fm-50-2-123-128
- Keith R. Milliken, Completely separable families and Ramsey’s theorem, J. Combinatorial Theory Ser. A 19 (1975), no. 3, 318–334. MR 403983, DOI 10.1016/0097-3165(75)90056-4
- E. C. Milner and M. Pouzet, On the cofinality of partially ordered sets, Ordered sets (Banff, Alta., 1981) NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, Reidel, Dordrecht-Boston, Mass., 1982, pp. 279–298. MR 661297
- E. C. Milner and M. Pouzet, On the independent subsets of a closure system with singular dimension, Algebra Universalis 21 (1985), no. 1, 25–32. MR 835967, DOI 10.1007/BF01187553 Z. Nagy and Z. Szentmiklóssy, On the representation of tournaments, preprint.
- Stevo Todorčević, Directed sets and cofinal types, Trans. Amer. Math. Soc. 290 (1985), no. 2, 711–723. MR 792822, DOI 10.1090/S0002-9947-1985-0792822-9
Bibliographic Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 328 (1991), 667-693
- MSC: Primary 06A06; Secondary 04A20, 06A15, 54A05
- DOI: https://doi.org/10.1090/S0002-9947-1991-1016806-3
- MathSciNet review: 1016806