Etymology

Today it means: The quotient of a Hilbert space by an equivalence relation which considers a pair of vectors equivalent iff they differ only by a factor which is a complex number. Full definition →