gen-state-a-metric-space-precisely-and-explain-why-it-matters-in-4bfb

State a metric space precisely and explain why it matters in 2-3 sentences.

A **metric space** is a set X together with a distance function d: X × X → ℝ that satisfies: (1) d(x,y) ≥ 0 with equality iff x = y, (2) d(x,y) = d(y,x), and (3) d(x,z) ≤ d(x,y) + d(y,z) for all x,y,z ∈ X. Metric spaces matter because they provide the foundational framework for rigorously defining concepts like convergence, continuity, and compactness across diverse mathematical contexts—from Euclidean geometry to function spaces to probability theory. This abstraction allows us to prove theorems once in the general setting and apply them everywhere a notion of "distance" makes sense.