Lecture Notes Functional Analysis (2014/15)

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes Functional Analysis (2014/15) Lecture Notes Functional Analysis (2014/15) Roland Schnaubelt These lecture notes are based on my course from winter semester 2014/15. Com- pared to the notes from three years ago, several details and very few subjects have been changed. I mostly kept the contents of the results discussed in the lectures, but the numbering has been shifted in some parts. Typically, the proofs and calculations in the notes are a bit shorter than those given in class. Moreover, the drawings and many additional, mostly oral remarks from the lectures are omitted here. On the other hand, in the notes I have added a few results (e.g., the Riesz{Thorin theorem) and a couple of proofs for peripheral statements not presented during the course. I am happy to thank Bernhard Konrad, J¨orgB¨auerle and Johannes Eilinghoff for their careful proof reading of my lecture notes from 2009 and 2011. Karlsruhe, December 30, 2019 Roland Schnaubelt Contents 1 Banach spaces3 1.1 Basic properties of Banach and metric spaces . .3 1.2 More examples of Banach spaces . 13 1.3 Compactness and separability . 20 2 Continuous linear operators 27 2.1 Basic properties and examples . 27 2.2 Standard constructions . 34 2.3 The interpolation theorem of Riesz and Thorin . 39 3 Two main theorems on linear operators 43 3.1 The principle of uniform boundedness . 43 3.2 The open mapping theorem and invertibility . 48 4 Duality 51 4.1 Hilbert spaces . 51 4.2 The duals of sequence and Lebesgue spaces . 54 4.3 The theorem of Hahn-Banach . 58 4.4 Reflexivity and weak convergence . 65 4.5 Adjoint operators . 70 5 The Fourier transform and generalized derivatives 75 5.1 The Fourier transform . 75 5.2 Sobolev spaces . 82 5.3 Tempered distributions . 88 Bibliography 92 2 Chapter 1 Banach spaces 1.1 Basic properties of Banach and metric spaces Throughout, X 6= f0g and Y 6= f0g are vector spaces over the field F 2 fR; Cg. Definition 1.1. A seminorm on X is a mapping p : X ! R+ satisfying a) p(αx) = jαj p(x) (homogeneity), b) p(x + y) ≤ p(x) + p(y) (triangle inquality) for all x; y 2 X and α 2 F. If in addition c) p(x) = 0 =) x = 0 (definiteness) holds for all x 2 X, then p is called a norm. One usually writes p(x) = kxk and p = k · k. The pair (X; k · k) (or just X) is called a normed vector space. In view of Example 1.4(a), we interpret kxk as the length of x and kx − yk as the distance between x and y. Definition 1.2. Let k·k be a seminorm on a vector space X. A sequence (xn)n2N = (xn) in X converges to a limit x 2 X if 8 " > 0 9 N" 2 N 8 n ≥ N" : kxn − xk ≤ ": We then write xn ! x as n ! 1 or x = limn!1 xn. Moreover, (xn) is a Cauchy sequence in X if 8 " > 0 9 N" 2 N 8 n; m ≥ N" : kxn − xmk ≤ ": A normed vector space (X; k · k) is called a Banach space if each Cauchy sequence in (X; k · k) converges in X. Then one also calls k · k or (X; k · k) complete. Remark 1.3. Let k · k be a seminorm on a vector space X and (xn) be a sequence in X. The following results are shown as in Analysis 2, see also Remark 1.7. a) jkxk − kykj ≤ kx − yk for all x; y 2 X. b) The vector 0 has the norm 0. c) If (xn) converges, then it is a Cauchy sequence. d) If (x ) converges or is Cauchy, then it is bounded, i.e., sup kx k < 1: n n2N n e) Limits are linear: If xn ! x and yn ! y in X as n ! 1 and α; β 2 F, then αxn + βyn converges to αx + βy in X. f) Limits are unique in the norm case: Let k · k be a norm. If xn ! x and xn ! y in X as n ! 1 for some x; y 2 X, then x = y. ♦ 3 4 Chapter 1. Banach spaces Let X be a vector space and M 6= ; be a set. For functions f; g : M ! X and numbers α; β 2 F one defines the functions f + g : M ! X;(f + g)(t) = f(t) + g(t) and αf : M ! X;(αf)(t) = αf(t): It is easily seen that the set ff : M ! Xg becomes a vector space if endowed with these operations. Function spaces are always equipped with this sum and scalar multiplication. Let X = F. Here one further puts fg : M ! F;(fg)(t) = f(t)g(t): Let α; β 2 R. We then write f ≥ α (f > α, respectively) if f(t) ≥ α (f(t) > α, respectively) for all t 2 M. Similarly one defines α ≤ f ≤ β, f ≤ g, and so on. Example 1.4. a) X = Fd is a Banach space with respect to the norms d 1 X p p jxjp = jxkj ; 1 ≤ p < 1; and jxj1 = maxfjxkj j k = 1; : : : ; dg k=1 d where x = (x1; : : : ; xd) 2 F , see Analysis 1+2 or the proof of Proposition 1.30. b) X = C([0; 1]) = ff : [0; 1] ! F j f is continuousg with the supremum norm kfk1 := sup jf(t)j (= max jf(t)j): t2[0;1] t2[0;1] is a Banach space. We always endow X with this norm, unless something else is specified. In fact, it is clear that X is a vector space and that kfk1 = 0 implies f = 0. We further compute kαfk1 = sup jαj jf(t)j = jαj sup jf(t)j = jαj kfk1; t2[0;1] t2[0;1] kf + gk1 = sup jf(t) + g(t)j ≤ sup (jf(t)j + jg(t)j) ≤ kfk1 + kgk1; t2[0;1] t2[0;1] for all f; g 2 X and α 2 F, so that X is a normed vector space. Let (fn) be a Cauchy sequence in X; i.e., for all " > 0 there is an index N" 2 N with jfn(t) − fm(t)j ≤ kfn − fmk1 ≤ " for all n; m ≥ N" and t 2 [0; 1]. We stress that N" does not depend on t. By this estimate, (fn(t))n2N is a Cauchy sequence in F. Since F is complete, there exists f(t) := limn!1 fn(t) in F for each t 2 [0; 1]. Let t 2 [0; 1] and " > 0 be given. Take N" from above and n ≥ N". We then deduce jf(t) − fn(t)j = lim jfm(t) − fn(t)j ≤ lim sup kfm − fnk1 ≤ ": m!1 m!1 Since this inequality holds for all t 2 [0; 1], it follows that kf − fnk1 ≤ " for all n ≥ N". Hence, fn converges uniformly (in t) to f, and so f is continuous by a convergence theorem from Analysis 1+2. Summing up, we have shown that fn converges in X to f 2 X, as required. R 1 c) We further introduce kfk1 = 0 jf(t)j dt for f 2 X = C([0; 1]). The number kf −gk1 corresponds to area between the graphs of f and g (if F = R), i.e., kf −gk1 is the distance in the mean; whereas kf − gk1 corresponds to the maximal vertical distance between the graphs. We claim that k · k1 is an incomplete norm on X. In fact, let α 2 F and f; g 2 X. Clearly, kfk1 ≥ 0. If f 6= 0, then there are 0 ≤ a < b ≤ 1 and δ > 0 such that jf(t)j ≥ δ for all t 2 [a; b], since f is continuous. It then follows Z b kfk1 ≥ jf(t)j dt ≥ (b − a)δ > 0: a 1.1. Basic properties of Banach and metric spaces 5 We also obtain Z 1 kαfk1 = jαj jf(t)j dt = jαj kfk1; 0 Z 1 Z 1 kf + gk1 = jf(t) + g(t)j dt ≤ (jf(t)j + jg(t)j) dt = kfk1 + kgk1: 0 0 As a result, k · k1 is a norm on X. Next, consider the functions given by 8 1 >1; 2 ≤ t ≤ 1; < n 1 1 1 fn(t) = nt − 2 + 1; 2 − n ≤ t ≤ 2 ; :> 1 1 0; 0 ≤ t ≤ 2 − n ; for n 2 N with n ≥ 3. For m ≥ n ≥ 3 we have 1 Z 2 1 kfn − fmk1 = jfn(t) − fm(t)j dt ≤ −! 0 1 1 n 2 − n as n ! 1, so that (fn) is a Cauchy sequence with respect to k · k1. We suppose 1 that (fn) would converge to some f 2 X with respect to k · k1. Fix any a 2 (0; 2 ) 1 1 and take n 2 N with 2 − n ≥ a. We then obtain that Z a Z a 0 ≤ jf(t)j dt = jf(t) − fn(t)j dt ≤ kfn − fk1 −! 0 0 0 R a as n ! 1, i.e., 0 jf(t)j dt = 0. The continuity of f implies as above that f = 0 on 1 [0; a] for every a < 2 , and hence f(1=2) = 0. On the other hand, Z 1 Z 1 0 ≤ jf(t) − 1j dt = jf(t) − fn(t)j dt ≤ kf − fnk1 −! 0 1 1 2 2 1 as n ! 1. As a consequence, f is equal to 1 on [ 2 ; 1], which is a contradiction. d) Let X = C(R) and a < b in R.
Recommended publications
  • On Quasi Norm Attaining Operators Between Banach Spaces
    ON QUASI NORM ATTAINING OPERATORS BETWEEN BANACH SPACES GEUNSU CHOI, YUN SUNG CHOI, MINGU JUNG, AND MIGUEL MART´IN Abstract. We provide a characterization of the Radon-Nikod´ymproperty in terms of the denseness of bounded linear operators which attain their norm in a weak sense, which complement the one given by Bourgain and Huff in the 1970's. To this end, we introduce the following notion: an operator T : X ÝÑ Y between the Banach spaces X and Y is quasi norm attaining if there is a sequence pxnq of norm one elements in X such that pT xnq converges to some u P Y with }u}“}T }. Norm attaining operators in the usual (or strong) sense (i.e. operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and also compact operators satisfy this definition. We prove that strong Radon-Nikod´ymoperators can be approximated by quasi norm attaining operators, a result which does not hold for norm attaining operators in the strong sense. This shows that this new notion of quasi norm attainment allows to characterize the Radon-Nikod´ymproperty in terms of denseness of quasi norm attaining operators for both domain and range spaces, completing thus a characterization by Bourgain and Huff in terms of norm attaining operators which is only valid for domain spaces and it is actually false for range spaces (due to a celebrated example by Gowers of 1990). A number of other related results are also included in the paper: we give some positive results on the denseness of norm attaining Lipschitz maps, norm attaining multilinear maps and norm attaining polynomials, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator and, finally, present some stability results.
    [Show full text]
  • Introduction to Linear Bialgebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of New Mexico University of New Mexico UNM Digital Repository Mathematics and Statistics Faculty and Staff Publications Academic Department Resources 2005 INTRODUCTION TO LINEAR BIALGEBRA Florentin Smarandache University of New Mexico, [email protected] W.B. Vasantha Kandasamy K. Ilanthenral Follow this and additional works at: https://digitalrepository.unm.edu/math_fsp Part of the Algebra Commons, Analysis Commons, Discrete Mathematics and Combinatorics Commons, and the Other Mathematics Commons Recommended Citation Smarandache, Florentin; W.B. Vasantha Kandasamy; and K. Ilanthenral. "INTRODUCTION TO LINEAR BIALGEBRA." (2005). https://digitalrepository.unm.edu/math_fsp/232 This Book is brought to you for free and open access by the Academic Department Resources at UNM Digital Repository. It has been accepted for inclusion in Mathematics and Statistics Faculty and Staff Publications by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected], [email protected], [email protected]. INTRODUCTION TO LINEAR BIALGEBRA W. B. Vasantha Kandasamy Department of Mathematics Indian Institute of Technology, Madras Chennai – 600036, India e-mail: [email protected] web: http://mat.iitm.ac.in/~wbv Florentin Smarandache Department of Mathematics University of New Mexico Gallup, NM 87301, USA e-mail: [email protected] K. Ilanthenral Editor, Maths Tiger, Quarterly Journal Flat No.11, Mayura Park, 16, Kazhikundram Main Road, Tharamani, Chennai – 600 113, India e-mail: [email protected] HEXIS Phoenix, Arizona 2005 1 This book can be ordered in a paper bound reprint from: Books on Demand ProQuest Information & Learning (University of Microfilm International) 300 N.
    [Show full text]
  • Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences
    Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences VOLUME 12 A Graduate-Level Book Series The titles published in this series are listed at the end of this volume. Fundamentals of Functional Analysis by S. S. Kutateladze Sobolev Institute ofMathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia Springer-Science+Business Media, B.V. A C.I.P. Catalogue record for this book is available from the Library of Congress ISBN 978-90-481-4661-1 ISBN 978-94-015-8755-6 (eBook) DOI 10.1007/978-94-015-8755-6 Translated from OCHOBbI Ij)YHK~HOHaJIl>HODO aHaJIHsa. J/IS;l\~ 2, ;l\OIIOJIHeHHoe., Sobo1ev Institute of Mathematics, Novosibirsk, © 1995 S. S. Kutate1adze Printed on acid-free paper All Rights Reserved © 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1996. Softcover reprint of the hardcover 1st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner. Contents Preface to the English Translation ix Preface to the First Russian Edition x Preface to the Second Russian Edition xii Chapter 1. An Excursion into Set Theory 1.1. Correspondences . 1 1.2. Ordered Sets . 3 1.3. Filters . 6 Exercises . 8 Chapter 2. Vector Spaces 2.1. Spaces and Subspaces ... ......................... 10 2.2. Linear Operators . 12 2.3. Equations in Operators ........................ .. 15 Exercises . 18 Chapter 3. Convex Analysis 3.1.
    [Show full text]
  • FUNCTIONAL ANALYSIS 1. Metric and Topological Spaces A
    FUNCTIONAL ANALYSIS CHRISTIAN REMLING 1. Metric and topological spaces A metric space is a set on which we can measure distances. More precisely, we proceed as follows: let X 6= ; be a set, and let d : X×X ! [0; 1) be a map. Definition 1.1. (X; d) is called a metric space if d has the following properties, for arbitrary x; y; z 2 X: (1) d(x; y) = 0 () x = y (2) d(x; y) = d(y; x) (3) d(x; y) ≤ d(x; z) + d(z; y) Property 3 is called the triangle inequality. It says that a detour via z will not give a shortcut when going from x to y. The notion of a metric space is very flexible and general, and there are many different examples. We now compile a preliminary list of metric spaces. Example 1.1. If X 6= ; is an arbitrary set, then ( 0 x = y d(x; y) = 1 x 6= y defines a metric on X. Exercise 1.1. Check this. This example does not look particularly interesting, but it does sat- isfy the requirements from Definition 1.1. Example 1.2. X = C with the metric d(x; y) = jx−yj is a metric space. X can also be an arbitrary non-empty subset of C, for example X = R. In fact, this works in complete generality: If (X; d) is a metric space and Y ⊆ X, then Y with the same metric is a metric space also. Example 1.3. Let X = Cn or X = Rn. For each p ≥ 1, n !1=p X p dp(x; y) = jxj − yjj j=1 1 2 CHRISTIAN REMLING defines a metric on X.
    [Show full text]
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • On the Second Dual of the Space of Continuous Functions
    ON THE SECOND DUAL OF THE SPACE OF CONTINUOUS FUNCTIONS BY SAMUEL KAPLAN Introduction. By "the space of continuous functions" we mean the Banach space C of real continuous functions on a compact Hausdorff space X. C, its first dual, and its second dual are not only Banach spaces, but also vector lattices, and this aspect of them plays a central role in our treatment. In §§1-3, we collect the properties of vector lattices which we need in the paper. In §4 we add some properties of the first dual of C—the space of Radon measures on X—denoted by L in the present paper. In §5 we imbed C in its second dual, denoted by M, and then identify the space of all bounded real functions on X with a quotient space of M, in fact with a topological direct summand. Thus each bounded function on X represents an entire class of elements of M. The value of an element/ of M on an element p. of L is denoted as usual by/(p.)- If/lies in C then of course f(u) =p(f) (usually written J fdp), and thus the multiplication between Afand P is an extension of the multiplication between L and C. Now in integration theory, for each pEL, there is a stand- ard "extension" of ffdu to certain of the bounded functions on X (we confine ourselves to bounded functions in this paper), which are consequently called u-integrable. The question arises: how is this "extension" related to the multi- plication between M and L.
    [Show full text]
  • FUNCTIONAL ANALYSIS 1. Banach and Hilbert Spaces in What
    FUNCTIONAL ANALYSIS PIOTR HAJLASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, k · k), where X is a linear space over K and k · k : X → [0, ∞) is a function, called a norm, such that (1) kx + yk ≤ kxk + kyk for all x, y ∈ X; (2) kαxk = |α|kxk for all x ∈ X and α ∈ K; (3) kxk = 0 if and only if x = 0. Since kx − yk ≤ kx − zk + kz − yk for all x, y, z ∈ X, d(x, y) = kx − yk defines a metric in a normed space. In what follows normed paces will always be regarded as metric spaces with respect to the metric d. A normed space is called a Banach space if it is complete with respect to the metric d. Definition. Let X be a linear space over K (=R or C). The inner product (scalar product) is a function h·, ·i : X × X → K such that (1) hx, xi ≥ 0; (2) hx, xi = 0 if and only if x = 0; (3) hαx, yi = αhx, yi; (4) hx1 + x2, yi = hx1, yi + hx2, yi; (5) hx, yi = hy, xi, for all x, x1, x2, y ∈ X and all α ∈ K. As an obvious corollary we obtain hx, y1 + y2i = hx, y1i + hx, y2i, hx, αyi = αhx, yi , Date: February 12, 2009. 1 2 PIOTR HAJLASZ for all x, y1, y2 ∈ X and α ∈ K. For a space with an inner product we define kxk = phx, xi . Lemma 1.1 (Schwarz inequality).
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 3. Banach
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 3. BANACH SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples Notation 1.1. Throughout, F will denote either the real line R or the complex plane C. All vector spaces are assumed to be over the field F. Definition 1.2. Let X be a vector space over the field F. Then a semi-norm on X is a function k · k: X ! R such that (a) kxk ≥ 0 for all x 2 X, (b) kαxk = jαj kxk for all x 2 X and α 2 F, (c) Triangle Inequality: kx + yk ≤ kxk + kyk for all x, y 2 X. A norm on X is a semi-norm which also satisfies: (d) kxk = 0 =) x = 0. A vector space X together with a norm k · k is called a normed linear space, a normed vector space, or simply a normed space. Definition 1.3. Let I be a finite or countable index set (for example, I = f1; : : : ; Ng if finite, or I = N or Z if infinite). Let w : I ! [0; 1). Given a sequence of scalars x = (xi)i2I , set 1=p jx jp w(i)p ; 0 < p < 1; 8 i kxkp;w = > Xi2I <> sup jxij w(i); p = 1; i2I > where these quantities could be infinite.:> Then we set p `w(I) = x = (xi)i2I : kxkp < 1 : n o p p p We call `w(I) a weighted ` space, and often denote it just by `w (especially if I = N). If p p w(i) = 1 for all i, then we simply call this space ` (I) or ` and write k · kp instead of k · kp;w.
    [Show full text]
  • Course 221: Michaelmas Term 2006 Section 3: Complete Metric Spaces, Normed Vector Spaces and Banach Spaces
    Course 221: Michaelmas Term 2006 Section 3: Complete Metric Spaces, Normed Vector Spaces and Banach Spaces David R. Wilkins Copyright c David R. Wilkins 1997–2006 Contents 3 Complete Metric Spaces, Normed Vector Spaces and Banach Spaces 2 3.1 The Least Upper Bound Principle . 2 3.2 Monotonic Sequences of Real Numbers . 2 3.3 Upper and Lower Limits of Bounded Sequences of Real Numbers 3 3.4 Convergence of Sequences in Euclidean Space . 5 3.5 Cauchy’s Criterion for Convergence . 5 3.6 The Bolzano-Weierstrass Theorem . 7 3.7 Complete Metric Spaces . 9 3.8 Normed Vector Spaces . 11 3.9 Bounded Linear Transformations . 15 3.10 Spaces of Bounded Continuous Functions on a Metric Space . 19 3.11 The Contraction Mapping Theorem and Picard’s Theorem . 20 3.12 The Completion of a Metric Space . 23 1 3 Complete Metric Spaces, Normed Vector Spaces and Banach Spaces 3.1 The Least Upper Bound Principle A set S of real numbers is said to be bounded above if there exists some real number B such x ≤ B for all x ∈ S. Similarly a set S of real numbers is said to be bounded below if there exists some real number A such that x ≥ A for all x ∈ S. A set S of real numbers is said to be bounded if it is bounded above and below. Thus a set S of real numbers is bounded if and only if there exist real numbers A and B such that A ≤ x ≤ B for all x ∈ S.
    [Show full text]
  • Linear Operators and Adjoints
    Chapter 6 Linear operators and adjoints Contents Introduction .......................................... ............. 6.1 Fundamentals ......................................... ............. 6.2 Spaces of bounded linear operators . ................... 6.3 Inverseoperators.................................... ................. 6.5 Linearityofinverses.................................... ............... 6.5 Banachinversetheorem ................................. ................ 6.5 Equivalenceofspaces ................................. ................. 6.5 Isomorphicspaces.................................... ................ 6.6 Isometricspaces...................................... ............... 6.6 Unitaryequivalence .................................... ............... 6.7 Adjoints in Hilbert spaces . .............. 6.11 Unitaryoperators ...................................... .............. 6.13 Relations between the four spaces . ................. 6.14 Duality relations for convex cones . ................. 6.15 Geometric interpretation of adjoints . ............... 6.15 Optimization in Hilbert spaces . .............. 6.16 Thenormalequations ................................... ............... 6.16 Thedualproblem ...................................... .............. 6.17 Pseudo-inverseoperators . .................. 6.18 AnalysisoftheDTFT ..................................... ............. 6.21 6.1 Introduction The field of optimization uses linear operators and their adjoints extensively. Example. differentiation, convolution, Fourier transform,
    [Show full text]
  • Higher Dimensional Conundra
    Higher Dimensional Conundra Steven G. Krantz1 Abstract: In recent years, especially in the subject of harmonic analysis, there has been interest in geometric phenomena of RN as N → +∞. In the present paper we examine several spe- cific geometric phenomena in Euclidean space and calculate the asymptotics as the dimension gets large. 0 Introduction Typically when we do geometry we concentrate on a specific venue in a particular space. Often the context is Euclidean space, and often the work is done in R2 or R3. But in modern work there are many aspects of analysis that are linked to concrete aspects of geometry. And there is often interest in rendering the ideas in Hilbert space or some other infinite dimensional setting. Thus we want to see how the finite-dimensional result in RN changes as N → +∞. In the present paper we study some particular aspects of the geometry of RN and their asymptotic behavior as N →∞. We choose these particular examples because the results are surprising or especially interesting. We may hope that they will lead to further studies. It is a pleasure to thank Richard W. Cottle for a careful reading of an early draft of this paper and for useful comments. 1 Volume in RN Let us begin by calculating the volume of the unit ball in RN and the surface area of its bounding unit sphere. We let ΩN denote the former and ωN−1 denote the latter. In addition, we let Γ(x) be the celebrated Gamma function of L. Euler. It is a helpful intuition (which is literally true when x is an 1We are happy to thank the American Institute of Mathematics for its hospitality and support during this work.
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [Show full text]