Hamel basis

A Hamel basis is a basis in the purest algebraic sense: a set B of vectors such that every vector in V is a FINITE linear combination of elements of B, in exactly one way. The word 'finite' is the whole story — no infinite sums, no limits, no convergence, just plain finite addition. This is the same notion of basis from Vol I, simply insisted upon even when the space is infinite-dimensional.

The headline theorem is that EVERY vector space has a Hamel basis, no matter how vast. The proof leans on Zorn's lemma (equivalent to the axiom of choice): consider all linearly independent subsets, ordered by inclusion, and Zorn guarantees a maximal one, which turns out to be a basis. The price is that the proof is non-constructive — it asserts a basis exists without ever handing you one you could write down.

That non-constructiveness is not a technicality; it is the heart of the strangeness. The space of all real sequences, or all continuous functions, has a Hamel basis, but no human has ever exhibited one and provably none can — it is genuinely beyond explicit description. You believe in it only because Zorn says so. Infinite-dimensional algebra forces you to accept objects you can name but never display.

The crucial contrast is with the 'bases' analysts actually use. A Fourier or orthonormal basis of a Hilbert space lets you write vectors as INFINITE convergent sums — that is a topological (Schauder) basis, a different and weaker notion that relies on a notion of limit. A Hamel basis ignores all topology and demands finite combinations only. The two almost never coincide in infinite dimensions, and conflating them is a classic beginner error.