The story
Named after Hungarian mathematician Alfréd Haar.
Etymology from Wiktionary, CC BY-SA 4.0.
Haar space
Today it means: A finite-dimensional subspace V of 𝒞(X, 𝕂), where X is a compact space and 𝕂 either the real numbers or the complex numbers, such that for any given f∈𝒞(X, 𝕂) there is exactly one element of V that approximates f "best", i.e. with minimum distance to f in supremum norm. Full definition →