The extension of Riemannian “point”-space {x^{i}} into a “line-space” {x^{i}, dx^{i}} make things clearer but not easier: how do you explain to a physicist a geometry supporting at least 3 curvature tensors and five torsion tensors? Not to speak of its usefulness for physics! Fortunately, the “impenetrable forest” by now has become a real, enjoyable park: through the application of the concepts of fibre bundle and non-linear connection. The different curvatures and torsion tensors result from vertical and horizontal parts of geometric objects in the tangent bundle, or in the Finsler bundle of the underlying manifold.

In essence, Finsler geometry is analogous to Riemannian geometry: there, the tangent space in a point p is euclidean space; here, the tangent space is just a normed space, i.e., Minkowski Space. Put differently: A Finsler metric for a differentiable manifold M is a map that assigns to each point x ∈ M a norm on the tangent space T_{x}M. When referred to the almost exclusive use of methods from Riemannian geometry it means that this norm is demanded to derive from the length of a smooth path γ : [a, b] → M defined by ∫_{a}^{b} ∥ dγ(t)/dt ∥ dt. Then Finsler space becomes an example for the class of length spaces.

Starting from the length of the curve,

d_{γ}(p, q):= ∫_{p}^{q} Lx(t), dx(t)/dt dt

the variational principle δd_{γ}(p, q) = 0 leads to the Euler-Lagrange equation

d/dt(∂L/∂x ̇^{i}) – ∂L/∂x^{i} = 0

which may be rewritten into

d^{2}x^{i}/dt^{2} + 2G^{i}(x^{l}, x ̇^{m}) = 0

with G^{i}(x^{l}, x ̇^{m}) = 1/4g^{kl}(-∂L/∂x^{l} + ∂^{2}L/∂x^{l}∂x ̇^{m}), and 2g_{ik} = ∂^{2}L/∂x ̇^{l}∂x ̇^{m}, g^{il}g_{jl} = δ^{i}_{j}. The theory then is developed from the Lagrangian defined in this way. This involves an important object N^{i}_{l} := ∂G^{i}/∂y^{l}, the geometrical meaning of which is a non-linear connection.

In general, a Finsler structure L(x, y) with y := dx(t))/dt = x ̇ and homogeneous degree 1 in y is introduced, from which the Finsler metric follows as:

f_{ij} = f_{ji} = ∂(1/2L^{2})/∂y^{i}∂y^{j}, f_{ij}y^{i}y^{j} = L^{2}, y^{l}∂L/∂y^{l} = L, f_{ij}y^{j} = L∂L/∂y^{i}

A further totally symmetric tensor C_{ijk} ensues:

C_{ijk} := ∂(1/2L^{2})/∂y^{i}∂y^{j}∂y^{k}

which will be interpreted as a torsion tensor. As an example of a Finsler metric is the * Randers metric*.

L(x.y) = b_{i}(x)y^{i} + √(a_{ij}(x)y^{i}y^{j})

The Finsler metric following is

f_{ik} = b_{i}b_{k} + a_{ik} + 2b(_{i}a_{k})lyˆ^{l} − a_{il}yˆ^{l}a_{km}yˆ^{m}(b_{n}yˆ^{n})

with yˆ^{k} := y^{k}(a_{lm}(x)y^{l}y^{m})^{−1/2}. Setting a_{ij} = η_{ij}, y^{k} = x ̇^{k}, and identifying b_{i} with the electromagnetic 4-potential eA_{i} leads back to the Lagrangian for the motion of a charged particle.

In this context, a Finsler space thus is called a locally Minkowskian space if there exists a coordinate system, in which the Finsler structure is a function of y^{i} alone. The use of the “element of support” (x^{i}, dx^{k} ≡ y^{k}) essentially amounts to a step towards working in the tangent bundle TM of the manifold M.