Differential topology
Warm-upHumanWhat is the degree of the map from the unit circle to itself?
What is the degree of the map from the unit circle to itself?
Find the index at the origin of the planar vector field .
Which of these closed manifolds admit a smooth vector field with no zeros? (Choose all that apply.)
Let be the height function of an upright torus. Which statement is correct?
The rotation of the annulus by the angle is continuous and has no fixed point. Which hypothesis of the Brouwer fixed-point theorem does it violate?
In the proof of the hairy ball theorem we use the homotopy from the identity to the antipodal map. Why does the proof need to be a unit tangent vector at every point?
A closed orientable surface of genus stands upright, and is its height function — a Morse function with one maximum, one minimum and some saddle points. How many saddle points does it have?
The formal section proves critical_values_null : μ (f '' {x | (fderiv ℝ f x).det = 0}) = 0 for a differentiable f : E → E. Which informal statement is this?
The degree of a map , and the index of a planar zero, are winding numbers. Write winding(points): given a list of non-zero complex numbers sampled along a closed curve (with ), return the number of times the curve winds anticlockwise round , by adding up the changes of argument (each reduced to the range ) and dividing by . Round to the nearest integer.