Hairy balls and ham sandwiches
|
|
- Andrew Miller
- 6 years ago
- Views:
Transcription
1 Hairy balls and ham sandwiches Graduate Student Seminar, Carnegie Mellon University Thursday 14 th November 2013 Clive Newstead Abstract Point-set topology studies spaces up to homeomorphism. For many purposes this notion of equivalence is too strong, but by studying spaces up to homotopy equivalence we can assign algebraic invariants that allow us to prove some interesting results. One of these is the so-called hairy ball theorem, which says that any tangent vector field on a 2n-sphere must vanish somewhere. Another is the ham sandwich theorem, which says that given any collection of n objects of finite measure in n-space, there is an (n 1)-hyperplane which slices each object in half. This talk aims to give a picture of what algebraic topology is all about, without getting too bogged down in details. Contents Motivating questions 1 1 Homotopy 1 2 The fundamental group 2 3 Singular homology 3 4 Some interesting results 4 R m = R n implies m = n Brouwer s fixed point theorem Hairy ball theorem Borsuk Ulam theorem Ham sandwich theorem References 5 Please send comments and corrections to cnewstead@cmu.edu.
2 Motivating questions Recall that topological spaces X and Y are homeomorphic, written X = Y, if there exists a bijective continuous map f : X Y such that f 1 is also continuous. Some questions that motivate what we will talk about are: Is it possible that m n but R m = R n? Is it possible to comb the hairs on a coconut without creating any tufts? Is it possible to cut a ham sandwich once in such a way that the two slices of bread, and the ham inside, are each cut exactly in half? Trying to answering these questions armed only with homeomorphisms is a fruitless task. But if we introduce homotopy equivalences, we stand a better chance. 1 Homotopy Let f, g : X Y be continuous maps. A homotopy from f to g, denoted H : f g, is a continuous map H : X [0, 1] Y such that H(x, 0) = f(x) and H(x, 1) = g(x) for all x X. We can think of H as being a time-indexed family of continuous maps H t : X Y such that, as time t varies from 0 to 1, the maps H t continuously deform f into g. Some properties of homotopies include: I f : f f, where I f (x, t) = f(x) for all t. If H : f g then H : g f, where H (x, t) = H(x, 1 t). If H : f g and K : g h then H K : f h, where H(x, 2t) if 0 t 1 (H K)(x, t) = 2 K(x, 2t 1) if 1 2 t 1 In particular, there is a homotopy f g is an equivalence relation on continuous maps X Y. When there is a homotopy f g we write f g. Denote by [f] the homotopy class of f, i.e. the -equivalence class of f. It will be useful for later to know that if f g then h f h g and f k g k. We say spaces X and Y are homotopy equivalent, denoted X Y, if there are continuous maps f : X Y and g : Y X such that g f id X and f g id Y It is easy to see that is an equivalence relation on topological spaces, and that if X = Y then X Y. Intuitively, X Y whenever we can continuously deform X into Y. examples. Let s look at some 1
3 Example 1.1. [0, 1] }. Define f : [0, 1] } by f(x) =, and define g : } [0, 1] by g( ) = 0. Clearly f g = id }. Conversely, g f is the constant function with value 0. Define H : id [0,1] g f by H(x, t) = tx It is clear that H is a homotopy, so g f id [0,1], and hence [0, 1] }. When a space is homotopy equivalent to } we say it is contractible. Other examples of contractible spaces include: the (open or closed) disc, R n, graph-theoretic trees,... Example 1.2. S 1 R 2 \(0, 0)}. Here S 1 denotes the unit circle (x, y) R 2 : x 2 +y 2 = 1}. To see this, let f : S 1 R 2 \ (0, 0)} be the inclusion map, and define g : R 2 \ (0, 0)} S 1 to be a retraction of R 2 \ (0, 0)} onto S 1. 1 Then g f = id, so certainly g f id. And f g id: define H((x, y), t) to be t(f g)(x, y) + (1 t)(x, y). Then H : f g id. 2 The fundamental group The first algebraic invariant we assign to our topological spaces is the fundamental group. In general the fundamental group is easy to define but difficult to compute. Given a space X, a loop in X based at x X is a path u : [0, 1] X with u(0) = u(1) = x. There is a very simple loop in any space given by c x (t) = x for all 0 t 1. Given any loop u there is another loop ū defined by ū(t) = u(1 t). We can define an operation on loops in X based at x by u(2t) if 0 t 1 u v(t) = 2 v(2t 1) if 1 2 t 1 This is painfully close to defining a group structure on the set of loops based at X. Indeed, for all loops u, v, w we have c x u u, u c x u, u (v w) (u v) w, u ū c x, ū u c x But if we quotient out by then we do get a group. That is, the elements are homotopy classes [u] for loops u based at x, the group operation is given by [u][v] = [u v], the inverse is given by [u] 1 = [ū] and the unit is given by 1 = [c x ]. This is the fundamental group of X based at x, denoted π 1 (X, x). If X is path-connected (as all our spaces will be) then, given x, y X, π 1 (X, x) = π 1 (X, y), so we just write π 1 (X). Theorem 2.1. Fix spaces X, Y and a basepoint x X. Any continuous map f : X Y induces a homomorphism f : π 1 (X, x) π 1 (Y, f(x)). Furthermore, the assignment f f is functorial, i.e. (f g) = f g and (1 X ) = 1 π1 (X,x). (In particular, if X Y then π 1 (X) = π 1 (Y ).) Proof. Define f ([u]) = [f u] and check the details. Example 2.2. If X is contractible then π 1 (X) = 1}. It s clear that π 1 ( }) = 1} since the only loop in } is c, so if X } then π 1 (X) = π 1 ( }) = 1}. 1 A concrete example of such a retraction was given in the talk. 2
4 Unfortunately, the fundamental group only allows us to answer low-dimensional analogues of our questions above. One solution might be to generalise to higher dimensions, by mapping n- spheres (instead of loops) into our spaces. Doing this we obtain homotopy groups π n (X)... but in general these are very hard to compute. For instance, we don t even know what π n (S 2 ) is for all n! 3 Singular homology The idea behind singular homology is that we probe a space X by mapping in n-dimensional spaces and looking for holes. Define the n-simplex n by n = (x 1,..., x n ) R n : x i = 1 and each x i 0} R n For each n 0 let C n (X) be the group of all formal sums, with coefficients in Z, of continuous maps n X. Given a generator σ : n X there is a natural boundary map σ = ( 1) i σ (i th face of n ) This map can be extended linearly to all of C n (X). Then im ker. The nth (singular) homology group of X is then defined to be H n (X) = ker im I don t expect anyone to get their head around this if this is their first time seeing it. The moral of singular homology is: in a suitably nice subspace X R n, if k > 0 then number of (k 1)-dimensional holes in X H k (X) = Z and number of connected components of X H 0 (X) = Z Example 3.1. Let X be any contractible space, e.g. }, [0, 1], R n. Then H n (X) = Z if n = 0 0 if n > 0. Example 3.2. The circle S 1 has one connected component and one 2-dimensional hole, so H n (S 1 Z if n = 0, 1 ) = 0 if n > 1 More generally, the k-sphere S k has one connected component and one (k + 1)-dimensional hole, so H n (S k Z if n = 0, k ) = 0 if n 0, k Theorem 3.3. Any continuous map f : X Y induces a homomorphism f : H n (X) H n (Y ) for all n. Furthermore, the assignment f f is functorial, and if X Y then H n (X) = H n (Y ) for all n. 3
5 4 Some interesting results R m = R n implies m = n We now have all the power we need to prove the following theorem. Theorem 4.1. If R m = R n then m = n. Proof. Suppose f : R m = R n. Then R m \ 0} = R n \ f(0)}. Now R m \ 0} = S m 1 and R n \ f(0)} = S n 1, and so H r (S m 1 ) = H r (S n 1 ) for all r Z. In particular so m 1 = n 1 and m = n. Z = H m 1 (S m 1 ) = H m 1 (S n 1 ) Brouwer s fixed point theorem Homology yields an impressively short proof of Brouwer s fixed point theorem. Theorem 4.2 (Brouwer s fixed point theorem). Every continuous function g : B n B n has a fixed point. Proof. Suppose f : B n B n has no fixed points. Define g : B n S n 1 = B n by letting g(x) be the (unique) point on the boundary of B n which lies on the ray from f(x) to x. Continuity of f implies continuity of g, and moreover g(x) = x for all x B n = S n 1. Let i : S n 1 B n be the inclusion map. Then S n 1 i B n g S n 1 is the identity map. Now H n 1 (S n 1 ) = Z and H n 1 (B n ) = 0. By functoriality of homology, g i = id Z. But i is the zero map, so g i = 0... a contradiction. Corollary 4.3. If a map of the United States is laid on the ground in the United States, some point on the map is directly over the point it refers to. Hairy ball theorem The proof of the hairy ball theorem answers another of the motivating questions of the talk. Intuitively we can think of the hairs on an 2n-sphere being vectors in (2n + 1)-space; if they re combed without any tufts then this means they all lie tangent to the n-sphere and are nonzero. Theorem 4.4 (Hairy ball theorem). Let f : S 2n R 2n+1 be a continuous map such that f(x) x for all x S 2n. Then there exists x S 2n with f(x) = 0. Proof. Suppose f : S 2n R 2n+1 is continuous and f(x) x for all x S 2n, and that f(x) 0 for any x. Let u x : [0, 1] S 2n be the path from x to x along the great semicircle in the direction of f(x). Let a : S 2n S 2n be the antipodal map. Then a = ( 1) 2n+1 id Z = id Z. But there is a homotopy H : id S 2n a defined by H(x, t) = u x (t), so id Z = id Z... a contradiction. Corollary 4.5. Somewhere in the world, the wind isn t blowing. 4
6 Proof. Model the surface of the earth as S 2 and the speed and direction of wind at a point x by a vector v x in R 3. On the assumption that x v x is continuous, there exists x S 2 such that v x = 0. (Presumably x Pittsburgh.) Borsuk Ulam theorem The Borsuk Ulam theorem is a seemingly innocuous result which says that any continuous maps from the n-sphere to n-space maps some pair of antipodal points of the n-space to the same place. Theorem 4.6 (Borsuk Ulam). Let f : S n R n be a continuous map. Then there exists x S n such that f(x) = f( x). Proof. Let f : S n R n and suppose f maps all pairs of antipodal points to distinct points. Define g : S n S n 1 by f(x) f( x) g(x) = f(x) f( x) Then g( x) = g(x) for all x S n. Let i : S n 1 S n be an inclusion. Then i g = id S n 1, so (i g) = id Z. But i g c, so (i g) = id Z... a contradiction. Corollary 4.7. There are two opposite points in the world with the same temperature and humidity. Proof. Model the surface of the earth as S 2. At a point x on the surface of the earth, let T x be the temperature and H x be the humidity. The assignment x (H x, T x ) is presumably continuous, so by the Borsuk Ulam theorem, there exists x with H x = H x and T x = T x. Ham sandwich theorem Finally we have a very nice result that follows from the Borsuk Ulam theorem. Theorem 4.8. Given any collection of n measurable subsets X 1,..., X n R n, there is an (n 1)-hyperplane which splits each X i into two pieces of equal measure. Proof. For each point x S n 1 there is a (canonical) (n 1)-hyperplane Π x perpendicular to x which bisects A n. Give the Π x some uniform orientation. Define f : S n 1 R n 1 by f(x) = (V 1 (x), V 2 (x),..., V n 1 (x)) where V i (x) is the measure of X i on the positive side of Π x. Then f is continuous, so by the Borsuk Ulam theorem there exists x S n 1 with f(x) = f( x). But Π x = Π x with opposite orientations, so V i ( x) = µ(x i ) V i (x). Hence V i (x) = µ(x i ) V i (x), so V i (x) = 1 2 µ(x i). So Π x bisects each X i. Corollary 4.9. There is a way of cutting any ham sandwich in such a way that the two slices of bread, and the ham inside, are each cut exactly in half. 5
Homework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
More informationNOTES ON THE FUNDAMENTAL GROUP
NOTES ON THE FUNDAMENTAL GROUP AARON LANDESMAN CONTENTS 1. Introduction to the fundamental group 2 2. Preliminaries: spaces and homotopies 3 2.1. Spaces 3 2.2. Maps of spaces 3 2.3. Homotopies and Loops
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationTOPOLOGY HW 8 CLAY SHONKWILER
TOPOLOGY HW 8 CLAY SHONKWILER 55.1 Show that if A is a retract of B 2, then every continuous map f : A A has a fixed point. Proof. Suppose r : B 2 A is a retraction. Thenr A is the identity map on A. Let
More informationAlgebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf
Algebraic Topology Oscar Randal-Williams https://www.dpmms.cam.ac.uk/ or257/teaching/notes/at.pdf 1 Introduction 1 1.1 Some recollections and conventions...................... 2 1.2 Cell complexes.................................
More informationTHE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER
THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER Abstract. The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationAnalysis II: The Implicit and Inverse Function Theorems
Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely
More informationMATH8808: ALGEBRAIC TOPOLOGY
MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationApplications of Homotopy
Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental
More informationThe Borsuk-Ulam Theorem
The Borsuk-Ulam Theorem Artur Bicalho Saturnino June 2018 Abstract I am going to present the Borsuk-Ulam theorem in its historical context. After that I will give a proof using differential topology and
More informationHomework 3: Relative homology and excision
Homework 3: Relative homology and excision 0. Pre-requisites. The main theorem you ll have to assume is the excision theorem, but only for Problem 6. Recall what this says: Let A V X, where the interior
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationAlgebraic Topology. Len Evens Rob Thompson
Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy
More informationfor some n i (possibly infinite).
Homology with coefficients: The chain complexes that we have dealt with so far have had elements which are Z-linear combinations of basis elements (which are themselves singular simplices or equivalence
More informationSMSTC Geometry & Topology 1 Assignment 1 Matt Booth
SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
More informationSolution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:
Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]
More informationThe Borsuk Ulam Theorem
The Borsuk Ulam Theorem Anthony Carbery University of Edinburgh & Maxwell Institute for Mathematical Sciences May 2010 () 1 / 43 Outline Outline 1 Brouwer fixed point theorem 2 Borsuk Ulam theorem Introduction
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More informationSimplicial Homology. Simplicial Homology. Sara Kališnik. January 10, Sara Kališnik January 10, / 34
Sara Kališnik January 10, 2018 Sara Kališnik January 10, 2018 1 / 34 Homology Homology groups provide a mathematical language for the holes in a topological space. Perhaps surprisingly, they capture holes
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationMAS435 Algebraic Topology Part A: Semester 1 Exercises
MAS435 Algebraic Topology 2011-12 Part A: Semester 1 Exercises Dr E. L. G. Cheng Office: J24 E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ You should hand in your solutions to Exercises
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
More informationMAT 530: Topology&Geometry, I Fall 2005
MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1
More informationThe Fundamental Group
The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes
More informationS n 1 i D n l S n 1 is the identity map. Associated to this sequence of maps is the sequence of group homomorphisms
ALGEBRAIC TOPOLOGY Contents 1. Informal introduction 1 1.1. What is algebraic topology? 1 1.2. Brower fixed point theorem 2 2. Review of background material 3 2.1. Algebra 3 2.2. Topological spaces 5 2.3.
More informationAdjunctions! Everywhere!
Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?
More informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationProject: Construction of the Fundamental Group
Project: Construction of the Fundamental Group Renzo s math 472 This worksheet is designed to lead you to define and discover our first functor: the fundamental group. 1 Definitions First of all, let us
More informationFundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group
Chapter 6 Fundamental group 6. The loop space Ω(X, x 0 ) and the fundamental group π (X, x 0 ) Let X be a topological space with a basepoint x 0 X. The space of paths in X emanating from x 0 is the space
More informationTHE JORDAN-BROUWER SEPARATION THEOREM
THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
More informationFUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents
FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationMATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4
MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 ROI DOCAMPO ÁLVAREZ Chapter 0 Exercise We think of the torus T as the quotient of X = I I by the equivalence relation generated by the conditions (, s)
More informationREAL AND COMPLEX HOMOGENEOUS POLYNOMIAL ORDINARY DIFFERENTIAL EQUATIONS IN n-space AND m-ary REAL AND COMPLEX NON-ASSOCIATIVE ALGEBRAS IN n-space
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 327 333 REAL AND COMPLEX HOMOGENEOUS POLYNOMIAL ORDINARY DIFFERENTIAL EQUATIONS IN n-space AND m-ary REAL
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationHOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY
HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,
More informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
More informationAN INTRODUCTION TO THE FUNDAMENTAL GROUP
AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationTHE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM
THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about
More informationBasic Notions in Algebraic Topology 1
Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More information6 Axiomatic Homology Theory
MATH41071/MATH61071 Algebraic topology 6 Axiomatic Homology Theory Autumn Semester 2016 2017 The basic ideas of homology go back to Poincaré in 1895 when he defined the Betti numbers and torsion numbers
More informationMATH730 NOTES WEEK 8
MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and
More informationAlgebraic Topology I Homework Spring 2014
Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More informationQuiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.
Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X
More informationarxiv:math/ v1 [math.gt] 4 Jan 2007
MAPS TO THE PROJECTIVE PLANE arxiv:math/0701127v1 [math.gt] 4 Jan 2007 JERZY DYDAK AND MICHAEL LEVIN Abstract. We prove the projective plane RP 2 is an absolute extensor of a finite-dimensional metric
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationCourse 212: Academic Year Section 9: Winding Numbers
Course 212: Academic Year 1991-2 Section 9: Winding Numbers D. R. Wilkins Contents 9 Winding Numbers 71 9.1 Winding Numbers of Closed Curves in the Plane........ 71 9.2 Winding Numbers and Contour Integrals............
More information38. APPLICATIONS 105. Today we harvest consequences of Poincaré duality. We ll use the form
38. APPLICATIONS 105 38 Applications Today we harvest consequences of Poincaré duality. We ll use the form Theorem 38.1. Let M be an n-manifold and K a compact subset. An R-orientation along K determines
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationTopological complexity of motion planning algorithms
Topological complexity of motion planning algorithms Mark Grant mark.grant@ed.ac.uk School of Mathematics - University of Edinburgh 31st March 2011 Mark Grant (University of Edinburgh) TC of MPAs 31st
More information1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and
Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding
More informationBott Periodicity and Clifford Algebras
Bott Periodicity and Clifford Algebras Kyler Siegel November 27, 2012 Contents 1 Introduction 1 2 Clifford Algebras 3 3 Vector Fields on Spheres 6 4 Division Algebras 7 1 Introduction Recall for that a
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationAn Introduction to Algebraic Topology
HARVARD MATH 101 An Introduction to Algebraic Topology or: why are we learning this stuff, anyway? Reuben Stern This version: November 22, 2017 Abstract These are notes outlining the basics of Algebraic
More informationMath 6510 Homework 11
2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are
More informationLecture 4: Knot Complements
Lecture 4: Knot Complements Notes by Zach Haney January 26, 2016 1 Introduction Here we discuss properties of the knot complement, S 3 \ K, for a knot K. Definition 1.1. A tubular neighborhood V k S 3
More informationDifferential Topology Final Exam With Solutions
Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
More information637 Course Notes. Texas A&M University. February 24, 2015
637 Course Notes Zoran Šunić Texas A&M University February 24, 2015 2 Contents 1 Preliminaries 5 1.1 Basic notions and properties of group actions........................... 5 1.1.1 Definition, examples,
More informationA New Family of Topological Invariants
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 2018-04-01 A New Family of Topological Invariants Nicholas Guy Larsen Brigham Young University Follow this and additional works
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationGeometry and Topology, Lecture 4 The fundamental group and covering spaces
1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationTHE POINCARE-HOPF THEOREM
THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationFINITE CONNECTED H-SPACES ARE CONTRACTIBLE
FINITE CONNECTED H-SPACES ARE CONTRACTIBLE ISAAC FRIEND Abstract. The non-hausdorff suspension of the one-sphere S 1 of complex numbers fails to model the group s continuous multiplication. Moreover, finite
More informationThe Hurewicz theorem by CW approximation
The Hurewicz theorem by CW approximation Master s thesis, University of Helsinki Student: Jonas Westerlund Supervisor: Erik Elfving December 11, 2016 Tiedekunta/Osasto Fakultet/Sektion Faculty Faculty
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationSharing a pizza: bisecting masses with two cuts
Sharing a pizza: bisecting masses with two cuts Luis Barba Patrick Schnider Abstract Assume you have a pizza consisting of four ingredients (e.g. bread, tomatoes, cheese and olives) that you want to share
More informationReal-cohesion: from connectedness to continuity
Real-cohesion: from connectedness to continuity Michael Shulman University of San Diego March 26, 2017 My hat today I am a mathematician: not a computer scientist. I am a categorical logician: type theory
More informationALGEBRAIC GEOMETRY HOMEWORK 3
ALGEBRAIC GEOMETRY HOMEWORK 3 (1) Consider the curve Y 2 = X 2 (X + 1). (a) Sketch the curve. (b) Determine the singular point P on C. (c) For all lines through P, determine the intersection multiplicity
More informationFun with spheres. Chi-Kwong Fok. National Center for Theoretical Sciences Math Division National Taiwan University
Fun with spheres Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Taiwan University Enrichment Programme for Young Mathematical Talents The Chinese University of Hong Kong
More informationIf X is a compact space and K X is a closed subset, then K is
6. Compactness...compact sets play the same role in the theory of abstract sets as the notion of limit sets do in the theory of point sets. Maurice Frechet, 1906 Compactness is one of the most useful topological
More information