I am looking for a inner metric on $\mathbb{R}^2$ (that induces the standard topology) which is not Finsler.
By "Finsler" here iI mean a metric that is obtained by the following construction:
- pick a smooth structure on $\mathbb R^2$ and take a suitable continuous function $\mu$ on $T\mathbb R^2$
- define a metric as $d(x,y):=\inf_\gamma \int \mu(\dot\gamma) dt $ over all piecewise smooth paths $\gamma$ connecting two points $x,y$.
If exists, it is necesserilynecessarily non-invariant (Berestovski theorem).