Autor: Daniel Lara

Todo espacio prehilbertiano separable posee una familia ortonormal maximal contable

Ejercicio 1. Todo espacio prehilbertiano separable posee una familia ortonormal maximal contable. Sea \(H\) un espacio prehilbertiano. P.D. \(\exists \left\{e_n\right\}_{n\in\mathbb{N}}\) familia ortonormal en \(H\) tal que \[\overline{\mathop{\mathrm{span}}\left\{e_n\right\}_{n\in\mathbb{\mathbb{N}}}} = H.\] Como \(H\) es separable, entonces existe un conjunto numerable denso en […]

Sigue leyendo