PHYSICS · Multi-part · Fermi University Physics · Mathematical Methods for Physics · Tensors and differential geometry · Tensors and differential geometry
Invariance, Ch Manifolds, charts and tangent spaces
Problem
A flywheel spins freely on a fixed axle. Its configuration is the angular position θ of a marked point on its rim, with θ and θ+2π identified, so the configuration space is the circle S1, drawn as the unit circle x2+y2=1 with x=cosθ, y=sinθ.
((a)) Chart A projects each point of the circle from the point θ=π onto the y-axis: u=1+xy. Show that u=tan(θ/2), that A is defined and smooth for every θ=π, and that it is a bijection of that domain onto R.
((b)) Chart B projects from the point θ=0: u′=1−xy. Show that u′=cot(θ/2), defined and smooth for every θ=0.
((c)) On the overlap of the two domains, find u′ as a smooth function of u, and confirm it has no singularity there.
((d)) Explain why {A,B} is an atlas that makes the flywheel's configuration space a smooth one-dimensional manifold, and why chart A alone could never do the job.