Soit (E,ξ) un ELC séparé et soit B la famille de tous les bornés absolument convexes de E. Si B∈B on note EB=⋃λ>0λB le sous-espace vectoriel de E.
1) Montrer que E=⋃B∈BEB.
2) Montrer que B est absorbant dans EB.
3) Soit PB la jauge de B dans EB. Montrer que PB est une norme dans EB.
On considère l'EVN (EB,PB).
4) Soit IB:(EB,PB)→(E,ξ) l'injection canonique. Montrer que IB est continue.
5) Soit (E,τ)=limind(EB,PB). Montrer que ξ⊂τ et que si (E,ξ) est bornologique alors ξ=τ.