24.12.2012 Views

Basic Analysis – Gently Done Topological Vector Spaces

Basic Analysis – Gently Done Topological Vector Spaces

Basic Analysis – Gently Done Topological Vector Spaces

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!