Esto demuestra que L²("X") ⊗ L²("Y") es isomorfo a L²("X" × "Y"), y también explica porqué necesitamos tomar la completación en la construcción del producto tensorial del espacio de Hilbert.