Radial vector field in a normal neighbourhood

ID: radial-vector-field-in-a-normal-neighbourhood

The unit radial vector field is on the punctured normal neighbourhood, where is the radial distance in a normal neighbourhood. Along with , it satisfies . The scaled radial field is smooth at the centre and vanishes there. These conventions have different associated radial functions.
// Target: riemannian-geometry.bigb

New to topics? Read the docs here!