Historical Context & Motivation
Have you ever wondered how your phone's GPS knows exactly how far you are from a restaurant? Or how a video game calculates whether an enemy is close enough to attack? These questions all come down to one idea: measuring distance. Mathematicians have spent centuries figuring out how to measure length and distance not just on a flat surface, but in spaces with many dimensions.
The story of vector norms (a fancy name for "the length of a vector") stretches back to ancient Greece and continues through modern computer science. Let's trace how this idea developed.
So here is the central question: How do we measure the "size" of a vector, and how do we use that measurement to find the distance between two points? That's exactly what this lesson will answer.
Core Principles & Definitions
Before we dive into formulas, let's nail down some key ideas. A vector is a quantity that has both a direction and a magnitude (size). You can think of it as an arrow pointing from one spot to another. A norm is simply a rule that assigns a non-negative number to a vector — that number tells you the vector's length.
What Is a Norm?
Non-Negativity
Scalar Multiplication
Triangle Inequality
Distance = Norm of the Difference
Visual Explanation
Let's see what vector norms and distance look like on a coordinate plane. The diagram below shows two vectors, u = (3, 4) and v = (7, 1). Each vector's norm is its length from the origin, and the distance between them is the length of the dashed line connecting their tips.
Notice that the length of the purple arrow (‖u‖ = 5) comes from the Pythagorean theorem: √(3² + 4²) = √(9 + 16) = √25 = 5. That's all a norm really is — a generalization of the Pythagorean theorem to measure vector length. The distance between u and v is the norm of the difference vector u − v = (3 − 7, 4 − 1) = (−4, 3), which gives ‖u − v‖ = √(16 + 9) = 5.
Mathematical Framework
Now let's formalize the math. There are several different norms, but the most common ones you'll encounter are the L¹ norm (also called the Manhattan norm), the L² norm (also called the Euclidean norm), and the L∞ norm (also called the max norm). Each one measures "length" in a slightly different way.
Comparing Different Norms
Different norms give different answers for the same vector. The diagram below shows the unit circles for the L¹, L², and L∞ norms. A "unit circle" for a norm is the set of all vectors whose norm equals exactly 1. Each norm defines a different shape.
Let's look at a specific example. For the vector v = (3, −4), the three norms give different values.
| Norm | Formula | Calculation for v = (3, −4) | Result |
|---|---|---|---|
| L¹ | |v₁| + |v₂| | |3| + |−4| = 3 + 4 | 7 |
| L² | √(v₁² + v₂²) | √(9 + 16) = √25 | 5 |
| L∞ | max(|v₁|, |v₂|) | max(3, 4) | 4 |
Worked Example
Let's work through a complete problem. Suppose you have two vectors in three-dimensional space: u = (1, −2, 3) and v = (4, 0, −1). Find the Euclidean (L²) distance between u and v.
When to Use Each Norm
You might wonder: if the L² norm is the "natural" one, why bother with the others? It turns out that different situations call for different norms. Each norm captures a different idea of "closeness," and choosing the right one can make a big difference in real-world applications.
| Norm | Strengths | Limitations | Best Used For |
|---|---|---|---|
| L¹ (Manhattan) | Robust to outliers (extreme values). Easy to compute. | Doesn't give the shortest path geometrically. | City-block navigation, sparse data analysis, machine learning feature selection. |
| L² (Euclidean) | Matches physical intuition. Smooth and differentiable everywhere. | Sensitive to outliers due to squaring. Computationally heavier in high dimensions. | Physics calculations, GPS distance, k-nearest neighbor algorithms. |
| L∞ (Max) | Fastest to compute. Focuses on the worst-case component. | Ignores all components except the largest, losing information. | Error checking (worst-case analysis), chess-board distance, quality control. |
Connection to Advanced Theory
The concepts of norms and distance you've learned here are the foundation for much more advanced math. In college-level linear algebra, you'll encounter inner product spaces — places where the L² norm comes from a special operation called the inner product (also known as the dot product). The relationship is: ‖v‖₂ = √(v · v), where v · v is the dot product of the vector with itself.
| What You Learned Today | Where It Leads |
|---|---|
| Norm of a vector (‖v‖) | Normed vector spaces, Banach spaces — abstract spaces where length is defined. |
| Euclidean distance d(u, v) = ‖u − v‖₂ | Metric spaces — any space with a distance function obeying specific rules. |
| Different norms (L¹, L², L∞) | Lp norms for any p ≥ 1, function spaces, and optimization theory. |
| Triangle inequality | Cauchy-Schwarz inequality, orthogonality, and projection theorems. |
Don't worry if those advanced terms sound intimidating right now! The important thing is that you already understand the core idea: norms measure length, and distance is the norm of the difference between two vectors. Every advanced topic in this area builds on exactly that foundation.
Practice Problems
Lesson Summary
A vector norm is a function that assigns a non-negative number to a vector, representing its length. The three most important norms are the L¹ (Manhattan) norm, which sums the absolute values of all components; the L² (Euclidean) norm, which uses the Pythagorean theorem to find straight-line length; and the L∞ (max) norm, which returns the largest absolute component. Every valid norm satisfies three properties: non-negativity, scalar multiplication, and the triangle inequality.
The distance between two vectors is always defined as the norm of their difference: d(u, v) = ‖u − v‖. Different norms produce different distance values for the same pair of vectors, and the choice of norm depends on the application. The unit circle for each norm has a distinct shape — a diamond for L¹, a circle for L², and a square for L∞ — which visually captures how each norm "sees" the world. These ideas form the backbone of inner product spaces and orthogonality, two of the most powerful concepts in advanced linear algebra.