F es un isomorfismo isométrico entre espacios de Hilbert.