DOCSLIB.ORG

3. Hausdorff Spaces and Compact Spaces 3.1 Hausdorff Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
3. Hausdorff Spaces and Compact Spaces 3.1 Hausdorff Spaces 3. Hausdorff Spaces and Compact Spaces 3.1 Hausdorff Spaces Definition A topological space X is Hausdorff if for any x, y X with x = y there ∈ 6 exist open sets U containing x and V containing y such that U V = . ∅ T n (3.1a) Proposition Every metric space is Hausdorff, in particular R is Hausdorff (for n 1). ≥ Proof Let (X, d) be a metric space and let x, y X with x = y. Let r = d(x, y). Let ∈ 6 U = B(x; r/2) and V = B(y; r/2). Then x U, y V . We claim U V = . If not there ∈ ∈ ∅ exists z U V . But then d(x, z) < r/2 and d(z, y) < r/2 so we get ∈ T T r = d(x, y) d(x, z) + d(z, y) < r/2 + r/2 ≤ i.e. r < r, a contradiction. Hence U V = and X is Hausdorff. ∅ T Reamrk In a Hausdorff space X the subset x is closed, for every x X. To see this { } ∈ let W = C ( x ). For y W there exist open set U ,V such that x U , y V and X { } ∈ y y ∈ y ∈ y Uy Vy = . Thus Vy W and W = y W Vy is open. So CX (W ) = x is closed. ∅ ⊂ ∈ { } T S Exercise 1 Suppose (X, ) is Hausdorff and X is finite. Then is the discrete topology. T T Proof Let x X. Then x is closed. If Z = x , x , . , x is any subset of X then ∈ { } { 1 2 m} Z = x x x is closed. So all subsets are closed and hence all subsets are open { 1} { 2} { n} and X hasS the discreteS topology. 34 Exercise 2 Let X be an infinite set and let be the cofinite topology on X. Then T (X, ) is not Hausdorff. T Lets suppose it is and derive a contradiction. Pick x, y X with x = y. Then there ∈ 6 exists open sets U, V such that x U, y V and U V = . Since X has the cofinite ∈ ∈ ∅ topology and U, V are nonempty, C (U) and C (V ) are finite. But then X = C ( ) = X X T X ∅ CX (U V ) = CX (U) CX (V ) is finite - contradiction. T S (3.1b) Let X be a Hausdorff space and let Z X. Then Z (regarded as a topological ⊂ space via the subspace topology) is Hausdorff. Proof Let x, y Z. Since X is Hausdorff there exist open sets U, V in X such that ∈ x U, y V and U V = . But then U ∗ = U Z and V ∗ = V Z are open in (the ∈ ∈ ∅ subspace topology on) Z, moreover x U , y V also T ∈ ∗ ∈ ∗T T U ∗ V ∗ = U Z V Z = (U V ) Z = . ∅ \ \ \ \ \ \ Hence Z is Hausdorff. (3.1c) Proposition Suppose that X, Y are topological spaces that X is homeomorphic to Y and Y is Hausdorff. Then X is Hausdorff. Proof Let f : X Y be a homeomorphism. Let x , x X with x = x . Then → 1 2 ∈ 1 6 2 f(x ), f(x ) Y and f(x ) = f(x ) (as f is a homeomorphism, in particular it is a 1 1- 1 2 ∈ 1 6 2 − map). By the Hausdorff condition there exist open sets V ,V of Y such that f(x ) V , 1 2 1 ∈ 1 f(x ) V and V V = . But now x f 1V , x f 1V and f 1V f 1V = 2 ∈ 2 1 2 ∅ 1 ∈ − 1 2 ∈ − 2 − 1 − 2 f 1(V V ) = f 1( ) = . Hence X is Hausdorff. − 1 2 − T∅ ∅ T T Definition Suppose is a property which a topological space may or may not have P (e.g. the property of being Hausdorff). We say that is a topological property if whenever P X, Y are homeomorphic topological spaces and Y has the property then X also has the P property . P So we may re-cast (3.1c) as: (3.1c)’ Hausdorffness is a topological property. 35 3.2 Compact Spaces How can we tell whether [0, 1] is homeomorphic to R? Find a topological property which [0, 1] has but R does not have. Definition Let X be a topological space. An open cover of X is a collection of open sets Ui i I such that X = i I Ui. { | ∈ } ∈ A subcover of an open cover U i I is an open cover of the form U j J , where {S i | ∈ } { j | ∈ } J is a subset of I. Examples 1. Let X = and let U = ( n, +n), for n = 1, 2,.... Then U n R n − { n | ∈ N} is an open cover of , i.e. = ∞ U . This is so because, for r we can choose a R R n=1 n ∈ R positive integer m greater than r and then r ( m, +m) = U , so r U ∞ U . |S| ∈ − m ∈ m ⊂ n=1 n Hence n∞=1 Un contains every real number, i.e. n∞=1 Un = R. S A subcover of this open cover is U n J where J is the set of even positive integers. S { n | ∈ } S Example 2 Let X = . Let U = ( , 0), U = (0, ), U = ( 1, 1), U = ( 4, 4), R 1 −∞ 2 ∞ 3 − 4 − U = ( 5, 5) and U = ( n, n), for n 4. Then U n is an open cover of and 5 − n − ≥ { n | ∈ N } R U ,U ,U is a subcover. { 1 2 3} Notice that in both Examples above X is given an open cover consisting of infinitely many sets. In Example 2 there is a finite subcover (a subcover consisting of finitely many sets) and in Example 1 there is not. Example 3 Let X = [0, 1] (with the subspace topology induced from R ). Let U1 = [0, 1/4) and U = (1/n, 1], for n = 2, 3, 4,.... Then U = [0, 1] ( 1/4, 1/4) is open in the n 1 − subspace topology and so is U = [0, 1] (1/n, 2), for n 2. Note that U n = 1, 2,... n ≥ T { n | } is an open cover and U ,U is a subcover. { 1 5} T Definition A topological space X is compact if every open cover of X has a finite subcover, i.e. if whenever X = i I Ui, for a collection of open sets Ui i I then we ∈ { | ∈ } also have X = i F Ui, for someS finite subset F of I. ∈ S (3.2a) Proposition Let X be a finite topological space. Then X is compact. 36 Proof Let X = x , x , . , x . Let U i I be an open cover of X. Then x { 1 2 n} { i | ∈ } 1 ∈ X = i I Ui so that x1 Ui1 for some i1 I. Similarly, x2 Ui2 for some i2 I, ..., ∈ ∈ ∈ ∈ ∈ x U , for some i I. n ∈ Sin n ∈ Let F = i1, i2, . , in . Then xr Uir i F Ui, for each r. Hence every x in X { } ∈ ⊂ ∈ belongs to i I Ui and so X = i F Ui, i.e. USi i F is a finite subcover of Ui i I . ∈ ∈ { | ∈ } { | ∈ } S S When is a subspace of a topological space compact? (3.2b) Lemma Let X be a topological space and let Z be a subspace. Then Z is compact if and only if for every collection Ui i I of open sets of X such that Z i I Ui there { | ∈ } ⊂ ∈ is a finite subset F of I such that Z i F Ui. S ⊂ ∈ S Proof ( ) Suppose Z is compact (regarding Z as a topological space with the subspace ⇒ topology). Let Ui i I be a collection of open sets of X with Z i I Ui. Then we { | ∈ } ⊂ ∈ have S Z = Z Z Z ( U ) = Z U . ⊂ i i i U i I \ \ [∈ [∈ \ On the other hand i I Z Ui Z so we have Z = i I Z Ui. Writing Vi = Z Ui ∈ ⊂ ∈ we thus have that all Vi are open in Z (in the subspace topology) and Z = i I Vi. By S T S T ∈ T compactness we therefore have Z = i F Vi for some finite subset F of I. NowSVi Ui so ∈ ⊂ we get S Z = V U i ⊂ i i F i I [∈ [∈ and Z i F Ui, as required. ⊂ ∈ ( ) NowS suppose that Z has the property that whenever Z i I Ui, for open sets Ui ⇐ ⊂ ∈ in X, there exists a finite subset F of I such that Z i F Ui.S We will show that Z is ⊂ ∈ compact. Let V i I be an open cover of Z. Thus each V is open in the subspace { i | ∈ } S i topology, so have the form Vi = Z Ui for some open set Ui in X. Now we have Z = i I Vi i I Ui. By the assumed propertyT we therefore have Z i F Ui for some finite ∈ ⊂ ∈ ⊂ ∈ Ssubset F ofSI. Hence we have Z = Z ( i F Ui) = i F Ui) = Si F Z Ui = i F Vi. ∈ ∈ ∈ ∈ Thus V i F is a finite subcover of U i I and we have shown that every open { i | ∈ } T {S i | ∈ } S S T S cover of Z has a finite subcover. Hence Z is compact. Is a subspace of a compact space compact ? The answer is generally no! We shall see that [0, 1] is compact, but on the other hand (0, 1) is not compact (e.g. (0, 1) = n∞=2 Un where U = (1/n, 1) but U n = 2, 3,... has no finite subcover).
Load more

Recommended publications
  • K-THEORY of FUNCTION RINGS Theorem 7.3. If X Is A
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 69 (1990) 33-50 33 North-Holland K-THEORY OF FUNCTION RINGS Thomas FISCHER Johannes Gutenberg-Universitit Mainz, Saarstrage 21, D-6500 Mainz, FRG Communicated by C.A. Weibel Received 15 December 1987 Revised 9 November 1989 The ring R of continuous functions on a compact topological space X with values in IR or 0Z is considered. It is shown that the algebraic K-theory of such rings with coefficients in iZ/kH, k any positive integer, agrees with the topological K-theory of the underlying space X with the same coefficient rings. The proof is based on the result that the map from R6 (R with discrete topology) to R (R with compact-open topology) induces a natural isomorphism between the homologies with coefficients in Z/kh of the classifying spaces of the respective infinite general linear groups. Some remarks on the situation with X not compact are added. 0. Introduction For a topological space X, let C(X, C) be the ring of continuous complex valued functions on X, C(X, IR) the ring of continuous real valued functions on X. KU*(X) is the topological complex K-theory of X, KO*(X) the topological real K-theory of X. The main goal of this paper is the following result: Theorem 7.3. If X is a compact space, k any positive integer, then there are natural isomorphisms: K,(C(X, C), Z/kZ) = KU-‘(X, Z’/kZ), K;(C(X, lR), Z/kZ) = KO -‘(X, UkZ) for all i 2 0.
    [Show full text]
  • 1.1.5 Hausdorff Spaces
    1. Preliminaries Proof. Let xn n N be a sequence of points in X convergent to a point x X { } 2 2 and let U (f(x)) in Y . It is clear from Definition 1.1.32 and Definition 1.1.5 1 2F that f − (U) (x). Since xn n N converges to x,thereexistsN N s.t. 1 2F { } 2 2 xn f − (U) for all n N.Thenf(xn) U for all n N. Hence, f(xn) n N 2 ≥ 2 ≥ { } 2 converges to f(x). 1.1.5 Hausdor↵spaces Definition 1.1.40. A topological space X is said to be Hausdor↵ (or sepa- rated) if any two distinct points of X have neighbourhoods without common points; or equivalently if: (T2) two distinct points always lie in disjoint open sets. In literature, the Hausdor↵space are often called T2-spaces and the axiom (T2) is said to be the separation axiom. Proposition 1.1.41. In a Hausdor↵space the intersection of all closed neigh- bourhoods of a point contains the point alone. Hence, the singletons are closed. Proof. Let us fix a point x X,whereX is a Hausdor↵space. Denote 2 by C the intersection of all closed neighbourhoods of x. Suppose that there exists y C with y = x. By definition of Hausdor↵space, there exist a 2 6 neighbourhood U(x) of x and a neighbourhood V (y) of y s.t. U(x) V (y)= . \ ; Therefore, y/U(x) because otherwise any neighbourhood of y (in particular 2 V (y)) should have non-empty intersection with U(x).
    [Show full text]
  • The Topology of Subsets of Rn
    Lecture 1 The topology of subsets of Rn The basic material of this lecture should be familiar to you from Advanced Calculus courses, but we shall revise it in detail to ensure that you are comfortable with its main notions (the notions of open set and continuous map) and know how to work with them. 1.1. Continuous maps “Topology is the mathematics of continuity” Let R be the set of real numbers. A function f : R −→ R is called continuous at the point x0 ∈ R if for any ε> 0 there exists a δ> 0 such that the inequality |f(x0) − f(x)| < ε holds for all x ∈ R whenever |x0 − x| <δ. The function f is called contin- uous if it is continuous at all points x ∈ R. This is basic one-variable calculus. n Let R be n-dimensional space. By Or(p) denote the open ball of radius r> 0 and center p ∈ Rn, i.e., the set n Or(p) := {q ∈ R : d(p, q) < r}, where d is the distance in Rn. A function f : Rn −→ R is called contin- n uous at the point p0 ∈ R if for any ε> 0 there exists a δ> 0 such that f(p) ∈ Oε(f(p0)) for all p ∈ Oδ(p0). The function f is called continuous if it is continuous at all points p ∈ Rn. This is (more advanced) calculus in several variables. A set G ⊂ Rn is called open in Rn if for any point g ∈ G there exists a n δ> 0 such that Oδ(g) ⊂ G.
    [Show full text]
  • The Non-Hausdorff Number of a Topological Space
    THE NON-HAUSDORFF NUMBER OF A TOPOLOGICAL SPACE IVAN S. GOTCHEV Abstract. We call a non-empty subset A of a topological space X finitely non-Hausdorff if for every non-empty finite subset F of A and every family fUx : x 2 F g of open neighborhoods Ux of x 2 F , \fUx : x 2 F g 6= ; and we define the non-Hausdorff number nh(X) of X as follows: nh(X) := 1 + supfjAj : A is a finitely non-Hausdorff subset of Xg. Using this new cardinal function we show that the following three inequalities are true for every topological space X d(X) (i) jXj ≤ 22 · nh(X); 2d(X) (ii) w(X) ≤ 2(2 ·nh(X)); (iii) jXj ≤ d(X)χ(X) · nh(X) and (iv) jXj ≤ nh(X)χ(X)L(X) is true for every T1-topological space X, where d(X) is the density, w(X) is the weight, χ(X) is the character and L(X) is the Lindel¨ofdegree of the space X. The first three inequalities extend to the class of all topological spaces d(X) Pospiˇsil'sinequalities that for every Hausdorff space X, jXj ≤ 22 , 2d(X) w(X) ≤ 22 and jXj ≤ d(X)χ(X). The fourth inequality generalizes 0 to the class of all T1-spaces Arhangel ski˘ı’s inequality that for every Hausdorff space X, jXj ≤ 2χ(X)L(X). It is still an open question if 0 Arhangel ski˘ı’sinequality is true for all T1-spaces. It follows from (iv) that the answer of this question is in the afirmative for all T1-spaces with nh(X) not greater than the cardianilty of the continuum.
    [Show full text]
  • 3. Closed Sets, Closures, and Density
    3. Closed sets, closures, and density 1 Motivation Up to this point, all we have done is define what topologies are, define a way of comparing two topologies, define a method for more easily specifying a topology (as a collection of sets generated by a basis), and investigated some simple properties of bases. At this point, we will start introducing some more interesting definitions and phenomena one might encounter in a topological space, starting with the notions of closed sets and closures. Thinking back to some of the motivational concepts from the first lecture, this section will start us on the road to exploring what it means for two sets to be \close" to one another, or what it means for a point to be \close" to a set. We will draw heavily on our intuition about n convergent sequences in R when discussing the basic definitions in this section, and so we begin by recalling that definition from calculus/analysis. 1 n Definition 1.1. A sequence fxngn=1 is said to converge to a point x 2 R if for every > 0 there is a number N 2 N such that xn 2 B(x) for all n > N. 1 Remark 1.2. It is common to refer to the portion of a sequence fxngn=1 after some index 1 N|that is, the sequence fxngn=N+1|as a tail of the sequence. In this language, one would phrase the above definition as \for every > 0 there is a tail of the sequence inside B(x)." n Given what we have established about the topological space Rusual and its standard basis of -balls, we can see that this is equivalent to saying that there is a tail of the sequence inside any open set containing x; this is because the collection of -balls forms a basis for the usual topology, and thus given any open set U containing x there is an such that x 2 B(x) ⊆ U.
    [Show full text]
  • 07. Homeomorphisms and Embeddings
    07. Homeomorphisms and embeddings Homeomorphisms are the isomorphisms in the category of topological spaces and continuous functions. Definition. 1) A function f :(X; τ) ! (Y; σ) is called a homeomorphism between (X; τ) and (Y; σ) if f is bijective, continuous and the inverse function f −1 :(Y; σ) ! (X; τ) is continuous. 2) (X; τ) is called homeomorphic to (Y; σ) if there is a homeomorphism f : X ! Y . Remarks. 1) Being homeomorphic is apparently an equivalence relation on the class of all topological spaces. 2) It is a fundamental task in General Topology to decide whether two spaces are homeomorphic or not. 3) Homeomorphic spaces (X; τ) and (Y; σ) cannot be distinguished with respect to their topological structure because a homeomorphism f : X ! Y not only is a bijection between the elements of X and Y but also yields a bijection between the topologies via O 7! f(O). Hence a property whose definition relies only on set theoretic notions and the concept of an open set holds if and only if it holds in each homeomorphic space. Such properties are called topological properties. For example, ”first countable" is a topological property, whereas the notion of a bounded subset in R is not a topological property. R ! − t Example. The function f : ( 1; 1) with f(t) = 1+jtj is a −1 x homeomorphism, the inverse function is f (x) = 1−|xj . 1 − ! b−a a+b The function g :( 1; 1) (a; b) with g(x) = 2 x + 2 is a homeo- morphism. Therefore all open intervals in R are homeomorphic to each other and homeomorphic to R .
    [Show full text]
  • Foliations of Three Dimensional Manifolds∗
    Foliations of Three Dimensional Manifolds∗ M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930's: \Does there exist on S3 a completely integrable vector field?” By Frobenius' Theorem, this is equivalent to: \Does there exist on S3 a codimension one foliation?" A decade later, G. Reeb answered affirmatively by exhibiting a C1 foliation of S3 consisting of a single compact leaf homeomorphic to the 2-torus with the other leaves homeomorphic to R2 accumulating asymptotically on the compact leaf. Reeb's work raised the basic question: \Does every C1 codimension one foliation of S3 have a compact leaf?" This was answered by S. Novikov with a much stronger statement, one of the deepest results of foliation theory: Every C2 codimension one foliation of a compact 3-dimensional manifold with finite fundamental group has a compact leaf. The basic ideas leading to Novikov's Theorem are surveyed here.1 1 Introduction Intuitively, a foliation is a partition of a manifold M into submanifolds A of the same dimension that stack up locally like the pages of a book. Perhaps the simplest 3 nontrivial example is the foliation of R nfOg by concentric spheres induced by the 3 submersion R nfOg 3 x 7! jjxjj 2 R. Abstracting the essential aspects of this example motivates the following general ∗Survey paper written for S.N. Simic's Math 213, \Advanced Differential Geometry", San Jos´eState University, Fall 2007. 1We follow here the general outline presented in [Ca]. For a more recent and much broader survey of foliation theory, see [To].
    [Show full text]
  • TOPOLOGY and ITS APPLICATIONS the Number of Complements in The
    TOPOLOGY AND ITS APPLICATIONS ELSEVIER Topology and its Applications 55 (1994) 101-125 The number of complements in the lattice of topologies on a fixed set Stephen Watson Department of Mathematics, York Uniuersity, 4700 Keele Street, North York, Ont., Canada M3J IP3 (Received 3 May 1989) (Revised 14 November 1989 and 2 June 1992) Abstract In 1936, Birkhoff ordered the family of all topologies on a set by inclusion and obtained a lattice with 1 and 0. The study of this lattice ought to be a basic pursuit both in combinatorial set theory and in general topology. In this paper, we study the nature of complementation in this lattice. We say that topologies 7 and (T are complementary if and only if 7 A c = 0 and 7 V (T = 1. For simplicity, we call any topology other than the discrete and the indiscrete a proper topology. Hartmanis showed in 1958 that any proper topology on a finite set of size at least 3 has at least two complements. Gaifman showed in 1961 that any proper topology on a countable set has at least two complements. In 1965, Steiner showed that any topology has a complement. The question of the number of distinct complements a topology on a set must possess was first raised by Berri in 1964 who asked if every proper topology on an infinite set must have at least two complements. In 1969, Schnare showed that any proper topology on a set of infinite cardinality K has at least K distinct complements and at most 2” many distinct complements.
    [Show full text]
  • Generalized Inverse Limits and Topological Entropy
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of Faculty of Science, University of Zagreb FACULTY OF SCIENCE DEPARTMENT OF MATHEMATICS Goran Erceg GENERALIZED INVERSE LIMITS AND TOPOLOGICAL ENTROPY DOCTORAL THESIS Zagreb, 2016 PRIRODOSLOVNO - MATEMATICKIˇ FAKULTET MATEMATICKIˇ ODSJEK Goran Erceg GENERALIZIRANI INVERZNI LIMESI I TOPOLOŠKA ENTROPIJA DOKTORSKI RAD Zagreb, 2016. FACULTY OF SCIENCE DEPARTMENT OF MATHEMATICS Goran Erceg GENERALIZED INVERSE LIMITS AND TOPOLOGICAL ENTROPY DOCTORAL THESIS Supervisors: prof. Judy Kennedy prof. dr. sc. Vlasta Matijevic´ Zagreb, 2016 PRIRODOSLOVNO - MATEMATICKIˇ FAKULTET MATEMATICKIˇ ODSJEK Goran Erceg GENERALIZIRANI INVERZNI LIMESI I TOPOLOŠKA ENTROPIJA DOKTORSKI RAD Mentori: prof. Judy Kennedy prof. dr. sc. Vlasta Matijevic´ Zagreb, 2016. Acknowledgements First of all, i want to thank my supervisor professor Judy Kennedy for accept- ing a big responsibility of guiding a transatlantic student. Her enthusiasm and love for mathematics are contagious. I thank professor Vlasta Matijevi´c, not only my supervisor but also my role model as a professor of mathematics. It was privilege to be guided by her for master's and doctoral thesis. I want to thank all my math teachers, from elementary school onwards, who helped that my love for math rises more and more with each year. Special thanks to Jurica Cudina´ who showed me a glimpse of math theory already in the high school. I thank all members of the Topology seminar in Split who always knew to ask right questions at the right moment and to guide me in the right direction. I also thank Iztok Baniˇcand the rest of the Topology seminar in Maribor who welcomed me as their member and showed me the beauty of a teamwork.
    [Show full text]
  • Pg**- Compact Spaces
    International Journal of Mathematics Research. ISSN 0976-5840 Volume 9, Number 1 (2017), pp. 27-43 © International Research Publication House http://www.irphouse.com pg**- compact spaces Mrs. G. Priscilla Pacifica Assistant Professor, St.Mary’s College, Thoothukudi – 628001, Tamil Nadu, India. Dr. A. Punitha Tharani Associate Professor, St.Mary’s College, Thoothukudi –628001, Tamil Nadu, India. Abstract The concepts of pg**-compact, pg**-countably compact, sequentially pg**- compact, pg**-locally compact and pg**- paracompact are introduced, and several properties are investigated. Also the concept of pg**-compact modulo I and pg**-countably compact modulo I spaces are introduced and the relation between these concepts are discussed. Keywords: pg**-compact, pg**-countably compact, sequentially pg**- compact, pg**-locally compact, pg**- paracompact, pg**-compact modulo I, pg**-countably compact modulo I. 1. Introduction Levine [3] introduced the class of g-closed sets in 1970. Veerakumar [7] introduced g*- closed sets. P M Helen[5] introduced g**-closed sets. A.S.Mashhour, M.E Abd El. Monsef [4] introduced a new class of pre-open sets in 1982. Ideal topological spaces have been first introduced by K.Kuratowski [2] in 1930. In this paper we introduce 28 Mrs. G. Priscilla Pacifica and Dr. A. Punitha Tharani pg**-compact, pg**-countably compact, sequentially pg**-compact, pg**-locally compact, pg**-paracompact, pg**-compact modulo I and pg**-countably compact modulo I spaces and investigate their properties. 2. Preliminaries Throughout this paper(푋, 휏) and (푌, 휎) represent non-empty topological spaces of which no separation axioms are assumed unless otherwise stated. Definition 2.1 A subset 퐴 of a topological space(푋, 휏) is called a pre-open set [4] if 퐴 ⊆ 푖푛푡(푐푙(퐴) and a pre-closed set if 푐푙(푖푛푡(퐴)) ⊆ 퐴.
    [Show full text]
  • I-Sequential Topological Spaces∗
    Applied Mathematics E-Notes, 14(2014), 236-241 c ISSN 1607-2510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ -Sequential Topological Spaces I Sudip Kumar Pal y Received 10 June 2014 Abstract In this paper a new notion of topological spaces namely, I-sequential topo- logical spaces is introduced and investigated. This new space is a strictly weaker notion than the first countable space. Also I-sequential topological space is a quotient of a metric space. 1 Introduction The idea of convergence of real sequence have been extended to statistical convergence by [2, 14, 15] as follows: If N denotes the set of natural numbers and K N then Kn denotes the set k K : k n and Kn stands for the cardinality of the set Kn. The natural densityf of the2 subset≤ Kg is definedj j by Kn d(K) = lim j j, n n !1 provided the limit exists. A sequence xn n N of points in a metric space (X, ) is said to be statistically f g 2 convergent to l if for arbitrary " > 0, the set K(") = k N : (xk, l) " has natural density zero. A lot of investigation has been donef on2 this convergence≥ andg its topological consequences after initial works by [5, 13]. It is easy to check that the family Id = A N : d(A) = 0 forms a non-trivial f g admissible ideal of N (recall that I 2N is called an ideal if (i) A, B I implies A B I and (ii) A I,B A implies B I.
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [Show full text]