• Kogasa@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    ·
    18 days ago

    You’re talking about a metric tensor on a pseudo-Riemannian manifold, I’m talking about a metric space. A metric in the sense of a metric space takes nonnegative real values. If you relax the condition that distinct points have nonzero distance, it’s a pseudometric.