Oxymoron
- 868
- 0
If n\in N then \alpha(a)(n) \in N for all a \in A. But we have
f((an)^*(an)) = f(n^*a^*an) = 0
which is in N. So \alpha\,:\,N\rightarrow N gives L\,:\,A/N\rightarrow A/N such that
L(a)(b+N) = \alpha(a)(b) + N = ab+N
Then, L is linear because alpha is. To show that it is bounded we have
\|L(a)(b+N)\|^2 = (ab+N\,|\,ab+N) = f(b^*a^*ab) = f((cb)^*cb) \geq 0
Thus
\|a\|^2(b+N\,|\,b+N) = \|a\|^2f(b^*b) \geq f(b^*a^*ab) = \|L(a)(b+N)\|^2
and L(a) is bounded with \|L(a)\|\leq \|a\|. Therefore L is an isometry.
f((an)^*(an)) = f(n^*a^*an) = 0
which is in N. So \alpha\,:\,N\rightarrow N gives L\,:\,A/N\rightarrow A/N such that
L(a)(b+N) = \alpha(a)(b) + N = ab+N
Then, L is linear because alpha is. To show that it is bounded we have
\|L(a)(b+N)\|^2 = (ab+N\,|\,ab+N) = f(b^*a^*ab) = f((cb)^*cb) \geq 0
Thus
\|a\|^2(b+N\,|\,b+N) = \|a\|^2f(b^*b) \geq f(b^*a^*ab) = \|L(a)(b+N)\|^2
and L(a) is bounded with \|L(a)\|\leq \|a\|. Therefore L is an isometry.