UNIVERSITATEA DIN ORADEA

FACULTATEA DE TIINE
PROGRAMUL DE STUDIU: MATEMATIC
FORMA DE NVMNT: CU FRECVEN
PRODUSE TENSORIALE DE
SPAII BANACH
COORDONATOR TIINIFIC :
LECT. UNIV. DR. ALB LUPA ALINA


ABSOLVENT :
IOVAN(FLORUA) IOANA GIORGIANA


ORADEA
20!

CUPRINS
Introducere....3
Capitolul I. Categoriile Ban i W..4
1.1. Categoriile Ban
1
i Ban

....4
1.2. Categoria W = Ban
1
op
..23
Capitolul II. Produse tensoriale de spaii Banach....3
2.1. Produs tensorial alge!ric i proiecti"....3
2.1.1. Produsul tensorial alge!ric.....3
2.1.2. Produsul tensorial proiecti" de spaii Banach41
2.2. Produse tensoriale generale de spaii Banach...4
Bi!liogra#ie...............................................................................................................$%
2
INTRODUCERE
&odulele Banach i #unctorii pe categoriile de spaii Banach pot #i interpretate ca
generali'(ri ale spaiilor Banach) unde corpul scalarilor * sau C a #ost +nlocuit cu o alge!r(
Banach sau o categorie de spaii Banach .
,ucrarea reali'ea'( o pre'entare categorial( a noiunii de produs tensorial de spaii
Banach) pun-ndu.se +n e"iden( propriet(ile lor de !a'(. /ste structurat( pe dou( capitole)
#iecare capitol #iind structurat +n 0ai 0ulte paragra#e .
Pri0ul capitol pre'int( noiunile introducti"e din teoria categoriilor) #iind descrise
categoriile Banach #olosite ulterior +n lucrare) Ban
1
) Ban

i W = Ban
1
op
. 1unt pre'entate toate
ele0entele acestor categorii) precu0 i di#erite construcii care e2ist( +n acestea3 produse)
coproduse) li0ite) coli0ite) conuclee) puul!ac4.uri) pushout.uri . /ste introdus( noiunea de
spaiu Wael!roec4 i sunt studiate di#erite propriet(i ale acestor spaii) precu0 i topologiile
pe aceste spaii .
5n capitolul al doilea sunt descrise produsele tensoriale de spaii Banach i unele
propriet(i ale lor. 5n paragra#ul 2.1. sunt pre'entate produsele tensoriale alge!ric i proiecti")
iar +n paragra#ul 2.2. sunt studiate unele propriet(i ale produselor tensoriale generale de spaii
Banach .
3
CAPITOLUL I. C"#$%&'(()$ B"* +( ,
. C"#$%&'(()$ B"*

+( B"*
-
6ie Ban clasa tuturor spaiilor Banach peste spaiul uni.di0ensional I 7care poate #i *
sau C8. Pentru a e"ita di#icult(ile 0uli0ilor teoretice cu nite construcii) presupune0 c(
toate spaiile Banach sunt 90ici:) adic( aparin unor siste0e date.
/2ist( dou( categorii i0portante legate de Ban. ;na este categoria Ban

) ale c(rei
o!iecte sunt spaiile +n Ban i ale c(ror 0or#is0e sunt aplicaiile liniar 0(rginite +ntre spaiile
Banach. <ceasta este o categorie aditi"() dar are cu at-t 0ai 0ulte propriet(i rele +n raport cu
li0ite i coli0ite.
Cealalt( categorie este categoria Ban
1
cu aceleai o!iecte) dar unde 0or#is0ele sunt
alc(tuite nu0ai din toate contraciile liniare 7adic( aplicaii liniar 0(rginite =) satis#(c-nd >>=>>
? 18 +ntre spaiile Banach. <ceast( categorie ne interesea'( +n special. <re a"anta@ul c( +n ea
toate li0itele i coli0itele e2ist() #apt care este #oarte i0portant.
<r #i 0ai di#icil s( sta!ili0 toate re'ultatele separat pentru Ban
1
i pentru Ban

. Aeci
"o0 #olosi prescurtarea de 9categorie Ban: pentru a0!ele categorii 7Ban
1
sau Ban

8) dac(
unele a#ir0aii sunt ade"(rate pentru a0!ele categorii. &uli0ea tuturor 0or#is0elor din X +n
Y din Ban

coincid cu spaiul Banach H(X,Y) al tuturor aplicaiilor liniar 0(rginite din X +n Y)

+n ti0p ce 0uli0ea tuturor 0or#is0elor Hom(X,Y) +n Ban
1
const( din !ila unitate a lui
H(X,Y).
5n particular) a"e0 Hom(I,X) = OX) unde OX repre'int( !ila unitate al lui X.
Pri0a noastr( te0( "a #i interpretarea conceptelor #uncional.analitice +ntr.un li0!a@ al teoriei
categoriilor i reciproc. Be "o0 concentra 0ereu pe aspectele tipice i nu pe cele de
generalitate 0a2i0(.
Ae#iniia 13
4
*ea0inti0 c( un 0or#is0 Y X u 3 se nu0ete 0ono0or#is0 7sau 0ono8) dac( egalitatea
g u f u
pentru orice 0or#is0e
X Z g f 3 )
este satis#(cut( nu0ai dac(
g f
.
Aeoarece
g u f u
este echi"alent cu
C
2

,
_

g f
u
) unde
2
g f
este tot un
0or#is0) u este 0ono0or#is0 dac( i nu0ai dac(
C f u
pentru orice 0or#is0
X Z f 3
i0plic(
C f
.
Propo'iia 23
;n 0or#is0 Y X u 3 din Ban este 0ono0or#is0 dac( i nu0ai dac( u este in@ecti".
Ae0onstraie3
6iecare aplicaie in@ecti"( u este 0ono0or#is0) deoarece
( ) ( ) C z f u ) Z z i0plic(
( ) C z f
) Z z .
6ie u un 0ono0or#is0 i #ie
( ) { } C 3 4er x u X x u Z i
X Z f 3
#ie aplicaia de
inclu'iune. <tunci
C f u
i aadar
C f
care i0plic(
( ) C 4er u Z
) adic( u este in@ecti".
Ae#iniia 33
;n 0or#is0 Y X u 3 este epi0or#is0) dac(
C u f
pentru
Z Y f 3
i0plic(
C f
.
Propo'iia 43
;n 0or#is0 Y X u 3 din Ban este epi0or#is0 dac( i nu0ai dac( u(X) este dens +n Y.
Ae0onstraie3
Aac( u are i0aginea dens( +n Y i
C u f
) atunci f este de#init pe su!0uli0ile dense u(X)
ale lui Y i) prin continuitate)
C f
.
6ie Y X u 3 epi0or#is0) #ie ( ) X u +nchiderea lui u(X) +n Y i #ie
( ) X u
Y
Y f 3
proiecia
canonic(. <tunci
C u f
i aadar
C f
) care +nsea0n( c( ( ) Y X u .
Ae#iniia $3
;n 0or#is0 Y X u 3 se nu0ete in"ersa!il sau un i'o0or#is0) dac( e2ist( un
0or#is0 X Y v 3 ast#el +nc-t
X
u v 1
i
Y
v u 1
.
Propo'iia D3
I'o0or#is0ele din Ban

sunt aplicaiile liniar 0(rginite) care sunt !i@ecti"e i i'o0or#is0ele

din Ban
1
sunt i'o0etriile sur@ecti"e.
Ae0onstraie3
*e'ult( i0ediat din teore0a aplicaiei deschise.
$
E!ser"aia F3
6iecare i'o0or#is0 din Ban este i un !i0or#is0) adic( +n acelai ti0p 0ono0or#is0 i
epi0or#is0. E!ser"(0 c( e2ist( !i0or#is0e) care nu sunt i'o0or#is0e) de e2e0plu
scu#undare canonic( a lui l
1
+n c
0
.
5n continuare "o0 identi#ica c-teodat( dou( spaii X i Y) dac( ele sunt i'o0or#e) adic( +n
Ban
1
) dac( e2ist( o i'o0etrie +ntre ele) i +n Ban

) dac( ele pot #i aplicate !i@ecti" +ntr.un alt

spaiu printr.un 0or#is0.
6iecare 0or#is0 Y X u 3 din Ban
1
are o desco0punere canonic( dat( de #igura
nr. 1.1
X
u
Y



X u
-1
(0)

( ) X u nr.1.1
<ici = coim u este aplicaia c-t a lui X +n X u
-1
(0) i im u este scu#undarea
i'o0etric( a su!spaiului ( ) X u +n Y. <cele 0or#is0e u pentru care este un i'o0or#is0 se
nu0esc 0or#is0e stricte.
<st#el 0ono0or#is0ele stricte sunt scu#und(rile i'o0etrice i epi0or#is0ele stricte sunt
aplicaiile c-t 70odulo un i'o0or#is08.
&ono0or#is0ele i epi0or#is0ele stricte din Ban
1
pot #i caracteri'ate +n ter0eni categoriali3
Ae#iniia 3
;n 0or#is0 Y X u 3 din Ban
1
se nu0ete 0ono0or#is0 e2tre0) dac(
m u
cu m G
0ono0or#is0 i G epi0or#is0 i0plic( este un i'o0or#is0.
Propo'iia %3
;n 0or#is0 u din Ban
1
este 0ono0or#is0 e2tre0 dac( i nu0ai dac( este 0ono0or#is0
strict.
Ae0onstraie3
6ie Y X u 3 0ono0or#is0 strict) adic( o scu#undare i'o0etric( i #ie
m u
.
<tunci
( ) ( ) ( ) ( ) x x x m x u x
) X x ) adic( este o i'o0etrie cu i0agine
dens( i aadar un i'o0or#is0.
D
Pe de alt( parte #ie u 0ono0or#is0 e2tre0 i u
H
u desco0punerea canonic(. <tunci
( ) u
H
u
i aadar este un i'o0or#is0 i'o0etric) adic( identitatea pe X. <st#el u
H
u )
ce i0plic( #aptul c( este un i'o0or#is0) adic( u este strict.
Ae#iniia 1C3
;n 0or#is0 Y X u 3 din Ban
1
se nu0ete epi0or#is0 e2tre0) dac(
m u
cu m G
0ono0or#is0 i G epi0or#is0 i0plic( m este un i'o0or#is0.
Propo'iia 113
;n 0or#is0 u din Ban
1
este epi0or#is0 e2tre0 dac( i nu0ai dac( este epi0or#is0 strict.
Ae0onstraie3
6ie Y X u 3 epi0or#is0 strict) adic( o aplicaie c-t i #ie
m u
. 6ie ( ) C
1
u Z .
<tunci
( ) ( ) ( ) ( ) ( ) z x z x x x m x u z x
Z z
+ + +

in#
) Z z .
<st#el
( ) ( ) ( ) x x m
) x ) adic( m este o i'o0etrie) care este sur@ecti"( deoarece u este
sur@ecti"(.
Pe de alt( parte #ie u epi0or#is0 e2tre0 i
u u
desco0punerea canonic(.
<tunci la #el ca 0ai de sus

este un i'o0or#is0) adic( ( ) Y X u . <adar u

H
u ) ce
i0plic( #aptul c( u este un i'o0or#is0) care +nsea0n( c( u este strict.
Ieore0a 7Banach.1chauder8 123;n 0or#is0 Y X u 3 din Ban
1
este epi0or#is0 strict dac( i
nu0ai dac(
( ) OX u
este dens +n OY.
Ae0onstraie3
<r(t(0 c( u este sur@ecti" dac(
( ) OX u
este dens +n EY. Pentru
) 2 ) 1 n
0uli0ea
,
_

OX u
n
2
1
este dens( +n OY
n
2
1
.
<st#el pentru
) OY !
e2ist( un x
1
cu
1
1
< x
i
( )
2
1
1
< x u !
. Pentru ( )
1
x u ! e2ist(
un x
"
cu
2
1
2
< x
i ( ) ( )
2
2 1
2
1
< x u x u ! etc.
6ie

1 n
n
x x
. <tunci
2
1
<

n
x
i +n #elul acesta
2 < x
. 5n plus
( ) ! x u
.
<st#el u este sur@ecti"(.
<cu0 #ie u u
H
desco0punerea canonic(. Ain #aptul c( este sur@ecti"( re'ult( c( el are
un in"ers v
H
+n Ban

. &ai 0ult3
( ) ( ) ( ) ( ) 1 sup
H
sup
H
sup
H
1 1 1

<
x x u v ! v v
x x !

.
F
<ceasta i0plic( #aptul c( este un i'o0or#is0 +n Ban
1
i aadar este epi0or#is0 strict.
P'&./0$
6ie
( )
# $ $
X

o #a0ilie de spaii Banach) unde # este o 0uli0e ar!itrar( de indici.
Ain de#iniie) produsul acestei #a0ilii +n Ban
1
7dac( e2ist(8 este un spaiu Banach

# $
$
X
+0preun( cu o #a0ilie
( )
# $ $

de 0or#is0e $ $
# $
$
X X

3
ast#el +nc-t pentru #iecare
spaiu Banach Z i #iecare #a0ilie
( )
# $ $

de 0or#is0e
X Z
$
3
) e2ist( un unic 0or#is0



# $
$
# $
$
X Z 3
ast#el +nc-t diagra0a ur0(toare este co0utati"() adic(

$ $

)
nr. 1."

# $
$
X
$

$
X


$

nr. 1."

Z
Propo'iia 133
Pentru #iecare #a0ilie
( )
# $ $
X

produsul

# $
$
X
e2ist( +n Ban
1
i este spaiul tuturor
ele0entelor
( )
# $ $
x x

)
$ $
X x
ast#el +nc-t
<

$
X
$
$
x x sup
.
&or#is0ele
$

sunt proieciile
( )
$ $
x x
+n a sa coordonat(. 6iecare
$

este o aplicaie c-t.

Ae0onstraie3

6ie
$ $
X Z 3
o #a0ilie de 0or#is0e. Aac( e2ist(
$
X Z 3
cu propriet(ile sta!ilite)
tre!uie s( a"e0
( ) ( ) ( ) z z
$ $

) adic(
( ) ( ) ( ) z z
$

. Aar este clar c( dac( de#ini0

prin aceast( #or0ul() atunci satis#ace toate cerinele. &ai 0ult) a"e0
$
$
sup
.
Pentru ca'ul special
X X
$

o!ine0
( ) X l X
$
# $
$

.
E!ser"aia 143
Ban

are proprietatea nedorit( c( nu e2ist( produse in#inite. Pentru presupunerea

( )
# $ $
X

)
) # in#init) ar #i un produs de #a0ilii
( )
# $ $
X

. <tunci pentru #iecare #a0ilie de
0or#is0e
$ $
X Z 3
"or e2ista
X Z 3
ast#el +nc-t

$ $

i aadar
$ $

. Aac( #a0ilia
$

conine un ir
n
$

as#el +nc-t
n n
$ $
n >
ceea ce
este i0posi!il.
C&1'&./0$ (0"/ 0/2$)
1unt de#inite dual. Coprodusul +n Ban
1
al unei #a0ilii
( )
# $ $
X

de spaii Banach $
X
) este un spaiu Banach

# $
$
X
) +0preun( cu o #a0ilie
( )
# $ $

de 0or#is0e

# $
$ $ $
X X 3
)
ast#el +nc-t pentru #iecare #a0ilie
( )
# $ $

de 0or#is0e
Z X
$ $
3
e2ist( un unic 0or#is0
Z X
# $
$

3
ast#el +nc-t diagra0a ur0(toare nr. 1.% co0ut() adic(
$ $

.

$
X

$

# $
$
X

$

nr. 1.%
J
Propo'iia 1$3
Pentru #iecare #a0ilie
( )
# $ $
X

coprodusul

# $
$
X
e2ist( +n Ban
1
i este spaiul tuturor
ele0entelor
( )
# $ $
x x

ast#el +nc-t

<
# $
X
$
$
x x
1 .
&or#is0ele
$

sunt in@eciile ( ) ( )
# & $
&
$ $ $
x x

ale lui
$
X
+n X. 6iecare
$

este o
scu#undare i'o0etric(.
Ae0onstraie3
%
6ie
Z X
$ $
3
o #a0ilie de 0or#is0e. Aac( e2ist(
Z X
# $
$

3
cu propriet(ile
sta!ilite) atunci tre!uie s( satis#ac(
( ) ( ) ( )
$ $ $ $
x x
) adic(
( ) ( ) ( )

# $
$ $ $
x x
.
Pe de alt( parte) dac( de#ini0

prin aceast( #or0ul() a"e0

( ) ( ) ( )



# $ # $
X
$
X
$ $
# $
$ $ $
x x x x x
$ $
1

i diagra0a co0ut(.
Pentru ca'ul special
X X
$

o!ine0
( ) X l X
#
# $
$
1

.
E!ser"aia 1D3
Aac( # este #init) produsele i su0ele +n Ban
1
sunt de ase0enea produse i su0e +n
Ban

i sunt i'o0or#e +n Ban

. 5n categoria Ban
1
ele nu sunt i'o0or#e pentru c( ele duc nor0e
di#erite.
<celeai considerente ca 0ai sus arat( c( pentru o 0uli0e de indici in#init( # nu
e2ist( su0e +n Ban

. Aac( se pre#er( s( se lucre'e +n Ban

+n loc de Ban
1
atunci se pot de#ini
su0e i produse pentru #a0ilii 0(rginite de 0or#is0e $

) adic( pentru #a0ilii care satis#ac

<

$
# $
sup
. 1e o!ine atunci de #apt doar o re#or0ulare a re'ultatelor din Ban
1.
Propo'iia 1F3
6iecare spaiu Banach X poate #i scris la #el ca un spaiu c-t al unui spaiu
( ) I l
#
1
i la
#el ca un su!spaiu +nchis al unui spaiu ( ) I l
'

pentru unele 0uli0i de indici # i '.

Ae0onstraie3
6ie
{ }
$
x
o su!0uli0e dens( a !ilei unitate OX a lui X i
( ) X I l
#

1
3
de#init prin 3
( ) ( )

# $
$ $ $
x
) pentru ( ) ( ) I l
# $
1
.
<tunci
1

$ $ $
x
i ( ) ( ) I l
#
1
C este dens( +n OX.
Pri0a a#ir0aie re'ult( din teore0a lui Banach.1chauder.
Pentru a doua a#ir0aie #ie ' o su!0uli0e ().dens( al lui OX* i de#ini0 ( ) I l X
'

prin
( )
' x
x x x

)
. <tunci
x x x
' x


) sup
.
E!ser"aia 13
1. /ste !ine de tiut) c( a0!ele a#ir0aii pot #i preci'ate cu atenie pentru a ar(ta c(
#iecare spaiu Banach separa!il este un c-t al lui
1
+
l
i un su!spaiu al lui
2
+
l
. <ceasta arat(
1C
c(
1
+
l
i

+
l
sunt spaii 90ari:) +n ti0p ce
2
+
l
este un spaiu 90ic:) deoarece toate c-turile i
toate su!spaiile sunt din nou spaii Kil!ert separa!ile.
2. Pri0a a#ir0aie are o interpretare #oarte si0pl( +n ter0enii teoriei categoriilor3
Consider(0 #unctorul uituc
,ul&im -.n O
1
3
) care asocia'( pentru #iecare spaiu Banach
X !ila unitate OX 7considerat( ca o 0uli0e8 i pentru #iecare 0or#is0
Y X f 3
restricia
OX
f Of
. Aeoarece
1 f
aceasta este !ine de#init(.
<cest #unctor are ad@unct la st-nga
1
1
3 -.n ,ul&im l ) care asociea'( #iec(rei
0uli0i # spaiul Banach
1
#
l
i #iec(rei aplicaii
' # 3
0or#is0ul
1 1 1
3
' #
l l l

de#init prin
( ) ( )
( )

1
1
$
$ & $
l

.
Lecin(tatea ( ) ( ) OX # ,ul&im X l -.n
#
) )
1
1
7M8
este dat( de
N
cu ( ) ( ) ( )
# &
&
$
$

N
i
( ) ( ) ( )

# $
$ $
$ N
.
Poate #i uor de "eri#icat c( relaia 7M8 este natural( pentru # i X. Aac( identi#ic(0
# $ i ( )
1
# # &
&
$
l

) atunci

este 7si0plu8 restricia lui N

pe # i N
este e2tensia
liniar() continu( 7unic deter0inat(8 a lui

pe
1
#
l
. ;nitatea "ecin(t(ii 7M8 7care corespunde
ele0entului neutru
1
1
#
l
+n partea st-ng(8 este toc0ai aceast( identi#icare. Counitatea 7si0ilar
ele0entului neutru
OX
1
+n partea dreapt(8 este aplicaia c-t
X l
OX X

1
3
dat( prin
( ) ( )

X x
x OX x x X
x
.
L(2(#$
6ie / o categorie 0ic( i
1
3 -.n / X
un #unctor. Lo0 nu0i pe / o categorie
inde2) iar #a0ilia de spaii Banach
( )
/ 0 0
X

+0preun( cu #a0ilia de 0or#is0e
0 0
X X X

3

pentru 0 0 3 o #a0ilie spectral(.

;n spaiu Banach 1 +0preun( cu o #a0ilie
( )
/ 0 0

de 0or#is0e
0 0
X 1 3
se nu0ete
li0ita proiecti"( a #unctorului X 7sau a #a0iliei spectrale
( )
0
X
8) dac( pentru
/ 0 0 )
i
0 0 3 diagra0a nr. 1.2 3
0
X

0

11
,

X


0

0
X

nr . 1.2
co0ut( i dac( pentru toate spaiile Banach Z i toate #a0iliile
( )
/ 0 0

de 0or#is0e
0 0
X Z 3
ast#el +nc-t diagra0a nr. 1.3
0
X

0

X


0

0
X

nr. 1.3
co0ut() e2ist( un unic 0or#is0
1 Z
0

3 li0
ast#el +nc-t

0 0

) / 0 .
Aesigur 1 este unic deter0inat( i se notea'( cu 0
X 1

li0
.
Propo'iia 1%3
6ie / o categorie 0ic(. <tunci pentru #iecare #a0ilie spectral(
( )
/ 0 0
X

li0ita
0
X

li0
e2ist( +n Ban
1
i coincide cu su!spaiul +nchis 1 al lui

/ 0
0
X
#or0at din toate
ele0entele
( )
/ 0 0
x x

ast#el +nc-t
0 0
x x X

pentru
/ 0 0 )
i 0 0 3 .
Ae0onstraie3
1 de#init 0ai sus este un su!spaiu +nchis deoarece poate #i scris su! #or0a3
( )

0 0
0 0
X 1

)
4er

.
5n plus diagra0a nr. 1.4
0
X

0

X


0

0
X

nr. 1.4
co0ut() prin de#iniie.
12
Pentru o #a0ilie dat(
0 0
X Z 3
de 0or#is0e cu
0 0
X

pentru toate 0 0 3
consider(0 aplicaia


0 0
X Z 3
. /ste clar c( i0aginea ei aparine lui 1 i deci poate
#i desco0pus( +n #actori peste 1 cu propriet(ile speci#icate.
/2e0plul 2C3
6ie / categoria const-nd din dou( o!iecte i dou( 0or#is0e di#erite +ntre ele. ;n
#unctor din / +n Ban
1
este o #a0ilie
{ } g f )
#or0at( din dou( 0or#is0e
Y X g f 3 )
. ,i0ita 1
a acestei #a0ilii spectrale este un spaiu Banach 1 +0preun( dou( aplicaii X 1 i Y 1
satis#(c-nd ur0(toarele propriet(i3
18. Y X 1 Y X 1 Y 1
g f

28. Pentru #iecare spaiu Banach Z i 0or#is0e X Z ) Y Z cu
Y X Z Y X Z Y Z
g f
) e2ist( un unic 0or#is0 1 Z ast#el +nc-t X Z X 1 Z
i Y Z Y 1 Z .
1 este spaiul produsului Y X #or0at din toate perechile
( ) ! x)
ast#el +nc-t
( ) ( ) x g x f !
) adic(
( ) ( ) C x g f
. Bu0i0 pe 1 nucleu.di#eren( al lui f i g,
( ) g f 1 4er
. <cesta poate #i identi#icat cu su!spaiul lui X #or0at din toate ele0entele x satis#(c-nd
( ) ( ) C x g f
.
5n ca'ul particular +n care
C g
o!ine0 nucleul 5rf al unui 0or#is0 f.
X f 1 4er
este in@ecia i'o0etric(. Pe de alt( parte #iecare scu#undare i'o0etric( a unui
su!spaiu , al lui X +n X poate #i interpretat( ca #iind nucleul unei aplicaii) de e2e0plu
aplicaia
, X X
.
<st#el 0ono0or#is0ele stricte +n Ban
1
sunt e2e0ple speciale de li0ite.
P/))3"456/'(
;n pull!ac4 este o li0it( a unei #a0ilii spectrale inde2at( de categoria
( ) /
.
Proprietatea uni"ersal( a lui
( ) Y 6 X 7
g f

li0 este "i'uali'at( prin diagra0a nr. 1.83

Z
13
7 Y
g

X f 6 nr. 1.8
*e'ult( c( 7 este su!spaiul produsului 6 Y X #or0at din toate
( ) ( ) ( ) ! g x f . ! x ) ) .
<cesta poate #i identi#icat cu su!spaiul produsului Y X #or0at din toate perechile
( ) ! x)
satis#(c-nd
( ) ( ) x g x f
prin aplicaia
( ) ( ) ( ) ( ) ! g x f ! x ! x ) ) ) .
Aac(
C g
atunci
( ) Y f 7 4er
.
Aac( g este i'o0etrie atunci ( ) ( ) Y g f 7
1
.
Aac( g i f sunt i'o0etrii atunci Y X 7 .
;r0(torul e2e0plu de pull!ac4 a #ost dat de 6./.O.,inton.
6ie X X
X
3 scu#undarea canonic( a lui P +n !idualul s(u X . 6ie , un
su!spaiu +nchis al lui X i
X , 9 3
scu#undarea corespun'(toare. <tunci diagra0a nr. 1.:

, 9 X

,

nr. 1.:
,
9
X
co0ut( i este un pull!ac4.
Ae0onstraie3
Aup( Kanh Banach
9
este o i'o0etrie. <s#el , i X pot #i interpretate ca i su!spaii ale
lui X . <#ir0aia noastr( aadar spune c( , X , .
1au 0ai si0plu3 6ie , m i X x ast#el +nc-t x m 9
X

. <tunci e2ist( 7un unic
deter0inat8 , m ast#el +nc-t
9m x
7i atunci !ine+neles m m
,
8.
Aac( presupune0 c(
( ) , 9 x
atunci ar e2ista X x ast#el +nc-t
( ) C , 9 x
i
C ) x x
. Aar atunci a0 o!ine3
14
C ) ) ) ) ) ) C C x x x x m 9 x m x 9 m 9 x m
X

ceea ce este o
contradicie.
<st#el , m ast#el +nc-t
x 9m
i m 9 9m x m 9
, X X

) adic( m m
,

.
<cest e2e0plu d( o interpretare +n ter0enii de teoriei categoriilor a de0onstraiei) c( un
su!spaiu +nchis al unui spaiu !anach re#le2i" este tot re#le2i".
Consider(0 diagra0a nr. 1.;3
,
9
X

,
1 , @ X

,

nr. 1.;
,
9
X
Aeoarece X este re#le2i") X X
X
3 este un i'o0or#is0 i aadar in"ersa!il.
Aeoarece p(tratul din interior este un pull!ac4 e2ist( un unic 0or#is0 , , u 3 ast#el +nc-t
, ,
u

1 . <st#el
,

este sur@ecti" i deci , este re#le2i".

6ie X un spaiu Banach i #ie / o categorie ale c(rei ele0ente sunt su!spaiile X , cu
codi0ensiune #init( i ale c(ror 0or#is0e sunt in@eciile canonice +ntre aceste spaii.
6iecare in@ecie
+ ,
,+
3
de#inete o aplicaie c-t canonic(
+ X , X
,+
3
.
<tunci a"e0
X , X
/


li0
.
Ae0onstraie3
1$
/ste !ine cunoscut #aptul c( pentru o aplicaie c-t
, X X 3
aplicaia ad@unct(
( ) X , X

3 este o scu#undare i'o0etric( a c(rei i0agine coincide cu su!spaiul ().

+nchis
{ } , m x m X x ,
I
) C ) 3
al lui X .
6ie , i + de codi0ensiuni #inite)
+ ,
) i #ie
, X X
,
3
proiecia canonic(. <tunci
diagra0a ur0(toare nr. 1.10 co0ut(.
P
,

, X

+

,+

nr. 1.10

+ X
<adar pentru aplicaiile ad@uncte diagra0a ur0(toare nr. 1.11 co0ut(.

+
+ ,

,

+

,
nr. 1.11

X
Aeoarece
, X
este #init di0ensional a"e0 ( ) ( ) , X , , X

.
Ae#ini0 , X X
,
3 prin ( )
, ,
x x

) adic( prin
, ,
.
<tunci diagra0a nr. 1.1"


X
,

, X


+

,+

nr. 1.1"


+ X
co0ut( pentru
+ ,)
) cu
+ ,
i de codi0ensiuni #inite.
<cu0 presupune0 c( este dat un spaiu Banach Z i o #a0ilie de 0or#is0e
, X Z
,
3
ast#el +nc-t diagra0a ur0(toare nr. 1.1% co0ut(3
J
,

, X
1D
+

,+

nr. 1.1%


+ X

Aac(
X Z 3
ast#el +nc-t

, ,

) atunci
, ,
) adic(
( ) ( ) ( ) z x x z
, ,
) )

pentru ( )

, X , x .
/ste su#icient s( ar(t(0 c(

este !ine de#init( i

1
.
6aptul c(

este !ine de#init( re'ult( din #aptul c( pentru

+ ,
i

+ x a"e03
( ) ( ) ( ) ( ) x z x z x z x z
, + , , , ,+ +


) ) ) )
.
Inegalitatea nor0elor este tri"ial( din #aptul c(
1
,

pentru orice , .
C&)(2(#$ 0"/ )(2(#$ (*./4#(7$
Aac(
( )
/ 0 0
X

este o #a0ilie spectral( +n Ban
1
) atunci proprietatea uni"ersal( a
0
X

li0
este ilustrat( de diagra0a ur0(toare nr. 1.123
0
X

X
0
X

li0
Z nr. 1.12

0
X

Propo'iia 213 6ie / o categorie 0ic(. <tunci 0
X

li0
e2ist( +n Ban
1
i coincide cu spaiul c-t

/ 0
0
+ X <
) unde + este un su!spaiu +nchis al lui 0
X
generat de toate ele0entele de
#or0a
( ) ( )
0 0 0 0
x X x

pentru
0 0
X x
i 0 0 3 .
Ae0onstraie3
6ie
( ) Z X
0 0
3
unde e2ist(
Z X
0 0


3
.
1F
Aeoarece
( ) ( ) ( ) ( ) ( ) ( ) C
0 0 0 0 0 0 0 0 0
x X x x X x


nucleul su0ei 0

+l conine
pe + i pute0 aadar #actori'a 0

peste <. *estul a#ir0aiilor sunt e"idente.

C&*/4)$$ .(8$'$*9:
;n conucleu di#eren( este coli0ita unei #a0ilii spectrale inde2at( de categoria
( ) /
. *e'ult( c(
( 8 li0 Y X

) coincide cu spaiul
( ) + Y X <
) unde Y X este
su0a spaiilor X i Y +n Ban
1
i B este su!spaiul generat de toate ele0entele de #or0a
( ) ( ) x f x ) i
( ) ( ) x g x ) ) deci ( )( ) X g f Y < .
Aac(
C g
atunci a"e0 ( ) X f Y < i se nu0ete conucleul lui f.
P/0;&/#6/'(
;n pushout este o coli0it( a unei #a0ilii spectrale inde2ate de categoria
( ) /
.<cesta poate #i "i'uali'at prin diagra0a nr. 1.133
6 f X
nr. 1.13

Y g <
J
<cest( diagra0( este echi"alent( cu diagra0a nr. 1.143

f
1

6 Y X Z

g
2

nr. 1.14
<
unde ( ) ( ) C )
1
x x i ( ) ( ) ! ! ) C
2
.
*e'ult( c( ( ) ( ) ( ) ( ) { } 6 . . g . f Y X < 3 ) .
Aac(
+ 6 6 g 3
este o aplicaie c-t) atunci ( ) + f X < .
Propo'iia 223
1
6iecare spaiu Banach X este coli0ita su!spaiilor sale cu di0ensiuni #inite3
, X

li0
.
Ae0onstraie3
6ie / 0uli0ea tuturor su!spaiilor #init di0ensionale ,) ale lui X i
+ ,
,+
3
inclu'iunea canonic() pentru
+ ,
. <tunci diagra0a ur0(toare co0ut( nr. 1.18
,

,

,+

X nr. 1.18

+

B
unde
X ,
,
3
este inclu'iunea canonic(.1( presupune0 acu0 c(
Z ,
,
3
este o
#a0ilie de 0or#is0e ast#el +nc-t diagra0a ur0(toare co0ut( nr. 1.1:=
,

,

,+

Z nr. 1.1:

+

B
Aac( e2ist(
Z X 3
cu diagra0a nr. 1.1;
,

,

Z nr. 1.1;

P
atunci tre!uie s( a"e0 ( ) ( ) m m
, ,
) adic( ( ) ( ) x x
,
pentru , x . Pe de alt( parte
aceast( #or0ul( de#inete o aplicaie

. Aac(
+ , x
) atunci
( ) ( ) x x
,+ + ,

.
Propo'iia 233
6iecare spaiu Banach X poate #i repre'entat ca o li0it( inducti"( de spaii
1
n
l
.
Ae0onstraie3
1%
6ie X dat. Ae#ini0 o categorie / +n #elul ur0(tor3 o!iectele lui / sunt toate perechile
( )
0 n
l 0 )
1
ast#el +nc-t
X l
n 0

1
3
este un 0or#is0. 5n acest ca' a"e03
( ) ( )

n
i
i i n 0
x
1
1
)...)
pentru
X x
i

)
1 <
i
x
.
&or#is0ele lui / sunt acele 0or#is0e
1 1
3
m n
l l
ast#el +nc-t diagra0a nr. 1."0

1
n
l

0

X nr. 1."0

0

1
m
l

co0ut( dac( ( )
0 n
l 0 )
1
) ( )
0 m
l 0

)
1
.
1( consider(0 acu0 #a0ilia spectral(
( )
0
X
ca #iind proiecia pe pri0a coordonat( a lui 0)
adic( #a0ilia ( )
1 1
)
n 0 n 0
l l X X .
<#ir0(0 c(
X l X
n 0


1
li0 li0
.
6ie dat(
X l
n 0

1
3
i #ie
X x
C
i
1
C n
l
ast#el +nc-t
( )
C C
x
0

i
C
C

.
Ae#ini0
( )
C
)
C 0
I 0
prin
( )
1
C
C
1
C

x
0

. <tunci
/ 0
C
deoarece
1
C C
x
.
6ie
1
3
n 0
l I de#init prin
( )
1
C
C
1

. <tunci
1
i diagra0a ur0(toare co0ut(
nr. 1."1 =
I

C
0

X nr. 1."1
2C

0

1
n
l

6ie
Z X
0 0
3
o #a0ilie de 0or#is0e ast#el +nc-t toate diagra0ele nr. 1.""

1
n
l

0

Z nr. 1.""

0

1
m
l

co0ut(.
Ire!uie s( ar(t(0 c( e2ist( un 0or#is0
Z X 3
ast#el +nc-t
0 0

. Aac( 0or#is0ul

e2ist() atunci acesta este unic deter0inat i satis#ace relaia

( ) ( ) ( )
0 0

.
Lre0 s( ar(t(0 c( acesta +ntr.ade"(r este o de#iniie corect() consider(0
( ) ( )
0 0
. <tunci tre!uie s( ar(t(0 c(
( ) ( )
0 0
. 6iind date
) 0
i
( )
0
)
construi0
C
)
C 0
0
i

la #el ca 0ai sus. ,a #el construi0

) )
C
C 0
0
pentru
) 0
i
( )

0
. Presupune0 c(
1 1

i
1
1

)
1
. <tunci diagra0a ur0(toare
co0ut( nr. 1."%
I

C
0

X nr. 1."%

I
unde
3
.
<adar
1 1
m n
l I I l

este o diagra0( +n / i deci ur0(toarea diagra0( co0ut( .
21
1 1
m n
l I I l


0

C
0

C
0

Z
<cest lucru +nsea0n( c(
( ) ( ) ( ) ( ) ( ) ( ) 1 1 1
C
C

0
0
0 0 sau echi"alent
( ) ( )

,
_

,
_

0
0
0 0
1 1
C
C


( ) ( ) ( )

0 0 0
1
<ceasta arat( c(

este !ine de#init(. ,inearitatea re'ult( din #aptul c() #iind date
X ! x )
perechile
( ) ( ) ( )
2 1 C
) ) ) ) ) I I I I
cu
( )
x
x
1
C

)
( )
!
!
1
1

)
( )
!
!
x
x
+ )
2 sunt ele0ente ale lui / i
1 C
)
cu
I I I I
1 C
cu
( ) ( ) C ) 1 1
C

i ( ) ( ) 1 ) C 1
1
sunt 0or#is0e.
<adar
Z X 3
este o aplicaie liniar( i
( ) 1 sup
1

x
x

deoarece pentru
#iecare X x e2ist(
( )
0
I 0 )
cu
( )
x
x
0
1
i prin ur0are
( ) ( ) ( ) ( ) x x x x
0 0

.
.2. C"#$%&'(" , < B"*

&1
Ae#iniia 243
;n spaiu Wael!roec4 este un triplet 7X,>,

8 cu ur0(toarele propriet(i3
22
a8. X este un spaiu "ectorial) > o su!0uli0e circular con"e2( a!sor!ant( a lui X i

o topologie co0pact( 7Kausdor##8 pe >.

!8. <plicaia
2
x .
x
+

din > +n > este continu( pentru orice > . .

c8. Eriginea O a lui X are o !a'( de

"ecin(t(i +n > #or0at( din 0uli0ile circular

con"e2e 7Qdiscuri:8.
/2e0plul 2$3
6ie X un spaiu Banach) X=
X spaiul s(u dual) X O > !ila unitate a lui
X i

restricia topologiei sale sla!e ( ) X X ) pentru X O . <tunci 7X,>,

8 este un spaiu
Wael!roec4.
1copul acestui paragra# este de a ar(ta c( #iecare spaiu Wael!roec4 este i'o0or# cu
un spaiu dual al unui spaiu Banach i a da o repre'entare concret( a categoriei opuse a lui
Ban
1
+n ter0eni al spaiilor Wael!roec4.
Pentru a ar(ta aceste lucruri a"e0 ne"oie de c-te"a le0e. Aeoarece > este

.
co0pact) el poate #i +n'estrat cu o structur( uni#or0( 7unic deter0inat(8. Pri0a noastr( le0(
este de a descrie aceast( structur( uni#or0(.
,e0a 2D3
E su!0uli0e
> > 6
este un antura@ al structurii uni#or0e pe > dac( i nu0ai
dac( e2ist( o "ecin(tate ? a originii ast#el +nc-t 6 conine toate ele0entele
( ) > > ! x )
ast#el +nc-t
? ! x 2
.
Ae0onstraie3
/ste clar c( #a0ilia tuturor acestor 0uli0ilor 6 este un #iltru cu o !a'( si0etric( i
c( intersecia lui este diagonala. Lo0 ar(ta c( este #iltrul antura@elor al unei structuri uni#or0
separate pe >. Pentru a #ace acest lucru tre!uie s( ar(t(0 c( pentru #iecare "ecin(tate ? a
originii e2ist( o "ecin(tate @ ast#el +nc-t ? z x 2 dac(
> z ! x ) )
i
@ z ! ! x 2 )
.
<plicaia
2
&
&
este continu( pe > . <adar este un ho0o0or#is0 din > +n
2
>
. <st#el pentru
#iecare "ecin(tate ? a originii e2ist( o "ecin(tate @ ast#el +nc-t
,
_

2 2
>
@
?
sau
> @ ? 2
. Lecin(tatea @ poate #i aleas( ca #iind un disc 7con"e2 i circular8.
6ie acu0
> z ! x ) )
)
@ ! x 2
)
@ z ! 2
. <tunci
>
z x

2
deoarece R este un disc.
Pe de alt( parte
@ @ @
z ! ! x z x
2
2 2 2
+

.
23
<adar
? > @
z x

2
2
) adic( ? z x 2 .
Aeoarece 0uli0ile
( ) > ? x + 2
) ? o

."ecin(tate a lui O) #or0ea'( o !a'( de

"ecin(t(i a lui x +n topologia indus( de structura uni#or0( de 0ai sus. 6iecare ast#el de
0uli0e este de ase0ena o

."ecin(tate a lui x deoarece este i0aginea in"ers( a lui ? prin

aplicaia continu(
z
x !
!

. Prin ur0are topologia indus( de structura uni#or0() care este

Kausdor##) este 0ai sla!( dec-t topologia co0pact(

i aadar aceste dou( topologii

coincid.
,e0a 2F3
<plicaia
( )
2
)
! x
! x
+

din > > +n > este continu(. &ai general aplicaia

( ) ! x ! x + )
pentru
1 +
este continu(. Ae0onstraia este e"ident(.
6ie acu0
A
'
cea 0ai tare topologie local con"e2( pe spaiul Wael!roec4 X ast#el +nc-t
scu#undarea > X este continu(.
,e0a 23
E !a'( de "ecin(t(i a originii pentru topologia
A
'
este #or0at( din toate discurile
B
X ast#el +nc-t pentru toi C > r e2ist( o

."ecin(tate @ a originii +n > satis#(c-nd

rB @
.
Ae0onstraie3
Aeoarece > X este continu() un ast#el de @ tre!uie s( e2iste pentru #iecare
"ecin(tate circular con"e2(
B
X i #iecare C > r . <leg-nd toi ast#el de B.uri) clar
o!ine0 cea 0ai tare topologie local con"e2( ast#el +nc-t > X este continu(.
<cu0 de#ini0 cea 0ai tare topologie
A
'
pe X ast#el +nc-t toate translaiile i o0otetiile
7adic( aplicaiile de #or0a
I r rx x )
8 ale lui X i scu#undarea > X sunt continue.
<ceast( topologie este a priori nici local con"e2() nici co0pati!il( cu structura liniar( pe X.
Prin de#iniie este 0ai tare dec-t
A
'
. 6aptul i0portant este c( aceste topologii coincid.
Pentru a ar(ta acest lucru a"e0 ne"oie de o le0(.
,e0a 2%3
6ie C o su!0uli0e

.+nchis( a lui >) D deschis +n > i > x ast#el +nc-t

D @ C x +
. <tunci e2ist( un disc co0pact @ care este o

."ecin(tate a originii ast#el +nc-t

( ) D > @ C x +
.
24
Ae0onstraie3
/2ist( o "ecin(tate @
1
a lui x ast#el +nc-t
C @
1
. Cunoate0 de@a c(
( ) > @ x @ + 2
1
pentru o "ecin(tate circular() con"e2( i +nchis( @ a originii. <tunci
( ) + C @ x
deoarece
@ @ 2
i
( ) ( ) ( ) + + C @ C > @ x C @ x
1
2 .
<ceasta i0plic( c( @ C x + .
Aeoarece C este co0pact) @ poate #i aleas( ast#el +nc-t
( ) D > @ ! +
)
C !
.
Propo'iia 3C3
Iopologiile
A
'
i
A
'
pe X coincid i sunt Kausdor##.
Ae0onstraie3
/ste su#icient s( ar(t(0 c(
A
'
este 0ai sla!( dec-t
A
'
i c(
A
'
este Kausdor##.
6ie ? deschis( +n topologia
A
'
. Lo0 ar(ta c( ? este o
A
'
."ecin(tate pentru
#iecare ele0ent ? x . Pute0 presupune c( C x deoarece translaiile sunt continue. <cu0
este su#icient s( construi0 o
A
'
."ecin(tate circular con"e2( B a originii ast#el +nc-t
? B
i ast#el +nc-t B nu conine un punct precedent dat C . . Aeoarece o0otetiile sunt continue
pute0 presupune c( > . .
Sti0 c( pentru #iecare C > r 0uli0ea
( ) > r?
este

.deschis( +n > deoarece este

i0aginea in"ers( a 0uli0ii deschise r? prin in@ecia > X.
/2ist( o "ecin(tate

.+nchis( circular con"e2( @

0
a originii +n > ast#el +nc-t
? @ .
C
. ,u(0 >
0
=@
0
. Aiscul co0pact
3
C
>
este inclus +n 0uli0ea

.deschis(
>
?

3
i nu.l conine pe
3
.
. Ain le0a precedent( e2ist( o "ecin(tate circular con"e2( co0pact( @
1
a
originii ast#el +nc-t
>
?
@
> .
+
3 3
2
3 3
1
C
.
Aiscul
1
C
1
3
2
3
@
>
> + este co0pact) inclus +n > i ast#el +nc-t
? > .
1
3
. 5n
acest #el o!ine0 un ir de discuri co0pacte (>
n
) +n > i un ir de "ecin(t(i a originii (@
n
))
care sunt de ase0enea discuri co0pacte ast#el +nc-t pentru orice C n a"e0
? > .
n
n
3

i
2$
1 1
1
3 2 3 3
+ +
+
+
n
n
n
n
n
n
@ > >
.
Sirul (%
n
>
n
) este strict cresc(tor i aadar

n
n
n
> B 3
este un discT
? B .
.
Pentru C > r alege0 n ast#el +nc-t r
n
<
3 2
1
.
<tunci a"e03
rB > > @
n
n
n
n n

,
_

+
+
+ + 1
1
1 1
3
3 2
1
2
3
.
Corolar 313
Iopologia
A
'
induce pe > topologia iniial(

.
Ae0onstraie3
<ceasta re'ult( din #aptul c( scu#undare > 7X)
A
'
8 este continu( i c(
A
'
este separat(.
Propo'iia 7Banach.Aiedunne8 323
E su!0uli0e
C
X este

.+nchis( dac( i nu0ai dac( pentru #iecare C > r

0uli0ea
( ) > rC
este +nchis( +n >.
Ae0onstraie3
6ie #a0ilia tuturor 0uli0ilor C ast#el +nc-t pentru orice C > r )
( ) > rC
este
+nchis( +n >.
<tunci

i X i reuniunile #inite i interseciile ar!itrare sunt +n . <adar

de#inete o topologie pe X. <ceast( topologie are proprietatea c( inclu'iunea > X i toate
translaiile i o0otetiile lui X sunt continue.
Aeoarece
A
'
este cea 0ai tare ast#el de topologie) este clar c( de#inete o
topologie 0ai sla!( dac-t
A
'
. Pe de alt( parte #iecare 0uli0e
A
'
.+nchis( aparine lui i
de aceea a0!ele topologii coincid.
Corolar 7Banach8 333
;n su!spaiu liniar , al spaiului dual XE al unui spaiu Banach X este (
)
.+nchis(
dac( i nu0ai dac( X O , este (
)
.+nchis( +n X O .
Ae0onstraie3
1paiile duale ale lui ( ) ( ) X X X ) ) i ale lui
( )
A
' X )
a0!ele coincid cu X.
7< doua a#ir0aie re'ult( din #aptul c( o #uncional( liniar( pe X este (
)
.continu( dac( i
nu0ai dac( restricia lui pentru X O este (
)
.continu(. <ceasta "a re'ulta de ase0enea din
Ieore0a 34.
2D
<adar un su!spaiu , este ( ) X X ) .+nchis dac( i nu0ai dac( este
A
'
.+nchis.
Aar aceasta +nsea0n( c( X O , este (
)
.+nchis(.
Consider(0 acu0 B categoria tuturor spaiilor Wael!roec4 7X,>,

8. ;n 0or#is0

:7X,>,

7X)
) >
8 "a #i o aplicaie liniar(
3
X

X ast#el +nc-t ( ) > > i

>
este
.continu(.
Ieore0a 7Wael!roec48 343
Categoria B este echi"alent( cu categoria opus( Ban
1
op
lui Ban
1
.
Ae0onstraie3
Ae#ini0 doi #unctori contra"ariani D 3 -.n
1

B i / = B

-.n
1
ast#el +nc-t /D
=
1
1
-.n
i D/ = B
1
.
Pentru #iecare -.n X #ie DX =
( ) ( ) X O X X X O X ) ) )
i pentru #iecare 0or#is0
Y X u 3 din Ban
1
#ie D u u aplicaia dual() X Y u 3 . /ste clar c( u este un 0or#is0
+n B.
Pe de alt( parte de#ini0 pentru XB spaiul Banach /X=X
M
ca spaiul tuturor
#uncionalelor liniare f pe X ast#el +nc-t
> f
este continu( cu nor0a
( ) x f f
> X
sup
. Pentru
#iecare 0or#is0

3 X

D de#ini03

M
3 D
M

X
M
prin

M
( ) g g
pentru
g
D
M
.
Lo0 ar(ta pri0a dat( c( D/ = B
1
.
6ie XB. <tunci X
M
(c X )

) unde c X este spaiul liniar X cu topologia

A
'
. Aeoarece
c X este Kausdor##) #uncionalele +n X
M
separ( punctele ale lui X i aadar a"e0 o scu#undare
canonic( X

D/X=( X
M
)E) dat( prin x x N ) unde
M )
N
M) x x x x
pentru M x X
M
.
Polarul
C
>
coincide cu OX
M
prin de#iniia nor0ei +n X
M
. <adar !ipolarul
CC
>
coincide cu
O(X
M
)E.
Aeoarece > este

.co0pact( i topologia

7 X,X
M
8 este Kausdor##)

7X,X
M
8
O
X =

i
de aceea
CC
>
=> prin teore0a !ipolar() deoarece

7 X,X
M
8
>
=

((X )

)X
M
)
>
.
<st#el o!ine0 O(X
M
)E = > i aadar 7X,>,

8 = ((X
M
)E,O(X
M
)E,

), adic( D/X=X.
2F
Pentru un 0or#is0

3 X

D a"e0
( ) ( ) M ) M M ) ! x ! x
sau identi#ic-nd
x
cu xN )
( ) ( ) x ! x ! M) ) M M
) adic(
( ) ( ) x ! x !

M M) M)
.
<ceasta +nsea0n(
( )

M
.
*(0-ne s( ar(t(0 c( /D =
1
1
-.n
.
6ie > -.n . <tunci /D
( ) M X X / X

.
Aeoarece X i
( ) M X
au acelai spaiu dual X 7pentru c(
( ) ( ) X X X /

M
8) sunt i'o0etric
i'o0or#e.
Corolar 3$3
6iecare spaiu Wael!roec4 poate #i considerat ca un spaiu dual al unui spaiu Banach i
in"ers.
Propo'iia 3D3
A
'
este topologia con"ergenei uni#or0e pe su!0uli0ile co0pacte ale lui X
M
.
Ae0onstraie3
> #iind !ila unitate a lui X=(X
M
)

) este uor de o!ser"at c( restricia la > a

topologiei con"ergenei co0pacte coincide cu topologia con"ergenei punctuale) adic( cu

7X,X
M
8. Aar

7 X,X
M
8
>
=

i
A
'
este aadar 0ai tare ca topologia con"ergenei
co0pacte.
*eciproc) #ie ? o
A
'
."ecin(tate con"e2() circular( i +nchis( a originii i { M
C
x ? X
M
} ? x x x ) 1 M)
#ie polara lui ;. <"e0
M x
(c X )

( ) > A
i
( ) > c? x +
este o
2

."ecin(tate al lui x pentru orice > x i C > c . <adar ?

0
este o su!0uli0e echicontinu(
a lui
( ) > A
. Aeoarece R este

.co0pact() e2ist( un C > ast#el +nc-t ? > i deci ?

0
este de ase0enea 0(rginit(.
Ain teore0a <r'ela.<scoli ?
0
este o su!0uli0e relati" co0pact( a lui X
M
. Ain
!ipolaritate o!ine0 ?
00
= ? i deci ? este o "ecin(tate pentru topologia con"ergenei
co0pacte.
<cu0 "re0 s( descrie0 nite noiuni categoriale din B e2plicit. 6ie 7X,>,

8 un
spaiu Wael!roec4 i B un su!spaiu liniar al lui X. B se nu0ete su!spaiu Wael!roec4 al lui
X dac( B > este co0pact( +n >. 5n acest ca' 7B, B > )

B > 8 este un spaiu

Wael!roec4 i inclu'iunea canonic( B

X este un 0or#is0 +n B.
*e0arca 3F3
Aac( 7X,>,

8 este dat concret ca dualul

X al unui spaiu Banach) un su!spaiu
liniar X + este un su!spaiu Wael!roec4 dac( i nu0ai dac( X O + este ().co0pact)
adic( dac( i nu0ai dac( + este ().+nchis.
5n acest ca'

, + pentru c-te"a su!spaii +nchise , ale lui X i X ,

3 este dualul
al aplicaiei c-t
,
X
X 3 . <adar su!spaiile Wael!roec4 corespund prin dualitate
precis cu spaiile c-t ale spaiilor Banach.
6ie acu0

3 X

D un 0or#is0 +n B.
6ie B ( ) C
1
. Aeoarece B > este co0pact) 7B, B > )
7
B > 88 este un su!spaiu
Wael!roec4 al lui X. Lo0 nu0i nucleul lui

) B
4er
.
<r(t(0 c(

3 X

D este 0ono +n B dac( i nu0ai dac(

este in@ecti") adic(

( ) C 4er
.
*e0arca 33
Pute0 o!ine acelai re'ultat consider-nd spaiile Banach duale3 Y X u 3 este
0ono +n B dac( i nu0ai dac( X Y u 3 este epi0or#is0 +n Ban
1
) dac( i nu0ai dac( u
este in@ecti".
6ie B un su!spaiu Wael!roec4 al spaiului Wael!roec4 X. Consider(0 proiecia
canonic( F = X

X/ B. <ceasta "a #i continu( pe > dac( de#ini0 pe F(>) topologia c-t) care
este co0pact(. &ai 0ult X/ B de"ine un spaiu Wael!roec4. 5l "o0 nu0i un spaiu c-t.
*e0arca 3%3
Pute0 da de ase0enea o de#iniie 0ai concret(. Perechea 7B ,X8 corespunde
perechii ( ) X ,

) pentru un su!spaiu +nchis

X ,
. Proiecia canonic(

, X X F 3
2%
poate #i identi#icat( cu
F
) unde X , 3 este inclu'iunea canonic( din , +n X. <adar
o!ser"(0 c( spaiile c-t din B corespund prin dualitate cu su!spaiile din Ban
1
.
6ie acu0

3 X

D un 0or#is0 +n B. Ae#ini0 conucleul

co5
ca spaiul c-t DU

(X))
unde

(X) este +nchiderea lui

(X) +n c D.
;n 0or#is0

3 X

D din B este epi0or#is0 dac( i nu0ai dac(

(X) este
A
'
.dens(
+n D.
*e0arca 4C3
Pentru o aplicaie dual(
Y X 3
aceasta poate #i #or0ulat( ca3

este
epi0or#is0 dac( i nu0ai dac( ( ) X este ().dens( +n Y . Pentru ().+nchiderea i
A
'
.
+nchiderea su!spaiilor liniare coincide.
Pute0 de#ini 0ono0or#is0ele i epi0or#is0ele e2tre0e +n B.
,a #el ar(t(0 c( 0ono0or#is0ele e2tre0e sunt acelea 0or#is0e care sunt scu#und(ri
i'o0etrice 7+n nor0a lui X=(X*)8 i 0ono0or#is0ele e2tre0e sunt aplicaiile c-t din B.
<"e0 ne"oie de o si0pl( le0(.
,e0a 413
6ie
Y X 3
o aplicaie dual() care este i'o0etric( i are i0aginea ().dens(.
<tunci

este sur@ecti"(.
Ae0onstraie3
Aeoarece ( ) ( ) Y O X X O este co0pact() ( ) X este ().+nchis( +n Y i
#iind ().dens( ea coincide cu Y .
6ie Y X u 3 un 0or#is0 din Ban
1
i diagra0a nr. 1."2
X
u
Y


nr. 1."2

X u
-1
(0)

( ) X u
este desco0punerea canonic(. Aiagra0a dual( nr. 1."3 arat( +n #elul ur0(tor3
Y u X
nr. 1."3
3C
( )

X u u
H

( ) ( )

C
1
u X
Sti0 de@a c( este o aplicaie c-t) o scu#undare i'o0etric( i u
H
in@ecti"( cu
i0aginea ().dens(. <adar ( ) u Y X u

4er i
( ) ( ) ( )
(
Y u u X

C
1
) unde ( repre'int(
().+nchiderea +n X .
Bu0i0 aceasta desco0punerea canonic( a spaiului Wael!roec4 a lui u
.
Bu0i0 pe u
strict( dac( i nu0ai dac( u
H
este un i'o0or#is0.
<tunci a"e0 ur0(toarea propo'iie.
Propo'iia 423
X Y u 3 este strict( dac( i nu0ai dac( ( ) ( ) OX Y u Y O u
.
Ae0onstraie3
Aac( u este strict( atunci ea este co0po'iia unei aplicaii c-t din B i a unei scu#und(ri
i'o0etrice. <adar ecuaia ( ) ( ) X O Y u Y O u
are loc.
Aac( pe de alt( parte ( ) ( ) X O Y u Y O u
) atunci ( ) Y u
este ().+nchis( +n X
deoarece ( ) Y O u
este co0pact(. <plicaia u
H
este !i@ecti"( pe !ila unitate i aadar este un
i'o0or#is0.
Aeoarece #iecare spaiu dual al unui spaiu Banach poate #i considerat tot ca un spaiu Banach)
a"e0 un #unctor uituc
-.n B G 3
) care asocia'( pentru #iecare spaiu Wael!roec4
( ) ) ) X O X
) spaiul Banach #unda0ental X . ;it( c( X O are o topologie co0pact(.
1crie0 c-teodat( G X +n loc de X ) dac( consider(0 nu0ai structura de spaiu Banach pe
X . /ste clar c( G este un #unctor deoarece #iecare aplicaie dual( u este cu at-t 0ai 0ult un
0or#is0 +n Ban
1
.
6unctorul co0pus G D -.n -.n
oF
3 ) care asociea'( lui X spaiul Banach
G
X
este contra"ariant i auto.ad@unct la dreapta adic( satis#ace ecuaia3
( ) ( )
G G
X Y Hom Y X Hom ) )
.
I'o0etria este dat( prin
&
f f
) unde aplicaia transpus(
&
f
este de#init( prin
! f x fx !
&
) )
) adic(
Y f f
&

) restricia aplicaiei duale
f
+n su!spaiul Y) sau
Y
&
f f .
<tunci
f f
&

i diagra0a ur0(toare co0ut( nr. 1."4 3

X f Y
31


X

( )

&
f nr. 1."4
X
<ceasta i0plic( apoi egalitatea
( ) ( ) Y X B Y X -.n
G
) )
1
7M8
unde scrie0
( )
G
Y X -.n )
1
+n locul lui
( )
G
Y X Hom )
pentru a #ace clar( categoria din care
sunt luate 0or#is0ele. <ceast( egalitate este dat( prin ( )

&
f f .
/ste Qnatural(: +n X i Y. <ceasta +nsea0n( ur0(toarea3 #ie X Z u 3 un 0or#is0 din
Ban
1
. <tunci pentru ele0entul
u f
din partea st-ng( +i corespunde ele0entul ( ) u f
&

din
partea dreapt(.
1i0ilar) dac(
B Y 3
este un 0or#is0 din B) atunci ele0entului ( )

&
f din partea
dreapt( +i corespunde ele0entul
f
G

din partea st-ng(.
Ae0onstraia re'ult( din co0utati"itatea diagra0elor nr.1."8 si nr. 1.":3
Z u X f Y

Z

( )

&
f i nr. 1."8
Z u X
X f Y

B


X

( )

&
f ( )

&
f nr. 1.":
X
Pute0 acu0 interpreta relaia 7M8 +n #elul ur0(tor3 Ihe #unctor
B -.n
1
3 V este ad@unct la st-nga
32
pentru #unctorul uituc
1
3 -.n B G
. ;nicitatea relaiei de ad@unctare 7M8 7care corespunde
identit(ii
X
1 8 este scu#undarea canonic( X X
X
3 i counitatea 7care corespunde
identit(ii
G
Y
1
8 este aplicaia ( ) Y Y
Y

3 1 .
Propo'iia 433
6ie
X , f 3
. <tunci f este o scu#undare i'o0etric( dac( i nu0ai dac( ( ) OX f
&
este ().
dens( +n , O .
Ae0onstraie3
Bot(0 pentru #iecare -.n X ) OX este ().dens( +n X O . <ceasta este o !ine
cunoscut( consecin( a teore0ei !ipolare.
6ie acu0
X , f 3
0ono0or#is0 e2tre0 +n Ban
1
) atunci
, X f 3
este epi0or#is0
e2tre0 +n B i aadar o aplicaie c-t. <st#el ( ) , O X O f
. Aeoarece OX este ().dens( +n
X O i
f
este ().continu( o!ine0 c( ( ) OX f
&
este ().dens( +n , O .
Pe de alt( parte) #ie ( ) OX f
&
().dens( +n , O . <tunci ( ) X O f
este ().dens( +n , O i
co0pact( i aadar ( ) , O X O f
. <ceasta +nsea0n( c(
f
este o aplicaie c-t +n B i prin
ur0are f este o scu#undare i'o0etric( +n Ban
1
.
1( consider(0 #unctorul uituc
AomF B O 3
) unde AomF repre'int( categoria
tuturor spaiilor Kausdor## co0pacte i aplicaiilor continue. 6unctorul O asocia'( pentru un
spaiu
B X
!ila sa unitate co0pact( X O i pentru #iecare 0or#is0 Y X u 3 restricia
sa la X O .Pentru a ar(ta c( acest #unctor are un con@ugat st-ng consider(0 #unctorul
contra"ariant
1
3 -.n AomF A
) care asocia'( pentru #iecare
AomF '
spaiul Banach al
tuturor #unciilor continue pe ' cu nor0a sup i pentru #iecare aplicaie continu(
# ' f 3
aplicaia
( ) ( ) ( ) ' A # A f A 3
dat( prin
( ) ( ) f f A
)
( ) # A
. Aac( co0!in(0 #unctorul
contra"ariant A cu #unctorul contra"ariant D: B -.n
1
o!ine0 un #unctor co"ariant
B=DA= AomF

B. /l asocia'( pentru #iecare

AomF '
spaiul Wael!roec4 B(')= ( )

' A
al tuturor 0(surilor *adon pe ' i pentru #iecare
# ' f 3
din AomF 0or#is0ul B(f)= ( )

f A .
/2ist( o scu#undare natural( ' B(') care asociea'( cu #iecare ' & 0(sura Airac
&

) de#init( prin
( ) ( ) & f f
&

pentru toi
( ) ' A f
. /ste clar ca acesta este un ho0o0or#is0
a lui ' pe i0aginea sa +n OB('). 5n"elitoarea a!solut con"e2( a lui

&
este ().dens( +n
33
OB('). <ceasta re'ult( i0ediat din propo'iia 43 aplicat( pentru scu#undarea i'o0etric(
( ) ( )

' '
l l ' A
1
3
.
<cu0 "o0 ar(ta c( #unctorul B este ad@unct la st-nga pentru #unctorul uituc O, adic(
B(B('))
X 8 = AomF (',O
X ) 7M8
are loc natural +n
AomF '
i
B X
.
Identi#icarea 7M8 este dat( prin
'
pentru

3 B(') X i prin f
f
) unde f

este unicul 0or#is0 ast#el +nc-t diagra0a ur0(toare este co0utati"( nr. 1.";3
' f X O
nr. 1.";

B(') f

X
7;nicitatea lui f

re'ult( din #aptul c( co0!inaiile liniare ale lui f

sunt ().dense +n
OB(').
*e'ult( c(
( ) ( ) ( )

'
f
& 0 & f x x ) )
tre!uie s( ai!( loc pentru

5
& 5

i
din ().continuitate pentru orice

.
Aac( pe de alt( parte de#ini0 f

prin
( )

'
f
f0
) este clar c( toate condiiile sunt
satis#(cute8.;nicitatea acestei ad@uncii este identi#icarea
&
&
i counitatea este aplicaia c-t
3
B( ) X X O
de#init( prin
( ) ( )

X O
x 0 x
) adic(
( ) ( )

X O
x 0 x x x ) )
pentru
toi X x .
Corolar 443
6iecare spaiu Wael!roec4 X este un #actor al unui spaiu Wael!roec4 li!er B(')
pentru un spaiu Kausdor## co0pact potri"it '.
/ste acu0 uor s( descrie0 li0itele i coli0itele din B. Ain ad@uncia
( ) ( )
G
Y X -.n Y X B ) )
1
o!ine0 #aptul c( G co0ut( cu li0itele i cu coli0itele) adic(
0
-.n
0
B
X G X G

,
_

1
li0 li0
i 0
B
0
-.n
X X

,
_

li0 li0
.
34
Ain ad@uncia B(B('))
X 8 = AomF (',O
X ) deri"( pe de alt( parte #aptul c(3
0
AomF
0
B
X O X O

,
_

li0 li0
i B
B
0
AomF
' li0 li0

,
_

B('
0
).
<ceste ecuaii i0plic( de e2e0plu c( produsul din B)

B
0
X
coincide) la #el ca spaiul
Banach cu produsul din Ban
1
i c( topologia pe !ila sa unitate
( )

0
X O
este topologia
produs din AomF) adic( topologia IWchono## pe

0
X O
.
6ie
1 1
3 -.n -.n B 1
oF
!i#unctorul care asociea'( unui spaiu Wael!roec4
X i unui
spaiu Banach
Y ) spaiul Banach
8 ) 7 Y X 1
al tuturor aplicaiilor liniare 0(rginite
Y X f 3
ast#el +nc-t
X O f
este
( ) X X )
.continu() cu nor0a indus( din
8 ) 7 Y X H
.
Pentru un spaiu Wael!roec4 #i2at X #ie ( ) ) X 1 1
X

. <cesta este un #unctor

co"ariant pe -.n
1
.
Bot(0
1
1
-.n I
1
i
X I X 1 8 ) 7
.
/2ist( o egalitate
()) ( ) X Y 1 Y X 1 ) 8 ) 7
care este natural( +n X i Y i este dat( prin
&

) de#init( prin
x ! ! x
&
) )
.
<plicaia
&

se "a nu0i transpusa lui

.
&

este !ine de#init(3 #ie ( ) Y X 1 ) i

Y !
. <tunci
! !
este ().continu( pe X O ) adic( ( ) X !
X

. <plicaia

cu
codo0eniul restricionat la ( ) X X X
X
se nu0ete
&
i satis#ace ecuaia de 0ai sus.
&ai r(0-ne de ar(tat #aptul c(
&

aparine la ( ) X Y 1 )
.
6ie

!
o 0uli0e din Y O care con"erge () la
Y O !
. <tunci
! ! x ! !
x
& &



) sup
1
.
Sti0 c( ( ) X O este co0pact( +n OY deoarece ( ) Y X 1 ) . Pentru #iecare C > e2ist(
aadar o

.0uli0e #init(
OY ! !
n
)...)
1
pentru ( ) X O .
<st#el pentru #iecare X O x pute0 g(si
5
!
satis#(c-nd3
! ! ! ! ! ! ! ! ! x ! ! x
5 5 5
+ +

) 2 ) ) )
.
<adar


3 ) sup 2 ) < + ! ! ! ! ! x
5
5
)
pentru toi
C

i toi X O x .
3$
Ae#ini0 L 3 B B -.n
oF
ca #iind !i#unctorul care asociea'( cu -.n X i
B Y
spaiul L(X,
Y ) al tuturor aplicaiilor liniare 0(rginite din X +n
Y .
<#ir0(0 c( L(X,
Y ) poate #i dat de structura unui spaiu Wael!roec4.
Consider(0 !ila unitate OL(X,
Y )) care este clar un disc a!sor!ant +n L(X,
Y ). Consider(0
pe OL(X,
Y ) topologia con"ergenei punctuale pe OX. Cu alte cu"inte consider(0 aplicaia
care asociea'( #iec(rui
O f
L(X,
Y ) ele0entul

( ) ( ) ( )

OX x
x OX x
Y O x f
.
Iopologia pe OL(X,
Y ) indus( +n acest #el din topologia IWchono## pe
( )

OX x
x
Y O
este co0pact( i satis#ace !8 i c8 din de#iniia de 0ai sus.
<ceasta i0plic( c( L(X,
Y ) aparine lui B.
/galitatea L(X,
Y )= L(Y,
X ) dat( prin
&
a #ost de@a considerat( 0ai de"re0e.
Bot(0 pri0a dat( c( pentru un spaiu dual - 6 e2ist( o proiecie
6 6 3
din
B ast#el +nc-t diagra0a ur0(toare co0ut( nr. 1.%0.
6


6

6
1
nr. 1.%0
6

6
<cest 0or#is0

este unic deter0inat 7pentru c( - O este ().dens( +n - O 8 i coincide

cu ( )

-
. Bucleul
4er >
este atunci ().+nchis +n
6 .
6aptul interesant este c( reciproca este de ase0enea ade"(rat(.
Propo'iia 7Ai20ier8 4$3
6ie 6 un spaiu Banach ast#el +nc-t e2ist( o contracie liniar(
6 6 3
satis#(c-nd
6 6
1
.
<tunci 6 i

aparin lui B dac( 7i nu0ai dac(8

4er
este ().+nchis +n 6 .
Ae0onstraie3
6ie
6 > 4er
. Aeoarece R este XM.+nchis( e2ist( un su!spaiu +nchis nor0at 6 -
ast#el +nc-t

- > .
3D
6ie
6 - 9 3
scu#undarea canonic( i
- 6 9 3
aplicaia c-t corespun'(toare din B.
<tunci a"e0 ( ) C . 9 dac( i nu0ai dac( ( ) C . deoarece
C ) C . 9 G . 9
pentru
4er C )

- . . 9G - G
. <adar a"e0 9 9
6
deoarece

6
.
6ie acu0
- 6 3
dat( prin
6
9 . <tunci

este in@ecti"( pentru c(

( ) ( ) ( ) ( ) C C C C . . . 9 .
6 6
.
<poi a"e0
( ) - O O6
. 6ie pentru - O G . Aeoarece
9
este o aplicaie c-t din B e2ist(
6 O . satis#(c-nd
G . 9
. Aar atunci) +n plus
( ) ( ) ( ) ( ) ( ) . . 9 . 9 . 9 G
6 6
i ( ) O6 . .
<"e0 aadar o aplicaie !i@ecti"(
- 6 3
ast#el +nc-t
( ) - O O6
. Aac( de#ini0 pe O6
topologia ( )
1
indus( din

din topologia

pe - O ) atunci ( )
1
este co0pact( i
( ) ( )
1
) )

O6 6 este un spaiu Wael!roec4.
*(0-ne s( ar(t(0 c(

aparine lui B. <cesta re'ult( din 9 9

6
) care
i0plic( B 9

1
.
*e0arca 4D3
<cest re'ultat este legat cu #aptul ur0(tor3 #iecare Q. alge!r( 7+n sensul lui /ilen!erg . &oore8
este un spaiu dual) con#or0 J. 1e0anedi.

CAPITOLUL II. P'&./0$ #$*0&'(")$ .$ 01"9(( B"*"4;
3F
2.. P'&./0 #$*0&'(") ")%$3'(4 +( 1'&($4#(7
2... Produsul tensorial alge!ric
6ie X,Y spaii liniare peste c-0pul scalar I. Produsul tensorial al lui X i Y este un
spaiu liniar Y X +0preun( cu o aplicaie !iliniar( Y X Y X 3 care are ur0(toarea
proprietate uni"ersal(3 Erice aplicaie !iliniar(
Z Y X 3
+ntr.un spaiu liniar ar!itrar Z
#actori'at( unic prin

la o aplicaie liniar(
Z Y X 3 N
) adic(
N
e2ist( ast#el +nc-t
N
din diagra0a nr. ".%1
Y X

Y X

N
nr. ".%1
Z
Proprietatea uni"ersal( al produsului tensorial i0plic( #aptul c( este unic
deter0inat( p-n( la un i'o0or#is0 liniar. ;r0(toarea repre'entare concret( este !ine
cunoscut(3 consider(0 spaiul liniar li!er , peste Y X ) adic( spaiul tuturor #unciilor cu
"alori scalari pe Y X care sunt nenule +ntr.un nu0(r #init de puncte din Y X .
Identi#ic(0 (x,!) cu #uncia care dispare peste tot) e2cepie pe (x,!)) unde are
"aloarea 1) atunci Y X este o !a'( Ka0el pentru ,. Consider(0 su!spaiul + generat de
toate ele0entele de ur0(toarele tipuri3
( ) ( ) ( ) ! x ! x ! x x ) ) )
1 1
+
( ) ( ) ( )
1 1
) ) ) ! x ! x ! ! x +
( ) ( ) ! x ! x ) )
( ) ( ) ! x ! x ) )
)
unde
I Y ! ! X x x ) ) ) )
1 1
.
<tunci
+ , Y X
este uor de o!ser"at a #i un produs tensorial al lui X i Y)
+ , Y X 3
#iind nu0ai restricia proieciei canonice. Bot(0 i0aginea lui (x,!) cu
! x
.
3
Aeoarece lucr(0 aici nu0ai cu spaii liniare) i nu cu 0odule peste un inel) pute0 da
o alt( repre'entare) care este !a'at( pe argu0entele dualit(ii.
,u-nd Z = I) atunci proprietatea uni"ersal( a lui Y X i0plic( #aptul c( dualul alge!ric
( ) M Y X coincide cu B(X,Y) spaiul tuturor aplicaiilor !iliniare din Y X +n I. <st#el
Y X ) dac( e2ist( este un su!spaiu al lui B ( ) M )Y X
. 1( not(0 prin
! x
#uncionala
liniar( pe B(X,Y)) care corespunde cu e"aluarea la (x,!)) adic(
( ) ! x f ! x f ) )
pentru
f B(X,Y). Construcia scu#und(rii noastre i0plic() c(
( ) ! x)
tre!uie s( #ie egal cu
! x
.
,u(0 acu0 Y X ca +n#(ur(toarea liniar( a ele0entelor
! x
)
Y ! X x )
.
*(0-ne de ar(tat c( spaiul o!inut +0preun( cu aplicaia
( ) ! x ! x )
) are propriet(ile
dorite3 Biliniaritatea lui

re'ult( i0ediat din de#iniie. 6iind dat( o aplicaie !iliniar(

Z Y X 3
) tre!uie s( a"e0 ( ) ( ) ( ) ! x ! x ! x N ) N ) .
N
este aadar unic
deter0inat() dac( e2ist(.
<cu0 presupune0 c(

n
i
i i i
! x
1
C

( ) Y ! X x I
i i i
) )
. Aac( a"e0

( )

C )
i i i
! x
)
atunci ar e2ista
M M Z z
ast#el +nc-t
( ) ( )

C M ) ) ) M z ! x ! x z
i i i i i i

.
<cu0
( ) Y X - z T M
i din presupunerea noastr( o!ine03
( )

C ) M ) M
i i i i i i
! x z ! x z
. contradicie.
Aac( pune0
( )



,
_

n
i
i i i
n
i
i i i
! x ! x
1 1
) N
)
( ) Y ! X x I
i i i
) )
)
re'ult( c(
N
este !ine de#init( i liniar(.
Produsul tensorial alge!ric satis#ace ur0(toarea 9lege e2ponenial(:3 dac( scrie0 L(X,Y)
pentru spaiul aplicaiilor liniare din X +n Y) atunci
3%
L( Y X , Z) = B(X,YHZ) = L(X, L(Y,Z)).
Pri0a egalitate are loc din proprietatea uni"ersal() a doua prin corespondena
N
) dat(
prin ( ) ( ) ( ) ! x ! x N ) . <nalog a"e0 B(X,YHZ) = L(Y, L(X,Z)) prin corespondena
( ) ( ) ( ) x ! ! x N ) i aadar L(X, L(Y,Z))= L(Y, L(X,Z)) este tot ade"(rat(.
Bu0ele de 9lege e2ponenial(: "ine din notaia ur0(toare3 dac( scrie0
X
Z
pentru
L(X,Z)) #or0ula de 0ai sus are #or0a3
( ) ( )
X
Y
Y
X Y X
Z Z Z

.
Propo'iia 4F3
<#ir0(0 dou( re'ultate uoare despre ele0entele de Y X =
a8. Aac( x
1
,I,x
n
sunt liniar independeni +n X i Y i cel puin unul dintre ele0entele
!
1
,I!
n Y este di#erit de 'ero) atunci

n
i
i i
! x
1
C
.
!8. 6iecare ele0ent C u al lui Y X are o repre'entare

n
i
i i
! x u
1
) cu
( )
i
x
i
( )
i
!
liniar independeni +n X i respecti" Y.
Ae0onstraie3
a8. Presupune0 c( C
1
! . <tunci e2ist(
M M X x
i M M Y ! ast#el +nc-t
i i
x x
1
M )
i
C M )
1
! !
. <plicaia
( ) M ) M ) ) ! ! x x ! x
de#inete clar un ele0ent

al lui B(X,Y) pentru care

a"e0
( )

C M ) M ) ) ! ! x x ! x
i i i i

. *e'ultatul ur0ea'( acu0 din proprietatea uni"ersal(.

4C
!8. ,u(0 orice repre'entare

n
i
i i
! x u
1
cu n 0ini0al 7care e2ist( din C u 8.
Presupune0 de e2e0plu

1
1
n
i
i i n
x x
. <tunci a"e0

( )

+ +
1
1
1
1
1
1
n
i
n i i i
n
i
n i i
n
i
i i
! ! x ! x ! x u
)
care este o contradicie.
Presupune0 acu0 c( X i Y sunt spaii Banach. Cu -(X,Y) "o0 nota spaiul tuturor aplicaiilor
!iliniare 0(rginite din Y X +n I. Pentru
( ) Y X - )
lu(0
( ) ! x
OY !
OX x
) sup

. 5n acest #el
-(X,Y) de"ine un spaiu Banach.
Consider(0 aplicaia ( )

Y X - Y X ) 3 dat( prin
( ) ( ) ! x ! x ) ) )
) unde
( ) Y X - )
) X x )
Y !
. /ste e"ident !iliniar( i de#inete aadar o aplicaie liniar(
( )

Y X - Y X ) 3 N . <#ir0(0 c(
N
este in@ecti"(.
6ie
( )
i
x
i
( )
i
!
liniar independente +n X respecti" +n Y i

n
i
i i
! x u
1
. Ain teore0a Kahn.
Banach o!ine0 #uncionalele X x i
Y !
ast#el +nc-t
i i
x x
1
)
i
i i
! !
1
)
.
( ) ! ! x x ! x ) ) )
de#inete un ele0ent din -(X,Y) i a"e0
( ) 1 N ) ) ) u ! x
)
care +nsea0n( ( ) C N u .
2..2. P'&./0/) #$*0&'(") 1'&($4#(7 .$ 01"9(( B"*"4;
6ie X,Y spaii Banach. ;n produs tensorial proiecti" al lui X i Y este un spaiu
Banach Y X
N
+0preun( cu o aplicaie !iliniar( 0(rginit( Y X Y X
N
3 ast#el +nc-t
pentru orice aplicaie !iliniar( 0(rginit(

din Y X +ntr.un spaiu Banach ar!itrar Z)

e2ist( o unic( aplicaie liniar( 0(rginit(
Z Y X
N
3 N
ast#el +nc-t
N
0in diagra0a
nr. ".%". Cere0 ca
N
.
Y X

Y X
N
41

N
nr. ".%"
Z
Aac( un produs tensorial proiecti" e2ist() este unic deter0inat p-n( la i'o0or#is0ele
i'o0etrice3
,u-nd Y X Z
N
i

a"e0 e"ident
Y X

N
1 N
i aadar
1 N
.
Presupune0 acu0 c( ( ) ) @ este un alt produs tensorial al lui X i Y. <tunci #actori'ea'(
peste

la @ Y X
N
3 N i

#actori'ea'( peste la

N
N din diagra0a nr. ".%%.
Y X

Y X
N

N
N N nr. ".%%
@
Aeoarece N
N
N
N
N i #actori'area este unic() a"e0
Y X

N
1 N
N
N i si0ilar
@
1
N
N N . Ain
1
N
N
i
1 N
o!ser"(0 c( @ i Y X
N
sunt i'o0etric
i'o0or#e.
Cele dou( contrucii schiate +n 1.1. pot #i generali'ate d-nd o repre'entare concret( a
produsului tensorial proiecti". 5n pri0ul ca' se poate lua ( ) OY OX l
1
i c-tul +n raport cu
+nchiderea su!spaiului considerat aici. <l doilea ca' "o0 descrie 0ai @os e2plicit. /chi"alena
celor dou( construcii re'ult( din a#ir0aia noastr( unic(.
<cu0 pentru Z = I proprietatea uni"ersal( spune c( ( ) ( ) Y X - Y X )
N

i'o0etric.
<st#el Y X
N
poate #i pri"it ca un su!spaiu +nchis al lui ( )

Y X - ) . Ca i +n 1.1. re'ult( uor

c(
( ) ! x ! x )
corespunde cu e"aluarea #uncional( dat( prin
( ) ! x f ! x f ) )
7pentru
( ) Y ! X x Y X - f ) ) )
8.
<0 "('ut de@a c( spatiul liniar , generat de aceste #uncionale #or0ea'( un produs
tensorial alge!ric al lui X i Y i a#ir0(0 c( +nchiderea sa nor0( , este un produs tensorial
proiecti".
42
6iind dat( o aplicaie !iliniar( 0(rginit(
Z Y X 3
o!ine0 o aplicaie liniar(
N
din
Y X , +n J cu
N
. *(0-n( s( ar(t(0 c(
N
este 0(rginit(
( ) ( )
,
_

i i
z
i i
n
i
i i
! x z ! x ! x )
1
sup ) N
1
1

( )
( )
( )

Y X -
n
i
i i i i
Y X -
! x ! x
)
1
1
)
) sup

<st#el
N
i N
are o e2tensie unic( la , . Aeoarece
1
are loc din
de#iniie i N ) a"e0
N
. <0 "('ut c( Y X este un su!spaiu
dens al lui Y X
N
i "o0 da o descriere a nor0ei induse pe Y X . <#ir0(0 c(
! x ! x
pentru X x )
Y !
.
Ain teore0a lui Kahn.Banach o!ine0 #uncionalele X O x i
Y !
ast#el +nc-t
x x x )
i
! ! ! )
.
<cu0
( ) Y X O- ! x ) ) )
i
! x ! ! x x ! x ! x ) ) ) ) )
) care +nsea0n( c(
! x ! x
.
Aeoarece
1
) egalitatea tre!uie s( #ie ade"(rat(.
Pentru Y X u de#ini0
( )

'

n
i
n
i
i i i i
! x u ! x u
1 1
3 in#
.
/ste uor de "eri#icat c(

este o se0i.nor0( pe Y X .
<"e0

i i
Y X
i i
Y X
n
i
i i
! x ! x ! x
N
N 1
i aadar
( ) u u
Y X

N ) care
+nsea0n( c(

este o nor0(. ,a #el de uor o!ser"(0) co0ple0entarea lui Y X +n nor0a

satis#ace proprietatea uni"ersal( a produsului tensorial proiecti" i i'o0or#is0ul construit

0ai sus este identitatea pe Y X . <st#el

Y X
N i de aici +ncolo +l "o0 nota prin
Y

.
Ieore0a 43
Produsul tensorial proiecti" Y X
N
a dou( spaii Banach P i Z este co0pletarea
produsului tensorial alge!ric +n nor0a
Y
) dat( prin

'

n
i
n
i
i i i i
! x u ! x u
1 1
Y
3 in# .
43
1paiile
( ) ( ) Z Y H X H ) ) i ( ) Z Y X H )
N
sunt i'o0etric i'o0or#e prin

H

) unde
( ) ( ) ( ) ! x ! x
H
.
Ca i un ca' special a"e0 ( ) ( ) ( ) Y X H I Y X H Y X

) )
N N
.
<st#el ( ) Y X H ) apare ca dualul unui spaiu Banach i are aadar structura unui spaiu
Wael!roec4.
Aeoarece !ila unitate a lui ( ) Y X H ) este echicontinu( +n raport cu Y X
N
) restricia
topologiei ( ) ( ) Y X Y X H
N
) ) coincide cu ( ) ( ) Y X Y X H ) ) ) adic( topologia
con"ergenei punctuale. Aeci structura Wael!roec4 coincide cu aceasta) adic( L( ) Y X )
( )

Y X
N
.
Clar) dualitatea +ntre Y X
N
i L( ) Y X ) este dat( prin
( ) x f ! f ! x ) )
.
A(0 unele propriet(i ele0entare ale produsului tensorial proiecti"3
a8. X Y Y X
N N
prin ( ) x ! ! x ! x
&

Ain dualitate o!ine0 un i'o0or#is0 a lui L( ) X Y ) i L( ) Y X ) 3
( ) ( ) ( )
& & &
f ! x x f ! ! f x f x ! f ! x ) ) ) ) )
)
unitate adic( acest i'o0or#is0 trans#or0( f L
( ) X Y )
+n
&
f L
( ) Y X )
) adic( aplicaia
considerat( 0ai sus.
!8. X I X X I
N N
i'o0or#is0ul #iind dat prin x x i x x 1 ) unde
X x I )
.
c8. ( ) ( ) Z Y X Z Y X
N N
prin identi#icarea
( ) ( ) z ! x z ! x
. <ceast( aplicaie
este de#init( #olosind proprietatea uni"ersal( de dou( ori 7pri0a dat( cu z #i2at8. <lt(
de0onstraie este o!inut( din #aptul c( dualele celor dou( spaii coincid cu spaiul Banach al
tuturor aplicaiilor triliniare 0(rginite din Z Y X +n I i ().topologia pe !ila este +n cele
dou( ca'uri topologia con"ergenei co0pacte 7sau con"ergenei punctuale8.
d8. 6iind date ( ) ( )
1 1
) ) ) Y Y H g X X H f ) atunci aplicaia liniar(
1 1
3 Y X Y X g f
de#init( prin
( ) ( ) ( ) ( )


i i i i
! g x f ! x g f
e2tinde la o aplicaie liniar( 0(rginit(
1 1
N N
3
N
Y X Y X g f ) care satis#ace
g f g f
N
.
Aac( 0ai 0ult ( ) ( )
2 1 1 2 1 1
) ) ) Y Y H g X X H f ) atunci ( ) ( ) ( ) ( ) g g f f g f g f
1 1 1 1
N N N
.
Partea alge!ric( poate #i "eri#icat( #olosind descrierea lui
Y
dat( +n 1.D. sau cu o!ser"aia
c(
( ) ( ) ( ) ! g x f ! x )
este o aplicaie !iliniar( din Y X +n
1 1
N
Y X cu nor0a
g f
.
44
Produsul tensorial proiecti" de"ine ast#el un !i#unctor i este uor de "('ut c( toate egalit(ile
i'o0etrice de 0ai sus sunt naturale +n orice "aria!ile.
e8. Aac(
( )
/ 0 0
X

este o #a0ilie spectral( din Ban
1
) atunci ( ) ( ) Y X Y X
0 0

N
li0
N
li0 .
Ae0onstraia este de o!icei categorial( pentru #aptul c( #unctorul ad@unct la st-nga co0ut( cu
coli0itele i #olosete greu naturalitatea ecuaiei
( ) ( ) ( ) Z Y H X H Z Y X H ) ) ) .
1chi(0 aici3
6ie
( )
/ 0 0

o #a0ilie de 0or#is0e +n ( ) Z Y X -.n

0 0

N
3
1
i
0

ele0entele
corespun'(toare lui
( ) ( ) Z Y H X H
0
) )
.
6iecare diagra0( co0utati"( nr. ".%23

Y X
0

N
1

1
0

Y X
N

Z nr. ".%2

2
0

Y X
0

N
2

este echi"alent( cu diagra0a nr. ".%3

1
0
X

1
0

X
H(Y,Z) nr. ".%3

2
0

2
0
X

<st#el e2ist( un unic 0or#is0
( ) Z Y H X
0
) li0 3
ast#el +nc-t diagra0a ur0(toare co0ut(
nr. ".%43

0
X

0

H(Y,Z)

nr. ".%4
4$

0
X li0
Aac( ( ) ( ) Z Y X H
0
)
N
li0 corespunde lui

) aceast( diagra0( nr. ".%8 este pe r-nd

echi"alent( cu3
Y X
0

N

0

nr. ".%8
( ) Y X
0

N
li0

#8. 5n consecin( o!ine03
Aac(
, X X f 3
este o aplicaie c-t) atunci ( ) Y , X Y X f
Y

N N
3 1
N
este tot o aplicaie
c-t) al c(rei nucleu coincide cu +nchiderea lui Y , +n Y X
N
7f este conucleul scu#und(rii
lui , +n X8.
( ) ( ) Y l Y I Y I Y l
#
# $
$
# $
$ #
1 1
N N N

,
_

) unde echi"alena este dat( prin
( ) ( )
# $ $ # $ $
! !


i
1 1 1
N
' # ' #
l l l

prin
( ) ( ) ( )
& $ ' & & # $ $


.
g8. Pentru #iecare Y X u
N
i C > e2ist( ( ) OX x
n n

1
) ( ) OY !
n n

1
i ( )
1
1
l
n n

ast#el
+nc-t

1 n
n n n
! x u
i
( )
1
Y
l
n
u
Ae0onstraie3
6ie
X l
OX X

1
3
)
Y l
OY Y

1
3
dou( aplicaii c-t.
Ain #8. Y X l l l
OY OX OY OX Y X


N N
3
N
1 1 1
este de ase0enea o aplicaie c-t. <#ir0aia este
acu0 i0ediat(.
h8. Aac(
1
3 X X f
este un epi0or#is0 7adic( are i0aginea dens(8) atunci
Y X Y X f
Y

N N
3 1
N
1
este tot un epi0or#is0) deoarece X X f
1
3 este 0ono0or#is0
i0plic(
( )

Y
f 1
N
L( ) 3 ) f Y
L( )
1
) X Y L( ) X Y ) este 0ono0or#is0.
i8. Aac(
( ) ) )
este un spaiu 0(sur( i
( ) X 1 )
1

spaiul tuturor #unciilor integra!ile P.

"aluate pe ) atunci
( ) ( ) X 1 X 1
N
)
1 1

.
Ae0onstraie3
4D
Pentru
( ) ( ) X 1 x f
1
)

#i2(0 #uncia
( ) x f
. 5n acest 0od o!ine0 o aplicaie liniar()
contracti"( din
( ) X 1
N
1

+n
( ) X 1 )
1

cu i0aginea dens(.
6ie
( )

1
1

1 c f
m
9
6 i9 i
9
#uncii pas i
X x
i

(i=1,I,n). <tunci

,
_

n
i
n
i
i i9
m
9
6 i i
x c x f
9
1 1 1

i i0aginea ei are nor0a3
( )
( ) ( )
( )

,
_

n
i
i
1
i i 9
9 i
i9
m
9
n
i
i i9 9
X 1
n
i
i i9
m
9
6
x f x 6 x 6 x c
9
1 ) 1 1
)
1 1
1
1

<ceasta +nsea0n( c( aplicaia noastr( este o i'o0etrie pe un su!spaiu dens a lui
( ) X 1
N
1

i aadar un i'o0or#is0 i'o0etric.

5n acest ca') pentru o i'o0etrie
Y X f 3
aplicaia
( ) ( ) ( ) Y 1 X 1 f 1
N N
3
N
1 1 1

este tot
i'o0etric(.<cest lucru este greit +n general.
Lre0 s( deter0in(0 acele i'o0etrii f ast#el +nc-t Z f
N
este o i'o0etrie pentru orice
spaii Banach Z.
Ae#iniia 4%3
6ie
Y X f 3
)
1 f
se nu0ete o retract( sla!() dac( e2ist( o aplicaie Y X J 3 ) cu
1 J
ast#el +nc-t
X
J f

1 .
<ceasta +nsea0n( geo0etric c( e2ist( o proiecie contracti"( F din Y +n X ) adic( ast#el
+nc-t
X
f F

1 3 Aac(
X
J f

1 atunci clar
X
f J

1 i dac( reciproc
X
f F

1
atunci
X X Y
f F f F i ( )
X
&
Y
F f

1 .
1cu#undarea canonic( X X
X
3 totdeauna este o retract( sla!() deoarece ( )
X X X

1 .
Propo'iia $C3
E i'o0etrie
Y X f 3
este o retract( sla!( dac( i nu0ai dac( Z Y Z X Z f
N N
3
N
este
i'o0etric( pentru orice spaiu Banach Z.
Ae0onstraie3
<lege0 X Z 3 Aac( X X
N
este un su!spaiu al lui X Y
N
prin
X
f

1
N
pute0 e2tinde
#uncionala

X
1
L( ) ( )

X X X X
N
)
la J L( ) ( )

Y X Y X
N
)
cu
1 J
7teore0a
4F
Kahn Banach8. <ceasta +nsea0n( c(
X
J f

1 . Aac( reciproc # este o retract( sla!()
X
J f

1
1 J
i -.n Z ) consider(0 aplicaia
( )

Z f
N
L( ) 3 ) f Z
L( ) Y Z) L( ) X Z ) .
Pentru
g
L( ) X Z ) a"e0 L( ) ( ) g g J f g J f Z ) i
g g J
.
L( ) f Z ) ast#el este o aplicaie c-t i Z f
N
i'o0etric(.
*e0arca $13
&ai t-r'iu "o0 "edea c( pentru o i'o0etrie f) Z f
N
nu tre!uie s( #ie in@ecti"(. Aescrierea
geo0etric( de 0ai sus a retractelor sla!e arat( c( chiar pentru spaiile #init di0ensionale X i
Y)
Z f
N
+n general nu este i'o0etrie. Aac( eli0in(0 condiia
1 J
din de#iniia de
0ai sus a retractei sla!e i presupune0 continuitatea si0plu) o!ine0 o condiie necesar( i
su#icient( pentru o i'o0etrie f s( satis#ac( condiia c( Z f
N
aplic( Z X
N
+ntr.un su!spaiu
+nchis al lui Z Y
N
) pentru orice spaiu Banach Z.
<plicaia
( ) x x x x ) )
este e"ident !iliniar( i contracti"( pe X X . 1e e2tinde
aadar la o aplicaie liniar( i contracti"( I X X &r
N
3 ) nu0it( #uncionala ur0(.
Pentru spaiile Banach X i Y asoci(0 #iec(rei perechi ( ) Y X ! x ) #uncia
! x x x )
.
/ste o consecin( uoar() c( aplicaia corespun'(toare al lui Y X +n H(X,Y) este in@ecti"(.
I0aginea ei const( din toate aplicaiile liniare) #init di0ensionale) 0(rginite din X +n Y. Aac(
X=Y este #init di0ensional atunci clar
( ) X X X X H )
prin identi#icarea de 0ai sus. 5n
acest 0od ur0a unui tensor coincide cu ur0a unei 0atrici) care repre'int( aplicaia
corespun'(toare. Pe de alt( parte) pentru un spaiu Banach X #(r( proprietatea de apro2i0are
aplicaia din X X
N
+n H(X,Y) care prelungete scu#undarea de 0ai sus) nu este in@ecti"( i
ur0a poate #i de#init( nu0ai pentru tensori i nu pentru aplicaii induse.
;n scurt calcul arat( c( aciunea dual( +n ( )

Y X
N
L( ) Y X ) este dat( prin
( )( ) ( ) ( )( ) ( ) u v &r u v &r v u
&
X Y

N
1 1
N
) . 7 ( ) Y X H v Y X u ) )
N
T este su#icient a "eri#ica
ecuaia pentru tensori #inii u i atunci a #olosi continuitatea pe a0!ele p(ri8.
2.2. P'&./0$ #$*0&'(")$ %$*$'")$ .$ 01"9(( B"*"4;
4
6ie X i Y spaii Banach.
Pentru ( ) Y X ! x ) de#ini0 o aplicaie liniar( pe Y X prin
! ! x x ! x ! x ) ) )
7#olosi0 proprietatea uni"ersal(8.
<plicaia este clar !iliniar( i o!ine0 o aplicaie a lui Y X +n ( ) M Y X ) care este
in@ecti"(.
Ae#iniia $23
E nor0(

pe Y X se nu0ete re'ona!il() dac( orice ele0ent ( ) Y X ! x ) de#inete

o #uncional( continu( pe
Y X

i dac( a0!ele aplicaii !iliniare3

Y X Y X

de#init( prin
( ) ! x ! x )

( )

Y X Y X

de#init( prin ( ) ! x ! x )
au nor0a 1 .
<ici
Y X

+nsea0n( co0pletarea lui Y X +n nor0a

.
Aac(

este re'ona!il( a"e03

! x ! x
Y X

i
! x ! x
Y X

,
_

.
Ae0onstraie3
V V re'ult( din de#iniie.

,
_

,
_

! x ! x ! x ! x
Y X
! x
Y X O
Y X
) sup ) sup
1

! x ! ! x x
! x


) ) sup
1 )
! x ! x ! x ! x
! x
Y X

,
_

) sup
1
.
,a
( ) Y X ! x )
corespunde o aplicaie !iliniar( 0(rginit( pe Y X prin
( ) ! ! x x ! x ) ) )
. <ceasta de#inete o aplicaie a lui Y X +n ( ) Y X - ) ) care este
in@ecti"(.
Ae#iniia $33
5nchiderea lui Y X +n ( ) Y X - ) se nu0ete produsul tensorial inducti" i se notea'( cu
Y X
N
N . /ste co0pletare lui Y X +n nor0a3

n
i
i i
! x
n
i
i i
! ! x x ! x
1
1 )
1
) ) sup Y
N
4%
unde e2presia din dreapta este independent( de repre'entarea +n Y X .
Pentru ( )
1
) X X H f ) ( )
1
)Y Y H g ) aplicaia
g f
are clar o e2tensie continu( la
Y X
N
N )
care este notat( cu g f
N
N
i satis#ace
g f g f
N
N
) adic( produsul tensorial inducti"
de#inete un !i#unctor.
Aeoarece ( ) ( ) Y X H Y X - ) ) i'o0etric( i i0aginea lui Y X +n ( ) Y X H ) este inclus(
+n su!spaiul +nchis ( ) Y X 1 )
al tuturor aplicaiilor liniare ale c(ror restricie la X O este
().nor0( continu() pute0 considera
Y X
N
N ca un su!spaiu al lui ( ) Y X 1 )
.
1cu#undarea lui Y X +n ( ) Y X 1 )
este dat( prin
( ) ! x x x ! x )
. Ain
+nelesul acestei scu#und(ri transpunerea
X Y Y X &
N
N
N
N
3
corespunde transpunerii
( ) ( ) X Y 1 Y X 1 & ) ) 3
. Aeci
X Y Y X
N
N
N
N .
Aeoarece scu#undarea lui
Y X
N
N +n ( ) Y X 1 )
este uor de "('ut c( este natural()
conclu'ion(0 c( f X
N
N
este o i'o0etrie oric-nd este f .
Propo'iia $43
Crosnor0ele re'ona!ile sunt e2act acele nor0e

care satis#ac
Y Y
N

.
Ae0onstraie3
6ie

o nor0( re'ona!il( pe Y X .
Pentru orice repre'entare

n
i
i i
! x u
1
a"e0
( ) ( )



,
_

n
i
i i
n
i
i i
n
i
i i
! x ! x ! x u
1 1 1

i ast#el ( ) Y u u .
Pe de alt( parte3
( )
,
_

,
_

,
_

! x ! x ! x ! x u
i i
! x
i i
Y X O
n
i
i i
Y X
) sup ) sup
1 1

Y
N
) ) sup
1 )
u ! ! x x
i i
! x



.
$C
Aac( reciproc o nor0(

pe Y X satis#ace
Y Y
N

) atunci
( ) ! x ! x ! x Y
.
<"e0

! x ! x ! x ! x ! x
i i
! x
n
i
i i
) sup )
1 )
C C C C
1
Y X
i i
! x ! x

N
N
C C
i aceasta +nsea0n(
C C
N
N C C
! x ! x
Y X

.
5n #inal
! x ! x ! x
Y X Y X

,
_

,
_

N
N

.
6ie ') # spaii topologice local co0pacte i X un spaiu Banach. Bot(0 prin
( ) X ' A )
C
spaiul Banach al tuturor #unciilor continue P."aluate pe I care dispar la in#init. 1crie0
si0plu
( ) ' A
C
pentru
( ) I ' A )
C
.
Ieore0a $$3
Pentru spaiile topologice local co0pacte ') # i un spaiu Banach X) a"e0 ecuaiile3
( ) ( ) X ' A X ' A )
N
N
C C
i ( ) ( ) ( ) # ' A # A ' A
C C C
N
N
.
Ae0onstraie3
Consider(0 aplicaia liniar( care #i2ea'( pentru
( ) X ' A x f
n
i
i i

C
1
#uncia
( ) ( ) X ' A x & f &
n
i
i i
)
C
1

,
_

.
<ceast( aplicaie este o i'o0etrie pentru nor0a inducti"( deoarece
( )
( )


& f x x f x x x f
i i
' & x
' A
i i
x
i i
) sup sup ) sup Y
N
1 1
C
( ) ( )
( ) X ' A
i
i i
X
i i
' &
x f x & f
)
C
sup

$1
Pentru pri0a a#ir0aie r(0-ne s( ar(t(0 c(
( ) ' A
C
este dens( +n
( ) X ' A )
C
. 6i2(0 un
ele0ent
( ) X ' A g )
C

i C > ) i consider(0 0uli0ile

( ) { } & g ' & 6 3
i
( ) ( )

'

<
2
3

& g $ g ' $ @
&
) unde ' & ar!itrar.
{ }
6 & &
@

este o acoperire deschis( a 0uli0ii co0pacte 6 din ') prin ur0are e2ist(
6 & &
n
)...)
1
ast#el +nc-t
{ }
n
i
&
i
@
1
acoper( pe 6. /2ist( o partiie a unit(ii secundare pentru
acoperirea
1 1
)...)
& &
@ @
)
( ) { } 6 ' [
de un punct de co0pacti#icare
{ } '
lui ') adic( e2ist(
#unciile continue
1 1
) )...)
+ n n
F F F
pe ' ast#el +nc-t
1 C
i
F
)
( ) 1 1 + n i
)
( ) C & F
i
+n
i
&
@ ' [

( ) n i 1
)
( ) C
1

+
& F
n +n 6 i
( ) 1
1
1

n
i
i
& F
pe '. Aeoarece F
i
dispare +n a#ara 0uli0ii
co0pacte
i
&
@

( ) n i 1
) a"e0
( ) ' A F F
n C 1
)...)
.
Bot(0
( )
i
& g
cu x
i
( ) n i 1
) i consider(0
( ) X ' A x F
n
i
i i

C
1
.
Aeduce0 c(
( ) ( ) ( ) ( ) & F & g & g & F
i i i

)
( ) n i 1
) din orice
( ) C & F
i
sau #actorul secund
este 0ai 0ic dec-t

.
Prin ur0are
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) < +
+

+


& g & F & g & g & F x & F & g & F x & F & g
n i
n
i
i i
n
i
i
n
i
i i
n
i
i 1
1 1
1
1 1
.
Pentru a doua a#ir0aie #olosi0 aplicaia3
( ) ( ) ( ) ( ) ( ) ( ) ( ) # ' A $ g & f $ & # A ' A g f
C C C
)
.
,a #el ca 0ai sus a"e0 de ar(tat c( aplicaia este o i'o0etrie) i teore0a 1tone.Weierstrass ne
spune c(
( ) ( ) # A ' A
C C

este dens( +n
( ) # ' A
C
.
Corolar $D3
a8. 6ie #) ' spaii topologice co0pacte i X un spaiu Banach. <tunci ( ) ( ) X ' A X ' A )
N
N
)
( ) ( ) ( ) ' # A ' A # A
N
N
.
$2
!8. 6ie # o 0uli0e 7considerat( ca un spaiu topologic discret8 i #ie
{ } #
co0pacti#icarea
sa +ntr.un punct. <tunci
{ } ( ) # A
este 0uli0ea tuturor irurilor
( )
# $ $
x

care con"erg
necondiionat) adic( pentru #iecare C > e2ist( o su!0uli0e #init( K a lui # ast#el +nc-t
< x x
$ pentru
K # $ [
) unde x este li0ita lui
( )
$
x
.
{ } ( ) X # A )
este spaiul tuturor irurilor con"ergente necondiionat +n X i deduce03
{ } ( ) { } ( ) X # A X # A
N
N
) .
5n particular) o!ine0 ( ) X c X c
N
N
) unde c este spaiul tuturor irurilor con"ergente.
c8. Aac( # este la #el ca 0ai sus) atunci
( ) # A
C
este spaiul tuturor irurilor care con"erg
necondiionat la C. <adar ( ) ( ) X # A X # A )
N
N
C C
.
;n ca' special este
( ) + c c
C C

3 ( ) X c X c
C C
N
N
.
Ieore0a $F3
X l
#

N
N
1
este spaiul tuturor #a0iliilor su0a!ile
( )
# $ $
x

din X) adic( acele
( )
# $ $
x

pentru care

K $
$
x
con"erge) unde K parcurge siste0ul tuturor su!0uli0ilor #inite lui #) direct prin
inclu'iune.
Pri0a dat( a"e0 ne"oie de o le0( si0pl(.
,e0a $3
Aac(
( )
# $ $

este o #a0ilie a nu0erelor co0ple2e ast#el +nc-t pentru #iecare su!0uli0e

#init(
# K
a"e0

K $
$ ) atunci pentru #iecare su!0uli0e #init(

K $
$
4
.
Ae0onstraie3


K $
$
K $
$
K $
$
*e *e
) si0ilar

K $
$
I0
.
<cu0
$
*e
i
$
I0
sunt C sau \C i pentru su!0uli0ea C a lui K) unde
C *e
$

)


C $
$
C $
$
*e *e
. Ca'urile celelalte sunt si0ilare.
<st#el
2 *e

K $
$
)
2 I0

K $
$
i +n consecin(
4

K $
$
.
Ae0onstraia teore0ei3
$3
1
N
N
#
l X este inclus i'o0etric +n
( ) X l 1 X l 1
# #
) )
1

,
_

.
Pentru
# $
C
pune0
( )

#
# $
$ $ $
l
C C

.
Pentru
( ) X l 1
#
)

asocie0 #a0ilia
( )
# $ $
x

de#init( prin
( )
$ $
x
.
Sti0 c(

aplic(
X +n su!spaiul
1
#
l
al lui ( )

#
l i aadar
( ) ( )

# $
$
X O x
# $
$
X O x X O x
x x x x ) sup ) sup sup
.
Aac( ordon(0 su!0uli0ile #inite ale lui 1 prin inclu'iune) este uor de o!ser"at c(

K $
$

con"erge +n XM.topologia lui

#
l
la #uncia constant(.
5n consecin(

,
_

K $
$
K $
$
x
con"erge +n topologia nor0(.
Ain ecuaia nor0ei de 0ai sus re'ult( c(

este unic deter0inat( de

( )
#
x
.
6ie acu0 reciproc
( )
#
x
o #a0ilie su0a!il( din X i C > . <tunci e2ist( o su!0uli0e #init(
K a lui # ast#el +nc-t pentru #iecare su!0uli0e #init(
K # C [
a"e0
<

C $
$
x
) adic(
<

C $
$
X O x
x x ) sup
.
6olosind le0a de 0ai sus deduce0 c(
4 ) sup

C $
$
X O x
x x
.
Pentru
# $
C
lu(0
( )
1
C C
#
# $
$$ $
l

. Pentru #iecare su!0uli0e #init( K a lui # asocie0

ele0entul
( ) X l 1 l X x
K $
# $ $ K
)
1

. /"ident
( )
$ $ K
x
pentru K $ i
( ) C
$ K

alt#el. Ain argu0entul de 0ai sus
K

este un ir CauchW +n
( ) X l 1
#
)

i con"erge
aadar la
( ) X l 1 l X
# #
)
N
N
1

)
( )
$ $
x
care d( conclu'ia dorit(.
*e0arca $%3
a8. 1e tie c(
( ) X l 1 X l
# #
)
N
N
1

!8. < #ost ar(tat de A"oret'4W i *ogers c( #iecare spaiu Banach in#init di0ensional X conine
un ir care este su0a!il dar nu a!solut su0a!il) adic( X l X l
N
N N
1 1
. <st#el dac( Y i
Y
N
sunt echi"alente pe
X l
1
atunci X este #init di0ensional. Construcia unui ase0enea
$4
ir este !a'at( pe o!ser"aia c(
,
_

)... C )
1
) C )...) C ) C
n
x
n
constituie un e2e0plu a unui ir
su0a!il +n
2
l
pentru care


n
x
n
1
.
6ie

o nor0( re'ona!il( pe Y X . Aeoarece Y

N
Y ) identitatea pe Y X
are e2tinderile continue3 Y X Y X Y X
N
N N

. <0!ele aplicaii sunt contracti"e i au

i0aginile dense. <st#el aplicaiile ad@uncte ( ) ( ) ( ) Y X H Y X Y X Y X

,
_

)
N
N
N

sunt
0ono0or#ice +n B) adic( ele sunt in@ecti"e.
Propo'iia DC3
Aac(

este o nor0( re'ona!il( pe Y X ) atunci

( )

Y X

coincide cu spaiul tuturor

( ) Y X H f ) ast#el +nc-t #uncionala liniar(
( )


i i i i
x f ! ! x )
pe Y X este
continu( +n

.nor0a. <"e0
( ) ( ) { } 1 3 ) sup

,
_

i i i i
! x x f ! f
Y X

Ae ase0enea

,
_

Y X
N
N
este totdeauna inclus( contracti" +n
( )

Y X

.
Pentru o nor0( re'ona!il(

pe Y X este uor de "('ut c(

( )

Y X

induce o
nor0( re'ona!il( pe Y X . 5ncep-nd cu Y ) cea 0ai 0are crosnor0() o!ine0
Y
N
cea 0ai 0ic( crosnor0(. Pe de alt( parte nu a"e0 ne"oie de Y pentru
Y
N
. Lo0 trata un ca' special3
,e0a D13
Pentru un spaiu #init di0ensional , i un spaiu Banach ar!itrar X a"e0
X , X ,

,
_

N
N
N
.
Ae0onstraie3
$$
Aeoarece , este #init di0ensional orice #uncional( liniar 0(rginit( pe
X ,
N
N are o
repre'entare +n X ,
N
i nor0a deter0inat( pe X ,
N
este 0ai 0ic( dec-t Y .
Pentru

n
l ,
a"e0 ( ) X l X l
n n


N
N
i ( ) ( ) X l X l
n n

1
.
Consider(0 un , ar!itrar #init di0ensional. ,u(0 X , u i C > . Aeoarece , O
este co0pact +n topologia nor0() pute0 g(si o

.plas( #init(
{ }
n
! ! )...)
1
aici. Ae#ini0

n
l , 3
prin
( )
n
! ! ! ! ! ) )...) )
1
.
Aac(
, !
i
1 !
e2ist( un ele0ent
, O !
ast#el +nc-t
1 ) ! !
. <tunci

i
! !
pentru un inde2 i oarecare i aadar
2 1 1 ) ) ) > ! ! ! ! ! ! !
i i . *e'ult( c(
( ) ( ) ! ! ! 2 1
)
pentru toi
. , !
Aac( presupune0 +n plus c(
2
1
<
i lu(0 ( )
1
, , atunci
1
3 , ,
este un i'o0or#is0 cu

2 1
1
1

i
1
.
( ) u u
X

,
_

1
N
N
1
1
este o #uncional( pe
X ,
N
N
1
i
2 1
1

u
u .
Aeoarece
X ,
N
N
1
este inclus( i'o0etric +n X l
n

N
N
) e2ist( o e2tensie u
"
a lui u
1
cu
2 1
2

u
u .
<cu0 ( ) X l X l u
n n

,
_

1
2
N
N
este repre'entat( prin
( )
n
x x )...)
1
i aciunea are ur0(toarea
#or0(3
( ) ( )

n
i
i i n
! ! x x u x ! ! ! ! u x ! u x !
1
2 1 2
) ) ) ) )...) ) ) )

Pentru toi
, x , ! )
.
<ceasta +nsea0n( c(

n
i
i i
x !
1
este o repre'entare a lui u pentru care ecuaia

n
i
i i i
u
x x !
1
2 1
este ade"(rat(.
5n consecin(
u u Y
.
Corolar D23
$D
6ie X un spaiu Banach) + un su!spaiu #init di0ensional a lui X )
X + 9 3
inclu'iunea.
<tunci e2ist( un ir
( ) ( ) X + OH u )

ast#el +nc-t
9 u

li0
+n ().topologia lui L( ) X + ) .
Ae0onstraie3
( ) X + X + H
N
N
) pentru c( + este #init di0ensional.
5n consecin(
( ) X + X + X + H

,
_

N
N
N
)
i ( ) ( ) X + H X + H

) ) .
/ste uor de "('ut c( inclu'iunea canonic( a lui H(+,X) +n ( )

X + H ) corespunde scu#und(rii
u u
X

.
<cu0 re'ultatul ur0ea'( i0ediat din #aptul c( OH(+,X) este (). dens( +n ( )

X + OH ) .
Corolar D33
6ie P) Z spaii Banach. <tunci ( ) Y X OH Y X )
N
N
este dens( +n ( ) Y X OH Y X )
N
N
pentru
topologia con"ergenei co0pacte.
Ae0onstraie3
Iopologia con"ergenei co0pacte pe ( ) Y X OH )
coincide cu topologia con"ergenei
punctuale. ,u(0
( ) Y X OH Y X ! x u
n
i
i i
)
1

. 6olosi0 corolarul 1 pentru

n
x x + )...)
1
. u poate #i "('ut ca un ele0ent al lui Y + . <tunci
( ) ( ) ( ) Y X OH Y X u u
Y
) 1

i
( ) ( ) u u u
Y
1 li0

pentru topologia con"ergenei
punctuale) deoarece
( )( ) ( )

i i Y
! x u u u

1
i
( ) ( ) ( ) ( )


i i i i Y
! x x ! x x u x u u ) ) 1

pentru toi X x .
Pentru spaiile Banach X) Y #ie I
1
(X,Y) spaiul tuturor aplicaiilor
( ) Y X H u )
ast#el
+nc-t

,
_

Y X u
Y
N
N

+n'estrat cu nor0a

,
_

Y X I
u u N
N
1

.
I
1
(X,Y) ast#el de"ine un spaiu Banach. *e'ult( uor din de#iniii c( pentru
( ) X B H v )
i
( ) Z Y H ( )
a"e0 ( ) Z B I v u ( )
1
i
1 1
I I
u v ( v u (
) adic( I
1
este un
!i#unctor contra.co"ariant.
,e0a D43
6ie P) Z spaii Banach) atunci ur0(toarele a#ir0aii au loc3
a8. ( ) Y X I u )
1
i0plic( ( ) Y X I u
Y
)
1
i
1 1
I
Y
I
u u
$F
!8. ( ) Y X I u )
1
i0plic( ( ) X Y I u )
1
i
1 1
I I
u u
c8.
( )

,
_

X Y X Y I
N
N
)
1
Ae0onstraie3
a8. ( ) Y X I u
Y
)
1
re'ult( din argu0entul de 0ai sus.
<"e0 0ai 0ult3
( )

,
_

,
_

,
_

Y X
Y Y Y X Y X Y I
u u u
N
N
N
N
N
N
1
1

1 1
N
N
I I
Y
Y X
Y Y
u u u

,
_

!8. Pentru ( ) X Y I u )
1
re'ult( c(
1
N
N
I X Y
u u

,
_

deoarece
X Y
N
N este coninut i'o0etric
+n
X Y
N
N .
Aac(
i
n
i
i
x ! v

1
construi0 ca +n de0onstraia corolarului) un ir
( ) ( ) X + OH v )

ast#el
+nc-t
( )
i i
x x v

li0
+n ().topologia.
Pentru

,
_

X Y u
N
N
deduce0 atunci3
( ) ( ) ( ) ( ) u v v ! u x v x ! u u v
Y i i i i Y
)
N
N
1 li0 ) li0 ) )

,
_

.
5n consecin(

,
_

X Y X Y
Y
u v u v N
N
N
N
)
) care +nsea0n( c( ( ) X Y I u )
1
i

,
_

X Y I
u u N
N
1 .
c8. *e'ult( i0ediat din ecuaia
( )

,
_

X Y X Y I
N
N
)
1 .

$
BIBLIOGRAFIE
1. ,. 6l&m.n) Contractors) appro2i0ate identities and #actori'ation in Banach alge!ra )
Pac. O. &ath. 4) 1%DF) p.323.334
". I. 6mm!., >. #Jig.) Ene tensor products o# Banach spaces) Rodai &ath. 1e0. *ep.)
1%$F) p. 1D1.1F
%. D. C. -.cJli$) O. /. ]il!ert) Banach spaces o# co0pact 0ultipliers and their dual
spaces) &ath. J. 12$) 1%F2) p.2$.2%F
2. H. -ucJ(.l&r) /spaces de Banach et dualit^) Pu!l. Aep. &ath. ,Won 3.2) 1%DD)
p. 2. D1. H. -ucJ(.l&r) Iopologies) !ornologies et co0pactologies) Ih_se Aoc. 1c. &ath.
6ac. 1c. ,Won 1%D
3. ,. A. -ung) *elati"e 6unctor Categories and Categories o# <lge!ras) Oournal o#
<lge!ra 11) 1%D%) p. D4.1C1
4. #. /. AJ.&&r9i) &artingale con"ergence and the *adon Bi4odW0 theore0 in Banach
spaces) &ath. 1cand. 22) 1%D) p. 21.41
8. #. AJv&) 1ur certains produits tensoriels topologi`ues daespaces de Banach) J.
Wahrscheinlich4eitstheorie "erX. ]e!. 11) 1%D%) p. 12C.13
:. L. Aiglr) 6un4toren su# Rategorien "on Banachrbu0en) &h. 6cr &athe0ati4 F) 1%F4)
p. 1$.24
;. L. Aiglr, AualitW #or #unctors on Banach spaces) preprint) Liena) 1%F3
10. L. Aiglr) 6un4toren su# Rategorien "on Banachrbu0en) Bote de curs) ;ni"ersitatea din
Liena) 1%F4
11. L. Aiglr, Iensor products o# #unctors on categories o# Banach spaces) 1pringer ,ecture
Botes $4C) p. 1D4.1F
1". L. Aiglr, Jur Aualitbt "on 6un4toren) die durch 6un4tionenrbu0e de#iniert sind) &h #cr
&athe0ati4 2) 1%FD) p. 11F.123
$%
1%. D. Arof&$, ]enerating classes o# per#ect Banach se`uence spaces) Proc. <&1 3D) 1%F2)
p. 13F.143
12. 6. ,. /.vi, Ihe appro2i0ation pro!le0 #or Banach spaces. Bull. ,ondon &ath. 1oc. $)
1%F3) p. 2D1.2DD
13. /. B. /.n, Ihe e`uation ,7/)PMM8=,7/)P8MM and the principle o# local re#le2i"itW)
Proc. <&1 4C) 1%F3) p. 14D.14
14. L. /i$&l, Ihe *adon.Bi4odW0 propertW and the coincidence o# integral and nuclear
operators) *e". *ou0. &ath pures et appl. 42) 1%F2) p. 1D11.1D2C
18. +. /incul.nu, Lector 0easures) Perga0on Press) 1%DF
1:. L. /ixmir, 1ur un th^ord0e de Banach ) Au4e &ath. O. 1$) 1%4) p. 1C$F.1CF1
1;. K. L. /uGuc, Ran e2tensions in enriched categorW theorW) 1pringer ,ecture notes 14$)
1%FC
"0. +. /unfor0, L. '. #cJ(.r&z, ,inear operators I) ]eneral IheorW) Interscience Pu!lishers)
BeX Zor4 1%$.
"1. 6. /vor&z5!, A. 6. <ogr$, <!solute and ;nconditional con"ergence in nor0ed linear
spaces) Proc. Bat. <cad. 1ci. 7;1<8 3D) 1%$C) p. 1%2.1%F
"". 7. Knflo, < countere2a0ple to the appro2i0ation pro!le0) <cta &ath. 13C) 1%F3) p. 3C%.
31F
"%. L. KFm., 6unctors on the categorW o# Kil!ert spaces) Ihesis) *i@4suni"ersiteit
]roningen) 1%F3
"2. L. KFm., H. A. ,i9r, B. Oo$&nGrin5) Bor0ed le#t ideals in B7K8) &ath. Institute
*i@4suni". ]roningen) *eport G JW G F1 G C2
"3. '. Cigil, B. -. LoJn$on, Ihe appro2i0ation propertW does not i0plW the !ounded
appro2i0ation propertW) Proc. <&1 41) 1%F3) p. 1%F.2CC
"4. '. Cigil, 6. 7lcz!n$5i, En /n#loas 0ethod o# construction o# Banach spaces Xithout
the appro2i0ation propertW) ;sp. &at. Bau4 111* 2.D) 1%F3) p. %$.1C
"8. L Ci$Jr-7.lmMui$&, /. A. +(ll, Iriples on #unctor categories) O. <lge!ra 2$) 1%F3) p.
22D.2$
":. I. A. DoJGrg, ,. D. >rin, Introduction to the theorW o# linear non.sel#ad@oint operators)
Iransl. o# &ath. 0&onographs 1 <&1) 1%D%
";. Y. Dor0on, /. <. 1(i$, L. <. <&Jrfor0, Banach ideals o# operators Xith applications) O.
6unctional <nalWsis 14) 1%F3) $.12%
%0. ,. Do$$r, Bidualrbu0e und Ler"ollstbndigungen "on Banach0oduln) Aissertation
Wien) 1%FD
DC
%1. 6. Dro&Jn0ic5, *^su0^ de la th^orie 0etri`ue des produits tensoriels topologi`ues)
Bol. 1oc. &ate0. 1ao Paolo F) 1%$2
%". 6. Dro&Jn0ic5, Produits tensoriels topologi`ues et espaces nucl^aires) &e0. <&1 1D)
1%$$
%%. #.1. Dulic5, '. #. 1in, 6. A. ,. v.n <ooi9) ]roup alge!ra 0odules I) Can. O. &ath. 1%)
1%DD) p. 133.1$C
%2. 6. Hr&z, L. Bic5 7ll&ir, Aual #unctors and integral operators in the categorW o#
Banach spaces) preprint 1%F4.
%3. L. <. HoluG, Co0pactness in topological tensor products and operator spaces) P<&1
%4. B. -. LoJn$on, < co0ple0enta!lW uni"ersal con@ugate Banach space and its relation to
the appro2i0ation pro!le0) Isr. O. o# &ath. 13) 1%F2) p. 3C1.31C
%8. 6. K. LoJn$on, <n introduction to the theorW o# centrali'ers) Proc. ,ondon) &ath. 1oc.
14) 1%D4) p. 2%4.32C
%:. -.K. LoJn$on, Coho0ologW in Banach alge!ras) &e0. <&1 12F) 1%F2
%;. >oncn!, Iensorprodu4te und 6un4toren au# Rategorien "on Banachrbu0en)
Aissertation Wien) 1%FD
20. I. @. >u$nzov, 6. #. #Jv.r&$, AualitW o# #unctors and dualitW o# categories) 7russ.8
1i!irs4i@ &at. O. %) 1%D) p. 4C.$D
21. #. >(.Fin, En /n#loas e2a0ple o# Banach space Xithout the appro2i0ation propertW)
1e0. ]oulaouic.1chXart' 1%F2.1%F3) /2p. LIII.
2". ,. 1inr&, < co00utati"e Banach alge!ra Xich #actori'es !ut has no appro2i0ate
units) Proc. <&1 $$) 1%FD) p. 34$.34D
2%. @. 1. 1vin, Iensor products and #unctors in categories o# Banach spaces de#ined !W RB.
lineals) Iransl. &oscoX &ath. 1oc. 2C) 1%D%) p. 41.FF
22. L. 1in0n$&r.u$$, /2tension o# co0pact operators) &e0. <&1 4) 1%D4
23. C. K. L. 1in&on, <utono0us categories and dualitW o# #unctors) O. <lge!ra 2) 1%D$) p. 31$.
34%
24. C. K. L. 1in&on, En a pull!ac4 le00a #or Banach spaces and the #unctorial se0antics o#
dou!le duali'ation) preli0inarW report) 1%FC
28. H. A. ,i9r, Bor0ed le#t ideals) Ihesis *i@4suni"ersiteit ]roningen) 1%F3
2:. 7. ,icJor, 6un4toren und Rategorien "on Banachrbu0en) Aissertation) Liena) 1%F3
2;. 7. ,icJor, Ju0 Iensorprodu4t "on 6un4toren au# Rategorien "on Banachrbu0en) &h.
#cr &athe0ati4 F) 1%F4) p. 11F.13C
D1
30. 7. ,icJor, 6un4toren 'Xischen Rategorien "on Banach. und Wael!roec4rbu0en)
1it'ungs!erichte esterr. <4ad. Wiss. <!t II) 12) 1%F3) p. 43.D$
31. 7. ,icJor, AualitW #or contra"ariant #unctors on Banach spaces) &h #cr &athe0ati4 2)
1%FD) p. 1FF.1D
3". 7. ,icJor, 6unctors and categorieas o# Banach spaces 7Iensor products. Eperator ideals
and #unctors on categories o# Banach spaces8) ,ecture Botes in &th. D$1) 1pringer) 1%F
3%. 7. ,icJor, Banach 1e0i4ategorien I) II) III) 1it'ungs!erichte esterr. <4ad. Wiss. <!t II)
1$)1%FD) p. 11.23
32. -. #. ,i&i.gin, 6. #. #Jv.r&$, 6unctors on categories o# Banach spaces) *ussian &ath.
1ur"eWs 1%) 1%D4) p. D$.12F
33. L. B. +grFon&i$, AualitW o# #unctors on categories o# Banach spaces) O. pure appl.
<lge!ra 3) 1%F3) p. 11%.131
34. B. O$&nGrin5, Bor0ed ideals) Ihesis *i@4suni"ersiteit ]ronongen) 1%F3
38. B. 1. 7.$cJ5, < #actora!le Banach alge!ra Xithout appro2i0ate unit) Pac. O. &ath. 4D)
1%F3) p. 24%.2$1
3:. L. B. 7ll&ir, Aual #unctors and thr *adon.BicodW0 PropertW in the CategorW o#
Banach spaces) Preprint Zor4 ;ni"ersitW.
3;. 6. 7i&$cJ, Ideale "on 1
p
.Eperatoren in Banachrbu0en) 1tudia &ath. 3) 1%FC) p. $%.D%
40. 6. 7i&$cJ) <d@ungierte nor0ierte Eperatorenideale) &ath. Bachrichten 4) 1%F1) p.
1%.212
41. 6. 7i&$cJ) Iheorie der Eperatorenideale) Oena) 1%F2
4". H. <. 7i&&, < note o# !ilinear #or0s) O. ,ondon &ath. 1oc. 11) 1%3D) p. 1F1.1F4
4%. <. #. 7o5.$9(., 6. #. #Jv.r&$, 6unctors in categories o# Banach spaces) 7russ.8)
;spechi@ 1%) 1%D4) D$.13C
42. >. 1. 7o&Jovn, Co0pact #unctors and their duals in categories o# Banach spaces) Irans.
<&1 1$$) 1%F1) p. 14.1$%
43. D. <.cJr, 6un4toren au# Categorien "on Banach0oduln) Aissertation "iena) 1%F4
44. H. <i&r, ,
1
.alge!ras and 1egal alge!ras) 1pringer) ,ecture Botes 231
48. ,. 6. <iffl, Induced Banach representations o# Banach alge!ras and locallW co0pact
groups) O. 6unctional <nalWsis 1) 1%DF) p. 443.4%1
4:. ,. 6. <iffl, &ultipliers and tensor products o# ,
p
.spaces o# locallW co0pact groups)
1tudia &athe0atica 33) 1%D%) p. F1.2
4;. 7. #.FJ.r, Produits tensoriels daespaces de Banach et classes daapplications lin^ares)
1tudia &ath. 3) 1%FC) p. F1.1CC
D2
80. H. H. #cJ.fr, Iopological Lector 1paces) 1pringer Lerlag) BeX Zor4 G Keidel!erg G
Berlin) 1%F1
81. <. #cJ.&&n, < theorW oC# cross spaces) <nn. o# &ath. 1tudies 2D) Princeton) 1%$C
8". <. #cJ.&&n, Bor0 ideals o# co0pletelW continuous operators) 1pringer Lerlag) Berlin.
]ettingen.Keidel!erg) 1%DC
8%. Z. #m.0ni) Banach spaces o# continuous #unctions I) && $$) Larso"ia) 1%F1
82. Z. #m.0ni, &onads and their /ilen!erg.&oore <lge!ras in 6unctional <nalWsis)
fueenas Papers in pure and applied &athe0atics 33) Ringston) Entario) 1%F3
83. Z. #m.0ni, 6. Bi(gr, < theore0 o# /ilen!erg.Watts tWpe #or tensor products o#
Banach spaces) 1tudia &ath. 3) 1%FC) p. 23$.242
84. 6. #. #Jv.r&$, AualitW o# #unctors) Ao4l. <4ad. Bau4 14) 1%D3) p. 2.2%1
88. 6. #. #Jv.r&$, 6unctors in categories o# Banach spaces) Ao4l. <4ad. Bau4 14%) 1%D3) p.
44.4F
8:. H. #Fi&zr, 6un4toren und Iensorprodu4te "on 6un4toren au# Rategorien "on
Banachrbu0en) Aissertation) Liena) 1%FF
8;. 1. B.lGroc5, 1o0e theore0s a!out !ounded structures) O. 6unctional <nalWsis 1) 1%DF)
p. 3%2.4C
:0. L. BicJm.nn, Bounded appro2i0ate units and !ounded appro2i0ate identities) P<&1
41) 1%F3) p. $4F.$$C
D3