The Direct item �?i �?I V i displaystyle textstyle prod _ iin I V_ i is just not a Hilbert Place. ^ A foundation of the Hilbert space is not the identical issue like a basis of a linear algebra. For distinction, a linear algebra foundation for your Hilbert House https://vectorinc.org/en