Basic Analysis – Gently Done Topological Vector Spaces
Basic Analysis – Gently Done Topological Vector Spaces
Basic Analysis – Gently Done Topological Vector Spaces
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
94 <strong>Basic</strong> <strong>Analysis</strong><br />
and we deduce that �A� ≤ 1+�A m �. Thus A ∈ B(X,Y).<br />
We must now show that, indeed, A n → A with respect to the norm in B(X,Y).<br />
Let ε > 0 be given. Then there is N ∈ N such that<br />
�A n x−A m x� ≤ �A n −A m ��x� ≤ ε�x�<br />
for any m,n > N and for any x ∈ X. Taking the limit n → ∞, as before, we<br />
obtain<br />
�Ax−A m x� ≤ ε�x�<br />
for any m > N and any x ∈ X. Taking the supremum over x ∈ X with �x� ≤ 1<br />
yields �A−A m � ≤ ε for all m > N. In other words, A m → A in B(X,Y) and the<br />
proof is complete.<br />
Remark 8.14 If S and T belong to B(X), then ST : X → X is defined by<br />
STx = S(Tx), for any x ∈ X. Clearly ST is a linear operator. Also, �STx� ≤<br />
�S��Tx� ≤ �S��T��x�, which implies that ST is bounded and �ST� ≤ �S��T�.<br />
Thus B(X) is an example of an algebra with unit (the unit is the bounded linear<br />
operator 1lx = x, x ∈ X). If X is complete, then so is B(X). In this case B(X) is<br />
an example of a Banach algebra.<br />
Examples 8.15<br />
1. Let A = (a ij ) be any n × n complex matrix. The map x ↦→ Ax, x ∈ C n , is<br />
a linear operator on C n . Clearly, this map is continuous (where C n is equipped<br />
with the usual Euclidean norm), and so therefore it is bounded. By slight abuse<br />
of notation, let us also denote by A this map, x ↦→ Ax.<br />
To find �A�, we note that the matrix A ∗ A is self adjoint and positive, and so there<br />
exists a unitary matrix V such that VA ∗ AV −1 is diagonal:<br />
VA ∗ AV −1 =<br />
⎛<br />
λ1 0 ... 0<br />
⎞<br />
⎜ 0 λ2 ... 0 ⎟<br />
⎜<br />
⎝ .<br />
.<br />
.<br />
. .<br />
.<br />
..<br />
. ⎟<br />
. ⎠<br />
.<br />
0 0 ... λn where each λ i ≥ 0, and we may assume that λ 1 ≥ λ 2 ≥ ... ≥ λ n . Now, we have<br />
�A� 2 = sup{�Ax� : �x� = 1} 2<br />
= sup{�Ax� 2 : �x� = 1}<br />
= sup{(A ∗ Ax,x) : �x� = 1}<br />
= sup{(VA ∗ AV −1 x,x) : �x� = 1}<br />
= sup �� n<br />
k=1 λ k |x k |2 : � n<br />
k=1 |x k |2 = 1 �<br />
= λ 1 .<br />
Department of Mathematics King’s College, London