Bounded metric transform

ID: bounded-metric-transform

The increasing function is subadditive on nonnegative arguments: each summand and is at least its numerator divided by . Thus is a metric whenever is. It is bounded and induces the same topology because and its inverse near zero preserve convergence to zero.

New to topics? Read the docs here!