Pacific Journal of Mathematics
|
|
- Noah Dylan Charles
- 5 years ago
- Views:
Transcription
1 Pacific Journal of Mathematics ON EXTENDING ISOTOPIES WILLIAM CUTLER Vol. 46, No. 1 November 1973
2 PACIFIC JOURNAL OF MATHEMATICS Vol. 46, No. 1, 1973 ON EXTENDING ISOTOPIES WILLIAM H. CUTLER Let K be a locally compact metric space. An isotopy on K is a continuous family of homeomorphisms h t :K->K for tel such that h 0 id. Let ^(K) denote the space of isotopies of K with C 0 topology. Conjecture: Let X be metric and Y a closed subset of X. Then every map /: Y > ^{K) can be continuously extended to X. The conjecture is proved for the following cases: (1)K is a 1-complex, (2)iΓ is compact and X is finite-dimensional, (3)i is compact, Y is compact and finite-dimensional, and Xis separable, and (4)F is of type 1 in a compact space X. Y is of type 1 in X if the closure of the set of points of X which do not have a unique closest point in Y does not intersect Y. 1* Introduction* Let K be a topological space. An isotopy on K is a continuous family, for tel, of homeomorphisms h t :K *K such that h 0 = id. The isotopy is invertible if g t = {h t )~ ι is also an isotopy (i.e., is continuous in t). Invertible isotopies can be thought of as level-preserving homeomorphisms of K x / onto itself which are the identity on K x {0}. Throughout the paper, K will be locally compact and metric, so all isotopies on K will automatically be invertible. We will denote the space of isotopies on K with C 0 topology by J^{K). We will discuss the following: Conjecture. Let K be locally compact and metric. Let X be metric and let Y be a closed subset of X. Then every map φ: Y -+ J^(K) can be continuously extended to X. It should be noted that this conjecture is equivalent to saying that ^{K) is an absolute retract for metric spaces. The following theorem states the conjecture for several special cases: THEOREM. The conjecture is true in the following cases: (1) K is a one-dimensional simplicial complex (for example, R\ S\ or I) (2) K is compact, X is finite-dimensional (3) K is compact, Y is finite-dimensional and compact, and X is separable. (4) X is compact and Y is of type 1 in X. The last case is an easy result, the definition of type being as follows: Let Y be a closed subset of X. Define H(Y) = {x e X \ x does not have a unique closest point in Y}. Let Y γ H(Y) Π Y, Y n = 31
3 32 WILLIAM H. CUTLER If γ i= z 0, then we say Y is of type 1 in X. If Y n 0 but Yn-ι Φ 0, we say Y is of type n in X. Finally, if all Y i are nonempty, we say that Y is of infinite type in X. There is probably an inductive argument to show that sets of finite type in compact spaces satisfy the conjecture, but sets of infinite type are not uncommon, for instance, the Cantor set in I. The proof of Part (4) of the Theorem is contained in 2. The proofs of (l)-(3) are similar to the proof of the Tietze Extension Theorem, an idea suggested to the author by R. D Anderson, and are contained in later sections. 2* Proof of Part (4). Let φ: Y->J^(K) be continuous. Let U be an open set containing H( Y) such that U Π Y = 0. Let f: X-+I be a continuous function such that f(u) = 0 and f(y) = 1. If h t :K +K is an isotopy, let sh t : K-+ K for sel be the isotopy defined by sh t = h t for t ^ s 8h t = h s for t Ξ> 8. Define g: X H{Y)-+Y by g{x) is the unique closest point of Y to x. Using compactness of X, it is easy to show that g is continuous. Finally, define Φ: X-+^(K) by Φ(x) = M<p{g{x)) t on X - H{Y) 9 and Φ(a?) is the identity isotopy on H(Y). Φ is easily seen to be continuous and equals φ on Y. 3. Proof of Part (1) Let φ: Y >^(K) be continuous, where K is a 1-complex. Let K' be the set of vertices of K which do not intersect exactly two 1-simplices. Then any isotopy of K is fixed on JSΓ' Also, K K f is the disjoint union of sets homeomorphic to R 1 or S 1. Hence we can restrict ourselves to isotopies on these spaces. Furthermore, ^~{R l ) is naturally homeomorphic to J^{I). We will prove Part (1) for K I, and it will be clear that the proof generalizes to K = S 1 by the covering space of S\ and hence to K a 1-complex. Let J t ej^{i) for i = 1, 2,, n, and let s^el be such that Σί Si = 1. Define the s r average of the isotopies J t to be the isotopy ft(%) Σ?=i Si i/ί(a?) for xel, tel. It is easy to see that f t (x) is an isotopy, and furthermore, that ( * ) max d(f t9 J t ) ^ max d(j t, ά f t ). Here d denotes the sup metric on *J^(K) inherited from K since K is compact. It will also be used to denote the metric on X.
4 ON EXTENDING ISOTOPIES 33 We will inductively define continuous functions φ n : X satisfying: (a) for ye Γ, d(φ n (Y), φ{y)) < l/2 ( b) for i, j^n, x e X such that d(x, Y) :> 1/n, then φ^x) = φ ά (x) (C) d(φ n, φ n^)< 1/2-1. If we can do the above, then φ = lim^^ φ n is the required extension. It is equal to φ on Y by (a), it converges on X Y by (b), and it is continuous on Y by (c). Suppose we have inductively defined the φ i satisfying the above for i ^ n 1. We will define φ n as follows. Let Φ n : Y^^(K) be defined by Φ n (y) = φ(y)o(φ n _ 1 (y))~\ (It is understood that the composition of isotopies is at each level the composition of the homeomorphisms at the same level.) Then d(φ n (y), id) = d(φ(y), <P % -,(y)) < 1/2-1 by (a). Let g: Y > (0,1] be a continuous function such that if given y l9 y 2 e Y and xe X such that d(y u x) < g{y λ ) and d(y 2, x) < g(y 2 ), then d{φ n (yΐ), Φ n (y 2 )) < lβ n. Such a g is easily constructed using continuity of Φ n. Let N δ (A) denote the open δ-neighborhood of the set A. Let ^ = {N g{y) (y) Π N Um (Y) \yey}{j{x- Y}. <& is an open cover of X. Since X is paracompact, let <^?t be a locally finite refinement of ^. For each ue^', associate at element f u e^{k) as follows: If uczx Y, then / = id. If uczn g(y) (y) for some yey, then Λ = Φ»(ί/). Let {S u : X-+I) be a partition of unity of 9f' We will define ^Λ: JSΓ-^ ^"(JBΓ) as follows. Pick xex. Let %i,, u m be the elements of ^' such that S u.(x) Φ 0 for i 1,, m. Define Φή(#) to be the 5 M.-average of the isotopies f u and let φ n (x) Φ f n{x) o( Pn-ι{x)* By construction of the cover ^', if y u y 2 Y and ίϊ el and feί/jcίj^^ and {α?, τ/ 2 } c U 2 e <&', then d(φ n {y^), Φ n (y 2 )) < lβ\ hence by (*), d(φ' n (y), Φ n {y)) < 1/2* for yey. In addition, since d(φ n (y), id) < 1/2*" 1, it follows that d(co), id) < 1/2^ for α?e X Hence for yey, d(<p n (y), <P(v)) = d(φui/), Φ n (»)) < l/2 and d(<p n, 9> Λ -i) = d(φ«(»), id) < 1/2*"" 1, That part (b) of the inductive hypothesis also holds is trivial. 4. Composition sequences* Let if be a compact matric space. A composition sequence of isotopies of K is a finite collection {%ft, $i}i^n of isotopies J t \ K +K and numbers s* e I such that Σ ^ = 1. The composition of {*/*, sj^w is an isotopy f t :K +K defined as follows: Let p m = XΓ Si for m ^ n. If p m <; ί ^ p m+1 and a? e iγ, then ft(x) = f (x) f^(x)o f Jx)o... oj^oj^x^j^x). m+1 t m+1 m P
5 34 WILLIAM H. CUTLER We will now need several technical lemmas about composition sequences LEMMA 1. Let {if t, sj^ be a composition sequence satisfying d(if tf id) < ε. Then the composition f t satisfies d(f t, id) < 2ns. Proof. Trivial. LEMMA 2. Let f t e ^(K) and let ε > 0. Then there exists a δ > 0 such that for 0 ^ s ^ t S 1, and x,yek such that d(x, y) < δ, then d{f7\x)j7\y)) < e, d(f t (x),f t (y)) < * and d{f t of 7 \χ)j t of 7 \y)) < ε. Proof. Easy to verify using compactness of K and I. LEMMA 3. Given e > 0 and f t e ^~(K). Then there exists a >0 such that if g t e ^(K) satisfies d(f t, g t ) < δ, then d(fr\ gj 1 ) < e. Proof. Again easy, using compactness of K and I. LEMMA 4. Given f t e^(k), there exists a function I: (0,1] (0,1] such that for any ee(0,1], g t <J^(K), x,yek such that d(f t, gt) < K ε ) and d(x, y) < l(e) and 0 rg s ^ t ^ 1, then Proof. d{f t ofr\x) 9 g t og 7 \y)) rg d{f t fr\x),f* fγ ι {y)) + d{ufr\y), ft o 9l\y)) + d{f t og~ ι (y), g t og-\y)). The first term is minimized by Lemma 2, the second by Lemma 3 and uniform continuity of f t, and the third is minimized by l(ε). LEMMA 5. Let f t e ^(K) and let e > 0 and n be an integer. Then there exists a δ > 0 such that if { { g t, s i } igλ is a composition sequence such that ddg t,f t ) <δ for all i ^ n, then the composition g t satisfies d(g t,f t ) < e. Proof. Let δ = l n (ε) (the composition of n Is) where I is the function of Lemma 4. 5* Proofs of Parts (2) and (3)* We will now prove Part (2) in a fashion analogous to that of Part (1). Let φ: Y >^(K) be continuous, where K is compact and dim (x) = n 1. We will inductively define functions φ m :X ><J^{K) satisfying: (a) for y e Y, d{φ m (y), φ{y)) < l/2 m
6 ON EXTENDING ISOTOPIES 35 ( b) for ί, j Ξ> m and xe X such that d(x, Y) ^ 1/m, φ^x) = φ ά {x) (c) d(^m, ^w_0 2n/2 -\ Again, define Φ % (?/) = φ{y)o{φ n _ ι {y))~\ Let #: F >(0,1] be a function such that if x l9, a? n are points of X such that d(x i9 y) < 0(2/) for some yey and all i ^n, then any composition / f of the isotopies ΦJx^ satisfies d(f u Φ n (y)) < 1/2*. Such a function is constructed using Lemma 4 and the continuity of Φ n. We now take a cover? of I as sets of the form {N g{y) Π N 1Jm (Y) 12/e Γ} U {X- Y} as in 3. Take a refinement or order w - 1 (see Theorem V 1, p. 48 of [2]), call it if'. Order the elements of <g ί7 ', take a portion of unity, and define Φ' n : X >J^{K) by using compositions instead of s r averages Letting φ n {x) = Φ' n (%) o( Pn-i(%) as before, the inductive hypotheses are again met. Note that (c), d(φ m, φ m^ ^ 2%/2 m ~ 1 follows from Lemma 1. Part (3) follows as a corollary of (2). Since X is separable, it may be imbedded in an endslice of the Hubert cube Q. Call the imbedding i. Since Y is compact, i(y) is closed, and hence a Z-set in the cube. If Y has dimension n, it may also be imbedded in I 2n+ \ call the imbedding j. Then ί(y) and j(y) are Z-sets in the cube. By [1] there exists a homeomorphism h: Q / 2% + 1 x Q such that h\i(y) is onto j(y) x {0}. By Part (2), we can extend the map φo(h i)~ ι on (hoi)(y) to j2^i χ jqμ There is then a natural extension to I 2n+ι x Q and hence to (hoi)(χ). REFERENCES 1. R. D. Anderson, On topologίcal infinite deficiency, Mich. Math. J., 14 (1967), Hurewicz and Wallman, Dimension Theory, Princeton University Press, Received February 7, 1972 and in revised form May 24, 1972, LOUISIANA STATE UNIVERSITY
7
8 PACIFIC JOURNAL OF MATHEMATICS EDITORS D. GlLBARG AND J. MlLGRAM Stanford University Stanford, California R. A. BEAUMONT University of Washington Seattle, Washington J. DUGUNDJI Department of Mathematics University of Southern California Los Angeles, California RICHARD ARENS University of California Los Angeles, California ASSOCIATE EDITORS E. F. BECKENBACH B. H. NEUMANN F. WOLF K. YOSHIDA SUPPORTING INSTITUTIONS UNIVERSITY OF BRITISH COLUMBIA CALIFORNIA INSTITUTE OF TECHNOLOGY UNIVERSITY OF CALIFORNIA MONTANA STATE UNIVERSITY UNIVERSITY OF NEVADA NEW MEXICO STATE UNIVERSITY OREGON STATE UNIVERSITY UNIVERSITY OF OREGON OSAKA UNIVERSITY UNIVERSITY OF SOUTHERN CALIFORNIA STANFORD UNIVERSITY UNIVERSITY OF TOKYO UNIVERSITY OF UTAH WASHINGTON STATE UNIVERSITY UNIVERSITY OF WASHINGTON * * * AMERICAN MATHEMATICAL SOCIETY NAVAL WEAPONS CENTER Printed in Japan by International Academic Printing Co., Ltd., Tokyo, Japan
9 Pacific Journal of Mathematics Vol. 46, No. 1 November, 1973 Allan Francis Abrahamse, Uniform integrability of derivatives on σ -lattices Ronald Alter and K. K. Kubota, The diophantine equation x 2 + D = p n Grahame Bennett, Some inclusion theorems for sequence spaces William Cutler, On extending isotopies Robert Jay Daverman, Factored codimension one cells in Euclidean n-space Patrick Barry Eberlein and Barrett O Neill, Visibility manifolds M. Edelstein, Concerning dentability Edward Graham Evans, Jr., Krull-Schmidt and cancellation over local rings C. D. Feustel, A generalization of Kneser s conjecture Avner Friedman, Uniqueness for the Cauchy problem for degenerate parabolic equations David Golber, The cohomological description of a torus action Alain Goullet de Rugy, Un théorème du genre Andô-Edwards pour les Fréchet ordonnés normaux Louise Hay, The class of recursively enumerable subsets of a recursively enumerable set John Paul Helm, Albert Ronald da Silva Meyer and Paul Ruel Young, On orders of translations and enumerations Julien O. Hennefeld, A decomposition for B(X) and unique Hahn-Banach extensions Gordon G. Johnson, Moment sequences in Hilbert space Thomas Rollin Kramer, A note on countably subparacompact spaces Yves A. Lequain, Differential simplicity and extensions of a derivation Peter Lorimer, A property of the groups Aut PU(3, q 2 ) Yasou Matsugu, The Levi problem for a product manifold John M.F. O Connell, Real parts of uniform algebras William Lindall Paschke, A factorable Banach algebra without bounded approximate unit Ronald Joel Rudman, On the fundamental unit of a purely cubic field Tsuan Wu Ting, Torsional rigidities in the elastic-plastic torsion of simply connected cylindrical bars Philip C. Tonne, Matrix representations for linear transformations on analytic sequences Jung-Hsien Tsai, On E-compact spaces and generalizations of perfect mappings Alfons Van Daele, The upper envelope of invariant functionals majorized by an invariant weight Giulio Varsi, The multidimensional content of the frustum of the simplex
Pacific Journal of Mathematics
Pacific Journal of Mathematics SOME DUAL SERIES EQUATIONS INVOLVING LAGUERRE POLYNOMIALS JOHN S. LOWNDES Vol. 25, No. 1 September 1968 PACIFIC JOURNAL OF MATHEMATICS Vol. 25, No. 1, 1968 SOME DUAL SERIES
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON THE MONOTONICITY OF THE GRADIENT OF A CONVEX FUNCTION GEORGE JAMES MINTY, JR. Vol. 14, No. 1 May 1964 ON THE MONOTONICITY OF THE GRADIENT OF A CONVEX FUNCTION GEORGE J.
More informationMany of you got these steps reversed or otherwise out of order.
Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON THE IRRATIONALITY OF CERTAIN SERIES PAUL ERDŐS AND ERNST GABOR STRAUS Vol. 55, No. 1 September 1974 PACIFIC JOURNAL OF MATHEMATICS Vol. 55, No. 1, 1974 ON THE IRRATIONALITY
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics HITTING TIMES FOR TRANSIENT STABLE PROCESSES SIDNEY CHARLES PORT Vol. 21, No. 1 November 1967 PACIFIC JOURNAL OF MATHEMATICS Vol. 21, No. 1, 1967 HITTING TIMES FOR TRANSIENT
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics NOTE ON AN EXTREME FORM MANORANJAN PRASAD Vol. 25, No. 1 September 1968 PACIFIC JOURNAL OF MATHEMATICS VoL 25, No. 1, 1968 NOTE ON AN EXTREME FORM MANORANJAN PRASAD The purpose
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ADDITION THEOREMS FOR SETS OF INTEGERS CALVIN T. LONG Vol. 23, No. 1 March 1967 PACIFIC JOURNAL OF MATHEMATICS Vol. 23, No. 1, 1967 ADDITION THEOREMS FOR SETS OF INTEGERS
More informationMath 426 Homework 4 Due 3 November 2017
Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON A THEOREM OF PHILIP HALL DANIEL E. GORENSTEIN Vol. 19, No. 1 May 1966 PACIFIC JOURNAL OF MATHEMATICS Vol. 19, No. 1, 1966 ON A THEOREM OF PHILIP HALL DANIEL GORENSTEIN
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationINVERSE LIMITS WITH SET VALUED FUNCTIONS. 1. Introduction
INVERSE LIMITS WITH SET VALUED FUNCTIONS VAN NALL Abstract. We begin to answer the question of which continua in the Hilbert cube can be the inverse limit with a single upper semi-continuous bonding map
More informationA C 0 coarse structure for families of pseudometrics and the Higson-Roe functor
A C 0 coarse structure for families of pseudometrics and the Higson-Roe functor Jesús P. Moreno-Damas arxiv:1410.2756v1 [math.gn] 10 Oct 2014 Abstract This paper deepens into the relations between coarse
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More information1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE
ADDENDUM B: CONSTRUCTION OF R AND THE COMPLETION OF A METRIC SPACE ANDREAS LEOPOLD KNUTSEN Abstract. These notes are written as supplementary notes for the course MAT11- Real Analysis, taught at the University
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationADJUNCTION SPACES AND THE HEREDITARY PROPERTY
ADJUNCTION SPACES AND THE HEREDITARY PROPERTY BYRON H. MCCANDLESS1 Let X and Y be spaces, A a closed subset of X, and/: A *Y a map (i.e., a continuous transformation). Let Z be the adjunction space obtained
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationFIXED POINT METHODS IN NONLINEAR ANALYSIS
FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point
More informationDynamics of Group Actions and Minimal Sets
University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationAPPENDIX C: Measure Theoretic Issues
APPENDIX C: Measure Theoretic Issues A general theory of stochastic dynamic programming must deal with the formidable mathematical questions that arise from the presence of uncountable probability spaces.
More informationAN 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
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationCOMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM
COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationBased on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,
NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON TWO THEOREMS OF FROBENIUS MARVIN DAVID MARCUS AND H. MINC Vol. 60, No. 2 October 1975 PACIFIC JOURNAL OF MATHEMATICS Vol. 60, No. 2, 1975 ON TWO THEOREMS OF FROBENIUS
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationLecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationFIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi
More informationWhitney s Extension Problem for C m
Whitney s Extension Problem for C m by Charles Fefferman Department of Mathematics Princeton University Fine Hall Washington Road Princeton, New Jersey 08544 Email: cf@math.princeton.edu Supported by Grant
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationPOINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.1 (13) (2005), 117 127 POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS SAM B. NADLER, JR. Abstract. The problem of characterizing the metric spaces on which the
More informationAppendix A. Definitions for Ordered Sets. The appendices contain all the formal definitions, propositions and proofs for
161 Appendix A Definitions for Ordered Sets The appendices contain all the formal definitions, propositions and proofs for developing a model of the display process based on lattices. Here we list some
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationNUCLEAR SPACE FACTS, STRANGE AND PLAIN
NUCLEAR SPACE FACTS, STRANGE AND PLAIN JEREMY J. BECNEL AND AMBAR N. SENGUPTA Abstract. We present a scenic, but practical drive through nuclear spaces, stopping to look at unexpected results both for
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationCOUNTABLE PRODUCTS ELENA GUREVICH
COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known
More informationMEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE
MEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE ELON LINDENSTRAUSS, MASAKI TSUKAMOTO Abstract. For any positive integer D, we construct a minimal dynamical system with mean dimension equal to D/2 that
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationEpsilon Nielsen coincidence theory
Cent. Eur. J. Math. 12(9) 2014 1337-1348 DOI: 10.2478/s11533-014-0412-3 Central European Journal of Mathematics Epsilon Nielsen coincidence theory Research Article Marcio Colombo Fenille 1 1 Faculdade
More informationTOPICS FROM THE THEORY OF RETRACTS
TOPICS FROM THE THEORY OF RETRACTS WIES LAW KUBIŚ 1. Some notation and definitions By a space we will mean a Hausdorff topological space. We will deal mainly with metrizable spaces. Recall that a space
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More information