DOCSLIB.ORG

Chapter I: Differentiable Manifolds Seetzoh 1: Topology of Euclidean

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter I: Differentiable Manifolds Seetzoh 1: Topology of Euclidean i I DIFFEREN~TALam ALGEBRRIC TOPOLOGY Chapter I: Differentiable Manifolds Seetzoh 1: Topology of Euclidean Space Topological spaces, Continuous functions, Metric spaces, Convergence, Compactness, Heine-Bore1 Theorem, Maxima and minima Section 2: Differential Structure of Euclidean Space Definition of differentiable function, cr-functions, Criterion in terms of partial derivatives, Chain rule, Diffeomorphism Section 3: Manifolds in Euclidean Space Statement of the Implicit-FunctionTheorem, Consequences, Definition of manifold in Euclidean space, Examples, Reformulation of the Implicit Function Theorem, Inverse Function 'Theorem, Proof -Ekt?tXoh\4: Manifolds -- The Abstract Definition Charts, Overlap functions, Atlases, Counter- examples, Definition of Manifold, Dimension Section 5: Examples of Differentiable Manifolds Quotients of free group actions ,T~,wn, apn, homogeneous coordinates, homogeneous polynomials, Lie groups Section 6: Further Notes and Generalizations Other kinds of manifolds--complex, foliated, , Manifolds with boundary, Algebraic varieties 'Sect'ioh 7: Maps between Manifolds Definition of a cr-map, rank of the differential, submersion, immersion, and embedding, submanifold Chapter 11: Tangential Structure Tangent plane at a point in terms of defining equations, in terms of curves, normal plane SBct20rX 2: Tangent Planes in General --* Germs of cm-functions at a point, derivations, TMp, A basis for TMp . b (i ' Wctr'on\ 3 : The Tangent Bundle Local trivialization, Transition functions, Vector bundles, Differential of a cW-map, WRitney sump Sections \ 204 : Orfentability For vector spaces, For vector bundles, For manifolds Sect2'o'nn5 : Vector Fields Definition, Integral curves, Ordinary differential equations, Existence, uniqueness, and Cwvariation with parameter of solutions, Local structure of non-zero vector fields, 1-dimensional foliations, Case of compact manifolds cri6: Algebraic Structure of Vector Fields Topology, Real vector space structure, Module structure over the Cw-functions, Derivations of c"-functions, Lie bracket, Lie algebra Chapter\ ITX: Differentials Forms Sect2on 1: Multilinear Algehra Alternathg forms, (v*) , Determinant, Wedge product SectSon 2: Differential Forms - The Definition Definition, Local expre'ssions, Transformation law, Wedge product, Module structure over the C"-functions, Volume forms for surfaces in 1g3 Section 3 : Integration Definition in local coordinates, Proof of independence of the coordinates, Global definition Section 4: Exterior Differentiation Axioms, Proof of existence and uniuueness, Formula in local coordinates Secki$n. 5: Complex Valued Differential Forms Definition, Decomposition of a complex manif old Sectbn' 6: Manifolds with Corners Definition, Structure of the boundary Statement of Stokes' Theorem Section 8: Partitions of Unity Definition, Proof of existence Sectton 9: Proof of Stokes' Theorem S~eOioh$0: Applications of Stokes' Theorem Proof of Cauchy s Integral Forwla The windi'ny number as an integral, Examples of closed forms on the circle and higher dimensional tori. i I I I Section 1 : THE TOPOLOGY OF EUCLIDEAN SPACE We begin these notes with a brief review of point set topology. We shall, in. the sequel, always be concerned with "nice" spaces (metric I spaces). Thus, we shall not deal here at all with pathological examples Cst but shall restrict ourselves, whenever convenient, to metric spaces. 1 w A topological space, (X,.T), is a set, X, together with a collection, r. r. I : T, of subsets of X called open subsets of X. The collection is 1 required to satisfy the following four axioms : I I 1,) X is an open subset of X. I 4' 2 ) Tfie empty set, +, is an open subset of X. 3 An arbLtrary union of open subsets is an open subset of X. 1 7, 4) . # finite intersection of open subsets is an open subset. The main example that we have in mind in this chapter in Euclidean space, mn. Its underlying set consists of all n-tuples, (xl, .- , xn), =A of real numbers. The topology is defined in terms of the usual distance I, * function in mn : We define the open ball of radius r centered about a point p to be : A set U in lRn is defined to be open if and only if for each , p E U there is E > 0 so that BE(p) CU. One checks easily that this collection of subsets satisfies the four axioms. Z* If X is a topological space, and if A c X is a subset, then A inherits a topology from X, The open sets of A are all inter- sections, A n U, where U is an open subset of X. As an example, if we let lRk lRn be the subset of all n-tuples of the form {(x~,-** , xk, 0, - ., 0) 3, then the topology that mk inherits from lRn is identical. to the topology defined abstractly, as above, for lRk If X and Y are topological spaces, then f : X + Y is a continuous function if and only for every open set U GI, the set f-I (u) c X is open. (Recall that f-I (u) = {x E x I f (x) E u 1. ) A homeomorphism from X to Y is a continuous bijection f : X -+ Y whose inverse f-' : Y -t X is also continuous. As we have seen, the topology of Eln is defined in terms of the Pythagorean distance function. Abstracting the basic properties of this distance function leads to the concept of a metric space. Many of the basic properties of IR" are shared by all metric spaces. Definition : Let X be a topological space. A metric is a continuous function d : X x X -t lR+ = {r E lRl r -> 03 such that : 2 d(x,y) = o if andonly if x=y, and e L - A word is necessary about the topology on X x X. It is the so called - product topology, In general, if A and B are topological spaces, then A x B receives a natural topology - the product topology. A set V =A x B is open if and only if for every p E V, there are open sets, UA of A and UB of B, such that p E (UA x UB) c v. It is an easy exercise to show that the topology on lFtn agrees with i the (n-fold) product topology when we consider IR" as IRx xIR (n-times). The metric on IEZn is, of course, the Pythagorean distance. We. also denote d(x,O) by Ilxll. 00 If X is a metric space and {X,},=~ is a sequence of points of X, then we say that x.converges to x, or {xn) + X, if and only if lim d(xn,x) = 0 . (As an exercise, give the definition n+m of convergence in an arbitrary topological space .) Clearly, a sequence can . converge.', to at most one point in a metric space and need not -4 converge to any point at all. - - Lemma 1.1 : -Let X -and Y -be metric spaces, --and let f : X + Y -be -a function. -Then f -is continuous --if and only -if whenever -a sequence {x converges to x n 1 - & X the sequence.{f (xn)} comerqe$ to f (x) in- y. proof : Suppose that there is a sequence x in X which converges to x but that {f (x,) 1 does not converge to f (x). This means that there is an open ball, BE (f (x)) and a sequence of natural numbers % approaching + so that f (x 1 fi BE (f (x) . Hence, fml (BE (f (x)) ) "k contains x but does not contain any xn . Since {x.~14 x. this k implies that no open ball, B6 (x), is contained in fmL(BE(x) . This I shows that f-l (BE (f (x))) is no; open, and consequently that f is not continuous. Conversely, suppose that whenever k,} + x then {f(xn)} + f(x) . Suppose in addition that f is not continuous. From these assumptions we will derive a contradiction. If f is not continuous, then there is an open set U c Y so that f-'(U) c X is not open. Thus, there is x E f-'(U) such that there is no open ball of the form B6 (x) contained in f-l (U) . Thus, for every n > 0, there is a point xn E(X - fw1(U)) such that d(x.,,x) < . The sequence {xn> converges to x. Since xn j! fml (u), we have f (in)fi iJ. Thus, {f (xn)1 does not converge to f(x). This is the sought after contradiction which shows that if €xsn1+ x implies If(x,) 1 + f (x). then f is contir~uous. Examples : 1) Any map f : Wn + W which is given by polynomials in the coordinates (x~,--• , xn) is continuous. Hence the following maps are continuous : n Let d(lRn, *) be the linear maps from lRn to lRm. Any such 2) mapping is identified with an (m x n) -matrix, (ai ) . (Recall that when we identify linear maps with matrices we write elements in lRn and lRm as column vectors. ) A matrix gives a linear map via matrix multiplication on the left : -- mm n This correspondence identifies d(lRn , lRm ) with - We use this identification to define a topology on , lRm) . Thus, an open set of linear maps is one with the following property. Given any 4 in ' the set with matrix representative . there is E > 0 SO that 17 every I/J with I/Jij E for every pair (i,j) is in the set. I - dij 1 < Ta utologically , d (lRn, lRm ) becomes homeomorphic to lRn-m via this identification. Consider the evaluation map e : 2 (lRn, fl) x. nnR"- lRm - _ given by e (9 ,x ) = 4 (x). If we give d(lRn , lRm ) x lRn the product - - topology, then e becomes continuous. The reason is that, in the coordinates a,xiL e is given by quadratic polynomials.
Load more

Recommended publications
  • 12 | Urysohn Metrization Theorem
    12 | Urysohn Metrization Theorem In this chapter we return to the problem of determining which topological spaces are metrizable i.e. can be equipped with a metric which is compatible with their topology. We have seen already that any metrizable space must be normal, but that not every normal space is metrizable. We will show, however, that if a normal space space satisfies one extra condition then it is metrizable. Recall that a space X is second countable if it has a countable basis. We have: 12.1 Urysohn Metrization Theorem. Every second countable normal space is metrizable. The main idea of the proof is to show that any space as in the theorem can be identified with a subspace of some metric space. To make this more precise we need the following: 12.2 Definition. A continuous function i: X → Y is an embedding if its restriction i: X → i(X) is a homeomorphism (where i(X) has the topology of a subspace of Y ). 12.3 Example. The function i: (0; 1) → R given by i(x) = x is an embedding. The function j : (0; 1) → R given by j(x) = 2x is another embedding of the interval (0; 1) into R. 12.4 Note. 1) If j : X → Y is an embedding then j must be 1-1. 2) Not every continuous 1-1 function is an embedding. For example, take N = {0; 1; 2;::: } with the discrete topology, and let f : N → R be given ( n f n 0 if = 0 ( ) = 1 n if n > 0 75 12.
    [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]
  • 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).
    [Show full text]
  • An 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 Metrization The- orem Contents 1. Introduction 1 2. Product Topology 2 3. More Product Topology and R! 3 4. Separation Axioms 4 5. Urysohn's Lemma 5 6. Urysohn's Metrization Theorem 6 7. Local Finiteness and Gδ sets 8 8. Nagata-Smirnov Metrization Theorem 11 References 13 1. Introduction In this paper we will be exploring a basic topological notion known as metriz- ability, or whether or not a given topology can be understood through a distance function. We first give the reader some basic definitions. As an outline, we will be using these notions to first prove Urysohn's lemma, which we then use to prove Urysohn's metrization theorem, and we culminate by proving the Nagata Smirnov Metrization Theorem. Definition 1.1. Let X be a topological space. The collection of subsets B ⊂ X forms a basis for X if for any open U ⊂ X can be written as the union of elements of B Definition 1.2. Let X be a set. Let B ⊂ X be a collection of subsets of X. The topology generated by B is the intersection of all topologies on X containing B. Definition 1.3. Let X and Y be topological spaces. A map f : X ! Y . If f is a homeomorphism if it is a continuous bijection with a continuous inverse. If there is a homeomorphism from X to Y , we say that X and Y are homeo- morphic.
    [Show full text]
  • Properties of Euclidean Space
    Section 3.1 Properties of Euclidean Space As has been our convention throughout this course, we use the notation R2 to refer to the plane (two dimensional space); R3 for three dimensional space; and Rn to indicate n dimensional space. Alternatively, these spaces are often referred to as Euclidean spaces; for example, \three dimensional Euclidean space" refers to R3. In this section, we will point out many of the special features common to the Euclidean spaces; in Chapter 4, we will see that many of these features are shared by other \spaces" as well. Many of the graphics in this section are drawn in two dimensions (largely because this is the easiest space to visualize on paper), but you should be aware that the ideas presented apply to n dimensional Euclidean space, not just to two dimensional space. Vectors in Euclidean Space When we refer to a vector in Euclidean space, we mean directed line segments that are embedded in the space, such as the vector pictured below in R2: We often refer to a vector, such as the vector AB shown below, by its initial and terminal points; in this example, A is the initial point of AB, and B is the terminal point of the vector. While we often think of n dimensional space as being made up of points, we may equivalently consider it to be made up of vectors by identifying points and vectors. For instance, we identify the point (2; 1) in two dimensional Euclidean space with the vector with initial point (0; 0) and terminal point (2; 1): 1 Section 3.1 In this way, we think of n dimensional Euclidean space as being made up of n dimensional vectors.
    [Show full text]
  • DEFINITIONS and THEOREMS in GENERAL TOPOLOGY 1. Basic
    DEFINITIONS AND THEOREMS IN GENERAL TOPOLOGY 1. Basic definitions. A topology on a set X is defined by a family O of subsets of X, the open sets of the topology, satisfying the axioms: (i) ; and X are in O; (ii) the intersection of finitely many sets in O is in O; (iii) arbitrary unions of sets in O are in O. Alternatively, a topology may be defined by the neighborhoods U(p) of an arbitrary point p 2 X, where p 2 U(p) and, in addition: (i) If U1;U2 are neighborhoods of p, there exists U3 neighborhood of p, such that U3 ⊂ U1 \ U2; (ii) If U is a neighborhood of p and q 2 U, there exists a neighborhood V of q so that V ⊂ U. A topology is Hausdorff if any distinct points p 6= q admit disjoint neigh- borhoods. This is almost always assumed. A set C ⊂ X is closed if its complement is open. The closure A¯ of a set A ⊂ X is the intersection of all closed sets containing X. A subset A ⊂ X is dense in X if A¯ = X. A point x 2 X is a cluster point of a subset A ⊂ X if any neighborhood of x contains a point of A distinct from x. If A0 denotes the set of cluster points, then A¯ = A [ A0: A map f : X ! Y of topological spaces is continuous at p 2 X if for any open neighborhood V ⊂ Y of f(p), there exists an open neighborhood U ⊂ X of p so that f(U) ⊂ V .
    [Show full text]
  • About Symmetries in Physics
    LYCEN 9754 December 1997 ABOUT SYMMETRIES IN PHYSICS Dedicated to H. Reeh and R. Stora1 Fran¸cois Gieres Institut de Physique Nucl´eaire de Lyon, IN2P3/CNRS, Universit´eClaude Bernard 43, boulevard du 11 novembre 1918, F - 69622 - Villeurbanne CEDEX Abstract. The goal of this introduction to symmetries is to present some general ideas, to outline the fundamental concepts and results of the subject and to situate a bit the following arXiv:hep-th/9712154v1 16 Dec 1997 lectures of this school. [These notes represent the write-up of a lecture presented at the fifth S´eminaire Rhodanien de Physique “Sur les Sym´etries en Physique” held at Dolomieu (France), 17-21 March 1997. Up to the appendix and the graphics, it is to be published in Symmetries in Physics, F. Gieres, M. Kibler, C. Lucchesi and O. Piguet, eds. (Editions Fronti`eres, 1998).] 1I wish to dedicate these notes to my diploma and Ph.D. supervisors H. Reeh and R. Stora who devoted a major part of their scientific work to the understanding, description and explo- ration of symmetries in physics. Contents 1 Introduction ................................................... .......1 2 Symmetries of geometric objects ...................................2 3 Symmetries of the laws of nature ..................................5 1 Geometric (space-time) symmetries .............................6 2 Internal symmetries .............................................10 3 From global to local symmetries ...............................11 4 Combining geometric and internal symmetries ...............14
    [Show full text]
  • A Partition Property of Simplices in Euclidean Space
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number I, January 1990 A PARTITION PROPERTY OF SIMPLICES IN EUCLIDEAN SPACE P. FRANKL AND V. RODL 1. INTRODUCTION AND STATEMENT OF THE RESULTS Let ]Rn denote n-dimensional Euclidean space endowed with the standard metric. For x, y E ]Rn , their distance is denoted by Ix - yl. Definition 1.1 [E]. A subset B of ]Rd is called Ramsey if for every r ~ 2 there exists some n = n(r, B) with the following partition property. For every partition ]Rn = V; u ... U ~ , there exists some j, 1::::; j ::::; r, and Bj C fj such that B is congruent to Bj • In a series of papers, Erdos et al. [E] have investigated this property. They have shown that all Ramsey sets are spherical, that is, every Ramsey set is con- tained in an appropriate sphere. On the other hand, they have shown that the vertex set (and, therefore, all its subsets) of bricks (d-dimensional paral- lelepipeds) is Ramsey. The simplest sets that are spherical but cannot be embedded into the vertex set of a brick are the sets of obtuse triangles. In [FR 1], it is shown that they are indeed Ramsey, using Ramsey's Theorem (cf. [G2]) and the Product Theorem of [E]. The aim of the present paper is twofold. First, we want to show that the vertex set of every nondegenerate simplex in any dimension is Ramsey. Second, we want to show that for both simplices and bricks, and even for their products, one can in fact choose n(r, B) = c(B)logr, where c(B) is an appropriate positive constant.
    [Show full text]
  • Euclidean Space - Wikipedia, the Free Encyclopedia Page 1 of 5
    Euclidean space - Wikipedia, the free encyclopedia Page 1 of 5 Euclidean space From Wikipedia, the free encyclopedia In mathematics, Euclidean space is the Euclidean plane and three-dimensional space of Euclidean geometry, as well as the generalizations of these notions to higher dimensions. The term “Euclidean” distinguishes these spaces from the curved spaces of non-Euclidean geometry and Einstein's general theory of relativity, and is named for the Greek mathematician Euclid of Alexandria. Classical Greek geometry defined the Euclidean plane and Euclidean three-dimensional space using certain postulates, while the other properties of these spaces were deduced as theorems. In modern mathematics, it is more common to define Euclidean space using Cartesian coordinates and the ideas of analytic geometry. This approach brings the tools of algebra and calculus to bear on questions of geometry, and Every point in three-dimensional has the advantage that it generalizes easily to Euclidean Euclidean space is determined by three spaces of more than three dimensions. coordinates. From the modern viewpoint, there is essentially only one Euclidean space of each dimension. In dimension one this is the real line; in dimension two it is the Cartesian plane; and in higher dimensions it is the real coordinate space with three or more real number coordinates. Thus a point in Euclidean space is a tuple of real numbers, and distances are defined using the Euclidean distance formula. Mathematicians often denote the n-dimensional Euclidean space by , or sometimes if they wish to emphasize its Euclidean nature. Euclidean spaces have finite dimension. Contents 1 Intuitive overview 2 Real coordinate space 3 Euclidean structure 4 Topology of Euclidean space 5 Generalizations 6 See also 7 References Intuitive overview One way to think of the Euclidean plane is as a set of points satisfying certain relationships, expressible in terms of distance and angle.
    [Show full text]
  • Arxiv:1704.03334V1 [Physics.Gen-Ph] 8 Apr 2017 Oin Ffltsaeadtime
    WHAT DO WE KNOW ABOUT THE GEOMETRY OF SPACE? B. E. EICHINGER Department of Chemistry, University of Washington, Seattle, Washington 98195-1700 Abstract. The belief that three dimensional space is infinite and flat in the absence of matter is a canon of physics that has been in place since the time of Newton. The assumption that space is flat at infinity has guided several modern physical theories. But what do we actually know to support this belief? A simple argument, called the ”Telescope Principle”, asserts that all that we can know about space is bounded by observations. Physical theories are best when they can be verified by observations, and that should also apply to the geometry of space. The Telescope Principle is simple to state, but it leads to very interesting insights into relativity and Yang-Mills theory via projective equivalences of their respective spaces. 1. Newton and the Euclidean Background Newton asserted the existence of an Absolute Space which is infinite, three dimensional, and Euclidean.[1] This is a remarkable statement. How could Newton know anything about the nature of space at infinity? Obviously, he could not know what space is like at infinity, so what motivated this assertion (apart from Newton’s desire to make space the sensorium of an infinite God)? Perhaps it was that the geometric tools available to him at the time were restricted to the principles of Euclidean plane geometry and its extension to three dimensions, in which infinite space is inferred from the parallel postulate. Given these limited mathematical resources, there was really no other choice than Euclid for a description of the geometry of space within which to formulate a theory of motion of material bodies.
    [Show full text]
  • A CONCISE MINI HISTORY of GEOMETRY 1. Origin And
    Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 5{21. A CONCISE MINI HISTORY OF GEOMETRY LEOPOLD VERSTRAELEN 1. Origin and development in Old Greece Mathematics was the crowning and lasting achievement of the ancient Greek cul- ture. To more or less extent, arithmetical and geometrical problems had been ex- plored already before, in several previous civilisations at various parts of the world, within a kind of practical mathematical scientific context. The knowledge which in particular as such first had been acquired in Mesopotamia and later on in Egypt, and the philosophical reflections on its meaning and its nature by \the Old Greeks", resulted in the sublime creation of mathematics as a characteristically abstract and deductive science. The name for this science, \mathematics", stems from the Greek language, and basically means \knowledge and understanding", and became of use in most other languages as well; realising however that, as a matter of fact, it is really an art to reach new knowledge and better understanding, the Dutch term for mathematics, \wiskunde", in translation: \the art to achieve wisdom", might be even more appropriate. For specimens of the human kind, \nature" essentially stands for their organised thoughts about sensations and perceptions of \their worlds outside and inside" and \doing mathematics" basically stands for their thoughtful living in \the universe" of their idealisations and abstractions of these sensations and perceptions. Or, as Stewart stated in the revised book \What is Mathematics?" of Courant and Robbins: \Mathematics links the abstract world of mental concepts to the real world of physical things without being located completely in either".
    [Show full text]
  • Basics of Euclidean Geometry
    This is page 162 Printer: Opaque this 6 Basics of Euclidean Geometry Rien n'est beau que le vrai. |Hermann Minkowski 6.1 Inner Products, Euclidean Spaces In a±ne geometry it is possible to deal with ratios of vectors and barycen- ters of points, but there is no way to express the notion of length of a line segment or to talk about orthogonality of vectors. A Euclidean structure allows us to deal with metric notions such as orthogonality and length (or distance). This chapter and the next two cover the bare bones of Euclidean ge- ometry. One of our main goals is to give the basic properties of the transformations that preserve the Euclidean structure, rotations and re- ections, since they play an important role in practice. As a±ne geometry is the study of properties invariant under bijective a±ne maps and projec- tive geometry is the study of properties invariant under bijective projective maps, Euclidean geometry is the study of properties invariant under certain a±ne maps called rigid motions. Rigid motions are the maps that preserve the distance between points. Such maps are, in fact, a±ne and bijective (at least in the ¯nite{dimensional case; see Lemma 7.4.3). They form a group Is(n) of a±ne maps whose corresponding linear maps form the group O(n) of orthogonal transformations. The subgroup SE(n) of Is(n) corresponds to the orientation{preserving rigid motions, and there is a corresponding 6.1. Inner Products, Euclidean Spaces 163 subgroup SO(n) of O(n), the group of rotations.
    [Show full text]