Compactifications of Discrete Spaces

Similar documents
Math General Topology Fall 2012 Homework 8 Solutions

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

Prime Properties of the Smallest Ideal of β N

Spring -07 TOPOLOGY III. Conventions

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

LOCAL INVARIANCE OF FREE TOPOLOGICAL GROUPS

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

A general Stone representation theorem

Reversible spaces STDC, Baylor University. Rodrigo Hernández-Gutiérrez Nipissing University Joint work with Alan Dow

ESSENTIAL SET AND ANTISYMMETRIC SETS OF CARTESIAN PRODUCT OF FUNCTION ALGEBRAS. 1. Introduction

Neighborhood spaces and convergence

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

The Space of Maximal Ideals in an Almost Distributive Lattice

8. Distributive Lattices. Every dog must have his day.

ON MAXIMAL, MINIMAL OPEN AND CLOSED SETS

ULTRAFILTER AND HINDMAN S THEOREM

One point compactification for generalized quotient spaces

Homework in Topology, Spring 2009.

SOME BANACH SPACE GEOMETRY

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

CHAPTER 4. βs as a semigroup

Totally supra b continuous and slightly supra b continuous functions

On z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected

Solutions to Tutorial 8 (Week 9)

SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRICES

Separating maps on spaces of continuous functions

ON VAN DOUWEN SPACES AND RETRACTS OF βn

On hyperconnected topological spaces

3 Hausdorff and Connected Spaces

SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE

PROPERTIES OF 5-CLOSED SPACES

Slightly γ-continuous Functions. Key words: clopen, γ-open, γ-continuity, slightly continuity, slightly γ-continuity. Contents

#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES

SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS. Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods

COUNTABLY S-CLOSED SPACES

MV-algebras and fuzzy topologies: Stone duality extended

Ultrafilters and Semigroup Algebras

Common idempotents in compact left topological left semirings

On minimal models of the Region Connection Calculus

THE KURATOWSKI CLOSURE-COMPLEMENT THEOREM. B.J. Gardner and M. Jackson

Notes about Filters. Samuel Mimram. December 6, 2012

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

INVERSE LIMITS AND PROFINITE GROUPS

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

Extensions Of S-spaces

TOPOLOGY TAKE-HOME CLAY SHONKWILER

SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

A SECOND COURSE IN GENERAL TOPOLOGY

The Smallest Ideal of (βn, )

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

arxiv: v1 [math.gn] 14 Feb 2018

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

MA651 Topology. Lecture 9. Compactness 2.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Stanford Encyclopedia of Philosophy

Homework 5. Solutions

Filters in Analysis and Topology

Sanjay Mishra. Topology. Dr. Sanjay Mishra. A Profound Subtitle

On poset Boolean algebras

The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce

Problem Set 2: Solutions Math 201A: Fall 2016

TOPOLOGICAL GROUPS MATH 519

Maximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),

CERTAIN WEAKLY GENERATED NONCOMPACT, PSEUDO-COMPACT TOPOLOGIES ON TYCHONOFF CUBES. Leonard R. Rubin University of Oklahoma, USA

CHAPTER 7. Connectedness

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

COMPACT ORTHOALGEBRAS

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

On the Baum-Connes conjecture for Gromov monster groups

Spectrum of fuzzy prime filters of a 0 - distributive lattice

1 The Local-to-Global Lemma

ČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan

Solve EACH of the exercises 1-3

Homogeneous spaces and Wadge theory

Ultrafilters maximal for finite embeddability

BANACH FUNCTION ALGEBRAS WITH DENSE INVERTIBLE GROUP

f(a)(\c = f(f l(c)c A). K.1 Compactly generated spaces

The Number of Minimal Left and Minimal Right Ideals in βs

Math 205C - Topology Midterm

DENSE C-EMBEDDED SUBSPACES OF PRODUCTS

MAXIMAL INDEPENDENT COLLECTIONS OF CLOSED SETS

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Introductory Analysis I Fall 2014 Homework #5 Solutions

Real Analysis Chapter 4 Solutions Jonathan Conder

Distributivity of Quotients of Countable Products of Boolean Algebras

arxiv: v1 [math.ds] 22 Jan 2019

Stone-Čech compactification of Tychonoff spaces

Introduction to Topology

C -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6

A NEW LINDELOF SPACE WITH POINTS G δ

The classical ring of quotients of C c (X)

Topological properties

Ω-ALMOST BOOLEAN RINGS

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

STRONGLY CONNECTED SPACES

Transcription:

Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 22, 1079-1084 Compactifications of Discrete Spaces U. M. Swamy umswamy@yahoo.com Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh Department of Mathematics Andhra University Visakhapatnam, India rameshsirisetti@yahoo.co.in Abstract Compactifications of an infinite discrete space D are discussed. Equivalent conditions are obtained for a compactification of D to be totally disconnected. The existance of infinite compactifications of D which are totally disconnected is proved. Mathematics Subject Classification: 54D35, 54D60 Keywords: Compactification, Stone-Čech compactification, Boolean Algebra, Ultra filters and The Stone Space 1 Introduction For any topological space X, a compact Hausdorff space Y is called a compactification of X, if there is an embedding φ of X into Y such that φ(x) is dense in Y. We shall identify X with the subspace φ(x) ofy.ify Xis a singleton set then Y is called a one-point compactification of X. IfY X is a finite (countable or infinite) set, then Y is called a finite (countable or infinite respectively) compactification of X. It is well known that a space X has a compactification if and only if it is completely regular; for, any compact Hausdorff space is completely regular and any subspace of a completely regular space is completely regular. A compactification Y of X is called a Stone Čech compactification, if any continuous mapping from X into any compact Hausdorff space Z can be extended (uniquely) to a continuous mapping from Y into Z. The exitance of the

1080 U. M. Swamy, Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh Stone Čech compactification of a completely regular space and its uniqueness (upto homeomorphism) are well known. Further, given any completely regular space X, we know the existence and uniqueness of the one-point compactification of X. 2 Compactifications of Discrete Spaces In this paper we are mainly interested in the compactifications of a discrete space. If D is a finite discrete space then D itself is a compactification of D and hence we consider infinite discrete spaces only. Throughout this paper D denotes an infinite discrete space. In the following we construct several compactifications of D. First let us recall that the power set P(D) of all subsets of D together with the usual set operations is a Boolean algebra. let B be a Boolean subalgebra of P(D). A non-empty subset U of B is called a filter of B, if it is closed under finite intersections and every superset of a member of U in B is again a member of U. A proper filter which is maximal among the class of proper filters is called an ultrafilter of B. It is well known that a proper filter U of B is maximal if and only if B U is closed under finite unions. Let SpecB denote the set of all ultra filters of B. For any A B, let  = {U SpecB A U}. Then { A B}forms a base for a topology on SpecB which is called the Stone topology. SpecB together with this Stone topology is called the Stone space of B or the Spectrum of B and will be denoted by SpecB. It is well known that the Stone space SpecB is compact Hausdorff and totally disconnected and that any such topological space is homeomorphic to SpecB, for some suitable Boolean algebra B. This result is known as the Stone-Duality [4]. Let B 0 = {A D A or D A is finite}. Then B 0 is a Boolean subalgebra of P(D) and let us recall the following well known result [1, 5]. Theorem 2.1. Let D be an infinite discrete space. Then Spec(B 0 ) is the one-point compactification of D and Spec(P(D)) is the Stone- Čech compactification of D In the following we shall prove that SpecB is a compactification of D, for any Boolean subalgebra B of P(D) containing B 0. Theorem 2.2. Let D be an infinite discrete space and B a Boolean subalgebra of P(D) containing B 0. Then the Stone space SpecB is a compactification of D in which D is open. Proof. It is well known that SpecB is a compact Hausdorff space. Now define a map α : D SpecB by α(d) ={A B d A}. Then, since B separates points of D, α is one-one. Since D is discrete, we have α : D SpecB is a

Compactifications of discrete spaces 1081 continuous map. Now we shall prove that α is an embedding of D into SpecB. For any d D, it can be easily seen that {α(d)} = α(d) {d} and hence each singleton set is open in α(d). This proves that α(d) is discrete and hence α is an embedding of D into SpecB. Next, if  is a non-empty basic open set in SpecB, then A and if a A, then α(a) α(d)  and so α(d) Â. Therefore α(d) is dense in SpecB. Thus SpecB is a compactification of D. Also, for any d D, {α(d)} = {d}, since any ultra filter of B containing {d} must be α(d). This proves that α(d) isopeninspecb. Let us recall that a space X is said to be totally disconnected if clopen sets separate points of X, in the sense that, for any two distinct points of X, there is a clopen set in X containing one of these two points and not containing the other. It is clear that a compact Hausdorff space is totally disconnected if and only if the clopen sets form a base for open sets. Now we have the following, which is a converse of theorem 2.2, in the sense that any totally disconnected compactification of D must necessarily be (homeomorphic to) the Spectrum of a Boolean subalgebra of P(D) containing B 0. Theorem 2.3. A compactification of an infinite discrete space D is totally disconnected if and only if it is homeomorphic to SpecB for some Boolean subalgebra B of P(D) containing B 0. Proof. Let Y be a compactification of D. Suppose that Y is totally disconnected. Consider B = {A D A is a clopen subset of Y } First observe that, since D is dense in Y, A D = A = A D B D A B and A D = B D A = B for any clopen sets A and B in Y. Now, clearly B is a Boolean subalgebra of P(D). For any d D, {d} is open in D and hence there is a clopen subset A of Y such that {d} = A D. This implies that {d} Bfor all d D and hence all finite subsets of D and their complements must be in B, so that B contains B 0. Now we shall prove that Y = SpecB. Define f : Y SpecB by f(y) ={A D A is clopen in Y and y A}. It can be easily verified that f(y) is an ultra filter of B and that f is an injection. On the otherhand, if U is any ultra filter of B, then U satisfies the finite intersection property and so is {A A is clopen in Y and A D U}. By the compactness of Y, there exists y Y such that, for any clopen set A in Y,y A when ever A D U. From this, it follows that U f(y) and

1082 U. M. Swamy, Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh hence U = f(y). Therefore f is a surjection too. For any A D B, where A is clopen in Y. f 1 (Â D) = {y Y f(y) Â D} = {y Y A D f(y)} = {y Y y A} = A This implies that f is continuous and hence f is a homeomorphism(since both Y and SpecB are compact Hausdorff spaces). The converse follows from Theorem 2.3. In the following, we prove that any finite compactification of a discrete D is totally disconnected and hence,by the above theorem, it must be homeomorphic to the Stone space of a Boolean subalgebra of P(D) containing B 0. Theorem 2.4. Let Y be a compactification of an infinite discrete space D and Y D be finite. Then the following hold. 1. Y is totally disconnected. i=1 2. There exists pair-wise disjoint infinite sets D 1,D 2,,D n of D such that D = n D i and Y is the topological union of the one-point compactifications of D i s. 3. Let B i = {X D i X or D i X is finite}. Then B 1 B 2 B n is isomorphic to the Boolean algebra of all clopen subsets of Y and hence Y is homeomorphic to Spec(B 1 B 2 B n ). Proof. (1) Let Y D = {x 1,x 2,,x n }. Since Y is Hausdorff, we can find open sets A 1,A 2,,A n in Y such that x i A i and A i A j = for all i j. Since Y D is finite and hence closed in Y, D is open in Y. Also, since D is discrete, {d} is open in D and hence in Y, for all d D. The class of all singleton sets {d}, d D, together with the A is forms an open cover for Y. Since Y is compact, there exists a finite subset E of D such that E A 1 A 2,, A n = Y, each A i E is open in Y and {E,A 1 E,A 2 E,,A n E,} is a class of open sets in Y which are pairwise disjoint and cover Y. Therefore, each A i E is closed also. Since each {d} is clopen in Y, it follows that the points of Y are separated by clopen subsets of Y. Thus Y is totally disconnected. (2) There exists pairwise disjoint clopen sets Y 1,Y 2,,Y n in Y such that Y = Y 1 Y 2,, Y n and x i Y i for each i. (for example, we can take Y 1 = E A 1 and Y i = A i E for i>1). Put D i = Y i D. Then D i (since D is dense and Y i is a nonempty open set in Y.) Also, each D i is infinite; for, otherwise D i (Y Y i ) is a closed set containing D and hence Y = D i (Y Y i ) which is a contradiction since x i / D i (Y Y i ). Further D = n D i. Since Y i i=1

Compactifications of discrete spaces 1083 is closed in Y, Y i is compact and hence Y i is the one-point compactification of D i. Thus Y is the topological union of the one-point compactifications of D i s (3) If is well-known that Y i is homeomorphic to the Stone space SpecB i, where B i = {X D i X or D i X is finite }. Further Y = n Y i = SpecB i = Spec(B1 B n ) i=1 i and hence B 1 B n is isomorphic to the Boolean algebra of all clopen subsets of Y (by the Stone duality). Though we have proved that any finite compactification of D is totally disconnected, we do not know whether finiteness can be dropped in this. However, there are examples of infinite compactifications, other than the Stone-Ĉech compactification, which are totally disconnected. Consider the following. Example 2.5. Let D = D n, where each D n is infinite and n=1 D n D m = for all n m. Let B = {A D for each n, either D n A or D n A is finite}. Then B is a Boolean subalgebra of P(D) containing B 0 and hence, by theorem 2.3, Spec(B) is a compactification of D which is totally disconnected. It can be easily seen that B is an incomplete Boolean algebra and hence B can not be isomorphic to P(D) so that, by the Stone duality, Spec(B) can not be homeomorphic to Spec(P(D)). This says that Spec(B) is not the Stone-Čech compactification of D. Further, for each positive integer n, let U n = {A B D n A is infinite }. Then U n is an ultra filter of B ; that is, U n SpecB. Let f : D SpecB be the usual embedding defined by f(d) ={A B d A}. Then U n f(d) for all d D and for all n Z +. Also, U n U m for all n m. Thus SpecB f(d) contains infinitely many points, so that SpecB is an infinite compactification of D. Observe that each A Bcan be uniquely expressed as A = A n, where A n is in the Boolean algebra B n = {E n=1 D n either E or D n E is finite } and that B is isomorphic to the product algebra B n. By the Stone duality, SpecB is homeomorphic to the direct sum n=1 [1] of the spaces SpecB n, n Z +.

1084 U. M. Swamy, Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh ACKNOWLEDGEMENTS. The fourth author is thankful to Council of Scientific and Industrial Research for their financial support in the form of CSIR-SRF(NET). References [1] P.R. Halmos, Lectures on Boolean Algebras, D.Van Nostran Company Inc., Priceton, (1963). [2] Hindman, Neil. and Dona Strauss, Algebra in Stone-Čech Compactification, Walter de Gruyter, Berlin, NewYork, (1998). [3] J.R.Munkres, Topology, Prentice-Hall of India Private Limited, New Delhi, (1996) [4] M.H.Stone, The theory of Representations of Boolean algebras, Trans. Amer. Math. Soc., 40(1936), 37-111. [5] M.H.Stone, On the Compactification of topological spaces, Ann. Soc. Pol. Math., 21(1948) 153-160. Received: January, 2009