Mathematische Definition einer Riemannschen Metrik