Corollary
Tag 0BN5, permanent. Cite it as [Bourbaki, Tag 0BN5].
General Topology, chapter III, § 6. Topological groups with operators; topological rings division rings and fields
Let be a commutative topological group with operators, and let be a stable subgroup of . Then the following conditions are equivalent:
a) has a topological complement in .
b) There is a continuous projector of into such that .
c) The identity mapping of can be extended to a continuous linear mapping of onto .
It follows from Proposition 2 that a) implies b), and it is clear that b) implies c). Finally, if is a continuous linear mapping of onto which extends the identity mapping of , then is a continuous projector, and the projectors and are associated with the direct sum decomposition , where .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.