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.

6: <strong>Topological</strong> <strong>Vector</strong> <strong>Spaces</strong> 55<br />

Proposition 6.5 Let X be a topological vector space. For given a ∈ X and<br />

s ∈ K, with s �= 0, the translation map T a : x ↦→ x+a and the multiplication map<br />

M s : x ↦→ sx, x ∈ X, are homeomorphisms of X onto itself.<br />

Proof Let Φ : X × X → X and Ψ : K × X → X be the mappings introduced<br />

above. Then, by continuity, if ((x α ,y α )) is a net which converges to (x,y) in<br />

X ×X, we have<br />

x α +y α = Φ((x α ,y α )) → Φ((x,y)) = x+y.<br />

Similarly, if (s α ,x α ) → (s,x) in K×X, then<br />

s α x α = Ψ((s α ,x α )) → Ψ((s,x)) = sx.<br />

Hence, for any net (x α ) in X with x α → x, set y α = a for all α and s α = s for<br />

all α, where s �= 0. Then (x α ,y α ) → (x,a) and (s α ,x α ) → (s,x) and we conclude<br />

that<br />

and<br />

T a (x α ) = x α +a → x+a = T a (x)<br />

M s (x) = sx α → sx = M s (x).<br />

Thus both T a and M s are continuous maps from X into X. Furthermore, T a<br />

has inverse T −a and M s has inverse M s −1, which are also continuous by the same<br />

reasoning. Therefore T a and M s are homeomorphisms of X onto itself.<br />

Corollary 6.6 For any open set G in a topological vector space X, the sets<br />

a+G, A+G and sG are open, for any a ∈ X, A ⊆ X, and s ∈ K with s �= 0. In<br />

particular, if U is a neighbourhood of 0, then so is tU for any t ∈ K with t �= 0.<br />

Proof Suppose that G is open in X. For any a ∈ X and s ∈ K, we have<br />

a+G = T a (G) and sG = M s (G). By the proposition, T a and M s , for s �= 0, are<br />

homeomorphisms and so T a (G) and M s (G) are open sets. Now we simply observe<br />

that A+G = �<br />

a∈A (a+G), which is a union of open sets and so is itself open.<br />

If U is a neighbourhood of 0, there is an open set G with 0 ∈ G ⊆ U. Hence<br />

0 ∈ tG ⊆ tU and tG is open so that tU is a neighbourhood of 0.

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

Saved successfully!

Ooh no, something went wrong!