Proposition S1.32. If { Y α } is a family of topological spaces, each of which contains more than one point, and Π Y α. is metrizable, then each
|
|
- Osborn Lamb
- 7 years ago
- Views:
Transcription
1 Proposition S1.32. If { Y α } is a family of topological spaces, each of which contains more than one point, and Π Y α. is metrizable, then each factor Y α is metrizable. (Reference: Dugundji)
2 Definition S1.28. The diameter of a metric space is defined as: diam(x, ρ) = sup x,y (ρ(x,y)). If we wish, we can rescale a metric as in Exercise S1.25 so that the diameter of X is finite, indeed as small as we wish. Exercise S1.29. Show that if {ρ α } is a family of pseudometrics on X, such that diam(x, ρ) M < for all α, then ρ sup (x,y) := sup α (ρ α (x,y)) is a pseudometric on X. Exercise S1.30. Show that if {ρ n } is a finite or countable family of pseudometrics on X, then ρ (x,y) := n (ρ n (x,y)) is a pseudometric on X, provided that it converges for all x,y X. If {ρ α } is a family of pseudometrics on spaces {Y a }, then each one of them also works as a pseudometric on the Cartesian product Π Y α. To be precise, a pseudometric on Π Y α can be defined by ρ α,# (x,y) := ρ α ( π α (x), π α (y)). It is straightforward to see that this satisfies all the conditions of a metric. Proposition S1.31. A Cartesian product of a countably infinite family of metric spaces is metrizable. A metric on it is given by ρ sup (x,y) where the metrics {ρ n } on the factors have been scaled so the diameters are all bounded by a finite number M. This proposition does not guarantee that the metric topology is the same as the product topology. A necessary and sufficient condition for this is that lim diam(x n, ρ n ) = 0.
3 Theorem S1.24 (Urysohn). Assuming that the topology of X has a countable base, X is metrizable iff T3. (Reference: Dugundji.) Suppose we do not want points in some space X to be too far apart, which they appear to be according to some metric ρ. E.g., we don't like the fact that points in R 2 can be arbitrarily far apart. We can quantify this situation by defining the diameter of a space as sup(ρ(x,y): x,y X), and worrying that the diameter of R 2 is infinite. Well, we can fix that in two plausible ways. First, we could use the tangent function to create a homeomorphism between R and I and using the pull-back trick to make R 2 look like I 2. This is somewhat particular to the example of products of R, however. A more universal method is to the original metric with one defined by ρ fin (x,y) := ρ(x,y)/(1 + ρ(x,y)) Exercise S1.25: Show that if ρ is a (pseudo)metric on X, then so is D ρ fin for any number D>0, and the diameter of X in the latter (pseudo)metric is at most D. Definition S1.26. Two (pseudo)metrics are topologically equivalent iff their metric topologies are the same. Exercise S1.27: Show that ρ and D ρ fin are topologically equivalent. There are two other useful ways to generate new metrics, which are not generally equivalent to any of the metrics they are built from. Indeed, it frequently happens that pseudometrics can be used to produce a true metric by thesee tricks:
4 Note: We do not always wish to give a Cartesian product the product topology. The closed unit ball in Hilbert space, given in Example S1.11 is compact in the weak topology, because it is a closed subset of the Cartesian product of an infinite number of sets of the form x n 1, but as we have seen, it is not compact in the more usual norm topology. It is a difficulty in analysis that the more usual topology on the this example does not allow it to be compact. Example S1.22. To see the difference in a striking way, recall the sequence of points e k := {δ k,n } in Example S1.11. This sequence converges to zero in the product topology (usually called the weak Hilbert-space topology), but it does not converge to 0 in norm, since e k = 1 for all k. More about metrics and pseudometrics. It is often useful to cook up new metrics, or pseudo metrics, from old ones with simple tricks. One way to do this is to use a homeomorphism between two spaces, h: X Y, where one of the spaces has a convenient (pseudo)metric ρ, say Y carries the (pseudo)metric ρ. Then, as is easy to verify, the pull-back (pseudo)metric ρ (x 1,x 2 ) := ρ(h(x 1 ),h(x 2 )) is a (pseudo)metric defined on X. Structures preserved by homeomorphisms are called topological invariants. Definition S1.23. A topological space X is metrizable iff it is possible to define a metric on X such that its topology is the metric topology. According to the preceding paragraph, metrizability is a topological invariant.
5 then it is also Hausdorff with respect to any finer topology T 1 T. A similar statement applies to the other separation axioms. The product topology is the roughest topology on Π Y α such that convergence of a sequence implies convergence of the projection of the sequence onto any factor Y α. Hence convergence in any other topology with this property implies convergence in the weak topology. Theorem S1.21 (Tychonov). A Cartesian product of topological spaces, given the product topology, is compact iff each factor is compact. Proof that each factor is compact if the product is compact. The projection map π α is by construction continuous from the product Π to the factor X α, and we know that continuous images of compact spaces are compact. Proof of the converse, under the added assumption that Π Y α is a countable product of countably compact spaces. Let {x (k) } be a sequence in Π Y n. That is, for each k = 1, 2,..., x (k) is of the form x (k) = {x n (k) } If Y 1 is compact, there is a subsequence k=k1 beginning with k1=1, such that x 1 (k1) converges as k1. We may assume that If Y 2 is compact, there is a subsubsequence k1=k2, beginning with k2=1 and then k2= the second value of k1, such that both x 1 (k2) and x 2 (k2) converge. Continuing, we produce sub...subsequences such that x 1 (kn)... x n (kn) converge for all n, where kn = {1, the second value of k1, the third value of k2,..., the m+1st value of km...} for all m < n. In this way we construct a subsequence {x (kj) }, j= 1,2,..., which converges in the product topology.
6 an angular coordinate usually called θ or φ, identifying 0 with 2π in the usual way. R is the usual Euclidean line, and I is the open unit interval. I and R are homeomorphic (by the map y = tan(2x/π), so are interchangeable to a topologist. Examples S1.19. R 2 = R R. The usual Cartesian coordinate representation corresponds to this. I I is the unit square. T 2 = T 1 T 1. This is the familiar (2 dimensional) torus. T n is referred to as the n-torus. Since S 1 = T 1, obviously the notation S n for the n-sphere (the 2-sphere being ths usual surface in R 3 ) does not follow the same pattern for Cartesian products. S 1 R is a cylinder. (S 1 I would be a cylinder of finite height, but that would require putting the usual metric on I, and we haven't spoken of metrics in this section yet). We can create the 2-sphere by appending a north and south pole as with the 2-point compactification of the line: S 1 R {N} {S}, or as a one-point compactification of the plane, R 2 {N}, using the stereographic projection to identify the north pole with the point at infinity. Y X := Π X Y is the set of all functions from X to Y, with no conditions of regularity at all. Proposition S1.20. A Cartesian product of Hausdorff spaces given the product topology is Hausdorff. For this proposition, we implicitly assumed that the product is given the product topology. What is we give it some other topology? If a space is Hausdorff with respect to some topology T,
7 Exercise S1.12. In a pseudometric space, total boundedness implies boundedness. Exercise S1.13. In R n, total boundedness and boundedness are equivalent. Lemma S1.14. Every countably compact pseudometric space is totally bounded. Lemma S1.15. A countably compact pseudometric space is compact. Finally, with a proof patterned on that of the Heine-Borel Theorem, we can conclude: Theorem S1.16. A complete pseudometric space is compact iff it is closed and totally bounded. Example S1.17: Hilbert cube. The Hilbert cube is the subset of the unit ball in the preceding example such that x n 1/2 n. (Some books define it with 1/n, but then it is not a subset of the unit ball) Exercise S1.18. Show that the Hilbert cube is compact in the topology given by the norm {x n } 2 by using the compactness of closed bounded sets in R N, which is "isomorphic" (identical in structure) to the set of sequences for which x n =0 when n>n, and using the triangle inequality to take care of possibly nonzero x n for n>n. Supplementum to Cain Chapter 5, on product spaces. Here are some familiar examples of spaces expressed as Cartesian products. Here S 1 = T 1 both denote a circle, for which we can use
8 radii. The most familiar example is R n, as the set of points with rational coordinates is dense. Definition S1.9. A space with a countable dense subset is called separable. Recall that in R n, a set is compact iff it is closed and bounded. This is known as the Heine-Borel Theorem. It needs to be modified for general pseudometric spaces. A key notion is total boundedness, defined in Cain, above Proposition 6.4. In class when we defined total boundedness we introduced the term "εnet". Definition S1.10. An ε-net is a covering of a set by cells (open balls) of fixed radius ε. A set S is totally bounded iff for every ε>0, S has a finite ε-net. Total boundedness is clearly implied by compactness, and it is easier to check. The important fact about complete metric spaces is that they are compact iff they are closed and totally bounded. Boundedness is not equivalent to total boundedness, as shown by the following example. Example S1.11: The unit ball in Hilbert space. Let l 2 denote the space of all sequences {x n }of complex numbers such that Σ x n 2 < }. (Observe that this infinite-dimensional space is a separable metric space.) The closed unit ball { {x n }: Σ x n 2 1} is not compact in the topology given by the norm {x n } 2. For the sequences e k := {δ k,n }, where δ k,n := 0 when k n and := 1 when k=n, are a fixed distance apart: e j -e k = 2 when j k. Since the "points" {e k } cannot be covered by a finite number of balls of radius < 1/ 2, neither can the unit ball.
9 T4. Given any pair of closed set A 1,2 X, there exist disjoint open sets U 1,2 such that A 1,2 U 1,2. A space is normal if it satisfies axiom T4. Theorem S1.5 (Urysohn). A space is normal iff for every pair of closed sets A,B there exists a continuous function f A,B, such that a A f A,B (a) = 0, and b B f A,B (b) = 1. Such a function is called an Urysohn function. The main point of compactness, for an analyst, is that sequences in compact sets have cluster points, and hence convergent subsequences. Corollary S1.6 of Cain's Theorem 4.8. Every infinite subset of a complete compact space has a cluster point. In particular, every sequence in a compact subset K of a topological space X has a subsequence that converges in K. This is a version of Cain's Theorem Euclidean spaces and most of the other spaces we will encounter in this class have some special structures which make analysis easier. One of these properties is the fact that they are countably compact. This allows us to discuss all convergence questions in terms of countable sets, that is, sequences. Definition S1.7. A space or set is countably compact iff every countable open covering has a finite subcovering. Proposition S1.8. If a topological space has a countable base, then compactness and countable compactness are equivalent. For instance, if there is a sequence in a pseudometric space X which is dense in X, then the topology has a countable base, composed of open balls centered at the points of the sequence, with rational
10 Proposition S1.3. If f is continuous and C is connected, then f(c) is connected. Corollary S1.4 (the intermediate value theorem). If f is a continuous function on a connected set C, taking values in R, and f(a) < f(b), then for all z, f(a) < z < f(b), these exists c C such that f(c)= z. Supplementum to Cain Chapters 4 and 6, on compact spaces and sequences. Hausdorff and others investigated the structure of topological spaces by asking how possible it is to separate points and subsets by covering them with open sets. The Axioms of separation. There are four successively stronger axioms of separation that a topological space might satisfy: T1. Given any pair of points x 1,x 2 X, there exist open sets U 1,2 such that x k U k, but x 1 U 2, and x 2 U 1. T2. Given any pair of points x 1,x 2 X, there exist disjoint open sets U 1,2 such that x k U k. A space is Hausdorff if it satisfies axiom T2. T3. Given any pair of point x X, and any closed set A X with x A, there exist disjoint open sets U 1,2 such that x U 1, A U 2. A space is regular if it satisfies axiom T3.
11 Supplementary lecture notes in Mathematics 6021A, February, Supplementum to Cain Chapters 1 and 2. Often we don't specify a topology with a clearly defined base, but as the "smallest" topology containing a given collection of subsets. The set that defines the topology is called a subbase. While a subbase is not as useful as a base, it will often suffice for our purposes. The smallest topology containing a family of subsets is welldefined because the intersection of topologies is always a topology. You can see this directly from the definition of a topology. (Notice, by the way, that it is not automatic that the union of topologies is a topology.) Since any collection of subsets of X belongs to the discrete topology on X, it is not vacuous when we define the smallest topology containing as the intersection of all topologies containing. As an example, the weak topology on X by a family of functions f α : X Y α is the one generated by the subbase {f α -1 (U α,β ): U α,β T(Y α )}. Supplementum to Cain Chapter 3, on connected spaces. Example S1.1. If S is a nonempty connected subset of R, then S is either a single point {x 0 } or an interval. Simple exercise S1.2. Show that the intersection of two connected sets need not be connected.
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationPoint Set Topology. A. Topological Spaces and Continuous Maps
Point Set Topology A. Topological Spaces and Continuous Maps Definition 1.1 A topology on a set X is a collection T of subsets of X satisfying the following axioms: T 1.,X T. T2. {O α α I} T = α IO α T.
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationThe Banach-Tarski Paradox
University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationLecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes
Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook John Rognes November 29th 2010 Contents Introduction v 1 Set Theory and Logic 1 1.1 ( 1) Fundamental Concepts..............................
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationMath 104: Introduction to Analysis
Math 104: Introduction to Analysis Evan Chen UC Berkeley Notes for the course MATH 104, instructed by Charles Pugh. 1 1 August 29, 2013 Hard: #22 in Chapter 1. Consider a pile of sand principle. You wish
More informationTOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS
TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms
More informationFollow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu
COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationComments on Quotient Spaces and Quotient Maps
22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationFixed Point Theorems in Topology and Geometry
Fixed Point Theorems in Topology and Geometry A Senior Thesis Submitted to the Department of Mathematics In Partial Fulfillment of the Requirements for the Departmental Honors Baccalaureate By Morgan Schreffler
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationGod created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)
Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationMathematics for Econometrics, Fourth Edition
Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationPSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2
PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a Bruckner-Garg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We
More information10.2 Series and Convergence
10.2 Series and Convergence Write sums using sigma notation Find the partial sums of series and determine convergence or divergence of infinite series Find the N th partial sums of geometric series and
More informationLEARNING OBJECTIVES FOR THIS CHAPTER
CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More information1 The Brownian bridge construction
The Brownian bridge construction The Brownian bridge construction is a way to build a Brownian motion path by successively adding finer scale detail. This construction leads to a relatively easy proof
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationSolutions to Homework 10
Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction
ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity
More information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationA domain of spacetime intervals in general relativity
A domain of spacetime intervals in general relativity Keye Martin Department of Mathematics Tulane University New Orleans, LA 70118 United States of America martin@math.tulane.edu Prakash Panangaden School
More informationA Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. http://www.mathematik.uni-kl.de/ wirthm/de/top.html
A Topology Primer Lecture Notes 2001/2002 Klaus Wirthmüller http://www.mathematik.uni-kl.de/ wirthm/de/top.html Preface These lecture notes were written to accompany my introductory courses of topology
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationNotes on descriptive set theory and applications to Banach spaces. Th. Schlumprecht
Notes on descriptive set theory and applications to Banach spaces Th. Schlumprecht Contents Chapter 1. Notation 5 Chapter 2. Polish spaces 7 1. Introduction 7 2. Transfer Theorems 9 3. Spaces of compact
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationFIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.
FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationMinimal R 1, minimal regular and minimal presober topologies
Revista Notas de Matemática Vol.5(1), No. 275, 2009, pp.73-84 http://www.saber.ula.ve/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes
More informationLecture Notes on Measure Theory and Functional Analysis
Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents
More informationVector and Matrix Norms
Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a non-empty
More informationCOMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationRANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis
RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationDEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
More informationExtension of measure
1 Extension of measure Sayan Mukherjee Dynkin s π λ theorem We will soon need to define probability measures on infinite and possible uncountable sets, like the power set of the naturals. This is hard.
More informationLogic, Combinatorics and Topological Dynamics, II
Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationHow To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra
54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue
More information2. Length and distance in hyperbolic geometry
2. Length and distance in hyperbolic geometry 2.1 The upper half-plane There are several different ways of constructing hyperbolic geometry. These different constructions are called models. In this lecture
More informationBasic Probability Concepts
page 1 Chapter 1 Basic Probability Concepts 1.1 Sample and Event Spaces 1.1.1 Sample Space A probabilistic (or statistical) experiment has the following characteristics: (a) the set of all possible outcomes
More informationON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More informationLinear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:
Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationand s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space
RAL ANALYSIS A survey of MA 641-643, UAB 1999-2000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σ-algebras. A σ-algebra in X is a non-empty collection of subsets
More informationLecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
More informationElements of probability theory
2 Elements of probability theory Probability theory provides mathematical models for random phenomena, that is, phenomena which under repeated observations yield di erent outcomes that cannot be predicted
More information1 Local Brouwer degree
1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationTHE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES
PACIFIC JOURNAL OF MATHEMATICS Vol 23 No 3, 1967 THE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES HOWARD H WICKE This article characterizes the regular T o open continuous images of complete
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationFIXED POINT SETS OF FIBER-PRESERVING MAPS
FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationChapter 7. Continuity
Chapter 7 Continuity There are many processes and eects that depends on certain set of variables in such a way that a small change in these variables acts as small change in the process. Changes of this
More information