24.11.2017 Views

Abelian Groups - László Fuchs [Springer]

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

7 Completeness in Linear Topologies 73<br />

If the topology fails to satisfy the first axiom of countability, then completeness<br />

may occur in an unexpected situation. This is demonstrated by the following<br />

example where, for a limit ordinal , thep -topology of a p-group A is defined<br />

by declaring the subgroups p A . < / as a base of neighborhoods of 0.<br />

Example 7.9. Suppose is a limit ordinal not cofinal with !, andletA . < / be p-groups<br />

such that A has length . Then the A are discrete (and hence complete) in the p -topology.<br />

Consequently, A D Q < A is complete in the p -topology which is now the box topology on<br />

A (cf. Exercise 2).<br />

Strangely enough, A D˚< A is complete in the p -topology. To prove this, we show that A<br />

is closed in A . Assume the contrary, i.e. there is x D .:::;a ;:::/ 2 A n A in the closure of A.<br />

We can find a sequence 1 < < n < ::: of ordinals with a n ¤ 0. Letsup n D 0

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

Saved successfully!

Ooh no, something went wrong!