Supongamos primero que $T^2 =I$ . Entonces, observamos automáticamente que $\ker (T-I) \cap \ker (T+I) = 0$ ya que si $v \in \ker(T-I)\cap \ker (T+I)$ entonces vemos que $v = -v$ su inversa aditiva, de modo que $v = 0$ de forma idéntica.
Ahora empleamos el teorema de nulidad de rango: Sabemos que $\dim V = \dim \textrm{im} (T-I) + \dim \ker (T-I)$ de modo que si elegimos $v \notin \ker (T-I)$ concluimos que $v \in \textrm{im} (T-I)$ (básicamente, $V = \ker (T-I) + \textrm{im} (T-I)$ ).
Utilizando esto, supongamos que es así. Entonces, $v = (T-I)(u)$ para algunos $u \in V$ . Ahora aplique $T+I$ a ambos lados: Lo hemos hecho: $$(T+I)(v) = (T+I)(T-I)(u) = (T^2 - I)(u) = 0$$
Desde $T^2 = I$ . Así, $\ker (T+I) = \textrm{im} (T-I)$ . Podemos juntar esto con lo anterior para concluir $V = \ker (T-I) \oplus \ker (T+I)$ .
Por el contrario, supongamos que $V = \ker (T-I) \oplus \ker (T+I)$ . Entonces, dado $v \in V$ sabemos que es de la forma $v = u + w$ con $u \in \ker (T-I)$ , $w \in \ker (T+I)$ .
A continuación, aplique $T$ una vez a ambos lados:
$$T(v) = T(u) + T(w) = u - w$$
Aplique $T$ una vez más:
$$T^2 (v) = T(u) - T(w) = u + w = v$$
Así que $T^2 = I$ , según se desee.