En análisis funcional un operador unitario es un operador lineal "U" : "H" → "H" en un espacio de Hilbert que satisface: