El operador lineal I en un espacio vectorial o espacio de Hilbert que envía cada vector sobre sí mismo, I|ψ⟩ = |ψ⟩ para todo |ψ⟩; es la identidad multiplicativa en el álgebra de operadores acotados y suele denotarse I o 1.

Principio

Actúa de forma neutra bajo composición y multiplicación escalar: para cualquier operador A en el mismo espacio, IA = AI = A; su espectro es {1} y es invertible con I−1 = I.

Demostración

En una base ortonormal finita {|n⟩} la identidad se escribe I = ∑_n |n⟩⟨n|. Aplicada a un estado arbitrario |ψ⟩, la suma reproduce |ψ⟩ recombinando sus coeficientes.

Aplicación incorrecta

Confundir operadores identidad definidos en distintos espacios de Hilbert (tratar I_H1 como igual a I_H2), u olvidar cuestiones de dominio en operadores no acotados y tomar una identidad restringida sobre un subespacio como la identidad global.

Consecuencia

Proporciona la relación de cierre usada para expandir estados y operadores en bases, fundamenta la definición de resolventes y funciones de Green mediante (A − λI), y sirve como elemento neutro para manipulaciones algebraicas de operadores.

Inversión

El operador nulo envía todo vector al 0 y se comporta de forma opuesta en suma y composición; reemplazar I por un proyector sobre un subespacio propio convierte la composición neutra en una operación de proyección.

Límite

Válido para operadores lineales en el espacio especificado; en contextos de dimensión infinita hay que precisar si I se refiere a la identidad en todo el espacio de Hilbert o en un dominio denso propio, y las representaciones matriciales dependen de la base elegida.

Tensión semántica

Tensión entre el operador identidad abstracto y su representación matricial (la matriz identidad) o el escalar 1; sutileza entre identidad en el espacio completo y identidad en un subespacio o componente de suma directa.

Síntesis

El operador identidad es la aplicación lineal única que deja cada vector sin cambio y actúa como la identidad multiplicativa en el álgebra de operadores, permitiendo expansiones en base, desplazamientos espectrales y manipulaciones algebraicas consistentes.