Metric and metrizable spaces
|
|
- Calvin Malone
- 5 years ago
- Views:
Transcription
1 Metric and metrizable spaces These notes discuss the same topic as Sections 20 and 2 of Munkres book; some notions (Symmetric, -metric, Ψ-spaces...) are not discussed in Munkres book.. Symmetric, -metric, and metric Definition. Let X be a set. A function d : X 2 R is called a symmetric on X if d satisfies the following two axioms: () ( x, y X) d(x, y) 0 and d(x, y) = 0 iff x = y; (2) ( x, y X) d(x, y) = d(y, x) (the axiom of symmetry. If, in addition, d satisfies the following axiom of triangle (3) ( x, y, z X) d(x, z) d(x, y) + d(y, z), then d is called a metric on X. A function d that satisfies axioms () and (3) is called a -metric. If d is a metric (symmetric, -metric) on a set X then the pair (X, d) is called a metric (resp. symmetric, -metric) space. Examples 2. () X = R; d(x, y) = x y is the standard metric on R; n (2) X = R n ; d(x, y) = (x(k) y(k)) 2 is the Euclidean metric on R n ; (3) X = R n ; d(x, y) = n x(k) y(k) is the NY-metric on R n ; (4) X = R n ; d(x, y) = max k n x(k) y(k) is the maximum metric on R n ; (5) Consider the set X from Example 22 in the notes Countability conditions and convergence. For x, y X, put d(x, y) = d(y, x) = m if one of x, y is b m and the other is c; n if one of x, y is a m,n and the other is b m ; in all remaining cases. Then d is a symmetric on X which does not satisfy axiom 3 and thus is not a metric; (6) X is any non empty set; { 0 if x = y; d(x, y) = if x y is a metric on X. Definition 3. Let X be a set, x X, d a (sym)metric on X and ε > 0. The ε-ball around x is O ε (x) = {y X : d(x, y) < ε}. Exercise 4. Sketch ε-balls for Examples 2; in cases 2, 3, 4, take n = 2. Definition 5. A topology T on the set X is said to be generated by the metric d on X if the family {O ε (x) : x X, ε > 0} is a base for T. If a topology T on a set X can be generated by some metric on X then we say that the space (X, T ) is metrizable. A topology T on the set X is said to be generated by the symmetric d on X if the family if the following two conditions are equivalent for U X: Here and in the next two examples, n N, x = x(),..., x(n), y = y(),..., y(n).
2 2 U T ; for every x U there is ε > 0 such that O ε (x) U. If a topology T on a set X can be generated by some symmetric on X then we say that the space (X, T ) is symmetrizable. 2 Examples 6. The metric d from Example 2(6) generates the discrete topology on X. The metric d from Example 2() generates the standard topology on R. The metrics d from Examples 2(2,3,4) all generate the standard topology on R n. The semymetric d from Example 2(5) generates the topology on X that we discussed in Example 22 in the notes Countability conditions and convergence, and then mentioned again when discussing quotient spaces and quotient mappings. Recall that this topology is not first-countable. 2. Properties of metrizable spaces; more on countability conditions Proposition 7. Every metizable space is Hausdorff. 3 Proposition 8. Every metizable space is first countable. Exercise 9. Give an example of a metrizable space which is not second countable. Definition 0. Let (X, T ) be a topological space. A subset D X is called dense in X if D = X. If X has a dense countable subset then X is called separable. Definition. Let X be a set. A family U of subsets of X is called a cover of X 4 if U = X. A space (X, T ) is called Lindelöf if for every cover U of X consisting of open sets 5 there exists a countable subfamily of U that still covers X. Theorem 2. Every second countable space is both separable and Lindelöf. Examples 3. () The Sorgenfrey line is both separable and Lindelöf but (as we already know) not second countable. (2) The one-point Lindelöfication of a discrete space. Let D be an uncountable set, and p D. Put X = D {p}. Topologize X declaring the points of D isolated while a basic neighborhood of p takes the form O C = {p} (D\C) where C is an arbitrary countable subset of D. Then X is Lindelöf but non separable and thus non second countable. (3) (R, T fin ) is separable but non Lindelöf and thus non second countable. Theorem 4. For a metrizable space X, the following conditions are equivalent: () X is second countable; (2) X is separable; (3) X is Lindelöf. 6 2 The reason for the difference in the definitions is that, in the case of a metric d, the balls O ε(x) have to be open in the topology generated by d while in the case of a symmetric d they do not have to. 3 In fact, much better than Hausdorff, we will see this later 4 Or we say that U covers X 5 briefly: for every open cover 6 The proof will be discussed in class.
3 3 Proposition 5. Every subspace of a metrizable space is metrizable. Proposition 6. Every finite or countable 7 product of metrizable spaces is metrizable. A product of uncountably many factors each of which consists of more than one point is (not first countable therefore) non metrizable. 3. Properties (and more examples) of symmetrizable spaces Proposition 7. Every symmetrizable space is T. Proposition 8. Every symmetrizable space is sequential. Examples 9. () Niemytzky plane (see Hw 3, Part, Problem ) is symmetrizable. (2) Let s return to Example 2, (5). This space is symmetrizable, hence sequential, but, as we already know, it is not Fréchet. So a symmetrizable space 4. Just a little about -metrizable spaces The Sorgenfrey line is -metrizable 8 but not symmetrizable. 9 A real life example of a -metric space which is not symmetric: in a city, measure the distance between points by the time needed to travel; consider a city with some one-way routes. Another example: traveling in the mountains. A real life example of a symmetric space which is not -metric: measure the distance between cities by the time needed to travel by air. Assume that if there is a flight from A to B, then there is one from B to A that takes the same time. Now suppose there is no direct flight from A to C, but there is one from A to B, and one from B to C, and at B you have to wait One more generalization of metric spaces; Ψ-spaces Definition 20. A function d : X 2 R that satisfies axiom from Definition is called a o-metric on X. Then the pair (X, d) is called an o-metric space. ε-balls are defined like in Definition 3. If the topology T on X is generated by the o-metric d in the way described in Definition 5 for symmetrics, then the pair (X, T ) is called an o-metrizable (or weakly first-countable ) space. Example 2. The Alexandroff-Urysohn Ψ-space. For each r P, fix a subset S r of Q which can be enumerated as a sequence converging to r. Consider the topology T Ψ on R such that the points of Q are isolated in T Ψ while a basic neighborhood of a point r P takes the form {r} (S r \ F ) where F is an arbitrary finite subset of S r. Let us call the pair (R, T Ψ ) an AU-Ψ-space. 7 Countable products will be discussed later 8 Very easy to see 9 The proof that I know uses the Baire property (discussed in Chapter 8 of Munkres book). 0 This section is optional Guess why
4 4 Let E denote the standard topology on R. Then T Ψ E, so the identity mapping i : R R is a condensation of an AU-Ψ-space onto the real line with the standard topology. Note that Q is an open discrete subspace of (R, T Ψ ), and P is a closed discrete subspace of (R, T Ψ ). (R, T Ψ ) is first-countable, hence o-mtrizable. With an accurate choice of the sequences S r, (R, T Ψ ) can be made symmetrizable. Since (R, T Ψ ) contains an uncountable discrete subspace, (R, T Ψ ) is not second countable. Moreover, since (R, T Ψ ) contains an uncountable closed discrete subspace, (R, T Ψ ) is not even Lindelöf. 2 Since (R, T Ψ ) is separable but not second countable, (R, T Ψ ) is not metrizable. Example 22. The general definition of a Ψ-space. Let N be a countably infinite set. A family R of countably infinite subsets of N is called almost disjoint if for every two distinct r, r 2 R, the intersection r r 2 is finite. 3 So let R be an almost disjoint family of infinite subsets of N. The set Ψ(R) = N R is topologized by declaring the points of N isolated while a basic neighborhood of r R takes the form {r} (r \ F ) where F is an arbitrary finite subset of r. 4 A general Ψ space has properties similar to those of the AU-Ψ-space: N is open and discrete in Ψ(R) while R is closed and discrete. Ψ(R) is always first countable. Ψ(R) is second countable iff R is countable (and in this case Ψ(R) is homeomorphic to the discrete union of countably many copies of the space convergent sequence ). Definition 23. A function f : X R is bounded if there is a constant M such that f(x) < M for every x X. A topological space is pseudocompact if every continuous function f : X R is bounded. Definition 24. Let N be a countably infinite set. An almost disjoint family R consisting of infinite subsets of N is called maximal almost disjoint 5 if R is not a proper subset of any larger almost disjoint family consisting of infinite subsets of N. One can prove using the axiom of Choice that every almost disjoint family can be extended to a maximal almost disjoint family. Proposition 25. Ψ(R) is pseudocompact iff R is a mad family. Ψ(R) with a mad family R is not symmetrizable except when R is finite. 6. Bounded metrics It is natural to call a metric d on a set X bounded if there is a constant M such that d(x, y) < M for every x, y X. Notation 26. Let d be a metric on a set X. For every x, y X, put d(x, y) = min{d(x, y), }. Then d is called the standard bounded metric corresponding to d. 2 It is a good exercise to show that a closed discrete subspace of a Lindelöf space can be at most countable. 3 Thus the family {Sr : r P} in Example 2 is almost disjoint because sequences converging to different points may have only finitely many common points. This also shows that an almost disjoint family of subsets of a countable set may have cardinality as big as c (while a disjoint family of subsets of a countable space is at most contable). 4 So r R is, at the same time, a point of Ψ(R), and a subset of Ψ(R). 5 Abbreviated as mad
5 5 Proposition 27. () d is a metric. (2) The topology on X generated by d is the same as the topology generated by d. So every metrizable topology can be generated by a bounded metric. Here is another way: Exercise 28. Let d be a metric on a set X. For every x, y X, put d(x, y) = Arctan d(x, y). Show that d is a metric on X, and that d generates the same topology on X as d. 7. Metrics on finite products Examples 29. Let n N and for each k {,..., n} let (X k, T k ) be a topological space and d k a metric on X k that generates the topology T k. For x = x(),..., x(n), y = y(),..., y(n) P = X i put d NY (x, y) = i n d Euclidean (x, y) = n (x(k) y(k)) 2 ; n x(k) y(k) ; d max (x, y) = max x(k) y(k). k n Then each of d Euclidean, d NY, d max (is a metric and) generates the Tychonoff product topology on P. 8. Metrics on infinite products Definition 30. Let for each a A, (X a, T a ) be a topological space such that the topology T a is generated by the metric d a. For x, y P = X a, put d(x, y) = sup d a (x(a), y(a)). a A Then d is called the uniform metric on P and the topology generated by d is called the uniform topology. The uniform topology on P is stronger than the Tychonoff product topology but weaker than the box product topology. Proposition 3. Let for each n N, (X n, T n ) be a topological space such that the topology T n is generated by the metric d n. For x, y P = X n, put D(x, y) = sup n N n d n(x(n), y(n)). Then D generates the Tychonoff product topology on P. 9. Mappings of metric spaces Proposition 32. Let (X, d X ) and (Y, d Y ) be two metric spaces. A mapping f : X Y is continuous (with respect to the topologies generated on X and Y by d X and d Y ) iff for every x 0 X and every ε > 0 there exists δ > 0 such that for every x X, if d X (x, x 0 ) < δ then d Y (f(x), f(x 0 )) < ε. a A n N
6 6 Definition 33. Let (X, d X ) and (Y, d Y ) be two metric spaces. A mapping f : X Y is called uniformly continuous (with respect to the metrics d X and d Y ) if for every ε > 0 there exists δ > 0 such that for every x 0, x X, if d X (x, x 0 ) < δ then d Y (f(x), f(x 0 )) < ε. Example 34. The mapping f : R R is continuous (with respect to the standard topology on R) but not uniformly continuous (with respect to the standard metric on R. Definition 35. Let (X, T ) be a topological space. A sequence of functions {f n : n N} (where f n : X R) converges pointwise to a function f : X R if for every x X, lim f n(x) = f(x) (that is for every x X for every ε > 0 there is n N(ε, x) such that for all n > N(ε, x), f n (x) f(x) < ε). In this case we say that f is the pointwise limit of the sequence {f n : n N}. A sequence of functions {f n : n N} (where f n : X R) converges uniformly to a function f : X R if for every ε > 0 there is N(ε) such that for all n > N(ε), for every x X, f n (x) f(x) < ε).in this case we say that f is the uniform limit of the sequence {f n : n N}. Definition 35 corresponds to the convergence in the sense of pointwise or uniform topology on R X. 6 Example 36. The pointwise limit of a sequence of continuous functions is not necessarily continuous. Indeed, put 0 if x 0; f n (x) = nx if 0 x n ; if x n for n N and f(x) = { 0 if x 0; if x > 0. Proposition 37. The uniform limit of a sequence of continuous functions is a continuous function. 6 Note that typically R X is not sequential, so convergent are not enough to describe its topology.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More informationA Tour of General Topology Chris Rogers June 29, 2010
A Tour of General Topology Chris Rogers June 29, 2010 1. The laundry list 1.1. Metric and topological spaces, open and closed sets. (1) metric space: open balls N ɛ (x), various metrics e.g. discrete metric,
More informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
More informationElementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.
Elementary Topology Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way. Definition. properties: (i) T and X T, A topology on
More informationM3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.
M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. Chapter 1: Metric spaces and convergence. (1.1) Recall the standard distance function
More informationSets. De Morgan s laws. Mappings. Definition. Definition
Sets Let X and Y be two sets. Then the set A set is a collection of elements. Two sets are equal if they contain exactly the same elements. A is a subset of B (A B) if all the elements of A also belong
More informationTopology problem set Integration workshop 2010
Topology problem set Integration workshop 2010 July 28, 2010 1 Topological spaces and Continuous functions 1.1 If T 1 and T 2 are two topologies on X, show that (X, T 1 T 2 ) is also a topological space.
More information2 A topological interlude
2 A topological interlude 2.1 Topological spaces Recall that a topological space is a set X with a topology: a collection T of subsets of X, known as open sets, such that and X are open, and finite intersections
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More information2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to
2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to be connected if it is not disconnected. A subset of
More informationTOPOLOGY CHECKLIST - SPRING 2010
TOPOLOGY CHECKLIST - SPRING 2010 The list below serves as an indication of what we have covered in our course on topology. (It was written in a hurry, so there is a high risk of some mistake being made
More informationPoint-Set Topology II
Point-Set Topology II Charles Staats September 14, 2010 1 More on Quotients Universal Property of Quotients. Let X be a topological space with equivalence relation. Suppose that f : X Y is continuous and
More informationHomework Set #2 Math 440 Topology Topology by J. Munkres
Homework Set #2 Math 440 Topology Topology by J. Munkres Clayton J. Lungstrum October 26, 2012 Exercise 1. Prove that a topological space X is Hausdorff if and only if the diagonal = {(x, x) : x X} is
More informationA Little Point Set Topology
A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More information2. Metric and Topological Spaces
2 Metric and Topological Spaces Topology begins where sets are implemented with some cohesive properties enabling one to define continuity Solomon Lefschetz In order to forge a language of continuity,
More informationTopology - I. Michael Shulman WOMP 2004
Topology - I Michael Shulman WOMP 2004 1 Topological Spaces There are many different ways to define a topological space; the most common one is as follows: Definition 1.1 A topological space (often just
More information1.1 Topological spaces. Open and closed sets. Bases. Closure and interior of a set
December 14, 2012 R. Engelking: General Topology I started to make these notes from [E1] and only later the newer edition [E2] got into my hands. I don t think that there were too much changes in numbering
More informationTopology 550A Homework 3, Week 3 (Corrections: February 22, 2012)
Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Michael Tagare De Guzman January 31, 2012 4A. The Sorgenfrey Line The following material concerns the Sorgenfrey line, E, introduced in
More informationMATH 54 - LECTURE 10
MATH 54 - LECTURE 10 DAN CRYTSER The Universal Mapping Property First we note that each of the projection mappings π i : j X j X i is continuous when i X i is given the product topology (also if the product
More informationsimply ordered sets. We ll state only the result here, since the proof is given in Munkres.
p. 1 Math 490 Notes 20 More About Compactness Recall that in Munkres it is proved that a simply (totally) ordered set X with the order topology is connected iff it satisfies: (1) Every subset bounded above
More informationTopology Homework 3. Section Section 3.3. Samuel Otten
Topology Homework 3 Section 3.1 - Section 3.3 Samuel Otten 3.1 (1) Proposition. The intersection of finitely many open sets is open and the union of finitely many closed sets is closed. Proof. Note that
More informationChapter 2 Topological Spaces
Chapter 2 Topological Spaces A topological space.x;/is a set X with a topology, i.e., a collection of subsets of X with the following properties: 1. X 2, ;2; 2. If A; B 2, thena \ B 2 ; 3. For any collection
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY MARTINA ROVELLI These notes are an outline of the topics covered in class, and are not substitutive of the lectures, where (most) proofs are provided and examples are discussed
More informationChapter 1. Preliminaries
Chapter 1 Preliminaries 1.1 Topological spaces 1.1.1 The notion of topological space The topology on a set X is usually defined by specifying its open subsets of X. However, in dealing with topological
More informationSection 26. Compact Sets
26. Compact Sets 1 Section 26. Compact Sets Note. You encounter compact sets of real numbers in senior level analysis shortly after studying open and closed sets. Recall that, in the real setting, a continuous
More informationThe Set-Open topology
Volume 37, 2011 Pages 205 217 http://topology.auburn.edu/tp/ The Set-Open topology by A. V. Osipov Electronically published on August 26, 2010 Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail:
More informationIntroduction to Algebraic and Geometric Topology Week 5
Introduction to Algebraic and Geometric Topology Week 5 Domingo Toledo University of Utah Fall 2017 Topology of Metric Spaces I (X, d) metric space. I Recall the definition of Open sets: Definition U
More informationReal Analysis, 2nd Edition, G.B.Folland
Real Analysis, 2nd Edition, G.B.Folland Chapter 4 Point Set Topology Yung-Hsiang Huang 4.1 Topological Spaces 1. If card(x) 2, there is a topology on X that is T 0 but not T 1. 2. If X is an infinite set,
More informationManifolds (Relates to text Sec. 36)
22M:132 Fall 07 J. Simon Manifolds (Relates to text Sec. 36) Introduction. Manifolds are one of the most important classes of topological spaces (the other is function spaces). Much of your work in subsequent
More informationNOTES ON GENERAL TOPOLOGY
NOTES ON GENERAL TOPOLOGY PETE L. CLARK 1. The notion of a topological space Part of the rigorization of analysis in the 19th century was the realization that notions like convergence of sequences and
More information4 Basis, Subbasis, Subspace
4 Basis, Subbasis, Subspace Our main goal in this chapter is to develop some tools that make it easier to construct examples of topological spaces. By Definition 3.12 in order to define a topology on a
More informationIn class 75min: 2:55-4:10 Thu 9/30.
MATH 4530 Topology. In class 75min: 2:55-4:10 Thu 9/30. Prelim I Solutions Problem 1: Consider the following topological spaces: (1) Z as a subspace of R with the finite complement topology (2) [0, π]
More informationTopology notes. Basic Definitions and Properties.
Topology notes. Basic Definitions and Properties. Intuitively, a topological space consists of a set of points and a collection of special sets called open sets that provide information on how these points
More informationH = {(1,0,0,...),(0,1,0,0,...),(0,0,1,0,0,...),...}.
II.4. Compactness 1 II.4. Compactness Note. Conway states on page 20 that the concept of compactness is an extension of benefits of finiteness to infinite sets. I often state this idea as: Compact sets
More informationNotes on Topology. Andrew Forrester January 28, Notation 1. 2 The Big Picture 1
Notes on Topology Andrew Forrester January 28, 2009 Contents 1 Notation 1 2 The Big Picture 1 3 Fundamental Concepts 2 4 Topological Spaces and Topologies 2 4.1 Topological Spaces.........................................
More informationDon t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?
Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case?
More informationOn Soft Topological Linear Spaces
Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear
More informationNotes on point set topology, Fall 2010
Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological
More informationMA651 Topology. Lecture 4. Topological spaces 2
MA651 Topology. Lecture 4. Topological spaces 2 This text is based on the following books: Linear Algebra and Analysis by Marc Zamansky Topology by James Dugundgji Fundamental concepts of topology by Peter
More informationBounded subsets of topological vector spaces
Chapter 2 Bounded subsets of topological vector spaces In this chapter we will study the notion of bounded set in any t.v.s. and analyzing some properties which will be useful in the following and especially
More informationFinal Test in MAT 410: Introduction to Topology Answers to the Test Questions
Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Stefan Kohl Question 1: Give the definition of a topological space. (3 credits) A topological space (X, τ) is a pair consisting
More informationI-CONTINUITY IN TOPOLOGICAL SPACES. Martin Sleziak
I-CONTINUITY IN TOPOLOGICAL SPACES Martin Sleziak Abstract. In this paper we generalize the notion of I-continuity, which was defined in [1] for real functions, to maps on topological spaces. We study
More informationChapter 2 Topological Spaces and Continuity
Chapter 2 Topological Spaces and Continuity Starting from metric spaces as they are familiar from elementary calculus, one observes that many properties of metric spaces like the notions of continuity
More information9.5 Equivalence Relations
9.5 Equivalence Relations You know from your early study of fractions that each fraction has many equivalent forms. For example, 2, 2 4, 3 6, 2, 3 6, 5 30,... are all different ways to represent the same
More informationSection 17. Closed Sets and Limit Points
17. Closed Sets and Limit Points 1 Section 17. Closed Sets and Limit Points Note. In this section, we finally define a closed set. We also introduce several traditional topological concepts, such as limit
More informationChapter 11. Topological Spaces: General Properties
11.1. Open Sets, Closed Sets, Bases, and Subbases 1 Chapter 11. Topological Spaces: General Properties Section 11.1. Open Sets, Closed Sets, Bases, and Subbases Note. In this section, we define a topological
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationMath 734 Aug 22, Differential Geometry Fall 2002, USC
Math 734 Aug 22, 2002 1 Differential Geometry Fall 2002, USC Lecture Notes 1 1 Topological Manifolds The basic objects of study in this class are manifolds. Roughly speaking, these are objects which locally
More informationJohns Hopkins Math Tournament Proof Round: Point Set Topology
Johns Hopkins Math Tournament 2019 Proof Round: Point Set Topology February 9, 2019 Problem Points Score 1 3 2 6 3 6 4 6 5 10 6 6 7 8 8 6 9 8 10 8 11 9 12 10 13 14 Total 100 Instructions The exam is worth
More informationLecture 17: Continuous Functions
Lecture 17: Continuous Functions 1 Continuous Functions Let (X, T X ) and (Y, T Y ) be topological spaces. Definition 1.1 (Continuous Function). A function f : X Y is said to be continuous if the inverse
More informationSOME REMARKS CONCERNING D METRIC SPACES
SOME REMARKS CONCERNING D METRIC SPACES Zead Mustafa and Brailey Sims November 2003 Abstract In this note we make some remarks concerning D metric spaces, and present some examples which show that many
More informationNotes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia
Notes on metric spaces and topology Math 309: Topics in geometry Dale Rolfsen University of British Columbia Let X be a set; we ll generally refer to its elements as points. A distance function, or metric
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 informationLecture IV - Further preliminaries from general topology:
Lecture IV - Further preliminaries from general topology: We now begin with some preliminaries from general topology that is usually not covered or else is often perfunctorily treated in elementary courses
More informationExcerpts from. Introduction to Modern Topology and Geometry. Anatole Katok Alexey Sossinsky
Excerpts from Introduction to Modern Topology and Geometry Anatole Katok Alexey Sossinsky Contents Chapter 1. BASIC TOPOLOGY 3 1.1. Topological spaces 3 1.2. Continuous maps and homeomorphisms 6 1.3.
More informationCountability Properties of the Pseudocompact-Open Topology on C(X): A Comparative Study
Rend. Istit. Mat. Univ. Trieste Vol. XXXIX, 421 444 (2007) Countability Properties of the Pseudocompact-Open Topology on C(X): A Comparative Study S. Kundu and Pratibha Garg ( ) Dedicated to Professor
More informationHowever, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).
98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating
More informationGENERAL TOPOLOGY. Tammo tom Dieck
GENERAL TOPOLOGY Tammo tom Dieck Mathematisches Institut Georg-August-Universität Göttingen Preliminary and Incomplete. Version of November 13, 2011 Contents 1 Topological Spaces 3 1.1 Basic Notions............................
More informationManifolds. Chapter X. 44. Locally Euclidean Spaces
Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if
More informationA metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions
1 Distance Reading [SB], Ch. 29.4, p. 811-816 A metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions (a) Positive definiteness d(x, y) 0, d(x, y) =
More informationLecture 15: The subspace topology, Closed sets
Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology
More informationTopology I Test 1 Solutions October 13, 2008
Topology I Test 1 Solutions October 13, 2008 1. Do FIVE of the following: (a) Give a careful definition of connected. A topological space X is connected if for any two sets A and B such that A B = X, we
More informationQED Q: Why is it called the triangle inequality? A: Analogue with euclidean distance in the plane: picture Defn: Minimum Distance of a code C:
Lecture 3: Lecture notes posted online each week. Recall Defn Hamming distance: for words x = x 1... x n, y = y 1... y n of the same length over the same alphabet, d(x, y) = {1 i n : x i y i } i.e., d(x,
More informationTopological space - Wikipedia, the free encyclopedia
Page 1 of 6 Topological space From Wikipedia, the free encyclopedia Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity.
More informationSome Questions of Arhangel skii on Rotoids
Some Questions of Arhangel skii on Rotoids by Harold Bennett, Mathematics Department, Texas Tech University, Lubbock, TX 79409, Dennis Burke, Mathematics Department, Miami University, Oxford, OH 45056,
More informationISSN X (print) COMPACTNESS OF S(n)-CLOSED SPACES
Matematiqki Bilten ISSN 0351-336X (print) 41(LXVII) No. 2 ISSN 1857-9914 (online) 2017(30-38) UDC: 515.122.2 Skopje, Makedonija COMPACTNESS OF S(n)-CLOSED SPACES IVAN LONČAR Abstract. The aim of this paper
More informationFinal Exam, F11PE Solutions, Topology, Autumn 2011
Final Exam, F11PE Solutions, Topology, Autumn 2011 Question 1 (i) Given a metric space (X, d), define what it means for a set to be open in the associated metric topology. Solution: A set U X is open if,
More informationLecture : Topological Space
Example of Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Example of 1 2 3 Example of 4 5 6 Example of I Topological spaces and continuous
More informationCOMPLETE METRIC ABSOLUTE NEIGHBORHOOD RETRACTS
COMPLETE METRIC ABSOLUTE NEIGHBORHOOD RETRACTS WIES LAW KUBIŚ Abstract. We characterize complete metric absolute (neighborhood) retracts in terms of existence of certain maps of CW-polytopes. Using our
More informationContinuous functions and homeomorphisms
Continuous functions and homeomorphisms 1 Motivation Up to now we have defined just a few topological properties, like the first three T -axioms and the countability properties (separable, ccc, first and
More informationON WEAKLY COMPACT SUBSETS OF BANACH SPACES
ON WEAKLY COMPACT SUBSETS OF BANACH SPACES H. H. CORSON1 AND J. LINDENSTRAUSS2 Introduction. The two sections of this note are independent, but they are related by the fact that both use the results of
More information2. Functions, sets, countability and uncountability. Let A, B be sets (often, in this module, subsets of R).
2. Functions, sets, countability and uncountability I. Functions Let A, B be sets (often, in this module, subsets of R). A function f : A B is some rule that assigns to each element of A a unique element
More informationPOINT-SET TOPOLOGY. Alfonso Gracia-Saz. Canada/USA Mathcamp 2014
POINT-SET TOPOLOGY Canada/USA Mathcamp 2014 About these notes Warning! The notes you have in your hands are not a textbook, but an outline for a Moore method course on point-set topology. It contains definitions
More informationSuppose we have a function p : X Y from a topological space X onto a set Y. we want to give a topology on Y so that p becomes a continuous map.
V.3 Quotient Space Suppose we have a function p : X Y from a topological space X onto a set Y. we want to give a topology on Y so that p becomes a continuous map. Remark If we assign the indiscrete topology
More informationLectures on Order and Topology
Lectures on Order and Topology Antonino Salibra 17 November 2014 1 Topology: main definitions and notation Definition 1.1 A topological space X is a pair X = ( X, OX) where X is a nonempty set and OX is
More informationInfinity and Uncountability. Countable Countably infinite. Enumeration
Infinity and Uncountability. Countable Countably infinite. Enumeration How big is the set of reals or the set of integers? Infinite! Is one bigger or smaller? Same size? Same number? Make a function f
More informationTopology. Min Yan. May 17, 2002
Topology Min Yan May 17, 2002 Contents 1 Set and Map 3 11 Set and Element 3 12 Set Operations 4 13 Maps 7 14 Equivalence Relation, Partition, and Quotient 12 2 Metric Space 18 21 Metric 18 22 Ball 22 23
More informationTopology and Topological Spaces
Topology and Topological Spaces Mathematical spaces such as vector spaces, normed vector spaces (Banach spaces), and metric spaces are generalizations of ideas that are familiar in R or in R n. For example,
More information= [ U 1 \ U 2 = B \ [ B \ B.
5. Mon, Sept. 8 At the end of class on Friday, we introduced the notion of a topology, and I asked you to think about how many possible topologies there are on a 3-element set. The answer is... 29. The
More informationTopological properties of convex sets
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let
More informationSection 13. Basis for a Topology
13. Basis for a Topology 1 Section 13. Basis for a Topology Note. In this section, we consider a basis for a topology on a set which is, in a sense, analogous to the basis for a vector space. Whereas a
More informationMATH 215B MIDTERM SOLUTIONS
MATH 215B MIDTERM SOLUTIONS 1. (a) (6 marks) Show that a finitely generated group has only a finite number of subgroups of a given finite index. (Hint: Do it for a free group first.) (b) (6 marks) Show
More information1 Point Set Topology. 1.1 Topological Spaces. CS 468: Computational Topology Point Set Topology Fall 2002
Point set topology is something that every analyst should know something about, but it s easy to get carried away and do too much it s like candy! Ron Getoor (UCSD), 1997 (quoted by Jason Lee) 1 Point
More informationGENERALIZED METRIC SPACES AND TOPOLOGICAL STRUCTURE I
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLVI, s.i a, Matematică, 2000, f.1. GENERALIZED METRIC SPACES AND TOPOLOGICAL STRUCTURE I BY B.C. DHAGE Abstract. In this paper some results in
More informationGenerell Topologi. Richard Williamson. May 27, 2013
Generell Topologi Richard Williamson May 27, 2013 1 1 Tuesday 15th January 1.1 Topological spaces definition, terminology, finite examples Definition 1.1. A topological space is a pair (X, O) of a set
More informationReview of Sets. Review. Philippe B. Laval. Current Semester. Kennesaw State University. Philippe B. Laval (KSU) Sets Current Semester 1 / 16
Review of Sets Review Philippe B. Laval Kennesaw State University Current Semester Philippe B. Laval (KSU) Sets Current Semester 1 / 16 Outline 1 Introduction 2 Definitions, Notations and Examples 3 Special
More informationSTORING IMAGES WITH FRACTAL IMAGE COMPRESSION
STORING IMAGES WITH FRACTAL IMAGE COMPRESSION TYLER MCMILLEN 1. Introduction and Motivation One of the obvious limitations to the storage of images in a form a computer can read is storage space, memory.
More informationCSC Discrete Math I, Spring Sets
CSC 125 - Discrete Math I, Spring 2017 Sets Sets A set is well-defined, unordered collection of objects The objects in a set are called the elements, or members, of the set A set is said to contain its
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationSemitopological groups versus topological groups
Semitopological groups versus topological groups The University of Auckland August 24, 2015 Table of Contents 1 2 3 4 Semitopological groups A triple (G,, τ) is called a semitopological group if: (i) (G,
More informationMath 5801 General Topology and Knot Theory
Lecture 23-10/17/2012 Math 5801 Ohio State University October 17, 2012 Course Info Reading for Friday, October 19 Chapter 3.26, pgs. 163-170 HW 8 for Monday, October 22 Chapter 2.24: 3, 5a-d, 8a-d, 12a-f
More informationMath 395: Topology. Bret Benesh (College of Saint Benedict/Saint John s University)
Math 395: Topology Bret Benesh (College of Saint Benedict/Saint John s University) October 30, 2012 ii Contents Acknowledgments v 1 Topological Spaces 1 2 Closed sets and Hausdorff spaces 7 iii iv CONTENTS
More informationTHE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES
THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES JOSEPH PREVITE, MICHELLE PREVITE, AND MARY VANDERSCHOOT Abstract. In this paper, we give conditions to distinguish whether a vertex replacement rule given
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More information1.7 The Heine-Borel Covering Theorem; open sets, compact sets
1.7 The Heine-Borel Covering Theorem; open sets, compact sets This section gives another application of the interval halving method, this time to a particularly famous theorem of analysis, the Heine Borel
More informationLecture-12: Closed Sets
and Its Examples Properties of Lecture-12: Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Introduction and Its Examples Properties of 1 Introduction
More informationBEHIND THE INTUITION OF TILINGS
BEHIND THE INTUITION OF TILINGS EUGENIA FUCHS Abstract. It may seem visually intuitive that certain sets of tiles can be used to cover the entire plane without gaps or overlaps. However, it is often much
More informationCAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE
CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE KIM RUANE Abstract. We prove that the CAT(0) boundary of a truncated hyperbolic space is homeomorphic to a sphere with disks removed. In dimension three,
More information