← Module 02 / Vectors & spaces

Lesson 02.7 · §3.3

How can distance define a limit?

Use the metric axioms and the epsilon–N definition of convergence.

In this lesson 3 ideas
  1. Two routes between the same points
  2. A tail that stays close
  3. Transfer

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 (0,0)(0,0) to (3,4)(3,4), a straight route has length 55. A horizontal-then-vertical route has length 77. 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 SS is a function d:S×S→Rd:S\times S\to\mathbb R such that, for all x,y,z∈Sx,y,z\in S,

  1. d(x,y)≥0d(x,y)\ge0, with equality exactly when x=yx=y.
  2. d(x,y)=d(y,x)d(x,y)=d(y,x).
  3. d(x,z)≤d(x,y)+d(y,z)d(x,z)\le d(x,y)+d(y,z), the triangle inequality.

A tempting substitute, squared Euclidean distance, fails the third condition: on the real line, d(0,2)=4d(0,2)=4 exceeds d(0,1)+d(1,2)=2d(0,1)+d(1,2)=2.

A tail that stays close

A sequence (xn)(x_n) in SS converges to xx if

for every ϵ>0 there exists N∈N such that n≥N⟹d(xn,x)<ϵ.\text{for every }\epsilon>0\text{ there exists }N\in\mathbb N\text{ such that }n\ge N\Longrightarrow d(x_n,x)<\epsilon.

The entire tail must stay inside the distance threshold. One close point is insufficient. Real-number convergence is the special case d(x,y)=∣x−y∣d(x,y)=|x-y|.

For xn=1/nx_n=1/n and x=0x=0, choose any integer N>1/ϵN>1/\epsilon. Then n≥Nn\ge N implies 1/n≤1/N<ϵ1/n\le1/N<\epsilon. For ϵ=0.1\epsilon=0.1, N=11N=11 works; N=10N=10 fails the strict inequality at its first term.

Explore it yourself

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…

x₁x₂-4-4-3-3-2-2-1-1011223344v

v = (1.000, 1.000); length = 1.414. L₁ = 2.000; L₂ = 1.414; L∞ = 1.000. Blue curve: all points with selected length one. Red endpoint: v.

Axes: first and second real coordinates, in unit steps. Endpoints and labels identify each vector.

Transfer

Does the sequence 0,1,0,1,…0,1,0,1,\ldots converge to zero because it reaches zero infinitely often?

Check the whole tail

No. Choose ϵ=1/2\epsilon=1/2. Every tail contains a term equal to one, whose distance from zero is one. There is no qualifying NN.