A continuous real function defined on the tangent bundle of an -dimensional smooth manifold is said to be a Finsler metric if
1. is differentiable at ,
2. for any element and any real number ,
3. Denoting the metric
then is a positive definite matrix.
A smooth manifold with a Finsler metric is called a Finsler space.