Compactifications of Discrete Spaces
|
|
- Bertram McCarthy
- 5 years ago
- Views:
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 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 informationTopology 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 informationPrime 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 informationSpring -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 informationBoolean 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 informationVARIETIES 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 informationMATH 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 informationLOCAL 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 information3. 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 informationA 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 informationReversible 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 informationESSENTIAL 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 informationNeighborhood 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 informationINTRODUCTION 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 informationThe 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 information8. 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 informationON 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 informationULTRAFILTER 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 informationOne 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 informationHomework 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 informationSOME 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 informationSets 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 informationMH 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 informationCHAPTER 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 informationTotally 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 informationOn 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 informationThe 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 informationSolutions 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 informationSOME 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 informationSeparating 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 informationON 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 informationOn 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 information3 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 informationSUBALGEBRAS 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 informationPROPERTIES 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 informationSlightly γ-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 Sourav Kanti Patra 1 Department of Mathematics, Ramakrishna Mission Vidyamandira, Belur Math, Howrah, West Bengal, India souravkantipatra@gmail.com
More informationSPACES 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 informationCOUNTABLY 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 informationMV-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 informationUltrafilters 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 informationCommon 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 informationOn 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 informationTHE 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 informationNotes 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 informationNAME: 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 informationINVERSE 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 informationA 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 informationExtensions 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 informationTOPOLOGY 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 informationSENSITIVITY 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 informationTopology 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 informationA 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 informationThe 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 informationTHE 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 informationarxiv: 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 informationDef. 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 informationMA651 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 informationB 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 informationStanford 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 informationHomework 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 informationFilters 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 informationSanjay 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 informationOn 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 informationThe 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 informationProblem 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 informationTOPOLOGICAL 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 informationMaximilian 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 informationCERTAIN 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 informationCHAPTER 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 informationCW 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 informationCOMPACT 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 informationMATH 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 informationOn 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 informationSpectrum 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 information1 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
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 informationSolve 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 informationHomogeneous 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 informationUltrafilters 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 informationBANACH 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 informationf(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 informationThe 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 informationMath 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 informationDENSE 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 informationMAXIMAL 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 informationTopology. 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 informationIntroductory 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 informationReal 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 informationDistributivity 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 informationarxiv: 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 informationStone-Č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 informationIntroduction 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 informationC -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 informationA 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 informationThe 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 informationTopological 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
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 informationMath 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 informationSTRONGLY 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