DOCSLIB.ORG

Smooth Manifolds

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Smooth Manifolds CHAPTER 1: SMOOTH MANIFOLDS DAVID GLICKENSTEIN 1. Introduction This semester we will focus primarily on the basics of smooth manifold theory. We will spend some time on what a manifold is and what its properties are. This involves a discussion of the di¤erential theory of manifolds, including vector …elds and tensor …elds. We will then discuss a bit about integration on manifolds, speci…- cally the integration of di¤erential forms. Finally, the relationship between the two is given by Stokes’Theorem. Next semester we will tackle algebraic topology and its relation to di¤erential forms and the work from this semester. Reminder: the qualifying exam will also cover the basics of complex analysis. This will not be covered in this class, though I hope to give some questions about it throughout the semester. You are expected to have a good grounding in multivariable calculus and point- set topology already. You may want to review a bit. 2. Topological manifolds We de…ne a topological manifold as follows: De…nition 1. A topological space M is a manifold of dimension n if (1) M is Hausdor¤, and (2) M is second countable, and (3) M is locally Euclidean of dimension n. This de…nition depends on the following de…nitions: De…nition 2. A topological space X is Hausdor¤ if for all x; y X such that x = y; there exist open sets U; V such that x U; y V and U V 2= : 6 2 2 \ ; De…nition 3. A topological space X is second countable if it has a countable basis for the topology, i.e., there exists a countable collection of open sets U such N f g 2 that for any open set U X containing a point x; there exists a N such that 2 x U U: 2 De…nition 4. A topological space X is locally Euclidean of dimension n if for each x X; there exists an open set U X containing X and a map : U Rn such that2 : U (U) is a homeomorphism (in particular, (U) is an open! subset of ! Rn). The …rst two conditions are essentially technical conditions, with the third con- dition giving the main condition on being a manifold. Date: September 2, 2010. 1 2 DAVIDGLICKENSTEIN Remark 1. We sometimes use the terminology M n is a manifold to mean that M is a manifold of dimension n: We also say M is an n-dimensional manifold. The set and map in the de…nition of locally Euclidean is called a coordinate chart. De…nition 5. A coordinate chart on M is a pair (U; ) where U M is open and : U (U) Rn is a homeomorphism. The set U is called a coordinate domain ! or coordinate neighborhood or coordinate patch. If (U) is a ball in Rn;U is called a coordinate ball. A coordinate chart (U; ) is centered at p if (p) = 0: Theorem 6. If M is a manifold, every point x M is contained in a coordinate ball centered at x. 2 Proof. Since M is locally Euclidean, x must be contained in a coordinate chart (U; ) : Since (U) is an open set containing (x) ; by the topology of Rn there must be an open ball B containing (x) and contained in (U) : The appropriate 1 coordinate ball is (B) ; 1 : If we compose with a translation taking j (B) (x) to 0; we have completed the proof. Example 1. The graph of a continuous function f : U Rk; where U Rn; is a manifold: ! n k (f) = (x; y) R R : x U and y = f (x) : 2 2 n+k (f) is given the subspace topology (of R ), so it is automatically Hausdor¤ and second countable. It has a single coordinate chart given by ( (f) ; 1) where 1 is projection onto the …rst coordinate. The inverse of 1 is the map x (x; f (x)) : This map is continuous if and only if f is continuous. ! Example 2. Spheres are manifolds. An n-sphere is de…ned as n n+1 2 S = x R : x = 1 : 2 j j n n o Since it is a subspace of R , it is Hausdor¤ and second countable. We can de…ne coordinate charts as follows + n U = x S : xk > 0 ; k f 2 g + 1 2 k 1 k k+1 n+1 k = x ; x ; : : : ; x ; x ; x ; : : : ; x ; k k n where x denotes that x is not there (so ck : Uk R ). The inverse of k is ! n c 1 n 1 2 k 1 j 2 k n k y ; : : : ; y = y ; y ; : : : ; y ; 1 (y ) ; y ; : : : ; y 0 v 1 u j=1 u X @ t A (since xk > 0). To get charts that cover the sphere, we also need the corresponding Uk; k charts. Remark 2. There are other important coordinate charts for spheres, notably stere- ographic projection. See problems. n Example 3. Real projective space RP is a manifold. We de…ne real projective n space RP to be the set of lines in Rn+1: We can represent it more formally, by SMOOTHMANIFOLDS 3 writing a line in Rn+1 as an equivalence class of points v Rn+1 0 such that 2n n f g v v0 if and only if v = tv0 for some t0 R 0 : Then RP is the quotient 2 n f g n+1 R 0 = : n f g n We can then give RP the quotient topology (i.e., a set is open if and only if its pre-image under the quotient map is open). We write x0 : x1 : : xn for an element in the quotient. We can de…ne coordinate charts 0 1 i 1 i+1 n 0 1 n x x x x x i x : x : : x = ; ;:::; ; ;:::; ; xi xi xi xi xi where the domain is 0 1 n i Ui = x : x : : x : x = 0 : 6 We can see that this map is continuous by seeing that the quotient map composed n with this map is continuous. Notice that the image i (Ui) = R and its inverse is 1 1 n 1 i 1 i+1 n y ; : : : ; y = y : : y : 1 : y : : y : i (Check this: it is not totally obvious!) This map is also continuous. One can check that the space is Hausdor¤ and second countable. n n Remark 3. It is not too hard to show that RP is compact. You can rewrite RP n as a quotient of Sn; showing that RP is the continuous image of a compact space, and hence compact. Example 4. Products of manifolds are manifolds. If we have manifolds M m and N n; then we can give M N the product topology. If we have coordinate charts (U; ) for M and (V; ) for N; then there is a coordinate chart (U V; ) for M N: Given charts which cover M and N; we can construct charts which cover M N: By induction we can show that any …nite product of manifolds is a manifold as well. Example 5. The torus S1 S1 is a manifold. So are other tori S1 S1 S1. Finally, we give some topological properties of manifolds that may come in useful. Theorem 7. Every manifold has a countable basis of coordinate balls. Corollary 8. Every manifold is locally compact (i.e., every point has a neighbor- hood contained in a compact set). Remark 4. We will use neighborhood of a point to mean an open set containing that point. Some authors use neighborhood to mean any set which contains an open set containing that point. Thus, we will always assume that a neighborhood is open. De…nition 9. A topological space X is connected if there do not exist two disjoint, nonempty sets whose union is X: The space X is path connected if every two points are connected by a path (i.e., for any x; y X; there exists a continuous map : [0; 1] X such that (0) = x and (1) =2y). A topological space is locally path connected! if X has a basis of path connected sets (i.e., every point has a path connected neighborhood). Note that connected need not imply path connected, though the reverse impli- cation is true. In a manifold, however, they are equivalent. 4 DAVIDGLICKENSTEIN Theorem 10. A connected manifold is connected if and only if it is path connected. Furthermore, the components of a manifold are the same as its path components. Proof. Since path connected implies connected, we need only prove that connected implies path connected. Consider a manifold M n and let x M: Let S be the set of all points y in M for which there exists a path from x2to y: We will show that S is open and closed. Suppose y S: Then there is a coordinate chart (U; ) 2 around y (i.e., U is a neighborhood of y) and so (U) Rn: Since (U) is open, there exists a path from (y) to z for every z in a su¢ ciently small open ball 1 B around (y) :B is an open set, so (B) is open in M; and contained in S 1 (since we can extend the continuous path from x to y by ). Thus S is open. Now suppose y is a limit point of S: Then for every open neighborhood of y there is a point x0 S: Take a coordinate ball (U; ) centered at y: Then there exists 2 x0 S U: Since x0 S; there is a path from x to x0: Furthermore, since (U) is 2 \ 2 1 a ball, there is a path from (x0) to 0; so by juxtaposing with ; there is a path from x to y; thus y S and S is closed.
Load more

Recommended publications
  • Geometric Manifolds
    Wintersemester 2015/2016 University of Heidelberg Geometric Structures on Manifolds Geometric Manifolds by Stephan Schmitt Contents Introduction, first Definitions and Results 1 Manifolds - The Group way .................................... 1 Geometric Structures ........................................ 2 The Developing Map and Completeness 4 An introductory discussion of the torus ............................. 4 Definition of the Developing map ................................. 6 Developing map and Manifolds, Completeness 10 Developing Manifolds ....................................... 10 some completeness results ..................................... 10 Some selected results 11 Discrete Groups .......................................... 11 Stephan Schmitt INTRODUCTION, FIRST DEFINITIONS AND RESULTS Introduction, first Definitions and Results Manifolds - The Group way The keystone of working mathematically in Differential Geometry, is the basic notion of a Manifold, when we usually talk about Manifolds we mean a Topological Space that, at least locally, looks just like Euclidean Space. The usual formalization of that Concept is well known, we take charts to ’map out’ the Manifold, in this paper, for sake of Convenience we will take a slightly different approach to formalize the Concept of ’locally euclidean’, to formulate it, we need some tools, let us introduce them now: Definition 1.1. Pseudogroups A pseudogroup on a topological space X is a set G of homeomorphisms between open sets of X satisfying the following conditions: • The Domains of the elements g 2 G cover X • The restriction of an element g 2 G to any open set contained in its Domain is also in G. • The Composition g1 ◦ g2 of two elements of G, when defined, is in G • The inverse of an Element of G is in G. • The property of being in G is local, that is, if g : U ! V is a homeomorphism between open sets of X and U is covered by open sets Uα such that each restriction gjUα is in G, then g 2 G Definition 1.2.
    [Show full text]
  • Affine Connections and Second-Order Affine Structures
    Affine connections and second-order affine structures Filip Bár Dedicated to my good friend Tom Rewwer on the occasion of his 35th birthday. Abstract Smooth manifolds have been always understood intuitively as spaces with an affine geometry on the infinitesimal scale. In Synthetic Differential Geometry this can be made precise by showing that a smooth manifold carries a natural struc- ture of an infinitesimally affine space. This structure is comprised of two pieces of data: a sequence of symmetric and reflexive relations defining the tuples of mu- tual infinitesimally close points, called an infinitesimal structure, and an action of affine combinations on these tuples. For smooth manifolds the only natural infin- itesimal structure that has been considered so far is the one generated by the first neighbourhood of the diagonal. In this paper we construct natural infinitesimal structures for higher-order neighbourhoods of the diagonal and show that on any manifold any symmetric affine connection extends to a second-order infinitesimally affine structure. Introduction A deeply rooted intuition about smooth manifolds is that of spaces that become linear spaces in the infinitesimal neighbourhood of each point. On the infinitesimal scale the geometry underlying a manifold is thus affine geometry. To make this intuition precise requires a good theory of infinitesimals as well as defining precisely what it means for two points on a manifold to be infinitesimally close. As regards infinitesimals we make use of Synthetic Differential Geometry (SDG) and adopt the neighbourhoods of the diagonal from Algebraic Geometry to define when two points are infinitesimally close. The key observations on how to proceed have been made by Kock in [8]: 1) The first neighbourhood arXiv:1809.05944v2 [math.DG] 29 Aug 2020 of the diagonal exists on formal manifolds and can be understood as a symmetric, reflexive relation on points, saying when two points are infinitesimal neighbours, and 2) we can form affine combinations of points that are mutual neighbours.
    [Show full text]
  • Introduction to Gauge Theory Arxiv:1910.10436V1 [Math.DG] 23
    Introduction to Gauge Theory Andriy Haydys 23rd October 2019 This is lecture notes for a course given at the PCMI Summer School “Quantum Field The- ory and Manifold Invariants” (July 1 – July 5, 2019). I describe basics of gauge-theoretic approach to construction of invariants of manifolds. The main example considered here is the Seiberg–Witten gauge theory. However, I tried to present the material in a form, which is suitable for other gauge-theoretic invariants too. Contents 1 Introduction2 2 Bundles and connections4 2.1 Vector bundles . .4 2.1.1 Basic notions . .4 2.1.2 Operations on vector bundles . .5 2.1.3 Sections . .6 2.1.4 Covariant derivatives . .6 2.1.5 The curvature . .8 2.1.6 The gauge group . 10 2.2 Principal bundles . 11 2.2.1 The frame bundle and the structure group . 11 2.2.2 The associated vector bundle . 14 2.2.3 Connections on principal bundles . 16 2.2.4 The curvature of a connection on a principal bundle . 19 arXiv:1910.10436v1 [math.DG] 23 Oct 2019 2.2.5 The gauge group . 21 2.3 The Levi–Civita connection . 22 2.4 Classification of U(1) and SU(2) bundles . 23 2.4.1 Complex line bundles . 24 2.4.2 Quaternionic line bundles . 25 3 The Chern–Weil theory 26 3.1 The Chern–Weil theory . 26 3.1.1 The Chern classes . 28 3.2 The Chern–Simons functional . 30 3.3 The modui space of flat connections . 32 3.3.1 Parallel transport and holonomy .
    [Show full text]
  • 21. Orthonormal Bases
    21. Orthonormal Bases The canonical/standard basis 011 001 001 B C B C B C B0C B1C B0C e1 = B.C ; e2 = B.C ; : : : ; en = B.C B.C B.C B.C @.A @.A @.A 0 0 1 has many useful properties. • Each of the standard basis vectors has unit length: q p T jjeijj = ei ei = ei ei = 1: • The standard basis vectors are orthogonal (in other words, at right angles or perpendicular). T ei ej = ei ej = 0 when i 6= j This is summarized by ( 1 i = j eT e = δ = ; i j ij 0 i 6= j where δij is the Kronecker delta. Notice that the Kronecker delta gives the entries of the identity matrix. Given column vectors v and w, we have seen that the dot product v w is the same as the matrix multiplication vT w. This is the inner product on n T R . We can also form the outer product vw , which gives a square matrix. 1 The outer product on the standard basis vectors is interesting. Set T Π1 = e1e1 011 B C B0C = B.C 1 0 ::: 0 B.C @.A 0 01 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 0 . T Πn = enen 001 B C B0C = B.C 0 0 ::: 1 B.C @.A 1 00 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 1 In short, Πi is the diagonal square matrix with a 1 in the ith diagonal position and zeros everywhere else.
    [Show full text]
  • Multivector Differentiation and Linear Algebra 0.5Cm 17Th Santaló
    Multivector differentiation and Linear Algebra 17th Santalo´ Summer School 2016, Santander Joan Lasenby Signal Processing Group, Engineering Department, Cambridge, UK and Trinity College Cambridge [email protected], www-sigproc.eng.cam.ac.uk/ s jl 23 August 2016 1 / 78 Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. 2 / 78 Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. 3 / 78 Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. 4 / 78 Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... 5 / 78 Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary 6 / 78 We now want to generalise this idea to enable us to find the derivative of F(X), in the A ‘direction’ – where X is a general mixed grade multivector (so F(X) is a general multivector valued function of X). Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi. Then, provided A has same grades as X, it makes sense to define: F(X + tA) − F(X) A ∗ ¶XF(X) = lim t!0 t The Multivector Derivative Recall our definition of the directional derivative in the a direction F(x + ea) − F(x) a·r F(x) = lim e!0 e 7 / 78 Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi.
    [Show full text]
  • EXOTIC SPHERES and CURVATURE 1. Introduction Exotic
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 45, Number 4, October 2008, Pages 595–616 S 0273-0979(08)01213-5 Article electronically published on July 1, 2008 EXOTIC SPHERES AND CURVATURE M. JOACHIM AND D. J. WRAITH Abstract. Since their discovery by Milnor in 1956, exotic spheres have pro- vided a fascinating object of study for geometers. In this article we survey what is known about the curvature of exotic spheres. 1. Introduction Exotic spheres are manifolds which are homeomorphic but not diffeomorphic to a standard sphere. In this introduction our aims are twofold: First, to give a brief account of the discovery of exotic spheres and to make some general remarks about the structure of these objects as smooth manifolds. Second, to outline the basics of curvature for Riemannian manifolds which we will need later on. In subsequent sections, we will explore the interaction between topology and geometry for exotic spheres. We will use the term differentiable to mean differentiable of class C∞,and all diffeomorphisms will be assumed to be smooth. As every graduate student knows, a smooth manifold is a topological manifold that is equipped with a smooth (differentiable) structure, that is, a smooth maximal atlas. Recall that an atlas is a collection of charts (homeomorphisms from open neighbourhoods in the manifold onto open subsets of some Euclidean space), the domains of which cover the manifold. Where the chart domains overlap, we impose a smooth compatibility condition for the charts [doC, chapter 0] if we wish our manifold to be smooth. Such an atlas can then be extended to a maximal smooth atlas by including all possible charts which satisfy the compatibility condition with the original maps.
    [Show full text]
  • I-Sequential Topological Spaces∗
    Applied Mathematics E-Notes, 14(2014), 236-241 c ISSN 1607-2510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ -Sequential Topological Spaces I Sudip Kumar Pal y Received 10 June 2014 Abstract In this paper a new notion of topological spaces namely, I-sequential topo- logical spaces is introduced and investigated. This new space is a strictly weaker notion than the first countable space. Also I-sequential topological space is a quotient of a metric space. 1 Introduction The idea of convergence of real sequence have been extended to statistical convergence by [2, 14, 15] as follows: If N denotes the set of natural numbers and K N then Kn denotes the set k K : k n and Kn stands for the cardinality of the set Kn. The natural densityf of the2 subset≤ Kg is definedj j by Kn d(K) = lim j j, n n !1 provided the limit exists. A sequence xn n N of points in a metric space (X, ) is said to be statistically f g 2 convergent to l if for arbitrary " > 0, the set K(") = k N : (xk, l) " has natural density zero. A lot of investigation has been donef on2 this convergence≥ andg its topological consequences after initial works by [5, 13]. It is easy to check that the family Id = A N : d(A) = 0 forms a non-trivial f g admissible ideal of N (recall that I 2N is called an ideal if (i) A, B I implies A B I and (ii) A I,B A implies B I.
    [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]
  • 28. Exterior Powers
    28. Exterior powers 28.1 Desiderata 28.2 Definitions, uniqueness, existence 28.3 Some elementary facts 28.4 Exterior powers Vif of maps 28.5 Exterior powers of free modules 28.6 Determinants revisited 28.7 Minors of matrices 28.8 Uniqueness in the structure theorem 28.9 Cartan's lemma 28.10 Cayley-Hamilton Theorem 28.11 Worked examples While many of the arguments here have analogues for tensor products, it is worthwhile to repeat these arguments with the relevant variations, both for practice, and to be sensitive to the differences. 1. Desiderata Again, we review missing items in our development of linear algebra. We are missing a development of determinants of matrices whose entries may be in commutative rings, rather than fields. We would like an intrinsic definition of determinants of endomorphisms, rather than one that depends upon a choice of coordinates, even if we eventually prove that the determinant is independent of the coordinates. We anticipate that Artin's axiomatization of determinants of matrices should be mirrored in much of what we do here. We want a direct and natural proof of the Cayley-Hamilton theorem. Linear algebra over fields is insufficient, since the introduction of the indeterminate x in the definition of the characteristic polynomial takes us outside the class of vector spaces over fields. We want to give a conceptual proof for the uniqueness part of the structure theorem for finitely-generated modules over principal ideal domains. Multi-linear algebra over fields is surely insufficient for this. 417 418 Exterior powers 2. Definitions, uniqueness, existence Let R be a commutative ring with 1.
    [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]
  • Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local
    Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local Topological Properties Exercise 7 of the problem set asked you to understand the notion of path compo- nents. We assume that knowledge here. We have done a little work in understanding the notions of connectedness, path connectedness, and compactness. It turns out that even if a space doesn't have these properties globally, they might still hold locally. Definition. A space X is locally path connected at x if for every neighborhood U of x, there is a path connected neighborhood V of x contained in U. If X is locally path connected at all of its points, then it is said to be locally path connected. Lemma 1.1. A space X is locally path connected if and only if for every open set V of X, each path component of V is open in X. Proof. Suppose that X is locally path connected. Let V be an open set in X; let C be a path component of V . If x is a point of V , we can (by definition) choose a path connected neighborhood W of x such that W ⊂ V . Since W is path connected, it must lie entirely within the path component C. Therefore C is open. Conversely, suppose that the path components of open sets of X are themselves open. Given a point x of X and a neighborhood V of x, let C be the path component of V containing x. Now C is path connected, and since it is open in X by hypothesis, we now have that X is locally path connected at x.
    [Show full text]
  • Lecture Notes on Foliation Theory
    INDIAN INSTITUTE OF TECHNOLOGY BOMBAY Department of Mathematics Seminar Lectures on Foliation Theory 1 : FALL 2008 Lecture 1 Basic requirements for this Seminar Series: Familiarity with the notion of differential manifold, submersion, vector bundles. 1 Some Examples Let us begin with some examples: m d m−d (1) Write R = R × R . As we know this is one of the several cartesian product m decomposition of R . Via the second projection, this can also be thought of as a ‘trivial m−d vector bundle’ of rank d over R . This also gives the trivial example of a codim. d- n d foliation of R , as a decomposition into d-dimensional leaves R × {y} as y varies over m−d R . (2) A little more generally, we may consider any two manifolds M, N and a submersion f : M → N. Here M can be written as a disjoint union of fibres of f each one is a submanifold of dimension equal to dim M − dim N = d. We say f is a submersion of M of codimension d. The manifold structure for the fibres comes from an atlas for M via the surjective form of implicit function theorem since dfp : TpM → Tf(p)N is surjective at every point of M. We would like to consider this description also as a codim d foliation. However, this is also too simple minded one and hence we would call them simple foliations. If the fibres of the submersion are connected as well, then we call it strictly simple. (3) Kronecker Foliation of a Torus Let us now consider something non trivial.
    [Show full text]