 Bounded Lipschitz norm

The bounded Lipschitz norm combines the Lipschitz constant and supremum norm of a bounded real-valued Lipschitz function on a metric space. Both summands satisfy the triangle inequality; the supremum term makes the sum definite even on constant functions. Its unit ball requires the sum of the two bounds to be at most one, a stronger requirement than bounding each separately by one.