Machine Translated by Google

ON SPACES (F) AND (OF) 61

not @1 and @2 (by simply saying that u is hypocontinuous, or M

equi-hypocontinuous), it will be understood that @1 and @2 will be
the set of all bounded subsets of E resp. F. Finally, when @1 and
@2 reduce respectively to the set of finite subsets of E or F, we
will simply say that u is separately continuous, or that 2kf is
separately equicontinuous.
I. THEORY OF SPACES (OF).
I. A stability property of the set of zero vo1sages in the
strong dual of a space (F). Space (DF).
THEOREM 1. Let E be a local, ent convex metrisable space,
(A,) a sequence of equicontinuous parts of its bidual, including the u
A solitary limit. Then A is equicontinuous.
The dual statement is: If (Ui) is a sequence of neighborhoods
of O in strong E', convex, circles and forternly closed, whose
intersection U generates E', then U is a strong neighborhood
of O in E'. This also means that U contains a convex circle and
weakly closed set W which generates. E'. To construct W, we
denote by (Kn) a fundamental sequence of strongly bounded,
convex, circled and weakly closed subsets of E', and we construct
by induction a sequence of positive numbers A, > 0 and of convex
circle neighborhoods and weakly closed Wi of 0, so that we have
(assuming the construction of the two sequences made up to rank
n): 1) }., Ki C 1/2i+i U, 2) Ai K, C W;, 3) W1 C U, (for i, j ÿ n).
If then the infinite construction is possible, the set W = n W.
generates E' (because it contains the A, Ki), it is convex, circle and
weakly closed (the Wi being it) and contained in n U , = U, and
everything will be done. Let us therefore show that the recurrence
can effectively continue from rank n to rank n + 1. For this we will
choose An+1 small enough so that we have An+1 Kn+l C (l/2n+2)
u n n; =l Wi (this is possible, K,.+1 being strongly
complete, see [2], th. 2).
Let K' n+t = Al K1 + . . . + An+ 1 Kn+t, it is a weakly compact
circled convex part of E' contained in
(1/4) U + ... + (1/2" +:) U C (1/2) U ,
SUMMA BRASILIENSIS MATHEMATICAE, vol. 8, fasci. 6, 1954