proof of criterion for conformal mapping of Riemannian spaces
In this attachment, we prove that the a mapping of Riemannian (orpseudo-Riemannian) spaces and is conformal if and only if for some scalar field (on ).
The key observation is that the angle between curves and whichintersect at a point is determined by the tangent vectors to these two curves(which we shall term and ) and the metric at that point, like so:
Moreover, given any tangent vector at a point, there will exist at least onecurve to which it is the tangent. Also, the tangent vector to the image ofa curve under a map is the pushforward of the tangent to the original curveunder the map; for instance, the tangent to at is . Hence,the mapping is conformal if and only if
for all tangent vectors and to the manifold . By the way pushforwardsand pullbacks work, this is equivalent to the condition that
for all tangent vectors and to the manifold . Now, by elementaryalgebra, the above equation is equivalent to the requirement that thereexist a scalar such that, for all and , it is the case that or, in other words, for some scalarfield .