Math 2.0

statement axiom

Triangle inequality for a metric

Statement

Let (X,d)(X, d) be a metric space. For all points x,y,z∈Xx, y, z \in X, d(x,z)≤d(x,y)+d(y,z).d(x, z) \le d(x, y) + d(y, z).

Remarks

This is one of the four axioms of a metric. For X=RX = \mathbb{R} with d(x,y)=∣x−y∣d(x, y) = |x - y|, it is the triangle inequality for real numbers, with a=x−ya = x - y and b=y−zb = y - z. A consequence is the reverse form ∣d(x,y)−d(x,z)∣≤d(y,z)|d(x, y) - d(x, z)| \le d(y, z) for all x,y,z∈Xx, y, z \in X.

Explanations

L1 human

A direct path from xx to zz is never longer than a path that goes through a third point yy. In the plane, this says that one side of a triangle is at most the sum of the other two sides.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What depends on this

5 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Triangle_inequality, Metric space
  2. Web https://en.wikipedia.org/wiki/Metric_space, Definition