[Math] Conformal Equivalence of two Riemann metrics

equivalence-relationsgeneral-topologyriemann-surfacesriemannian-geometry

I'm reading a paper and encountered a concept of conformal equivalence between two Riemannian metrics on a differentiable $2$-manifold $M$ :

Two Riemannian metric $g$ and $f$ are conformally equivalent if

$$ f = e^{2u}g$$

for some smooth function $u:M \rightarrow R$

I don't have much knowledge about topology so please understand if my question sounds stupid.

Question:
so can u be "any function?" I mean if I set an arbitrary smooth function u then can I make conformally equivalent metric from a given metric?

Also, it seems like the conformal equivalence relation is an equivalence relation (I mean obviously from the name of it) but I don't really see how this could be hold.

$f$ is obviously not $e^{2u}f$.

Thank you in advance.

Best Answer

Short answer till you ask for more details.
(1) yes it is true for arbitrary differentiable functions $u$, we just require the factor to be positive and the exponential do it.
(2) if you to get an equivelence relation defined by $$f \ \ \text{is related to}\ \ g \ \ \ \text{if and only if}\ \ \ \ f=e^{2u}g$$ It seems to be true:

  • If $f$ is related to $g$ then $g$ is related to $f$ using $-u$ instead of $u$
  • $f$ is related to itself using $u=0$,

and so on. I hope it helps out.

Related Question