DOCSLIB.ORG

Volume of an N-Ball

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Volume of an n-ball In geometry, a ball is a region in space comprising all points within a fixed distance from a given point; that is, it is the region enclosed by a sphere or hypersphere. An n-ball is a ball in n-dimensional Euclidean space. The volume of an n-ball is an important constant that occurs in formulas throughout mathematics; it generalizes the notion of the volume enclosed by a sphere in 3-dimensional space. Contents Formulas The volume Recursions Graphs of volumes (V) and surface Low dimensions areas (S) of n-spheres of radius 1. In High dimensions the SVG file, hover over a point to see its Relation with surface area decimal value. Proofs The volume is proportional to then th power of the radius The two-dimension recursion formula The one-dimension recursion formula Direct integration in spherical coordinates Gaussian integrals Balls in Lp norms See also References External links Formulas The volume The n-dimensional volume of a Euclidean ball of radiusR in n-dimensional Euclidean space is:[1] where Γ is Leonhard Euler's gamma function (which can be thought of as an extension of the factorial function to noninteger arguments). Using explicit formulas for particular values of the gamma function at the integers and half integers gives formulas for the volume of a Euclidean ball that do not require an evaluation of the gamma function. These are: In the formula for odd-dimensional volumes, the double factorial (2k + 1)!! is defined for odd integers 2k + 1 as (2k + 1)!! = 1 · 3 · 5 · … · (2 k − 1) · (2k + 1). Instead of expressing the volumeV of the ball in terms of its radius R, the formula can be inverted to express the radius as a function of the volume: This formula, too, can be separated into even- and odd-dimensional cases using factorials and double factorials in place of the gamma function: Recursions The volume satisfies several recursive formulas. These formulas can either be proved directly or proved as consequences of the general volume formula above. The simplest to state is a formula for the volume of an n-ball in terms of the volume of an (n − 2)- ball of the same radius: There is also a formula for the volume of ann -ball in terms of the volume of an( n − 1)-ball of the same radius: Using explicit formulas for the gamma function again shows that the one-dimension recursion formula can also be written as: The radius of an n-ball of volume V may be expressed recursively in terms of the radius of an (n − 1)-ball or an (n − 2)-ball. These formulas may be derived from the explicit formula forR n(V) above. Using explicit formulas for the gamma function shows that the one-dimension recursion formula is equivalent to and that the two-dimension recursion formula is equivalent to Low dimensions In low dimensions, these volume and radius formulas simplify to the following, which demonstrates that the volume of the unit n- sphere peaks at dimension 5. Dimension Volume of a ball of radiusR Radius of a ball of volumeV 0 (all 0-balls have volume 1) 1 2 3 4 5 6 7 8 9 10 High dimensions Suppose that R is fixed. Then the volume of ann -ball of radius R approaches zero as n tends to infinity. This can be shown using the two-dimension recursion formula. At each step, the new factor being multiplied into the volume is proportional to 1 / n, where the constant of proportionality 2πR2 is independent of n. Eventually, n is so large that the new factor is less than 1. From then on, the volume of an n-ball must decrease at least geometrically, and therefore it tends to zero. A variant on this proof uses the one- dimension recursion formula. Here, the new factor is proportional to a quotient of gamma functions.Gautschi's inequality bounds this quotient above by n−1/2. The argument concludes as before by showing that the volumes decrease at least geometrically. A more precise description of the high dimensional behavior of the volume can be obtained using Stirling's approximation. It implies the asymptotic formula: The error in this approximation is a factor of 1 + O(n−1). Stirling's approximation is in fact an underestimate of the gamma function, so the above formula is an upper bound. This provides another proof that the volume of the ball decreases exponentially: When n is sufficiently large, the factor R√2πe/n is less than one, and then the same argument as before applies. If instead V is fixed while n is large, then by Stirling's approximation again, het radius of an n-ball of volume V is approximately −1 This expression is a lower bound for Rn(V), and the error is again a factor of 1 + O(n ). As n increases, Rn(V) grows as O(√n). Relation with surface area Let An(R) denote the surface area of the n-sphere of radius R. The n-sphere is the boundary of the (n + 1)-ball of radius R. The (n + 1)-ball is a union of concentric spheres, and consequently the surface area and the volume are related by: Since the volume is proportional to a power of the radius, the above relation leads to a simple recurrence equation relating the surface area of an n-ball and the volume of an (n + 1)-ball. By applying the two-dimension recursion formula, it also gives a recurrence equation relating the surface area of ann -ball and the volume of an( n − 1)-ball: Proofs There are many proofs of the above formulas. The volume is proportional to then th power of the radius An important step in several proofs about volumes of n-balls, and a generally useful fact besides, is that the volume of the n-ball of radius R is proportional to Rn: The proportionality constant is the volume of the unit ball. This is a special case of a general fact about volumes in n-dimensional space: If K is a body (measurable set) in that space and RK is the body obtained by stretching in all directions by the factor R then the volume of RK equals Rn times the volume of K. This is a direct consequence of the change of variables formula: where dx = dx1…dxn and the substitution x = Ry was made. Another proof of the above relation, which avoids multi-dimensional integration, uses induction: The base case is n = 0, where the proportionality is obvious. For the inductive case, assume that proportionality is true in dimension n − 1. Note that the intersection of an n-ball with a hyperplane is an (n − 1)-ball. When the volume of the n-ball is written as an integral of volumes of (n − 1)- balls: it is possible by the inductive assumption to remove a factor ofR from the radius of the (n − 1)-ball to get: x Making the change of variables leads to: t = R which demonstrates the proportionality relation in dimensionn . By induction, the proportionality relation is true in all dimensions. The two-dimension recursion formula A proof of the recursion formula relating the volume of then -ball and an (n − 2)-ball can be given using the proportionality formula above and integration in cylindrical coordinates. Fix a plane through the center of the ball. Let r denote the distance between a point in the plane and the center of the sphere, and let θ denote the azimuth. Intersecting the n-ball with the (n − 2)-dimensional plane defined by fixing a radius and an azimuth gives an (n − 2)-ball of radius √R2 − r2. The volume of the ball can therefore be written as an iterated integral of the volumes of the( n − 2)-balls over the possible radii and azimuths: The azimuthal coordinate can be immediately integrated out. Applying the proportionality relation shows that the volume equals: r 2 The integral can be evaluated by making the substitution to get: u = 1 − ( R) which is the two-dimension recursion formula. The same technique can be used to give an inductive proof of the volume formula. The base cases of the induction are the 0-ball and 3 1 1 √π the 1-ball, which can be checked directly using the facts and . The inductive step is similar to the Γ(1) = 1 Γ(2) = 2 · Γ( 2) = 2 above, but instead of applying proportionality to the volumes of the(n − 2)-balls, the inductive assumption is applied instead. The one-dimension recursion formula The proportionality relation can also be used to prove the recursion formula relating the volumes of an n-ball and an (n − 1)-ball. As in the proof of the proportionality formula, the volume of an n-ball can be written as an integral over the volumes of (n − 1)- balls. Instead of making a substitution, however, the proportionality relation can be applied to the volumes of the (n − 1)-balls in the integrand: The integrand is an even function, so by symmetry the interval of integration can be restricted to [0, R]. On the interval [0, R], it is x 2 possible to apply the substitution . This transforms the expression into: u = (R) The integral is a value of a well-known special function called the beta function Β(x), and the volume in terms of the beta function is: The beta function can be expressed in terms of the gamma function in much the same way that factorials are related to binomial coefficients.
Recommended publications
  • General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert Action

    General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert Action

    General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert action Yacine Ali-Ha¨ımoud (Dated: October 3, 2018) σ σ HW comment: T µν antisym in µν does NOT imply that Tµν is antisym in µν. Volume element { Consider a LICS with primed coordinates. The 4-volume element is dV = d4x0 = 0 0 0 0 dx0 dx1 dx2 dx3 . If we change coordinates, we have 0 ! @xµ d4x0 = det d4x: (1) µ @x Now, the metric components change as 0 0 0 0 @xµ @xν @xµ @xν g = g 0 0 = η 0 0 ; (2) µν @xµ @xν µ ν @xµ @xν µ ν since the metric components are ηµ0ν0 in the LICS. Seing this as a matrix operation and taking the determinant, we find 0 !2 @xµ det(g ) = − det : (3) µν @xµ Hence, we find that the 4-volume element is q 4 p 4 p 4 dV = − det(gµν )d x ≡ −g d x ≡ jgj d x: (4) The integral of a scalar function f is well defined: given any coordinate system (even if only defined locally): Z Z f dV = f pjgj d4x: (5) We can only define the integral of a scalar function. The integral of a vector or tensor field is mean- ingless in curved spacetime. Think of the integral as a sum. To sum vectors, you need them to belong to the same vector space. There is no common vector space in curved spacetime. Only in flat spacetime can we define such integrals. First parallel-transport the vector field to a single point of spacetime (it doesn't matter which one).
  • Vector Calculus and Multiple Integrals Rob Fender, HT 2018

    Vector Calculus and Multiple Integrals Rob Fender, HT 2018

    Vector Calculus and Multiple Integrals Rob Fender, HT 2018 COURSE SYNOPSIS, RECOMMENDED BOOKS Course syllabus (on which exams are based): Double integrals and their evaluation by repeated integration in Cartesian, plane polar and other specified coordinate systems. Jacobians. Line, surface and volume integrals, evaluation by change of variables (Cartesian, plane polar, spherical polar coordinates and cylindrical coordinates only unless the transformation to be used is specified). Integrals around closed curves and exact differentials. Scalar and vector fields. The operations of grad, div and curl and understanding and use of identities involving these. The statements of the theorems of Gauss and Stokes with simple applications. Conservative fields. Recommended Books: Mathematical Methods for Physics and Engineering (Riley, Hobson and Bence) This book is lazily referred to as “Riley” throughout these notes (sorry, Drs H and B) You will all have this book, and it covers all of the maths of this course. However it is rather terse at times and you will benefit from looking at one or both of these: Introduction to Electrodynamics (Griffiths) You will buy this next year if you haven’t already, and the chapter on vector calculus is very clear Div grad curl and all that (Schey) A nice discussion of the subject, although topics are ordered differently to most courses NB: the latest version of this book uses the opposite convention to polar coordinates to this course (and indeed most of physics), but older versions can often be found in libraries 1 Week One A review of vectors, rotation of coordinate systems, vector vs scalar fields, integrals in more than one variable, first steps in vector differentiation, the Frenet-Serret coordinate system Lecture 1 Vectors A vector has direction and magnitude and is written in these notes in bold e.g.
  • The Boundary Manifold of a Complex Line Arrangement

    The Boundary Manifold of a Complex Line Arrangement

    Geometry & Topology Monographs 13 (2008) 105–146 105 The boundary manifold of a complex line arrangement DANIEL CCOHEN ALEXANDER ISUCIU We study the topology of the boundary manifold of a line arrangement in CP2 , with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial .G/, and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri–Neumann–Strebel invariants of G . From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G . Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal. 32S22; 57M27 For Fred Cohen on the occasion of his sixtieth birthday 1 Introduction 1.1 The boundary manifold Let A be an arrangement of hyperplanes in the complex projective space CPm , m > 1. Denote by V S H the corresponding hypersurface, and by X CPm V its D H A D n complement. Among2 the origins of the topological study of arrangements are seminal results of Arnol’d[2] and Cohen[8], who independently computed the cohomology of the configuration space of n ordered points in C, the complement of the braid arrangement. The cohomology ring of the complement of an arbitrary arrangement A is by now well known. It is isomorphic to the Orlik–Solomon algebra of A, see Orlik and Terao[34] as a general reference.
  • Mathematical Theorems

    Mathematical Theorems

    Appendix A Mathematical Theorems The mathematical theorems needed in order to derive the governing model equations are defined in this appendix. A.1 Transport Theorem for a Single Phase Region The transport theorem is employed deriving the conservation equations in continuum mechanics. The mathematical statement is sometimes attributed to, or named in honor of, the German Mathematician Gottfried Wilhelm Leibnitz (1646–1716) and the British fluid dynamics engineer Osborne Reynolds (1842–1912) due to their work and con- tributions related to the theorem. Hence it follows that the transport theorem, or alternate forms of the theorem, may be named the Leibnitz theorem in mathematics and Reynolds transport theorem in mechanics. In a customary interpretation the Reynolds transport theorem provides the link between the system and control volume representations, while the Leibnitz’s theorem is a three dimensional version of the integral rule for differentiation of an integral. There are several notations used for the transport theorem and there are numerous forms and corollaries. A.1.1 Leibnitz’s Rule The Leibnitz’s integral rule gives a formula for differentiation of an integral whose limits are functions of the differential variable [7, 8, 22, 23, 45, 55, 79, 94, 99]. The formula is also known as differentiation under the integral sign. H. A. Jakobsen, Chemical Reactor Modeling, DOI: 10.1007/978-3-319-05092-8, 1361 © Springer International Publishing Switzerland 2014 1362 Appendix A: Mathematical Theorems b(t) b(t) d ∂f (t, x) db da f (t, x) dx = dx + f (t, b) − f (t, a) (A.1) dt ∂t dt dt a(t) a(t) The first term on the RHS gives the change in the integral because the function itself is changing with time, the second term accounts for the gain in area as the upper limit is moved in the positive axis direction, and the third term accounts for the loss in area as the lower limit is moved.
  • Slices, Slabs, and Sections of the Unit Hypercube

    Slices, Slabs, and Sections of the Unit Hypercube

    Slices, Slabs, and Sections of the Unit Hypercube Jean-Luc Marichal Michael J. Mossinghoff Institute of Mathematics Department of Mathematics University of Luxembourg Davidson College 162A, avenue de la Fa¨ıencerie Davidson, NC 28035-6996 L-1511 Luxembourg USA Luxembourg [email protected] [email protected] Submitted: July 27, 2006; Revised: August 6, 2007; Accepted: January 21, 2008; Published: January 29, 2008 Abstract Using combinatorial methods, we derive several formulas for the volume of convex bodies obtained by intersecting a unit hypercube with a halfspace, or with a hyperplane of codimension 1, or with a flat defined by two parallel hyperplanes. We also describe some of the history of these problems, dating to P´olya’s Ph.D. thesis, and we discuss several applications of these formulas. Subject Class: Primary: 52A38, 52B11; Secondary: 05A19, 60D05. Keywords: Cube slicing, hyperplane section, signed decomposition, volume, Eulerian numbers. 1 Introduction In this note we study the volumes of portions of n-dimensional cubes determined by hyper- planes. More precisely, we study slices created by intersecting a hypercube with a halfspace, slabs formed as the portion of a hypercube lying between two parallel hyperplanes, and sections obtained by intersecting a hypercube with a hyperplane. These objects occur natu- rally in several fields, including probability, number theory, geometry, physics, and analysis. In this paper we describe an elementary combinatorial method for calculating volumes of arbitrary slices, slabs, and sections of a unit cube. We also describe some applications that tie these geometric results to problems in analysis and combinatorics. Some of the results we obtain here have in fact appeared earlier in other contexts.
  • Graph Manifolds and Taut Foliations Mark Brittenham1, Ramin Naimi, and Rachel Roberts2 Introduction

    Graph Manifolds and Taut Foliations Mark Brittenham1, Ramin Naimi, and Rachel Roberts2 Introduction

    Graph manifolds and taut foliations 1 2 Mark Brittenham , Ramin Naimi, and Rachel Roberts UniversityofTexas at Austin Abstract. We examine the existence of foliations without Reeb comp onents, taut 1 1 foliations, and foliations with no S S -leaves, among graph manifolds. We show that each condition is strictly stronger than its predecessors, in the strongest p os- sible sense; there are manifolds admitting foliations of eachtyp e which do not admit foliations of the succeeding typ es. x0 Introduction Taut foliations have b een increasingly useful in understanding the top ology of 3-manifolds, thanks largely to the work of David Gabai [Ga1]. Many 3-manifolds admit taut foliations [Ro1],[De],[Na1], although some do not [Br1],[Cl]. To date, however, there are no adequate necessary or sucient conditions for a manifold to admit a taut foliation. This pap er seeks to add to this confusion. In this pap er we study the existence of taut foliations and various re nements, among graph manifolds. What we show is that there are many graph manifolds which admit foliations that are as re ned as wecho ose, but which do not admit foliations admitting any further re nements. For example, we nd manifolds which admit foliations without Reeb comp onents, but no taut foliations. We also nd 0 manifolds admitting C foliations with no compact leaves, but which do not admit 2 any C such foliations. These results p oint to the subtle nature b ehind b oth top ological and analytical assumptions when dealing with foliations. A principal motivation for this work came from a particularly interesting exam- ple; the manifold M obtained by 37/2 Dehn surgery on the 2,3,7 pretzel knot K .
  • Higher Dimensional Conundra

    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.
  • Square Series Generating Function Transformations 127

    Square Series Generating Function Transformations 127

    Journal of Inequalities and Special Functions ISSN: 2217-4303, URL: www.ilirias.com/jiasf Volume 8 Issue 2(2017), Pages 125-156. SQUARE SERIES GENERATING FUNCTION TRANSFORMATIONS MAXIE D. SCHMIDT Abstract. We construct new integral representations for transformations of the ordinary generating function for a sequence, hfni, into the form of a gen- erating function that enumerates the corresponding \square series" generating n2 function for the sequence, hq fni, at an initially fixed non-zero q 2 C. The new results proved in the article are given by integral{based transformations of ordinary generating function series expanded in terms of the Stirling num- bers of the second kind. We then employ known integral representations for the gamma and double factorial functions in the construction of these square series transformation integrals. The results proved in the article lead to new applications and integral representations for special function series, sequence generating functions, and other related applications. A summary Mathemat- ica notebook providing derivations of key results and applications to specific series is provided online as a supplemental reference to readers. 1. Notation and conventions Most of the notational conventions within the article are consistent with those employed in the references [11, 15]. Additional notation for special parameterized classes of the square series expansions studied in the article is defined in Table 1 on page 129. We utilize this notation for these generalized classes of square series functions throughout the article. The following list provides a description of the other primary notations and related conventions employed throughout the article specific to the handling of sequences and the coefficients of formal power series: I Sequences and Generating Functions: The notation hfni ≡ ff0; f1; f2;:::g is used to specify an infinite sequence over the natural numbers, n 2 N, where we define N = f0; 1; 2;:::g and Z+ = f1; 2; 3;:::g.
  • MTH 304: General Topology Semester 2, 2017-2018

    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..........................
  • Convolution on the N-Sphere with Application to PDF Modeling Ivan Dokmanic´, Student Member, IEEE, and Davor Petrinovic´, Member, IEEE

    Convolution on the N-Sphere with Application to PDF Modeling Ivan Dokmanic´, Student Member, IEEE, and Davor Petrinovic´, Member, IEEE

    IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 58, NO. 3, MARCH 2010 1157 Convolution on the n-Sphere With Application to PDF Modeling Ivan Dokmanic´, Student Member, IEEE, and Davor Petrinovic´, Member, IEEE Abstract—In this paper, we derive an explicit form of the convo- emphasis on wavelet transform in [8]–[12]. Computation of the lution theorem for functions on an -sphere. Our motivation comes Fourier transform and convolution on groups is studied within from the design of a probability density estimator for -dimen- the theory of noncommutative harmonic analysis. Examples sional random vectors. We propose a probability density function (pdf) estimation method that uses the derived convolution result of applications of noncommutative harmonic analysis in engi- on . Random samples are mapped onto the -sphere and esti- neering are analysis of the motion of a rigid body, workspace mation is performed in the new domain by convolving the samples generation in robotics, template matching in image processing, with the smoothing kernel density. The convolution is carried out tomography, etc. A comprehensive list with accompanying in the spectral domain. Samples are mapped between the -sphere theory and explanations is given in [13]. and the -dimensional Euclidean space by the generalized stereo- graphic projection. We apply the proposed model to several syn- Statistics of random vectors whose realizations are observed thetic and real-world data sets and discuss the results. along manifolds embedded in Euclidean spaces are commonly termed directional statistics. An excellent review may be found Index Terms—Convolution, density estimation, hypersphere, hy- perspherical harmonics, -sphere, rotations, spherical harmonics. in [14]. It is of interest to develop tools for the directional sta- tistics in analogy with the ordinary Euclidean.
  • A TEXTBOOK of TOPOLOGY Lltld

    A TEXTBOOK of TOPOLOGY Lltld

    SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY lltld SEI FER T: 7'0PO 1.OG 1' 0 I.' 3- Dl M E N SI 0 N A I. FIRERED SPACES This is a volume in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: SAMUELEILENBERG AND HYMANBASS A list of recent titles in this series appears at the end of this volunie. SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY H. SEIFERT and W. THRELFALL Translated by Michael A. Goldman und S E I FE R T: TOPOLOGY OF 3-DIMENSIONAL FIBERED SPACES H. SEIFERT Translated by Wolfgang Heil Edited by Joan S. Birman and Julian Eisner @ 1980 ACADEMIC PRESS A Subsidiary of Harcourr Brace Jovanovich, Publishers NEW YORK LONDON TORONTO SYDNEY SAN FRANCISCO COPYRIGHT@ 1980, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED. NO PART OF THIS PUBLICATION MAY BE REPRODUCED OR TRANSMITTED IN ANY FORM OR BY ANY MEANS, ELECTRONIC OR MECHANICAL, INCLUDING PHOTOCOPY, RECORDING, OR ANY INFORMATION STORAGE AND RETRIEVAL SYSTEM, WITHOUT PERMISSION IN WRITING FROM THE PUBLISHER. ACADEMIC PRESS, INC. 11 1 Fifth Avenue, New York. New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. 24/28 Oval Road, London NWI 7DX Mit Genehmigung des Verlager B. G. Teubner, Stuttgart, veranstaltete, akin autorisierte englische Ubersetzung, der deutschen Originalausgdbe. Library of Congress Cataloging in Publication Data Seifert, Herbert, 1897- Seifert and Threlfall: A textbook of topology. Seifert: Topology of 3-dimensional fibered spaces. (Pure and applied mathematics, a series of mono- graphs and textbooks ; ) Translation of Lehrbuch der Topologic. Bibliography: p. Includes index. 1.
  • General Topology

    General Topology

    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).