Machine Translated by Google

62 ALEXANDRE' GROTHENDIECK

C (1/2) U n+1; let then W' n+i be a weakly closed circle

we therefore have K' n+l

convex neighborhood of O containing clans (1/2) Un+I, and let Wn+l = = J('
n+l• This
n+l is
is A strong
weakly neighborhood
contained
compactin U
and
n+1,of
W'n+l 0,weakly
containing
moreover itfirm. K' n+1firm,
is weakly
An+1 n+1 Wn+1
and + W' ' and
becausedo K'
satisfy induction hypotheses 1), 2) and 3) above.

ConoLLARY 1. Any separable and bounded part of E" Jaible is

equicontinuous, and a fortiori weakly relatively compact.
It immediately results in the

ConoLLARY 2. Any Cauchy sequence Jaible in E" converges J

aiblernent there.
A fortiori, a strong Cauchy sequence in E" converges weakly, therefore
also strongly; since E" is metrisable for its strong topology, it follows:
CoROLLARY 3. The bidual E" of a locally convex metrizable space is
complete, c is to say a space (F).

COROLLARY 4. Any bounded and separable part of the complete E

of E is contained in the adhesion of a bounded part of E.
Indeed, by virtue of Corollary 3, we have E C E"; it is then sufficient to
apply Corollary 1. All these statements use only the weakened form of
Theorem 1 given in Corollary 1. The continuation of this N. 0 will give
applications of Thesis 1 in its general form.

PROPOSAL 1. Let E be a locally convex metrisable space,

G any locally convex space, (Mi) a sequence of subsets of
the space L, (E', G) continuous linear maps from strong E' to
G, endowed with simple convergence topology. For the union
M of Mi to be equicontinuous, (it is necessary and) it suffices
that it be bounded, and that each Mi be equicontinuous.
This immediately leads to Theorem 1, less general in appearance,
given the following lemma, which leads the consideration of continuous
linear maps to the consideration of linear forms :

SlTMMA BRASILIENSIS MATHEMATICAE, vol. 3, fasci. 6, 195!