(Guitar riff fades in, sounding suspiciously like a Fourier series being approximated by distorted sine waves) (Verse 1) There's a function they whisper in the halls of analysis' grace It's got a norm that's well-defined, in a mysterious space In my proofs, I've seen glimpses of an orthogonal trace Oh yes, there comin' to take me away, to Hilbert Space! (Verse 2) If you get there and you find it's complete and it's true With a Cauchy sequence, baby, converging right to you Oh, it makes me wonder 'bout the basis I chased My head is spinning from the inner product's taste. (Chorus) 'Cause you know, sometimes words have two norms And in the spectral theorem's haze, a new form is born. Oh, yeah, my operator's compact, gonna find its trace On a staircase... a staircase to Hilbert Space. (Guitar Solo - played on a theremin, interpreted as the eigenfunctions of the Laplacian on a fractal domain. It definitely has infinite dimension.) (Vers...