DOCSLIB.ORG

MH 7500 THEOREMS Definition. a Topological Space Is an Ordered Pair

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
MH 7500 THEOREMS Definition. a Topological Space Is an Ordered Pair MH 7500 THEOREMS De¯nition. 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) ; 2 T and X 2 T ; (ii) U \ V 2 T whenever U; V 2 T ; (iii) [U 2 T whenever U ½ T . T is called a topology on the set X. Elements of T are called open sets. Remark. To put it in other words, condition (ii) says that pairwise (and hence ¯nite) intersections of open sets are open, and (iii) says that any union of open sets is open. Convention. We will often write X is a topological space or just X is a space to mean that X is a set with some ¯xed but unspeci¯ed topology. De¯nition. If X is a space, and A ½ X, then A is closed i® X n A is open. Lemma 1. If X is any set, and A any collection of subsets of X, then T (i) X n [A = SfX n A : A 2 Ag; (ii) X n \A = fX n A : A 2 Ag. Corollary 2. For any space X, (i) ; and X are closed; (ii) The union of ¯nitely many closed sets is closed; (iii) The intersection of any number of closed sets is closed. De¯nition. If X is a space, and A ½ X, then the closure of A, denoted by A, is de¯ned to be the intersection of all closed sets which contain A. Note that therefore A is always a closed set and A is closed i® A = A. If x 2 X and if every open set containing x contains a point of A other than x, we say that x is a limit point of A. Theorem 3. For any subset A of a space X, we have A = A [ fx 2 X : x is a limit point of Ag. Theorem 4. If A and B are subsets of a space X, then (i) ; = ;; (ii) A ½ A; (iii) A = A; (iv) A [ B = A [ B. Theorem 5. If fA® : ® 2 ¤g is any collection of subsets of a space X, then T T (i) A ⊆ A ; S®2¤ ® S®2¤ ® (ii) ®2¤ A® ¶ ®2¤ A®. De¯nition. If A is a subset of a space X, let Ao = fx 2 A : x 2 U ½ A for some open set Ug. We call Ao the interior of A, and if x 2 Ao we say that A 1 2 MH 7500 THEOREMS is a neighborhood of x. A point x is in the boundary of A if every open set containing x (equivalently, every neighborhood of x) meets both A and X n A. We denote the set of boundary points of A by @A. Theorem 6. For any subset A of a space X, A = A [ @A = Ao [ @A. De¯nition. Let (X; T ) be a topological space, and let B be a subcollection of T . We say B is a base for the topological space (X; T ) i® every member of T is a union of members of B. Theorem 7. Let X be a set and let B be a collection of subsets of X. Then there is a (unique) topology T on X such that B is a base for (X; T ) if and only if (a) Each x 2 X is in some member of B (i.e., B covers X); (b) Whenever B1;B2 2 B and x 2 B1 \ B2, there exists B 2 B with x 2 B ½ B1 \ B2. De¯nition. Collections B1 and B2 of subsets of a set X are equivalent bases i® there is a topology T on X such that B1 and B2 are both bases for (X; T ). Theorem 8. Let (X; T ) be a topological space, let B1 be a base for (X; T ), and let B2 be a collection of subsets of X. If (i) x 2 B1 2 B1 ) 9B2 2 B2 such that x 2 B2 ½ B1, and (ii) x 2 B2 2 B2 ) 9B1 2 B1 such that x 2 B1 ½ B2, then B1 and B2 are equivalent bases. De¯nition. A subspace of a topological space (X; T ) is a pair (A; TA), where A ½ X and TA = fU \ A : U 2 T g. TA is called the relative topology on A, or the topology on A induced by T . Theorem 9. If (X; T ) is a topological space, B a base for T , and A ½ X, then the collection fB \ A : B 2 Bg is a base for (A; TA). De¯nition. Let X be a set. A function d : X £ X ! R is called a metric on X if for each x; y; z 2 X, d satis¯es: (i) d(x; y) ¸ 0 and d(x; y) = 0 () x = y; (ii) d(x; y) = d(y; x) (i.e., d is symmetric); (iii) d(x; z) · d(x; y) + d(y; z) (the triangle inequality). A metric space is a pair (X; d), where X is a set and d is a metric on X. If ² > 0, let Bd(x; ²) = fy 2 X : d(x; y) < ²g (if it is understood what metric we are talking about, we may omit the subscript d and write B(x; ²)). Bd(x; ²) is the ²-ball about x (w.r.t. d). Lemma 10. Let (X; d) be a metric space. Then the collection B = fBd(x; ²): x 2 X; ² > 0g of ²-balls is a base for a topology on X. Lemma 10.5. Let (X; d) be a metric space. Then a subset U of X is open in the metric topology i®, for every x 2 U, there is ² > 0 such that Bd(x; ²) ½ U. De¯nition. Let (X; d) be a metric space. Then the topology on X given in Lemma 10 is called the metric topology (generated by the metric d). If d and d0 are two metrics on the same set X which generate the same topology, then d and d0 are called equivalent metrics. A topological space (X; T ) is said to be metrizable if there is a metric on X which generates T . MH 7500 THEOREMS 3 Theorem 11. Let (X; d) be a metric space, and let Y ½ X. Let dY be the metric d restricted to Y £ Y . Then (Y; dY ) is a metric space, and the metric topology on Y is the same as the subspace topology with respect to the metric topology on X. De¯nition. If f : X ! Y , where X and Y are spaces, and x0 2 X, we say f is continuous at x0 if, given any open set V in Y with f(x0) 2 V , there is an open set U in X with x0 2 U and f(U) ½ V . Also, f is continuous if f is continuous at every x0 2 X. Theorem 12. If f : X ! Y , where X and Y are spaces, then the following are equivalent: (i) f is continuous; (ii) f ¡1(V ) is open in X whenever V is open in Y ; (iii) f ¡1(C) is closed in X whenever C is closed in Y ; (iv) Whenever A ½ X and x 2 A, then f(x) 2 f(A). Theorem 13. If f : X ! Y is continuous, and A ½ X, then the restriction of f to A, denoted f ¹ A, is a continous function from A (with the subspace topology) to Y . Theorem 14. If f : X ! Y and g : Y ! Z are continuous, so is g ± f : X ! Z. De¯nition. A function f : X ! Y is closed (resp., open) if the image of every closed set (resp., open set) in X is closed (resp., open) in Y . De¯nition. A function h : X ! Y is a homeomorphism if h is one-to-one, onto, and both h and h¡1 are continuous. If such a homeomorphism exists, then the spaces X and Y are said to be homeomorphic. Theorem 15. If h : X ! Y is one-to-one and onto, then the following are equiv- alent: (i) h is a homeomorphism; (ii) h is open and continuous; (iii) h is closed and continuous. Exercise. Find an example of spaces X and Y , and a mapping f : X ! Y which is one-to-one, onto, and continuous, but not a homeomorphism. De¯nition. A local base at a point x of a space X is a collection Bx of open neighborhoods of x such that, whenever x 2 U where U is open, there is some B 2 Bx with x 2 B ½ U. A space X is ¯rst-countable if every point of x has a countable local base. Remark. If U1;U2;::: is a countable local base at x, and we put V1 = U1;V2 = U1 \ U2;V3 = U1 \ U2 \ U3;::: , then V1;V2;::: is another countable local base at x which is decreasing (in the sense that V1 ⊃ V2 ⊃ V3 ⊃ ::: ). So a point has a countable local base i® it has a countable decreasing local base. Theorem 16. Every metric space is ¯rst-countable. 1 De¯nition. Let X be a topological space, x 2 X, and (xn)n=1 a sequence 1 1 of points in X. We say (xn)n=1 converges to x, and write (xn)n=1 ! x, if every (open) neighborhood of x contains xn for su±ciently large n 2 N (i.e., for any (open) neighborhood Nx of x, there is k 2 N such that xn 2 Nx for all n ¸ k).
Load more

Recommended publications
  • Nearly Metacompact Spaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 98 (1999) 191–201 Nearly metacompact spaces Elise Grabner a;∗, Gary Grabner a, Jerry E. Vaughan b a Department Mathematics, Slippery Rock University, Slippery Rock, PA 16057, USA b Department Mathematics, University of North Carolina at Greensboro, Greensboro, NC 27412, USA Received 28 May 1997; received in revised form 30 December 1997 Abstract A space X is called nearly metacompact (meta-Lindelöf) provided that if U is an open cover of X then there is a dense set D ⊆ X and an open refinement V of U that is point-finite (point-countable) on D: We show that countably compact, nearly meta-Lindelöf T3-spaces are compact. That nearly metacompact radial spaces are meta-Lindelöf. Every space can be embedded as a closed subspace of a nearly metacompact space. We give an example of a countably compact, nearly meta-Lindelöf T2-space that is not compact and a nearly metacompact T2-space which is not irreducible. 1999 Elsevier Science B.V. All rights reserved. Keywords: Metacompact; Nearly metacompact; Irreducible; Countably compact; Radial AMS classification: Primary 54D20, Secondary 54A20; 54D30 A space X is called nearly metacompact (meta-Lindelöf) provided that if U is an open cover of X then there is a dense set D ⊆ X and an open refinement V of U such that Vx DfV 2 V: x 2 V g is finite (countable) for all x 2 D. The class of nearly metacompact spaces was introduced in [8] as a device for constructing a variety of interesting examples of non orthocompact spaces.
    [Show full text]
  • A Guide to Topology
    i i “topguide” — 2010/12/8 — 17:36 — page i — #1 i i A Guide to Topology i i i i i i “topguide” — 2011/2/15 — 16:42 — page ii — #2 i i c 2009 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2009929077 Print Edition ISBN 978-0-88385-346-7 Electronic Edition ISBN 978-0-88385-917-9 Printed in the United States of America Current Printing (last digit): 10987654321 i i i i i i “topguide” — 2010/12/8 — 17:36 — page iii — #3 i i The Dolciani Mathematical Expositions NUMBER FORTY MAA Guides # 4 A Guide to Topology Steven G. Krantz Washington University, St. Louis ® Published and Distributed by The Mathematical Association of America i i i i i i “topguide” — 2010/12/8 — 17:36 — page iv — #4 i i DOLCIANI MATHEMATICAL EXPOSITIONS Committee on Books Paul Zorn, Chair Dolciani Mathematical Expositions Editorial Board Underwood Dudley, Editor Jeremy S. Case Rosalie A. Dance Tevian Dray Patricia B. Humphrey Virginia E. Knight Mark A. Peterson Jonathan Rogness Thomas Q. Sibley Joe Alyn Stickles i i i i i i “topguide” — 2010/12/8 — 17:36 — page v — #5 i i The DOLCIANI MATHEMATICAL EXPOSITIONS series of the Mathematical Association of America was established through a generous gift to the Association from Mary P. Dolciani, Professor of Mathematics at Hunter College of the City Uni- versity of New York. In making the gift, Professor Dolciani, herself an exceptionally talented and successfulexpositor of mathematics, had the purpose of furthering the ideal of excellence in mathematical exposition.
    [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 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]
  • On Dimension and Weight of a Local Contact Algebra
    Filomat 32:15 (2018), 5481–5500 Published by Faculty of Sciences and Mathematics, https://doi.org/10.2298/FIL1815481D University of Nis,ˇ Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Dimension and Weight of a Local Contact Algebra G. Dimova, E. Ivanova-Dimovaa, I. D ¨untschb aFaculty of Math. and Informatics, Sofia University, 5 J. Bourchier Blvd., 1164 Sofia, Bulgaria bCollege of Maths. and Informatics, Fujian Normal University, Fuzhou, China. Permanent address: Dept. of Computer Science, Brock University, St. Catharines, Canada Abstract. As proved in [16], there exists a duality Λt between the category HLC of locally compact Hausdorff spaces and continuous maps, and the category DHLC of complete local contact algebras and appropriate morphisms between them. In this paper, we introduce the notions of weight wa and of dimension dima of a local contact algebra, and we prove that if X is a locally compact Hausdorff space then t t w(X) = wa(Λ (X)), and if, in addition, X is normal, then dim(X) = dima(Λ (X)). 1. Introduction According to Stone’s famous duality theorem [43], the Boolean algebra CO(X) of all clopen (= closed and open) subsets of a zero-dimensional compact Hausdorff space X carries the whole information about the space X, i.e. the space X can be reconstructed from CO(X), up to homeomorphism. It is natural to ask whether the Boolean algebra RC(X) of all regular closed subsets of a compact Hausdorff space X carries the full information about the space X (see Example 2.5 below for RC(X)).
    [Show full text]
  • 12 | Urysohn Metrization Theorem
    12 | Urysohn Metrization Theorem In this chapter we return to the problem of determining which topological spaces are metrizable i.e. can be equipped with a metric which is compatible with their topology. We have seen already that any metrizable space must be normal, but that not every normal space is metrizable. We will show, however, that if a normal space space satisfies one extra condition then it is metrizable. Recall that a space X is second countable if it has a countable basis. We have: 12.1 Urysohn Metrization Theorem. Every second countable normal space is metrizable. The main idea of the proof is to show that any space as in the theorem can be identified with a subspace of some metric space. To make this more precise we need the following: 12.2 Definition. A continuous function i: X → Y is an embedding if its restriction i: X → i(X) is a homeomorphism (where i(X) has the topology of a subspace of Y ). 12.3 Example. The function i: (0; 1) → R given by i(x) = x is an embedding. The function j : (0; 1) → R given by j(x) = 2x is another embedding of the interval (0; 1) into R. 12.4 Note. 1) If j : X → Y is an embedding then j must be 1-1. 2) Not every continuous 1-1 function is an embedding. For example, take N = {0; 1; 2;::: } with the discrete topology, and let f : N → R be given ( n f n 0 if = 0 ( ) = 1 n if n > 0 75 12.
    [Show full text]
  • 1. Introduction in a Topological Space, the Closure Is Characterized by the Limits of the Ultrafilters
    Pr´e-Publica¸c˜oes do Departamento de Matem´atica Universidade de Coimbra Preprint Number 08–37 THE ULTRAFILTER CLOSURE IN ZF GONC¸ALO GUTIERRES Abstract: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we cannot replace filters by ultrafilters. It is proven that the ultrafilter convergence determines the open sets for every topological space if and only if the Ultrafilter Theorem holds. More, we can also prove that the Ultrafilter Theorem is equivalent to the fact that uX = kX for every topological space X, where k is the usual Kuratowski Closure operator and u is the Ultrafilter Closure with uX (A) := {x ∈ X : (∃U ultrafilter in X)[U converges to x and A ∈U]}. However, it is possible to built a topological space X for which uX 6= kX , but the open sets are characterized by the ultrafilter convergence. To do so, it is proved that if every set has a free ultrafilter then the Axiom of Countable Choice holds for families of non-empty finite sets. It is also investigated under which set theoretic conditions the equality u = k is true in some subclasses of topological spaces, such as metric spaces, second countable T0-spaces or {R}. Keywords: Ultrafilter Theorem, Ultrafilter Closure. AMS Subject Classification (2000): 03E25, 54A20. 1. Introduction In a topological space, the closure is characterized by the limits of the ultrafilters. Although, in the absence of the Axiom of Choice, this is not a fact anymore.
    [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]
  • Chapter 7 Separation Properties
    Chapter VII Separation Axioms 1. Introduction “Separation” refers here to whether or not objects like points or disjoint closed sets can be enclosed in disjoint open sets; “separation properties” have nothing to do with the idea of “separated sets” that appeared in our discussion of connectedness in Chapter 5 in spite of the similarity of terminology.. We have already met some simple separation properties of spaces: the XßX!"and X # (Hausdorff) properties. In this chapter, we look at these and others in more depth. As “more separation” is added to spaces, they generally become nicer and nicer especially when “separation” is combined with other properties. For example, we will see that “enough separation” and “a nice base” guarantees that a space is metrizable. “Separation axioms” translates the German term Trennungsaxiome used in the older literature. Therefore the standard separation axioms were historically named XXXX!"#$, , , , and X %, each stronger than its predecessors in the list. Once these were common terminology, another separation axiom was discovered to be useful and “interpolated” into the list: XÞ"" It turns out that the X spaces (also called $$## Tychonoff spaces) are an extremely well-behaved class of spaces with some very nice properties. 2. The Basics Definition 2.1 A topological space \ is called a 1) X! space if, whenever BÁC−\, there either exists an open set Y with B−Y, CÂY or there exists an open set ZC−ZBÂZwith , 2) X" space if, whenever BÁC−\, there exists an open set Ywith B−YßCÂZ and there exists an open set ZBÂYßC−Zwith 3) XBÁC−\Y# space (or, Hausdorff space) if, whenever , there exist disjoint open sets and Z\ in such that B−YC−Z and .
    [Show full text]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [Show full text]
  • An Exploration of the Metrizability of Topological Spaces
    AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov Metrization The- orem Contents 1. Introduction 1 2. Product Topology 2 3. More Product Topology and R! 3 4. Separation Axioms 4 5. Urysohn's Lemma 5 6. Urysohn's Metrization Theorem 6 7. Local Finiteness and Gδ sets 8 8. Nagata-Smirnov Metrization Theorem 11 References 13 1. Introduction In this paper we will be exploring a basic topological notion known as metriz- ability, or whether or not a given topology can be understood through a distance function. We first give the reader some basic definitions. As an outline, we will be using these notions to first prove Urysohn's lemma, which we then use to prove Urysohn's metrization theorem, and we culminate by proving the Nagata Smirnov Metrization Theorem. Definition 1.1. Let X be a topological space. The collection of subsets B ⊂ X forms a basis for X if for any open U ⊂ X can be written as the union of elements of B Definition 1.2. Let X be a set. Let B ⊂ X be a collection of subsets of X. The topology generated by B is the intersection of all topologies on X containing B. Definition 1.3. Let X and Y be topological spaces. A map f : X ! Y . If f is a homeomorphism if it is a continuous bijection with a continuous inverse. If there is a homeomorphism from X to Y , we say that X and Y are homeo- morphic.
    [Show full text]
  • DEFINITIONS and THEOREMS in GENERAL TOPOLOGY 1. Basic
    DEFINITIONS AND THEOREMS IN GENERAL TOPOLOGY 1. Basic definitions. A topology on a set X is defined by a family O of subsets of X, the open sets of the topology, satisfying the axioms: (i) ; and X are in O; (ii) the intersection of finitely many sets in O is in O; (iii) arbitrary unions of sets in O are in O. Alternatively, a topology may be defined by the neighborhoods U(p) of an arbitrary point p 2 X, where p 2 U(p) and, in addition: (i) If U1;U2 are neighborhoods of p, there exists U3 neighborhood of p, such that U3 ⊂ U1 \ U2; (ii) If U is a neighborhood of p and q 2 U, there exists a neighborhood V of q so that V ⊂ U. A topology is Hausdorff if any distinct points p 6= q admit disjoint neigh- borhoods. This is almost always assumed. A set C ⊂ X is closed if its complement is open. The closure A¯ of a set A ⊂ X is the intersection of all closed sets containing X. A subset A ⊂ X is dense in X if A¯ = X. A point x 2 X is a cluster point of a subset A ⊂ X if any neighborhood of x contains a point of A distinct from x. If A0 denotes the set of cluster points, then A¯ = A [ A0: A map f : X ! Y of topological spaces is continuous at p 2 X if for any open neighborhood V ⊂ Y of f(p), there exists an open neighborhood U ⊂ X of p so that f(U) ⊂ V .
    [Show full text]