Linear topological and locally convex spaces

Abstract

… Since D ~ G we obtain that x E G and, since G is open, we obtain that there is V a balanced neighborhood of the origin such that x + V ~ G. … For G1 there is a balanced neighborhood V1 ofO such that V1 c::; G 1 . Thus there is a balanced neighborhood V1 of 0 E X such that V1 + …