little question; nonseperable Hilbert spaces: what kind of basis...? It is well known that every separable Hilbert space has a countable orthonormal basis. This type of basis is a schauder basis. If the Hilbert space is nonseperable, the Hilbert space has a orthonormal basis wich is not countable. By definition, it isn't a Hamel basis and it isn't a Schauder basis, right? What kind of basis is this? There has to be a definition of basis which doesn't assume "countability", but I only know "Hamel basis" and "Schauder basis". Could you tell me, what kind of basis a nonseperable Hilbert space has? Regards

I'm not sure whether this helps you, it's taken from Weidmanns Book about Hilbert spaces (which is in German). He defines an orthogonal basis of a Hilbert space $H $ (without introducing a special name for it other than that) as a system of vectors $M=\{e_i\}_{i\in X},e_i\in H$ for some index set $X$ such that


*

*$\langle e_i, e_j\rangle = \delta_{ij}$

*$H  \subset \overline{L(M)}$ 


where $L(M)$ is the set of finite linear combinations of $e_i$. Here $X$ is allowed to have arbitrary cardinality. Note that this allows infinite sums   $\sum_{i\in X} a_i e_i $ (taking the closure makes this a non algebraic definition), but these only make sense if at most countable many $a_i$ are nonzero.
He then shows that every Hilbert space has such an orthonormal base. This does not seem to be true for pre Hilbert spaces. He also shows that $H$ is separable iff $X$ is countable and that the cardinality of each two orthogonal bases is the same. 
