Ejercicio 1.14 de el libro Rordam, Larsen y Laustsen "Una introducción a la K-teoría de las C*-álgebras de" pide a demostrar, que la triangular superior de la matriz con los elementos de C*-álgebra $A$ es invertible en a $M_n(A)$ fib todas las entradas de la diagonal son invertible en a $A$.
Tratando de resolver este he encontrado que si $a$ es invertible y $\delta$ es tal que $(a^{-1}\delta)^n=0$ $a+\delta$ es invertible y su inversa es dado por $(a+\delta)^{-1}=\sum_{k=0}^{n} (-a^{-1}\delta)^ka^{-1}$. Utilizando este hecho me puede demostrar que si la diagonal es invertible, entonces parte superior triangular de la matriz con esta diagonal es invertible, y también que si la parte superior triangular de la matriz superior triangular inversa, a continuación, su diagonal es invertible. Así que todo lo que tiene que demostrar es que si parte superior triangular de la matriz invertible, entonces su inversa es superior triangular. He fracasado en probar este.
También hay una pista para este ejercicio: "Resolver la ecuación de $ab=1$ donde $a$ es como el anterior [es decir, superior triangular de la matriz] y en la $b$ se desconoce triangular superior de la matriz". La solución de esta ecuación se desprende de mi razonamiento anterior, pero esto no ayuda.
Actualización (contraejemplo intento): he hecho un intento y parece que por mí como si hubiera encontrado un contraejemplo. Sin embargo, creo que hay un error en ella (porque de lo contrario hay un error en el libro). Aquí está. Deje $A=B(l^2(\mathbb{N}))$ --- álgebra de operadores acotados en secuencias de $x=\{x_i\}_ {i=1}^ \infty:\|x\|^2=\sum_{x=1}^{\infty}|x_i|^2<\infty$. Deje $z\in A$ ser definido por $(zx)_ {2n-1}=0$, $(zx)_{2n}=x_n$, y $t\in A$ ser definido por $(tx)_{2n-1}=x_n$, $(tx)_ {2n}=0$. Entonces tenemos $t^*t=z^ * z=tt^* +zz^* =1$, $t^* z=z^* t=0$. A partir de estos tenemos que $$\begin{pmatrix}z&tz^* \\\ 0&t^* \end{pmatrix}\begin{pmatrix}z^* &0\\\ zt^* &t\end{pmatrix}=\begin{pmatrix}1&0\\\ 0&1\end{pmatrix}$$ y $$\begin{pmatrix}z^* &0\\\ zt^* &t\end{pmatrix}\begin{pmatrix}z&tz^* \\\ 0&t^* \end{pmatrix}=\begin{pmatrix}1&0\\\ 0&1\end{pmatrix}.$$ Así que ahora mi pregunta debería decir "¿Dónde estoy equivocado?".