Source scope: §3.3. Worked numerical examples, experiments, and practice are teaching supplements unless identified as source results.
Two routes between the same points
From to , a straight route has length . A horizontal-then-vertical route has length . These are Euclidean and city-block metrics; neither changes the endpoints. A metric need not come from a vector space.
A metric on a set is a function such that, for all ,
- , with equality exactly when .
- .
- , the triangle inequality.
A tempting substitute, squared Euclidean distance, fails the third condition: on the real line, exceeds .
A tail that stays close
A sequence in converges to if
The entire tail must stay inside the distance threshold. One close point is insufficient. Real-number convergence is the special case .
For and , choose any integer . Then implies . For , works; fails the strict inequality at its first term.
Change the rule for length
The curve contains vectors of length one in the selected p-norm. Predict how the readout changes.
Preparing interactive controls…
Transfer
Does the sequence converge to zero because it reaches zero infinitely often?
Check the whole tail
No. Choose . Every tail contains a term equal to one, whose distance from zero is one. There is no qualifying .