statement axiom
Triangle inequality for a metric
Statement
Let be a metric space. For all points ,
Remarks
This is one of the four axioms of a metric. For with , it is the triangle inequality for real numbers, with and . A consequence is the reverse form for all .
Explanations
L1 human
A direct path from to is never longer than a path that goes through a third point . 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.
- Open balls form a basis of the metric topology 02EEX96DFS
- Metrizable spaces are normal 0AD0BZ49DW
- Open balls are open 0B2305GNAZ
- Metric spaces are Hausdorff 0P9DCDES73
- Closed balls are closed 0YS40B38JD
Sources
- Web https://en.wikipedia.org/wiki/Triangle_inequality, Metric space
- Web https://en.wikipedia.org/wiki/Metric_space, Definition
What links here
Used by
- Open balls are open 0B2305GNAZ
- Metric spaces are Hausdorff 0P9DCDES73
- Closed balls are closed 0YS40B38JD