Compactifications of Discrete Spaces

Size: px
Start display at page:

Download "Compactifications of Discrete Spaces"

Transcription

1 Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 22, Compactifications of Discrete Spaces U. M. Swamy Ch. Santhi Sundar Raj, B. Venkateswarlu and S. Ramesh Department of Mathematics Andhra University Visakhapatnam, India 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

2 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

3 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

4 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

5 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 +.

6 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), [5] M.H.Stone, On the Compactification of topological spaces, Ann. Soc. Pol. Math., 21(1948) Received: January, 2009

Math General Topology Fall 2012 Homework 8 Solutions

Math General Topology Fall 2012 Homework 8 Solutions Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that

More information

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

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry

More information

Prime Properties of the Smallest Ideal of β N

Prime Properties of the Smallest Ideal of β N This paper was published in Semigroup Forum 52 (1996), 357-364. To the best of my knowledge, this is the final version as it was submitted to the publisher. NH Prime Properties of the Smallest Ideal of

More information

Spring -07 TOPOLOGY III. Conventions

Spring -07 TOPOLOGY III. Conventions Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES

VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract

More information

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1 MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and

More information

LOCAL INVARIANCE OF FREE TOPOLOGICAL GROUPS

LOCAL INVARIANCE OF FREE TOPOLOGICAL GROUPS Proceedings of the Edinburgh Mathematical Society (1986) 29, 1-5 LOCAL INVARIANCE OF FREE TOPOLOGICAL GROUPS by M. S. KHAN, SIDNEY A. MORRIS and PETER NICKOLAS (Received 23rd July 1984) 1. Introduction

More information

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

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X. Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least

More information

A general Stone representation theorem

A general Stone representation theorem arxiv:math/0608384v1 [math.lo] 15 Aug 2006 A general Stone representation theorem Mirna; after a paper by A. Jung and P. Sünderhauf and notes by G. Plebanek September 10, 2018 This note contains a Stone-style

More information

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

Reversible spaces STDC, Baylor University. Rodrigo Hernández-Gutiérrez Nipissing University Joint work with Alan Dow Reversible spaces 2016 STDC, Baylor University Rodrigo Hernández-Gutiérrez rodrigo.hdz@gmail.com Nipissing University Joint work with Alan Dow March 12, 2016 Definition A topological space X is reversible

More information

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

ESSENTIAL SET AND ANTISYMMETRIC SETS OF CARTESIAN PRODUCT OF FUNCTION ALGEBRAS. 1. Introduction Mathematics Today Vol.29(June-Dec-2013)25-30 ISSN 0976-3228 ESSENTIAL SET AND ANTISYMMETRIC SETS OF CARTESIAN PRODUCT OF FUNCTION ALGEBRAS H. S. MEHTA, R. D. MEHTA AND D. R. PATEL Abstract. Let A and B

More information

Neighborhood spaces and convergence

Neighborhood spaces and convergence Volume 35, 2010 Pages 165 175 http://topology.auburn.edu/tp/ Neighborhood spaces and convergence by Tom Richmond and Josef Šlapal Electronically published on July 14, 2009 Topology Proceedings Web: http://topology.auburn.edu/tp/

More information

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,

More information

The Space of Maximal Ideals in an Almost Distributive Lattice

The Space of Maximal Ideals in an Almost Distributive Lattice International Mathematical Forum, Vol. 6, 2011, no. 28, 1387-1396 The Space of Maximal Ideals in an Almost Distributive Lattice Y. S. Pawar Department of Mathematics Solapur University Solapur-413255,

More information

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

8. Distributive Lattices. Every dog must have his day. 8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for

More information

ON MAXIMAL, MINIMAL OPEN AND CLOSED SETS

ON MAXIMAL, MINIMAL OPEN AND CLOSED SETS Commun. Korean Math. Soc. 30 (2015), No. 3, pp. 277 282 http://dx.doi.org/10.4134/ckms.2015.30.3.277 ON MAXIMAL, MINIMAL OPEN AND CLOSED SETS Ajoy Mukharjee Abstract. We obtain some conditions for disconnectedness

More information

ULTRAFILTER AND HINDMAN S THEOREM

ULTRAFILTER AND HINDMAN S THEOREM ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman

More information

One point compactification for generalized quotient spaces

One point compactification for generalized quotient spaces @ Applied General Topology c Universidad Politécnica de Valencia Volume 11, No. 1, 2010 pp. 21-27 One point compactification for generalized quotient spaces V. Karunakaran and C. Ganesan Abstract. The

More information

Homework in Topology, Spring 2009.

Homework in Topology, Spring 2009. Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher

More information

SOME BANACH SPACE GEOMETRY

SOME BANACH SPACE GEOMETRY SOME BANACH SPACE GEOMETRY SVANTE JANSON 1. Introduction I have collected some standard facts about Banach spaces from various sources, see the references below for further results. Proofs are only given

More information

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

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

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

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 MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

CHAPTER 4. βs as a semigroup

CHAPTER 4. βs as a semigroup CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its

More information

Totally supra b continuous and slightly supra b continuous functions

Totally supra b continuous and slightly supra b continuous functions Stud. Univ. Babeş-Bolyai Math. 57(2012), No. 1, 135 144 Totally supra b continuous and slightly supra b continuous functions Jamal M. Mustafa Abstract. In this paper, totally supra b-continuity and slightly

More information

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)

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) F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by 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) Abstract. An ideal I in a commutative ring

More information

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

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 9-1-1988 The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected Alan Dow

More information

Solutions to Tutorial 8 (Week 9)

Solutions to Tutorial 8 (Week 9) The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/

More information

SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRICES

SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRICES #A5 INTEGERS 9 (29) SOME NEW EXAMPLES OF INFINITE IMAGE PARTITION REGULAR MATRIES Neil Hindman Department of Mathematics, Howard University, Washington, D nhindman@aolcom Dona Strauss Department of Pure

More information

Separating maps on spaces of continuous functions

Separating maps on spaces of continuous functions Separating maps on spaces of continuous functions J. Araujo and K. Jarosz Abstract. We investigate linear bijections T : C (X) C (Y ) such that f g =0= Tf Tg =0, for f,g C (X). 1. Introduction Let A, B

More information

ON VAN DOUWEN SPACES AND RETRACTS OF βn

ON VAN DOUWEN SPACES AND RETRACTS OF βn ON VAN DOUWEN SPACES AND RETRACTS OF N ALAN DOW Abstract. Eric van Douwen [vd93] produced a maximal crowded extremally disconnected regular space and showed that its Stone-Čech compactification is an at

More information

On hyperconnected topological spaces

On hyperconnected topological spaces An. Ştiinţ. Univ. Al. I. Cuza Iaşi Mat. (N.S.) Tomul LXII, 2016, f. 2, vol. 1 On hyperconnected topological spaces Vinod Kumar Devender Kumar Kamboj Received: 4.X.2012 / Accepted: 12.XI.2012 Abstract It

More information

3 Hausdorff and Connected Spaces

3 Hausdorff and Connected Spaces 3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.

More information

SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE

SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE Guram Bezhanishvili and Revaz Grigolia Abstract In this note we characterize all subalgebras and homomorphic images of the free cyclic

More information

PROPERTIES OF 5-CLOSED SPACES

PROPERTIES OF 5-CLOSED SPACES AMERICAN MATHEMATICAL SOCIETY Volume 72, Number 3, December 1978 PROPERTIES OF 5-CLOSED SPACES DOUGLAS E. CAMERON1 Abstract. It is shown that the 5-closed spaces introduced by Travis Thompson using semiopen

More information

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

Slightly γ-continuous Functions. Key words: clopen, γ-open, γ-continuity, slightly continuity, slightly γ-continuity. Contents Bol. Soc. Paran. Mat. (3s.) v. 22 2 (2004): 63 74. c SPM ISNN-00378712 Slightly γ-continuous Functions Erdal Ekici and Miguel Caldas abstract: The purpose of this paper is to give a new weak form of some

More information

#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES

#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES #A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES Sourav Kanti Patra 1 Department of Mathematics, Ramakrishna Mission Vidyamandira, Belur Math, Howrah, West Bengal, India souravkantipatra@gmail.com

More information

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

SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS. Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods Abstract. Every first countable pseudocompact Tychonoff space X has the property

More information

COUNTABLY S-CLOSED SPACES

COUNTABLY S-CLOSED SPACES COUNTABLY S-CLOSED SPACES Karin DLASKA, Nurettin ERGUN and Maximilian GANSTER Abstract In this paper we introduce the class of countably S-closed spaces which lies between the familiar classes of S-closed

More information

MV-algebras and fuzzy topologies: Stone duality extended

MV-algebras and fuzzy topologies: Stone duality extended MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras

More information

Ultrafilters and Semigroup Algebras

Ultrafilters and Semigroup Algebras Ultrafilters and Semigroup Algebras Isia T. Dintoe School of Mathematics University of the Witwatersrand (Wits), Johannesburg Supervised by: Prof. Yuliya Zelenyuk 31 August 2015 Submitted in partial fulfilment

More information

Common idempotents in compact left topological left semirings

Common idempotents in compact left topological left semirings arxiv:1002.1599v1 [math.gn] 8 Feb 2010 Common idempotents in compact left topological left semirings Denis I. Saveliev 24 January 2010, Muscat ICAA A classical result of topological algebra states that

More information

On minimal models of the Region Connection Calculus

On minimal models of the Region Connection Calculus Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science

More information

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

THE KURATOWSKI CLOSURE-COMPLEMENT THEOREM. B.J. Gardner and M. Jackson NEW ZEALAND JOURNAL OF MATHEMATICS Volume 38 (2008), 9 44 THE KURATOWSKI CLOSURE-COMPLEMENT THEOREM B.J. Gardner and M. Jackson (Received July 2007) 1. Introduction The Kuratowski Closure-Complement Theorem

More information

Notes about Filters. Samuel Mimram. December 6, 2012

Notes about Filters. Samuel Mimram. December 6, 2012 Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):

More information

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

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS An. Şt. Univ. Ovidius Constanţa Vol. 18(2), 2010, 161 172 A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS Ivan Lončar Abstract For every Hausdorff space X the space X Θ is introduced. If X is H-closed, then

More information

Extensions Of S-spaces

Extensions Of S-spaces University of Central Florida Electronic Theses and Dissertations Doctoral Dissertation (Open Access) Extensions Of S-spaces 2013 Bernd Losert University of Central Florida Find similar works at: http://stars.library.ucf.edu/etd

More information

TOPOLOGY TAKE-HOME CLAY SHONKWILER

TOPOLOGY TAKE-HOME CLAY SHONKWILER TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.

More information

SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS

SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS SONG SHAO, XIANGDONG YE AND RUIFENG ZHANG Abstract. A topological dynamical system is n-sensitive, if there is a positive constant such that

More information

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

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

A SECOND COURSE IN GENERAL TOPOLOGY

A SECOND COURSE IN GENERAL TOPOLOGY Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND

More information

The Smallest Ideal of (βn, )

The Smallest Ideal of (βn, ) Volume 35, 2010 Pages 83 89 http://topology.auburn.edu/tp/ The Smallest Ideal of (βn, ) by Gugu Moche and Gosekwang Moremedi Electronically published on June 8, 2009 Topology Proceedings Web: http://topology.auburn.edu/tp/

More information

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where

More information

arxiv: v1 [math.gn] 14 Feb 2018

arxiv: v1 [math.gn] 14 Feb 2018 SOME MORE ALGEBRA ON ULTRAFILTERS IN METRIC SPACES IGOR PROTASOV arxiv:1802.05224v1 [math.gn] 14 Feb 2018 Abstract. We continue algebraization of the set of ultrafilters on a metric spaces initiated in

More information

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 =

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 = CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and

More information

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

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.

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. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

Stanford Encyclopedia of Philosophy

Stanford Encyclopedia of Philosophy Stanford Encyclopedia of Philosophy The Mathematics of Boolean Algebra First published Fri Jul 5, 2002; substantive revision Mon Jul 14, 2014 Boolean algebra is the algebra of two-valued logic with only

More information

Homework 5. Solutions

Homework 5. Solutions Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is

More information

Filters in Analysis and Topology

Filters in Analysis and Topology Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

More information

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

Sanjay Mishra. Topology. Dr. Sanjay Mishra. A Profound Subtitle Topology A Profound Subtitle Dr. Copyright c 2017 Contents I General Topology 1 Compactness of Topological Space............................ 7 1.1 Introduction 7 1.2 Compact Space 7 1.2.1 Compact Space.................................................

More information

On poset Boolean algebras

On poset Boolean algebras 1 On poset Boolean algebras Uri Abraham Department of Mathematics, Ben Gurion University, Beer-Sheva, Israel Robert Bonnet Laboratoire de Mathématiques, Université de Savoie, Le Bourget-du-Lac, France

More information

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

The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

TOPOLOGICAL GROUPS MATH 519

TOPOLOGICAL GROUPS MATH 519 TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as

More information

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

Maximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989), A NOTE ON STRONGLY LINDELÖF SPACES Maximilian GANSTER appeared in: Soochow J. Math. 15 (1) (1989), 99 104. Abstract Recently a new class of topological spaces, called strongly Lindelöf spaces, has been

More information

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

CERTAIN WEAKLY GENERATED NONCOMPACT, PSEUDO-COMPACT TOPOLOGIES ON TYCHONOFF CUBES. Leonard R. Rubin University of Oklahoma, USA GLASNIK MATEMATIČKI Vol. 51(71)(2016), 447 452 CERTAIN WEAKLY GENERATED NONCOMPACT, PSEUDO-COMPACT TOPOLOGIES ON TYCHONOFF CUBES Leonard R. Rubin University of Oklahoma, USA Abstract. Given an uncountable

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

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

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes. CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological

More information

COMPACT ORTHOALGEBRAS

COMPACT ORTHOALGEBRAS COMPACT ORTHOALGEBRAS ALEXANDER WILCE Abstract. We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

On the Baum-Connes conjecture for Gromov monster groups

On the Baum-Connes conjecture for Gromov monster groups On the Baum-Connes conjecture for Gromov monster groups Martin Finn-Sell Fakultät für Mathematik, Oskar-Morgenstern-Platz 1, 1090 Wien martin.finn-sell@univie.ac.at June 2015 Abstract We present a geometric

More information

Spectrum of fuzzy prime filters of a 0 - distributive lattice

Spectrum of fuzzy prime filters of a 0 - distributive lattice Malaya J. Mat. 342015 591 597 Spectrum of fuzzy prime filters of a 0 - distributive lattice Y. S. Pawar and S. S. Khopade a a Department of Mathematics, Karmaveer Hire Arts, Science, Commerce & Education

More information

1 The Local-to-Global Lemma

1 The Local-to-Global Lemma Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.

More information

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

ČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan GLASNIK MATEMATIČKI Vol. 43(63)(2008), 219 229 ČECH-COMPLETE MAPS Yun-Feng Bai and Takuo Miwa Shimane University, Japan Abstract. We introduce a new notion of Čech-complete map, and investigate some its

More information

Solve EACH of the exercises 1-3

Solve EACH of the exercises 1-3 Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.

More information

Homogeneous spaces and Wadge theory

Homogeneous spaces and Wadge theory Homogeneous spaces and Wadge theory Andrea Medini Kurt Gödel Research Center University of Vienna July 18, 2018 Everybody loves homogeneous stuff! Topological homogeneity A space is homogeneous if all

More information

Ultrafilters maximal for finite embeddability

Ultrafilters maximal for finite embeddability 1 16 ISSN 1759-9008 1 Ultrafilters maximal for finite embeddability LORENZO LUPERI BAGLINI Abstract: In this paper we study a notion of preorder that arises in combinatorial number theory, namely the finite

More information

BANACH FUNCTION ALGEBRAS WITH DENSE INVERTIBLE GROUP

BANACH FUNCTION ALGEBRAS WITH DENSE INVERTIBLE GROUP PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 BANACH FUNCTION ALGEBRAS WITH DENSE INVERTIBLE GROUP H. G. DALES AND J. F. FEINSTEIN Abstract.

More information

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

f(a)(\c = f(f l(c)c A). K.1 Compactly generated spaces K.1 Compactly generated spaces Definition. A space X is said to be compactly generated if it satisfies the following condition: A set A is open in X if An C is open in C for each compact subspace C of

More information

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

The Number of Minimal Left and Minimal Right Ideals in βs Volume 39, 2012 Pages 45 68 http://topology.auburn.edu/tp/ The Number of Minimal Left and Minimal Right Ideals in βs by Neil Hindman, Lakeshia Legette and Dona Strauss Electronically published on April

More information

Math 205C - Topology Midterm

Math 205C - Topology Midterm Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,

More information

DENSE C-EMBEDDED SUBSPACES OF PRODUCTS

DENSE C-EMBEDDED SUBSPACES OF PRODUCTS DENSE C-EMBEDDED SUBSPACES OF PRODUCTS W. W. COMFORT, IVAN GOTCHEV, AND LUIS RECODER-NÚÑEZ Abstract. Throughout this paper the spaces X i are assumed Tychonoff, (X I ) κ denotes X I := Π i I X i with the

More information

MAXIMAL INDEPENDENT COLLECTIONS OF CLOSED SETS

MAXIMAL INDEPENDENT COLLECTIONS OF CLOSED SETS proceedings of the american mathematical society Volume 32, Number 2, April 1972 MAXIMAL INDEPENDENT COLLECTIONS OF CLOSED SETS HARVY LEE BAKER, JR. Abstract. A theorem is proved which implies that if

More information

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

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

Introductory Analysis I Fall 2014 Homework #5 Solutions

Introductory Analysis I Fall 2014 Homework #5 Solutions Introductory Analysis I Fall 2014 Homework #5 Solutions 6. Let M be a metric space, let C D M. Now we can think of C as a subset of the metric space M or as a subspace of the metric space D (D being a

More information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Distributivity of Quotients of Countable Products of Boolean Algebras

Distributivity of Quotients of Countable Products of Boolean Algebras Rend. Istit. Mat. Univ. Trieste Volume 41 (2009), 27 33. Distributivity of Quotients of Countable Products of Boolean Algebras Fernando Hernández-Hernández Abstract. We compute the distributivity numbers

More information

arxiv: v1 [math.ds] 22 Jan 2019

arxiv: v1 [math.ds] 22 Jan 2019 A STUDY OF HOLOMORPHIC SEMIGROUPS arxiv:1901.07364v1 [math.ds] 22 Jan 2019 BISHNU HARI SUBEDI Abstract. In this paper, we investigate some characteristic features of holomorphic semigroups. In particular,

More information

Stone-Čech compactification of Tychonoff spaces

Stone-Čech compactification of Tychonoff spaces The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

C -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6

C -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6 C -ALGEBRAS MATH 113 - SPRING 2015 PROBLEM SET #6 Problem 1 (Positivity in C -algebras). The purpose of this problem is to establish the following result: Theorem. Let A be a unital C -algebra. For a A,

More information

A NEW LINDELOF SPACE WITH POINTS G δ

A NEW LINDELOF SPACE WITH POINTS G δ A NEW LINDELOF SPACE WITH POINTS G δ ALAN DOW Abstract. We prove that implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality 2 ℵ1 which has points G δ. In addition, this space has

More information

The classical ring of quotients of C c (X)

The classical ring of quotients of C c (X) @ Appl. Gen. Topol., no. ( ), - doi:10.4995/agt.2014.3181 c AGT, UPV, The classical ring of quotients of C c (X) Papiya Bhattacharjee a, Michelle L. Knox b and Warren Wm. McGovern c a Penn State Erie,

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Ω-ALMOST BOOLEAN RINGS

Ω-ALMOST BOOLEAN RINGS Journal of Algebra and Related Topics Vol. 3, No 2, (2015), pp 17-25 Ω-ALMOST BOOLEAN RINGS M.PHANI KRISHNA KISHORE Abstract. In this paper the concept of an Ω - Almost Boolean ring is introduced and illistrated

More information

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

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information

STRONGLY CONNECTED SPACES

STRONGLY CONNECTED SPACES Undergraduate Research Opportunity Programme in Science STRONGLY CONNECTED SPACES Submitted by Dai Bo Supervised by Dr. Wong Yan-loi Department of Mathematics National University of Singapore Academic

More information