Sobre las convergencias dbiles y sus topologas

Por MARA DEL CARMEN DE LAS OBRAS Recibido: 7 de noviembre de 1984 Presentado por el acadmico correspondiente D. Antonio Plans

Abstract
Given a real separable Hubert space //, we denote with G{H) the Geometry of the closed linear subspaces of H, with S =\E^^^ \n e A^} a sequence in G{H) and with [C] the closed linear hull of the setC. In provious papers we have defined and characterisze^ the weak convergences in G{H),

Now we report a topological characterization of these convergences by the weak topology rp^/ and the finest topology with the weak convergence, r^.

INTRODUCCIN

Se considera el espacio de Hilbert separable real H\ designamos con G{H) la geometra de los subespacios lineales cerrados de H, con S - {'^'^^1 ^N) una sucesin en G{H) y con [C] la envoltura lineal cerrada de un conjunto C. En^ se definieron las convergencias fuerte y dbil de una sucesin S

Sixi eE^^n^^xr
n n

-^x=>xeE

xeE,
SiXr

3 Xn^E^""^ 3 x^-^x
eE^^n^ ^ Xi

-^X^xEiE

Posteriormente fueron estudiadas y caracterizadas en^*^. La convergencia fuerte verifica los tres axiomas de convergencia de Frechet, es una L*-convergencia, pero para la convergencia dbil encontramos un contraejemplo^, de una sucesin de hiperplanos, {TT^} tal que TT^-T^ H y toda subsucesin {it^ } de {TT^} contiene a su vez una subsucesin {r^ } que converge
n n

dbilmente a H, por consiguiente no se verifica el tercer axioma y es una L-convergencia. Este hecho nos sugiri la definicin de una nueva convergencia^ () ^ E <^ [esE^^n^] = E, V(/ ) C (n) que es la mnima L*-convergencia que contiene a la convergencia dbil -^ .
(Los superindices se refieren a la bibhografa).

650

MARIA DEL CARMEN DE LAS OBRAS

Como la convergencia dbil de una sucesin S implica la fuerte de los ortogonales^^ pero el recproco no es cierto^, definimos otra convergencia^ in) _^ ^ {n)i y '1 gg^^ convergencia verifica los tres axiomas de

Frechet. Adems, E^^^ -^ E sy slo s [es^ E^^n^] = E V (/) C (AZ), y cona b tiene a las convergencias y -^. El objeto de este trabajo es completar el estudio sobre las convergencias anteriores que fue iniciadoi en^^'^ ^. La convergencia fuerte viene caracterizada por la topologa mtrica^. 2.Sea S una sucesin en G(H) y ^ una base de entornos de la topologa dbil r^ definida por hiperplanos. Definicin. Dada Sllamamos ncleo de 5 y lo representamos por 7V(5) al conjunto H [E^""), E^''^^\,..] y ncleo estricto a N^{S) = n [E^^^\,, f^^^^...], (/z) C {n). Ambos conjuntos son subespacios lineales cerrados con las siguientes propiedades:

N{S') C N{S) Y S' dS N,{S') DN,iS)Y S' es N,iS) = nNiS')

S'cS

El siguiente teorema es una caraterizacin topolgica del ncleo estricto de S. Teorema 7. N^iS) = {x E //] V r^-entorno subbsico /(x), corta a casi todos los trminos de S). Esta caracterizacin de lugar a una L*-convergencia definida por

{n) ___ E<^NJS') = EN S' es. Ne

Al considerar r^-entornos bsicos, obtenemos una caracterizacin de . b la convergencia -*.

SOBRE LAS CONVERGENCIAS DEBILES Y SUS TOPOLOGAS

651

Definicin 2. M{S) ~ {x G / / | V r ^-entorno bsico corta a casi todo E^^^} . Es un subespacio lineal cerrado. Si denotamos con As^ = U E^^n)^ S' = {E^^n^ ihn) C {n)}, M{S = p
i3 CZ. 3

J ^ f . Es obvio que esta propiedad

o

se puede extender a otras topologas, es decir torno bsico corta a casi todo E^^^].

p
ScS

r A = {x Gi/|V r-enS'

Definicin 3. Dados S y M{S), un punto x de M(S) se dice de 1^ clase si para todo r/-entorno bsico U(x), existen subsucesiones 5" ={E^^n^}y {x/z } tales que x/^^ G U(x)r) E^^^^ y Xh^l^K . En caso contrario se dice de 2^ clase. El conjunto de los puntos de 1^ clase deAf(5') es un subespacio A/1(5). Teorema 2 - <^> - E^E=M,(S') Dadas S y S' C S denotamos s={x ^^m"^ x} y a partir de aqu, MiS) = n
S'cS

V S' C 5. eH\ 3{xm \m GN}CKJE^^n)

^4^ . Es un subespacio lineal ce-

rrado contenido en M(S), verificando adems M(S) = M(5") Y S' C S <^ es 5 = es 5 ' V 5 ' C 5 y por consiguiente MiS) = n es 5".

Teorema 3.^ (> E<^MiS') = E Y S' CS. 4.-Consideremos la topologa r^, cuya base de entornos del origen viene dada por los conjuntos B = E"" U [U E.E^P"^ )], donde E"" es una bola de

centro el origen y radio TQ; L^^^ subespacio de codimensin /?/, E^^i^ bolas contenidas en L^^i^ con r^ < r^ +1 r^ ^ oo; E^ E^P"^ ) entornos de estas bolas con ei -> 0. Definicin 4. M^(S) = {x E H\ Y r^-entorno bsico B{x) corta a casi todo (''>}.

652

MARIA DEL CARMEN DE LAS OBRAS

Es un subespacio lineal cerrado, interseccin de las r^--clausuras, M*(5)= n Al,c yM*(5)CM(5).

Definicin 5 Mf(S) es un suebspacio de los puntos de 1^ clase para M*(5) definido de modo anlogo aMi (S). Teorema 4.- E^^'^^E ^E = MfiS') V S' C S^\

En general M(S) C Mf{S) para toda sucesin S. Comparando los teo( \ Cl

remas 3 y 4, siE^^^-^ E, ambos subespacios coinciden. 5.El siguiente paso es la caracterizacin de la convergencia dbil E^^^ -^E. Sabemos que la topologa asociada a una L- convergencia es la misma que la correspondiente a la mnima L*-convergencia que la contiene^. Por ello consideremos la topologa r^. Definicin 6. Mf{S) = ix E H\ Vr^-entorno bsico de x, existe una sucesin de norma acotada{x}, tal que x^ EE^^^ n B(x)}. Proposicin l.-M^{S) Dem. Si X es un vector del lmite inferior dbil de una sucesin 5, existe una sucesin de vectores{x) con x^ E. E^^^ tal que x ^x, por consiguiente |x I < oo y todo r^-entorno bsico Bix) corta a E^^K Recprocamente, dado un vector x de M^{S) y un r ^-entorno B{x), la sucesin{x} con x E E^^^ n B{x) de norma acotada, es dbilmente convergente a X y pertenece por tanto alJJS. Proposicin 2. M^(S) es un subespacio lineal cerrado contenido en =li^ S.

MfiS).
Dem. Podra demostrarse directamente, pero es evidente por las propiedades del lmite inferior dbil de una sucesin 5'^ . Teorema 5.^ E^""^ ^ E s y slo s E -= M\ {S) Y S' C S. Dem. Se deduce de la proposicin anterior y de las propiedades de los lmites inferiores^.

SOBRE LAS CONVERGENCIAS DEBILES Y SUS TOPOLOGAS

653

Finalmente, para completar este estudio, los subespacios A(5) y M*(S) definen dos nuevas convergencias que verifican los tres axiomas de Frechet de convergencia. Definicin 7.^ ^"> ^ ^ E s y slo M{S') = E Y S' C S. M{S) ^ ^ ^() ^ syslosiA*(5')= YS'CS.

Resumiendo tenemos el siguiente diagrama:

MtiS)

C MtiS)

^ ^ Mi (5)

MiS) ^

^ () M*()
EW

\
^ M(S)

Quiero expresar mi agradecimiento al prof. A. Plans de la Universidad de Zaragoza por la supervisin de este trabajo. BIBLIOGRAFA

[1] [2] [3] [4] [5] [6] [7] [8] [9]

D U D L E Y , R . M . : "On sequential convergence". Trans. Amer. Math. Soc, Matem. XXI, 219-225. LORCH, E. R. : "Spectral theory". Oxford University Press. (1962).

112 (1964).

KURATOWSKY, C : "Sur la notion de limite topologique d'ensembles". Rocznik Pol. Tow.

M A R T I N , E . : "Construccin de la topologa dbil en el espacio de Hubert" Rev. Mat. Hisp. Amer., 221-229 (1974). OBRAS, M. C : "Sobre convergencia en el espacio de Hubert de sucesiones de subespacios Mat. Hisp. Amer. 34. 276-292 (1974). Ciencias : "Convergencias en G(H)" Rev. Mat. Hisp. Amer. 40, 177-292 (1980). : "Propiedades de los lmites superiores e inferiores en G(Hy\ Rev. Acd. Zaragoza 34, 49-52 (1979). IL y L*-convergencias en G ( ^ ) " Rev. Mat. Hisp. Amer. 4 1 , 97-101 (1981). :"Nucleo y ncleo estricto de una sucesin de subespacios de G (H)" Actas VUI J.M. H.L. 340-343, Coimbra 1981. de dimensin y codimensin finita IV'.Rev.

654

MARIA DEL CARMEN DE LAS OBRAS

[10] (1 It [12] JJ3J [14]

OBRAJS,

M . C : "topological Characterization of a and h convergences" Rev. Mat. Hisp.

Amer. 42, 187-193 (1982). : "La topologa TQ y las convergencias dbiles en la geometra de los subespacios del espacio de Hilbert" Stochastica, V. num. 2 119-123 (1981). P L A N S , A. : Propiedades angulares de la convergencia en el espacio de Hilbert" Rev. Mat. His. Amer. 2 1 . num. 3-4 (1961). , 'Una base de la topologa dbil en el conjunto de los rayos del espacio de Hilbert definida mediante hiperplanos" Actas IX R.A.M.E. (1970). ScHAEFER, H. H. :"Topological vector spaces" Macmillan Series in Advenced Mathematics and Theoretical Physics (1966).

Dpto. Anlisis Matemtico Universidad de Valencia