Triangle inequality

Distances and norms satisfy a subadditivity inequality
Triangle inequality

Triangle inequality (metric form): In a (X,d)(X,d), for all x,y,zXx,y,z\in X, d(x,z)d(x,y)+d(y,z). d(x,z)\le d(x,y)+d(y,z).

Triangle inequality (norm form): In a normed vector space (V,)(V,\|\cdot\|), for all u,vVu,v\in V, u+vu+v. \|u+v\|\le \|u\|+\|v\|.

The triangle inequality is the foundational estimate behind most ε\varepsilon–arguments in analysis, including limit uniqueness, , and estimates.

Examples:

  • In R\mathbb{R} with d(x,y)=xyd(x,y)=|x-y|, the metric triangle inequality is xzxy+yz|x-z|\le |x-y|+|y-z|.
  • In Rn\mathbb{R}^n with the , u+vu+v\|u+v\|\le \|u\|+\|v\| follows from .