Upload
others
View
2
Download
0
Embed Size (px)
Citation preview
Universitatea din Bucure³ti
Facultatea de Matematic ³i Informatic
coala Doctoral de Matematic
REZUMATUL TEZEI DE DOCTORAT
CONTRIBUII LA TEORIA SPAIILOR KÖTHE-BOCHNER.
REZULTATE TEORETICE I APLICAII
Coordonator ³tiinµic
Prof. Univ. Dr. Vasile Preda
Doctorand
R zvan-Cornel Sfetcu
Bucure³ti
2017
Cuprins
Introducere 4
1 Preliminarii 6
2 Spaµii Köthe-Bochner. Propriet µi de baz 8
2.1 Completitudinea spaµiilor Köthe-Bochner. Subspaµii nit dimensionale . . . 8
2.2 Topologia convergenµei în ρ− m sur . Relaµia cu topologia canonic . . . . . 9
2.3 Convergenµa ³irurilor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Spaµii Köthe-Bochner cu structuri speciale 15
3.1 Spaµii Köthe-Bochner care sunt algebre Banach cu unitate . . . . . . . . . . 15
3.2 Spaµii Köthe-Bochner care sunt spaµii Hilbert . . . . . . . . . . . . . . . . . 17
3.3 Spaµii Köthe-Bochner care sunt spaµii hilbertabile . . . . . . . . . . . . . . . 18
3.4 Aproximarea spaµiilor Köthe-Bochner Lρ(X) în cazul în care X are baz Scha-
uder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4 Dualul unui spaµiu Köthe-Bochner 21
4.1 Preliminarii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2 Calculul normei în Lρ′(X ′) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.3 Scufundarea lui Lρ′(X ′) în (Lρ(X))′ . . . . . . . . . . . . . . . . . . . . . . . 22
4.4 Identicarea dualului unui spaµiu Köthe-Bochner cu spaµiul Köthe-Bochner
asociat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.5 Reexivitatea spaµiilor Köthe-Bochner . . . . . . . . . . . . . . . . . . . . . 24
5 Operatori liniari ³i continui pe spaµii Köthe-Bochner 25
5.1 Generalizarea noµiunilor de variaµie ³i semivariaµie . . . . . . . . . . . . . . . 25
2
5.2 Propriet µi ale ρ− variaµiei ³i ale (ρ, (E,F ))− semivariaµiei . . . . . . . . . . 26
5.3 Operaµii liniare ³i continue pe Lρ(E) . . . . . . . . . . . . . . . . . . . . . . 27
6 Elemente de cea mai bun aproximare în spaµii Köthe-Bochner 32
6.1 Schem general pentru mulµimi proximinale . . . . . . . . . . . . . . . . . . 32
6.1.1 O metod pentru a g si mulµimi proximinale . . . . . . . . . . . . . . 32
6.1.2 Aplicaµii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.2 Mulµimi proximinale în spaµii Köthe-Bochner de ³iruri . . . . . . . . . . . . . 35
7 Aplicaµii. Direcµii de cercetare 36
7.1 Divergenµele Tsallis ³i Rényi pentru polinoamele Jacobi generalizate . . . . . 36
7.2 Spaµii Köthe-Bochner denite de o funcµie de entropie . . . . . . . . . . . . . 37
Bibliograe 42
3
Introducere
Spaµiile de funcµii apar peste tot în matematic . Ele constituie parte fundamental a
Analizei Funcµionale. Exist aplicaµii concrete ale acestora. Spaµii speciale de funcµii apar în
probleme de calcul numeric, probleme de optimizare, în rezolvarea ecuaµiilor diferenµiale ³i cu
derivate parµiale. Un exemplu foarte sugestiv în acest sens este dat de spaµiile Lebesgue cu
exponent variabil, care sunt cazuri particulare de spaµii Köthe-Bochner, ind foarte actuale,
vezi [6], [33], [34], [35], [36], [88], [100]. De altfel, unele dintre rezultatele din aceste articole
sunt generalizate în tez . În ultimul timp se manifest tendinµa de modelare a discretului
prin continuu cu ajutorul unor funcµii aparµinând unor spaµii funcµionale speciale.
Spaµiile Köthe generalizeaz spaµiile Lebesgue, spaµiile Orlicz, spaµiile Lorentz, spaµiile
Marcinkiewicz ³i alte spaµii de funcµii. Ele au fost introduse de matematicienii germani G.
Köthe ³i O. Toeplitz în articolul [69], dar nu au fost numite a³a. Köthe a generalizat acest
articol, vezi [68], dar apoi a renunµat la studiul acestui subiect. Forma actual a spaµiilor
Köthe a ap rut pentru prima dat în teza de doctorat a lui W.A.J. Luxemburg scris sub
îndrumarea lui A.C. Zaanen. Numele de spaµii Köthe a fost dat la sugestia lui J. Dieudonné,
vezi [42]. O generalizare natural a acestor spaµii este s consider m funcµii cu valori într-un
spaµiu Banach arbitrar în loc de funcµii cu valori scalare dezvoltându-se astfel teoria spaµiilor
Köthe-Bochner. Aceste spaµii de funcµii sunt intens studiate. În acest sens menµion m: [3],
[15], [16], [20], [23], [44], [46], [59], [79], [80], [81], [99], [138], [145], [146].
Spaµiile Köthe-Bochner nu sunt studiate numai pentru propriet µi ce µin de Analiza Func-
µional . În multe articole recente (vezi [19], [21], [71], [72], [73], [74], [83], [84], [97], [98],
[110], [122], [128], [140]) spaµiile Köthe-Bochner sunt legate de noµiunile de funcµie de entro-
pie, funcµie de capacitate, numere de entropie, element de cea mai bun aproximare, noµiuni
ce µin de Teoria Optimiz rii.
În aceast tez de doctorat ne ocup m de completitudinea spaµiilor Köthe-Bochner, ge-
neraliz m tipuri de convergenµe cunoscute de la Teoria M surii ³i studiem leg turile între
4
convergenµele nou-denite ³i convergenµa în topologia de spaµiu Köthe-Bochner, caracteriz m
spaµiile Köthe-Bochner care sunt algebre Banach cu unitate, spaµii Hilbert ³i spaµii hilber-
tabile, aproxim m spaµiile Köthe-Bochner Lρ(X) cu subspaµii Lρ(Y ), unde Y ⊂ X sunt
subspaµii nit dimensionale, g sim o reprezentare a dualului unui spaµiu Köthe-Bochner,
reprezent m operatorii liniari ³i continui U : Lρ(E)→ F ³i stabilim leg turi între ace³tia ³i
operatorii liniari ³i continui V : Lρ → L(E,F ), introducem o schem pentru a g si mulµimi
proximinale în spaµii Banach ³i aplic m aceast schem la spaµii Köthe-Bochner, ar t m c ,
în anumite condiµii, o mulµime convex , m rginit , închis ³i solid este proximinal într-
un spaµiu Köthe-Bochner, demonstr m propriet µi ale entropiilor Tsallis ³i Rényi, stabilim
relaµii între funcµiile de entropie ³i spaµiile Köthe-Bochner.
Mulµumiri
Mulµumesc domnilor profesori Ion Chiµescu ³i Vasile Preda pentru sprijinul acordat, pen-
tru numeroasele sfaturi ³i încuraj ri primite în perioada studiilor doctorale.
Mulµumesc tuturor domnilor profesori care m-au format în anii de ³coal ³i de facultate.
De asemenea mulµumesc familiei mele pentru suportul acordat.
5
Capitolul 1
Preliminarii
Not m N = 1, 2, ..., R+ = [0,∞), R+ = [0,∞] = R+ ∪ ∞, K = R sau C. Vom folosi
convenµia 0 · ∞ = 0.
Pentru orice mulµime nevid T not m P(T ) mulµimea tuturor submulµimilor lui T . Pen-
tru orice A ∈ P(T ) not m funcµia caracteristic a lui A via ϕA : T → R.Toate spaµiile seminormate (X, ‖ ‖) (pe scurt X) sunt considerate nenule. Dac (X, ‖ ‖)
este un spaµiu seminormat ³i (Y, |‖ |‖) este un spaµiu normat denim L(X, Y ) = T : X → Y |T liniar ³i continuu, normat cu norma operatorial ‖T‖o = sup|‖T (x)|‖ | x ∈ X, ‖x‖ ≤ 1.În particular, dac Y = K, not m L(X,K) = X ′
def= dualul lui X. Dac f : T → X denim
|f | : T → R+, |f |(t) = ‖f(t)‖.Dac A este o mulµime nevid ³i (xi)i∈I este o familie de elemente ale lui A scriem
(xi)i∈I ⊂ A (sau (xi)i ⊂ A) pentru a ilustra faptul c xi ∈ A pentru orice i ∈ I. Dac (∆,≤)
este o mulµime dirijat ³i (xδ)δ∈∆ este un ³ir generalizat astfel încât xδ ∈ A pentru orice
δ ∈ ∆ vom scrie (xδ)δ∈∆ net A. În particular, dac I = N, obµinem ³irul (xn)n∈N ⊂ A (vom
mai scrie (xn)n≥1 ⊂ A sau, cel mai adesea, (xn)n ⊂ A). Dac A este un spaµiu topologic,
(xδ)δ∈∆ net A ³i x ∈ A vom scrie xδ −→δx pentru a desemna faptul c (xδ)δ converge c tre x.
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet ³i (X, ‖ ‖) un spaµiu Banach.
Not m S(T,X) spaµiul vectorial al funcµiilor T − simple f : T → X ³i MX(µ) spaµiul
vectorial al funcµiilor µ− m surabile f : T → X. În cazul X = K scriem S(T ) în loc de
S(T,K) ³i M(µ) în loc de MK(µ). Not m M+(µ) = u : T → R+ | u este µ− m surabil .
O funcµie ρ : M+(µ) → R+ se nume³te µ− seminorm funcµional (pe scurt seminorm
funcµional ) dac are propriet µile (pentru orice u, v ∈M+(µ) ³i pentru orice α ∈ R+):
(i) Dac u(t) = 0 µ− a.p.t. atunci ρ(u) = 0.
6
(ii) ρ(u) ≤ ρ(v) pentru orice u, v ∈M+(µ) astfel încât u ≤ v.
(iii) ρ(u+ v) ≤ ρ(u) + ρ(v).
(iv) ρ(αu) = αρ(u).
Dac ρ are, în plus, proprietatea reciproc a lui (i), adic "Dac ρ(u) = 0 atunci u(t) = 0
µ− a.p.t.", ρ se nume³te µ− norm funcµional (pe scurt norm funcµional ).
Vom lucra cu norme funcµionale în aceast tez precizând atunci când vorbim despre
seminorme funcµionale.
Vom scrie ρ(A) în loc de ρ(ϕA) pentru orice A ∈ T . Deci ρ(T ) > 0.
Spunem c norma funcµional ρ are proprietatea Riesz-Fischer dac , pentru orice ³ir
(un)n ⊂M+(µ), avem ρ
(∑n
un
)≤∑n
ρ(un).
Spunem c norma funcµional ρ are proprietatea lui Fatou dac , pentru orice ³ir cresc tor
(un)n ⊂ M+(µ), avem ρ(u) = supnρ(un) = lim
n→∞ρ(un), unde u = sup
nun (punctual) (not m
un ↑ u). Dac ρ are proprietatea lui Fatou atunci ρ are ³i proprietatea Riesz-Fischer.
Spunem c norma funcµional ρ este saturat dac exist un ³ir (Tn)n ⊂ T (care poate
presupus cresc tor sau disjunct) cu proprietatea c ⋃n
Tn = T ³i astfel încât µ(Tn) <∞ ³i
ρ(Tn) <∞ pentru orice n.
Spunem c norma funcµional ρ este de tip absolut continuu dac , pentru orice ³ir des-
cresc tor (un)n ⊂ M+(µ) cu proprietatea c ρ(u1) < ∞ ³i infnun = 0 (punctual) (not m
un ↓ 0), avem limn→∞
ρ(un) = infnρ(un) = 0.
Fie ρ o norm funcµional . Putem construi spaµiul vectorial
Lρ(X) = f ∈MX(µ) | ρ|f | <∞
(scriem ρ|f | def= ρ(|f |)). Remarc m c Lρ(X) este seminormat cu seminorma f → ρ|f |.Acesta se nume³te spaµiu Köthe-Bochner seminormat.
Spaµiul nul al seminormei de mai sus este
NX(µ) = f ∈ Lρ(X) | ρ|f | = 0 = f : T → X | f(t) = 0 µ− a.p.t..
Spaµiul normat asociat este Lρ(X)def= Lρ(X)/NX(µ), normat via
∥∥∥f∥∥∥ = ρ|f | pentru orice
reprezentant f ∈ f . Acesta se nume³te spaµiu Köthe-Bochner normat.
Pentru X = K scriem Lρ în loc de Lρ(K) ³i Lρ în loc de Lρ(K) (acestea se numesc spaµii
Köthe).
7
Capitolul 2
Spaµii Köthe-Bochner. Propriet µi de
baz
În tot capitolul (T, T , µ) este un spaµiu cu m sur σ− nit ³i complet , X un spaµiu
Banach ³i ρ : M+(µ)→ R+ o norm funcµional .
2.1 Completitudinea spaµiilor Köthe-Bochner. Subspaµii
nit dimensionale
Fie x ∈ X. Denim spaµiile Lρ(x)def= f ∈ Lρ(X) | f(T ) ⊂ Sp(x), Lρ(x)
def= f ∈
Lρ(X)| f ∈ Lρ(x) ³i spaµiile Lρxdef= ϕx | ϕ ∈ Lρ ³i Lρx
def= f ∈ Lρ(X) | f ∈ Lρx.
Avem Lρ(x) = Lρx ³i Lρ(x) = Lρx.
Teorema 2.1. (Completitudinea spaµiului Köthe-Bochner Lρ(X)) Sunt echivalente:
1. ρ are proprietatea Riesz-Fischer.
2. Lρ este spaµiu Banach.
3. Pentru orice spaµiu Banach X, Lρ(X) este spaµiu Banach.
4. Exist un spaµiu Banach nenul X astfel încât Lρ(X) este spaµiu Banach.
5. Exist un spaµiu Banach nenul X ³i un element 0 6= x ∈ X astfel încât Lρ(x) = Lρx
este spaµiu Banach.
6. Exist un spaµiu Banach nenul X ³i un subspaµiu închis, nenul Y ⊂ X astfel încât
Lρ(Y ) este spaµiu Banach.
8
Remarca 2.2. Echivalenµa 2.⇔ 3. din Teorema 2.1 poate citit astfel: Lρ are proprietatea
(P ) dac ³i numai dac Lρ(X) are proprietatea (P ) pentru orice spaµiu Banach X. Aici,
(P ) reprezint completitudinea. Acest tip de echivalenµ nu este valabil întotdeauna. De
exemplu, dac (P ) înseamn reexivitatea, este adev rat c dac Lρ(X) este reexiv pentru
orice spaµiu Banach X atunci Lρ este reexiv (putem lua X = K). Reciproca acestei
armaµii nu este, în general, adev rat . Mai des întâlnit este echivalenµa de tipul: Lρ(X)
are proprietatea (P ) dac ³i numai dac Lρ ³i X au proprietatea (P ) (vezi Capitolul 3 ³i
sfâr³itul Capitolului 4 ale acestei teze ³i [80]).
2.2 Topologia convergenµei în ρ− m sur . Relaµia cu to-
pologia canonic
Deniµia 2.3. (vezi [27]) O funcµie ϕ : [0,∞] → [0,∞] se nume³te S− funcµie dac are
urm toarele propriet µi:
i) Exist 0 < a <∞ astfel încât ϕ([0,∞]) = [0, a] ³i ϕ este strict cresc toare.
ii) ϕ(s+ t) ≤ ϕ(s) + ϕ(t) pentru orice s, t ∈ [0,∞].
Deniµia 2.4. Fie 0 < a <∞, f ∈MX(µ) ³i ϕ o S− funcµie. Denim
(|f | > a)def= t ∈ T | |f |(t) > a ³i ρ(|f | > a)
def= ρ((|f | > a)),
(|f | ≥ a)def= t ∈ T | |f |(t) ≥ a ³i ρ(|f | ≥ a)
def= ρ((|f | ≥ a)),
(a, f)def= a+ ρ(|f | > a) ³i ϕ(a, f)
def= ϕ((a, f)),
|‖f |‖ϕdef= infϕ(a, f) | a > 0 <∞.
Remarca 2.5. Orice S− funcµie ϕ genereaz semimetrica invariant la translaµii dϕ :
MX(µ) × MX(µ) → R+, dϕ(f, g) = ‖|f − g‖|ϕ, semimetric ce dene³te topologia τϕ pe
MX(µ).
Teorema 2.6. I. Fie (fδ)δ∈∆ net MX(µ), f ∈MX(µ) ³i ϕ o S− funcµie. Sunt echivalente:
1. fδ −→δf în τϕ.
2. ρ(|f − fδ| > a) −→δ
0 pentru orice 0 < a <∞.
3. ρ(|f − fδ| ≥ a) −→δ
0 pentru orice 0 < a <∞.
II. Avem τϕ1 = τϕ2(def= τm(ρ)) pentru orice S− funcµii ϕ1 ³i ϕ2.
9
Deniµia 2.7. 1. Numim τm(ρ) topologia convergenµei în ρ− m sur .
2. Dac fδ −→δf în (MX(µ), τm(ρ)) spunem c (fδ)δ converge la f în ρ− m sur ³i scriem
fδρ−→δf (în particular fn
ρ−→nf pentru ³iruri).
Teorema 2.8 arat c grupul topologic semimetrizabil (MX(µ), τm(ρ)) nu este separat.
Teorema 2.8. Închiderea mulµimii 0 în (MX(µ), τm(ρ)) este spaµiul vectorial NX(µ).
Exemplul urm tor arat c (MX(µ), τm(ρ)) nu este un spaµiu vectorial topologic.
Exemplul 2.9. Fie (T, T , µ) = (N,P(N), card) (spaµiul cu m sur discret ). Fie X = K.
Denim norma funcµional ρ : M+(card) → R+, ρ(u) = supu(n) | n ∈ N. Consider m
funcµia f ∈M(µ), f(n) = n pentru orice n ∈ N. Rezult c (∣∣∣∣ 1nf
∣∣∣∣ > 1
)= n+1, n+2, ...,
deci ³irul(
1
nf
)n
nu converge în ρ− m sur la 0.
Pentru a studia posibila structur de spaµiu vectorial topologic a lui (MX(µ), τm(ρ))
introducem spaµiul vectorial Mmax = f ∈MX(µ) | ρ(|f | > n) −→n
0, unde n ∈ N.Observ m c Mmax = f ∈MX(µ) | ρ(|f | > a) −−−→
a→∞0, unde a ∈ (0,∞).
Teorema 2.10. 1. Grupul aditiv topologic (MX(µ), τm(ρ)) are proprietatea c , pentru orice
a ∈ K ³i pentru orice subspaµiu vectorial M ⊂ MX(µ), aplicaµia Ta : M → M , Ta(f) = af
este continu .
2. Considerând pe Mmax topologia indus de τm(ρ) acesta devine un subspaµiu vectorial
topologic. Dac M ⊂MX(µ) este un subspaµiu vectorial atunci el este un subspaµiu vectorial
topologic dac ³i numai dac M ⊂Mmax (consider m pe M topologia indus de τm(ρ)).
Remarca 2.11. 1. În Exemplul 2.9, f /∈Mmax.
2. Dac µ(T ) <∞ ³i ρ = ‖ ‖1 atunci Mmax = MX(µ).
Exemplul 2.12 arat c grupul topologic semimetrizabil (MX(µ), τm(ρ)) nu este complet.
Exemplul 2.12. Fie (T, T , µ) = (N,P(N), card), X = K ³i ρ : M+(card)→ R+,
ρ(u) =
∞∑n=1
u(n)
n2dac n ∈ N | u(n) 6= 0 este nit
∞ dac n ∈ N | u(n) 6= 0 este innit .
10
Fie ϕ o S− funcµie. Pentru orice n ∈ N not m An = 1, 2, 3, ..., n ³i consider m ³irul
(fn)n ⊂ M(µ), fn = ϕAn . Dac m > n avem |‖fm − fn|‖ϕ ≤ ϕ
(m∑
i=n+1
1
i2
). De aici rezult
c (fn)n este un ³ir Cauchy. Îns nu exist f ∈M(µ) astfel încât fnρ−→nf .
În cele ce urmeaz studiem leg tura dintre topologia τ(ρ) a spaµiului Köthe-Bochner
Lρ(X) ³i topologia τ im(ρ) indus pe Lρ(X) de topologia convergenµei în ρ− m sur τm(ρ).
Teorema 2.13. Avem incluziunea Lρ(X) ⊂ Mmax. Deci Lρ(X) cu topologia τ im(ρ) este un
spaµiu vectorial topologic.
Teorema 2.14. Avem τ im(ρ) ⊂ τ(ρ), i.e. topologia convergenµei în ρ− m sur este mai
slab decât topologia de spaµiu Köthe-Bochner.
Exemplul 2.15. Consider m ipotezele din Exemplul 2.12. irul (fn)n de acolo este Cauchy
în τ(ρ), dar nu exist f ∈ Lρ astfel încât fn −→nf în τ(ρ). Prin urmare Lρ ³i Lρ nu sunt
complete (deoarece ρ nu are proprietatea Riesz-Fischer, vezi Teorema 2.1).
Închiderile spaµiilor nule ale spaµiilor vectoriale topologice (Lρ(X), τ(ρ)) ³i (Lρ(X), τ im(ρ))
sunt egale, i.e. 0 = NX(µ) (închiderea în ambele topologii). A³adar putem considera
Lρ(X) = Lρ(X)/NX(µ) în raport cu cele dou topologii. Consider m qτ im(ρ) = topologia
factor a lui τ im(ρ). Atunci (Lρ(X), qτ im(ρ)) este un spaµiu vectorial topologic, metrizabil,
topologia sa ind mai slab decât topologia de spaµiu Köthe-Bochner (dat de norm ).
2.3 Convergenµa ³irurilor
Deniµia 2.16. Spunem c ³irul (fn)n ⊂ MX(µ) este Cauchy în ρ− m sur dac , pentru
orice ε > 0 exist n(ε) ∈ N cu proprietatea c pentru orice m ≥ n(ε), n ≥ n(ε) ³i pentru
orice 0 < a <∞, avem ρ(|fm − fn| > a) < ε.
Propoziµia 2.17. Dac (fn)n este convergent în ρ− m sur atunci (fn)n este Cauchy în ρ−m sur .
Propoziµia 2.18. 1. Presupunem c fnρ−→nf ³i f = g µ− a.p.t. Atunci fn
ρ−→ng.
2. Dac fnρ−→nf ³i fn
ρ−→ng atunci f = g µ− a.p.t.
Propoziµia 2.19. Dac fn −→nf ³i fn −→
ng în topologia de spaµiu Köthe-Bochner a lui Lρ(X)
atunci f = g µ− a.p.t.
11
Deniµia 2.20. Fie (fn)n ⊂MX(µ) un ³ir ³i e f ∈MX(µ).
1. Spunem c ³irul (fn)n converge ρ− aproape uniform la f (scriem fnρu−→nf) dac , pentru
orice ε > 0 exist Aε ∈ T astfel încât ρ(Aε) < ε ³i (fn)n converge uniform la f pe T \ Aε.2. Spunem c (fn)n este ρ− aproape uniform Cauchy dac , pentru orice ε > 0 exist
Aε ∈ T astfel încât ρ(Aε) < ε ³i (fn)n este uniform Cauchy pe T \ Aε.
Propoziµia 2.21. (Completitudinea convergenµei ρ− aproape uniforme) irul (fn)n este ρ−aproape uniform convergent dac ³i numai dac este ρ− aproape uniform Cauchy.
Propoziµia 2.22. Dac (fn)n ⊂ MX(µ) ³i f ∈ MX(µ) sunt astfel încât fnρu−→n
f atunci
fn −→nf µ− a.p.t. ³i fn
ρ−→nf .
Remarca 2.23. Reciprocele implicaµiilor care apar în Propoziµia 2.22 nu sunt, în general,
adev rate. Pentru implicaµia (fn −→nf µ − a.p.t.)⇒(fn
ρu−→n
f) putem argumenta astfel: în
Exemplele 2.12 ³i 2.15 ³irul (fn)n converge peste tot la funcµia constant egal cu 1, dar nu
converge ρ− aproape uniform. De asemenea, implicaµia (fnρ−→nf)⇒(fn
ρu−→n
f) nu este, în
general, adev rat , dup cum vom vedea la Remarca 2.37.
Corolarul 2.24. Fie (fn)n ⊂MX(µ) ³i e f ∈MX(µ).
1. Dac fnρu−→nf ³i f = g µ− a.p.t. atunci fn
ρu−→ng.
2. Dac fnρu−→nf ³i fn
ρu−→ng atunci f = g µ− a.p.t.
Corolarul 2.25. Fie (fn)n ⊂MX(µ) ³i e f ∈MX(µ). Sunt echivalente:
1. fnρu−→nf .
2. (fn)n este ρ− aproape uniform Cauchy ³i fn −→nf µ− a.p.t.
Teorema 2.26. Presupunem c ρ are proprietatea Riesz-Fischer. Pentru orice ³ir (fn)n ⊂MX(µ) care este Cauchy în ρ− m sur exist un sub³ir (fnk)k ⊂ (fn)n ³i o funcµie f ∈MX(µ)
astfel încât fnkρu−→kf (deci fnk −→
kf µ− a.p.t. ³i fnk
ρ−→kf).
Teorema 2.27. (Analog al Teoremei Slutsky) Presupunem c ρ are proprietatea Riesz-
Fischer. Atunci spaµiul semimetrizabil (MX(µ), τm(ρ)) este complet.
Putem construi norma funcµional ρT care are proprietatea Riesz-Fischer ³i este cea mai
mare norm funcµional mai mic decât ρ cu aceast proprietate.
Deniµia 2.28. (vezi [27], [139]) Denim norma funcµional ρT : M+(µ)→ R+ via
12
ρT (u) = inf
∞∑n=1
ρ(un)
∣∣∣∣ un ∈M+(µ), u =∞∑n=1
un
.
Folosind ρT obµinem anumite rezultate din Teorema 2.26 pentru orice norm funcµional
ρ.
Corolarul 2.29. Pentru orice ³ir (fn)n ⊂ MX(µ) care este Cauchy în ρ− m sur exist
f ∈MX(µ) ³i un sub³ir (fnk)k ⊂ (fn)n cu proprietatea c fnk −→kf µ− a.p.t.
Propoziµia 2.30. Presupunem c ρ are proprietatea Riesz-Fischer. Fie (fn)n ⊂ MX(µ) ³i
e f ∈MX(µ).
1. Dac fnρ−→nf atunci exist un sub³ir (fnk)k ⊂ (fn)n cu proprietatea c fnk
ρu−→kf (deci
fnk −→kf µ− a.p.t.).
2. Presupunem c (fn)n ⊂ Lρ(X), f ∈ Lρ(X) ³i fn −→nf în topologia de spaµiu Köthe-
Bochner a lui Lρ(X). Atunci exist un sub³ir (fnk)k ⊂ (fn)n astfel încât fnkρu−→k
f (deci
fnk −→kf µ− a.p.t. ³i fnk
ρ−→kf).
Corolarul 2.31. Fie (fn)n ⊂MX(µ) ³i e f ∈MX(µ).
1. Dac fnρ−→nf atunci exist un sub³ir (fnk)k ⊂ (fn)n astfel încât fnk −→
kf µ− a.p.t.
2. Presupunem c (fn)n ⊂ Lρ(X), f ∈ Lρ(X) ³i fn −→nf în topologia de spaµiu Köthe-
Bochner a lui Lρ(X). Atunci exist un sub³ir (fnk)k ⊂ (fn)n astfel încât fnk −→kf µ− a.p.t.
3. Pentru orice subspaµiu închis, nenul Y ⊂ X, Lρ(Y ) este închis în Lρ(X) ³i Lρ(Y ) este
închis în Lρ(X).
Teorema 2.32. (Analog al Teoremei lui Egorov) Presupunem c µ(T ) < ∞, ρ este de tip
absolut continuu ³i ρ(T ) <∞. Atunci, pentru orice ³ir (fn)n ⊂MX(µ), avem echivalenµa:
fn −→nf µ− a.p.t.⇔ fn
ρu−→nf .
Remarca 2.33. În general convergenµa ρ− aproape uniform nu este topologic .
Exemplul 2.34. Fie (T, T , µ) = (N,P(N), µ), unde µ(φ) = 0 ³i, pentru orice φ 6= A ⊂ N,
µ(A) =∞∑n=1
2−ncard(A ∩ n). Fie X = K ³i e ρ : M+(µ)→ R+, ρ(u) =∞∑n=1
u(n). Evident
ρ este de tip absolut continuu ³i ρ(N) = ∞. Consider m ³irul (fn)n ⊂ M(µ), fn = ϕAn ,
unde An = 1, 2, 3, ..., n pentru orice n. Evident fn −→nf = ϕN, dar (fn)n nu converge în
ρ− m sur c tre f .
13
Remarca 2.35. Din exemplul precedent putem extrage urm toarele:
1. Convergenµa µ− a.p.t. nu o implic pe cea în ρ− m sur .
2. Teorema 2.32 nu este adev rat dac ρ(T ) =∞.
Exemplul 2.36. Fie T = [0, 1], T = σ− algebra mulµimilor m surabile Lebesgue ale inter-
valului [0, 1], µ = m sura Lebesgue pe [0, 1], X = K ³i e ρ : M+(µ)→ R+, ρ(u) =
ˆudµ.
a) Convergenµa în Lρ nu o implic pe cea ρ− aproape uniform .
Denim, pentru orice n ∈ N ³i pentru orice i ∈ N, 1 ≤ i ≤ n, mulµimea Ein =
[i− 1
n,i
n
]³i funcµia f in = ϕEin . Consider m ³irul de funcµii (ϕn)n ⊂ Lρ denit astfel: ϕ1 = f 1
1 , ϕ2 = f 12 ,
ϕ3 = f 22 , ϕ4 = f 1
3 , ϕ5 = f 23 , ϕ6 = f 3
3 , ... . Avem ϕm −→m
0 în Lρ, dar, pentru orice t ∈ [0, 1],
³irul (ϕm(t))m este divergent. Aceasta arat c armaµia "ϕm −→m
0 µ − a.p.t." este fals ,
deci la fel este ³i armaµia "ϕmρu−→m
0".
b) Convergenµa ρ− aproape uniform nu o implic pe cea în Lρ.Fie (fn)n ⊂ Lρ construit în cele ce urmeaz : fn(t) = n dac 0 ≤ t <
1
n³i fn(t) = 0 dac
1
n≤ t ≤ 1.
Observ m c limn→∞
fn(t) = 0 pentru orice t ∈ (0, 1], deci fn −→n
0 µ − a.p.t. Conform
Teoremei lui Egorov (cea clasic ) fnρu−→n
0. Pe de alt parte fn 6−→n
0 în Lρ.
Remarca 2.37. 1. Punctul b) din Exemplul 2.36 arat c topologia convergenµei în ρ−m sur τ im(ρ) pe Lρ(X) este strict mai slab decât topologia de spaµiu Köthe-Bochner τ(ρ)
a lui Lρ(X) ³i implicaµia "(fn −→nf µ− a.p.t.)⇒(fn −→
nf în Lρ(X))" este, în general, fals .
2. irul (fn)n de la punctul a) din ultimul exemplu converge în topologia de spaµiu Köthe-
Bochner a lui Lρ ³i nu converge µ− a.p.t. A³adar:i) (fn)n converge în ρ− m sur (conform Teoremei 2.14) ³i nu converge ρ− aproape
uniform. Deci implicaµia "(fnρ−→nf)⇒(fn
ρu−→nf)" este, în general, fals .
ii) Implicaµiile "(fn −→nf în Lρ)⇒ (fn −→
nf µ−a.p.t.)" ³i "(fn
ρ−→nf)⇒(fn −→
nf µ−a.p.t.)"
sunt, în general, false.
Exemplul 2.38. Consider m scenariul din Exemplul 2.36. Un punct de acumulare al mul-
µimii Lρ în (M(µ), τm(ρ)) este f : [0, 1]→ K, f(0) = 0 ³i f(t) =1
tdac 0 < t ≤ 1. Mai exact
fnρ−→nf , unde, pentru orice n ∈ N, fn(t) = 0 dac 0 ≤ t <
1
n³i fn(t) =
1
tdac
1
n≤ t ≤ 1.
Cum ρ(f) =∞ rezult c f /∈ Lρ, deci Lρ nu este închis în (M(µ), τm(ρ)).
14
Capitolul 3
Spaµii Köthe-Bochner cu structuri
speciale
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet , X un spaµiu Banach ³i ρ :
M+(µ)→ R+ o norm funcµional .
3.1 Spaµii Köthe-Bochner care sunt algebre Banach cu
unitate
Deniµia 3.1. (vezi [51]) Spunem c X este o algebr Banach cu unitate dac X este o
algebr nenul cu unitatea e ³i operaµia de înmulµire de pe X, (x, y)→ xy este continu .
Remarca 3.2. (vezi [5], [51]) Aceast deniµie este puµin mai general decât cea clasic
deoarece nu impunem condiµiile ‖xy‖ ≤ ‖x‖ ‖y‖ ³i ‖e‖ = 1.
Pentru orice f , g : T → X ³i pentru orice α ∈ K denim punctual f + g : T → X ³i
αf : T → X. Dac X este o algebr Banach denim în mod similar fg : T → X. Pentru
orice element x ∈ X denim funcµia constant x : T → X, x(t) = x pentru orice t ∈ T .
Deniµia 3.3. (vezi [25], [27]) Fie (T, T , µ) un spaµiu cu m sur complet (m sura µ poate
s nu e σ− nit ). Spunem c spaµiul Lρ este spaµiu Köthe care este ³i algebr Banach cu
unitate dac sunt îndeplinite urm toarele condiµii:
1. Lρ este spaµiu Banach.
2. 1 ∈ Lρ.
15
3. Pentru orice f, g ∈ Lρ avem fg ∈ Lρ.4. Exist o constant A > 0 cu proprietatea c ρ|fg| ≤ Aρ|f |ρ|g| pentru orice f , g ∈ Lρ.
Presupunem c (X, ‖ ‖) este o algebr Banach cu unitatea e astfel încât ‖xy‖ ≤ A ‖x‖ ‖y‖pentru orice x, y ∈ X. Not m cu |‖ |‖ norma de pe Lρ ³i cu |‖ |‖X norma de pe Lρ(X).
Deniµia 3.4. Spunem c Lρ(X) este spaµiu Köthe-Bochner care este ³i algebr Banach cu
unitate dac :
1. (Lρ(X), |‖ |‖X) este un spaµiu Banach.
2. e ∈ Lρ(X).
3. Pentru orice f, g ∈ Lρ(X) avem fg ∈ Lρ(X).
4. Exist o constant B > 0 astfel încât ρ|fg| ≤ Bρ|f |ρ|g| pentru orice f, g ∈ Lρ(X).
Teorema 3.5. Sunt echivalente:
1. (Lρ(X), |‖ |‖X) este un spaµiu Köthe-Bochner care este ³i algebr Banach cu unitate.
2. (Lρ, |‖ |‖) este un spaµiu Köthe care este ³i algebr Banach cu unitate.
3. Lρ(X) ³i L∞(X,µ) sunt spaµii Banach echivalente.
4. Lρ ³i L∞(µ) sunt spaµii Banach echivalente.
Exemplul 3.6. (Forma spaµiilor Köthe-Bochner de ³iruri lρ(lr) care sunt algebre Banach cu
unitate) Consider m spaµiul cu m sur discret (N,P(N), card) ³i spaµiul Köthe
l∞ = x = (xn)n | xn ∈ K, supn|xn| <∞
(pe l∞ avem norma ‖x‖∞ = supn|xn|).
Fie ρ, r : M+(card) → R+ dou norme funcµionale. Orice f ∈ lρ(lr) poate identicat
cu o matrice scalar innit f ≡ (xmn)m,n.
Pentru a putea vorbi despre algebre Banach cu unitate în cazul spaµiilor Köthe-Bochner
lρ(lr) este necesar ca spaµiul Köthe lr s e echivalent cu l∞, i.e. lr = l∞ cu norme echivalente.
Conform Teoremei 3.5, în cazul în care lr este echivalent cu l∞, un spaµiu Köthe-Bochner
lρ(lr) este algebr Banach cu unitate dac ³i numai dac lρ ³i l∞ sunt spaµii Banach echiva-
lente.
A³adar lρ(lr) ≡ (xmn)m,n ⊂ K | supm,n|xmn| <∞.
Pe lρ(lr) avem o norm ‖ ‖ cu proprietatea c exist 0 < L ≤M astfel încât
L supm,n|xmn| ≤ ‖(xmn)m,n‖ ≤M sup
m,n|xmn|.
16
3.2 Spaµii Köthe-Bochner care sunt spaµii Hilbert
Acest paragraf se bazeaz pe articolul [30].
În acest paragraf presupunem, în plus, c ρ este saturat .
Deniµia 3.7. Spunem c Lρ(X) este spaµiu Köthe-Bochner care este ³i spaµiu Hilbert dac :
1. Lρ(X) este spaµiu Banach.
2. Exist un produs scalar (·|·) pe Lρ(X) cu proprietatea c , pentru orice f ∈ Lρ(X),
avem ρ|f | =∥∥∥f∥∥∥ =
√(f |f).
Deniµia 3.8. (vezi [27]) Numim funcµie pondere, o funcµie w ∈ M+(µ) cu proprietatea c
µ(t ∈ T | w(t) = 0) = µ(t ∈ T | w(t) =∞) = 0.
Teorema 3.9. Sunt echivalente:
1. Lρ(X) este spaµiu Hilbert.
2. Lρ ³i X sunt spaµii Hilbert.
Exemplul 3.10. (Forma spaµiilor Köthe-Bochner de ³iruri lρ(lr) care sunt spaµii Hilbert)
Consider m dou norme funcµionale ρ, r : M+(card) → R+ astfel încât lρ(lr) este spaµiu
Hilbert. Prin urmare exist funcµiile pondere u, v : N→ (0,∞) (deci u ≡ (an)n ³i v ≡ (bn)n,
unde 0 < an <∞, 0 < bn <∞ pentru orice n) cu proprietatea c lρ(lr) ≡ (xmn)m,n ⊂ K
∣∣∣∣∑m,n
ambn|xmn|2 <∞.
Pe lρ(lr) avem norma ‖(xmn)m,n‖ =
(∑m,n
ambn|xmn|2) 1
2
³i produsul scalar
((xmn)m,n, (ymn)m,n) =∑m,n
ambnxmnymn.
În continuare vom da dou exemple de spaµii Köthe-Bochner lρ(lr), unde ρ ³i r sunt
norme funcµionale ρ, r : M+(card)→ R+ astfel încât, sau lρ, sau lr nu este spaµiu Hilbert ³i
identitatea paralelogramului nu este satisf cut .
Exemplul 3.11. Consider m ρ(u) = supnu(n) ³i r(u) =
(∞∑n=1
u(n)2
) 12
pentru orice u ∈
M+(card). Deci lρ = l∞, lr = l2 ³i l∞ nu este spaµiu Hilbert. Fie f, g : N→ l2,
f(m) = (11, 1
2, ..., 1
m, 0, 0, ...) (i.e. f ≡ (xmn)m,n, unde xmn =
1
ndac n ≤ m ³i xmn = 0
dac n > m),
17
g(m) = (0, 0, ..., 0, 1m+1
, 1m+2
, ...) (i.e. g ≡ (ymn)m,n, unde ymn = 0 dac n ≤ m ³i ymn =1
ndac n > m).
Avem 2(‖f‖2 + ‖g‖2) = 2π2
3− 2 6= π2
3= ‖f + g‖2 + ‖f − g‖2.
Exemplul 3.12. Fie ρ(u) =
(∞∑n=1
u(n)2
) 12
³i r(u) = supnu(n) pentru orice u ∈ M+(card).
Deci lρ = l2 ³i lr = l∞. Consider m f, g : N→ l∞,
f(m) = ( 1m+1
, 1m+2
, ..., 12m, 0, 0, ...) (i.e. f ≡ (xmn)m,n, unde xmn =
1
m+ ndac n ≤ m ³i
xmn = 0 dac n > m),
g(m) = (0, 0, ..., 0, 12m+1
, 12m+2
, ...) (i.e. g ≡ (ymn)m,n, unde ymn = 0 dac n ≤ m ³i
ymn =1
m+ ndac n > m).
Avem 2(‖f‖2 + ‖g‖2) =7π2
12− 4 6= π2
3− 2 = ‖f + g‖2 + ‖f − g‖2.
3.3 Spaµii Köthe-Bochner care sunt spaµii hilbertabile
Rezultatele din acest paragraf sunt publicate în articolul [30].
Presupunem din nou c ρ este saturat .
Deniµia 3.13. Spunem c (X, ‖ ‖) este hilbertabil dac exist o norm |‖ |‖ pe X care
este echivalent cu ‖ ‖ ³i (X, |‖ |‖) este spaµiu Hilbert.
Teorema 3.14. Consider m urm toarele armaµii:
1. Lρ(X) este hilbertabil.
2. Lρ ³i X sunt hilbertabile.
Atunci 1.⇒ 2. Implicaµia 2.⇒ 1. este adev rat în cazul în care Lρ este tare hilbertabil
(i.e. exist o norm funcµional ρ1 : M+(µ) → R+ astfel încât ρ1 este echivalent cu ρ ³i
Lρ1 este spaµiu Hilbert).
3.4 Aproximarea spaµiilor Köthe-Bochner Lρ(X) în cazul
în care X are baz Schauder
Acest paragraf este bazat pe articolul [29].
18
Presupunem c X are baza Schauder (en)n≥1. Pentru orice n denim proiecµia canonic
Pn : X → X, Pn
(∞∑i=1
αiei
)=
n∑i=1
αiei. Este cunoscut faptul c (Pn)n≥1 este un ³ir m rginit,
i.e. supn‖Pn‖o = M < ∞ (M se nume³te constanta bazei Schauder (en)n). Pentru orice
funcµie f : T → X denim fn : T → X, fn(t) = (Pn f)(t).
Remarca 3.15. Dac X este un spaµiu Banach de ³iruri, în multe cazuri avem:
a) en ∈ X pentru orice n, unde en = (0, 0, ..., 0, 1, 0, ...), cu 1 pe poziµia a n−a.b) (en)n≥1 este baz Schauder pentru X.
În acest caz vom spune c (en)n este baza Schauder canonic a lui X.
Teorema 3.16. Fie f ∈ Lρ(X). Avem scrierea unic f =∞∑i=1
aiei (convergenµ punctual ),
unde ai ∈ Lρ pentru orice i.
Lema 3.17. (vezi [80]) Dac ρ este de tip absolut continuu, f ∈ Lρ(X), (fn)n ⊂ MX(µ)
astfel încât fn −→nf µ − a.p.t. ³i exist o constant c > 0 cu proprietatea c |fn| ≤ c|f |
µ − a.p.t. pentru orice n atunci fn −→nf în Lρ(X) (în particular dac ρ este de tip absolut
continuu atunci S(T,X) ∩ Lρ(X) este dens în Lρ(X)).
Teorema 3.18. (Teorema de Aproximare) Dac ρ este de tip absolut continuu atunci fn −→nf
în Lρ(X) pentru orice f ∈ Lρ(X).
Remarca 3.19. Condiµia "ρ de tip absolut continuu" nu poate eliminat din teorema
precedent dup cum arat urm torul contraexemplu.
Contraexemplul 3.20. Consider m (T, T , µ) = (N,P(N), card). Fie ρ : M+(card)→ R+,
ρ(u) = supnu(n), care nu este de tip absolut continuu. Fie X = l2 cu baza Schauder canonic .
Fie f ∈ lρ(X), f(m) = em. Atunci f =∞∑i=1
aiei, ai = ϕi, fn =n∑i=1
aiei, deci ρ|f − fn| = 1
pentru orice n.
Exemplul 3.21. (Exemplu concret) Consider m spaµiul cu m sur discret (N,P(N), card).
Fie norma funcµional ρ : M+(card) → R+, ρ(u) = ‖u‖1, care este de tip absolut continuu.
Fie X un spaµiu Lorentz de ³iruri denit dup cum urmeaz
Consider m un ³ir w = (wn)n ⊂ R+ astfel încât wn ↓ 0 ³i∞∑n=1
wn =∞.
19
Fie 1 ≤ p < ∞. Denim norma funcµional ρ1 : M+(card) → R+, ρ1(u) =
sup
(∞∑n=1
u(π(n))pwn
) 1p
, supremumul ind considerat dup toate bijecµiile π : N→ N. Este
cunoscut faptul c ρ1 are proprietatea Riesz-Fischer (vezi [27]).
Fie spaµiul Köthe lρ1def= d(w, p) = u : N→ K | ρ1|u| <∞. Deoarece ρ1 are proprietatea
Riesz-Fischer rezult c d(w, p) este spaµiu Banach. Numim d(w, p) spaµiu Lorentz de ³iruri
(vezi [27]). Pentru acest spaµiu (en)n este baz Schauder. În plus ‖en‖ = w1p
1 pentru orice n.
Cum d(w, p) ⊂ c0 putem calcula norma în d(w, p) dup urm toarea formul : ‖u‖ =
ρ1|u| =
(∞∑n=1
(|u(n)|∗)pwn
) 1p
, unde (|u(n)|∗)n este rearanjarea descresc toare a ³irului
(|u(n)|)n.Fie X = d(w, p) cu 1 ≤ p <∞ arbitrar xat ³i w = (wn)n, wn =
1
n.
Consider m spaµiul Köthe-Bochner de ³iruri lρ(d(w, p)).
Fie t ∈ K cu |t| < 1.
Denim funcµia f : N → d(w, p), f(m) = am = (am,n)n≥1, unde, pentru orice m ∈ N,am,n = 0 dac 1 ≤ n ≤ m ³i am,n = tn dac n > m.
Avem ρ|f − fn| ≤ n|t|n+1 1
(1− |t|p)1p (1− |t|)
−→n
0.
Fie ε > 0 arbitrar xat. C ut m un nivel critic pentru n astfel încât s avem ρ|f−fn| < ε.
Este sucient s avem n|t|n+1 1
(1− |t|p)1p (1− |t|)
< ε.
Dup câteva calcule obµinem c este sucient s avem n >2|t|2
(1− |t|p)1p (1− |t|)3
· 1
ε− 1.
Aplic m formula obµinut pe un caz numeric concret.
Fie t =1
2, p = 2 ³i ε = 0, 01 =
1
100.
Avem2|t|2
(1− |t|p)1p (1− |t|)3
· 1
ε− 1 =
800√3− 1 ≈ 460, 88021.
A³adar, dac n ≥ 461, avem ρ|f − fn| <1
100.
Remarca 3.22. Calculul nu este foarte precis ³i, de aceea, se obµine un nivel critic pentru
n prea mare. Dac lucr m direct, pentru n ≥ 70, avem ρ|f − fn| <1
100.
20
Capitolul 4
Dualul unui spaµiu Köthe-Bochner
4.1 Preliminarii
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet .
Deniµia 4.1. (vezi [27]) Fie ρ : M+(µ)→ R+ o seminorm funcµional . Denim seminorma
funcµional asociat lui ρ, ρ′ : M+(µ)→ R+,
ρ′(u) = sup
ˆuvdµ
∣∣∣∣ v ∈M+(µ), ρ(v) ≤ 1
.
Avem urm toarea teorem .
Teorema 4.2. (vezi [27]) Fie ρ : M+(µ)→ R+ o seminorm funcµional . Sunt echivalente:
1. ρ este norm funcµional saturat .
2. ρ′ este norm funcµional saturat .
Urm toarea teorem este prezentat într-o variant u³or diferit faµ de [41]. Vom folosi,
în cele ce urmeaz , abrevierea RNP pentru proprietatea Radon-Nikodym.
Teorema 4.3. (Teorema de Localizare) Fie (T, T , µ) un spaµiu cu m sur nit (m sura µ
poate s nu e complet ) ³i Y un spaµiu Banach. Urm toarele armaµii sunt echivalente:
1. Y are RNP în raport cu (T, T , µ).
2. Pentru orice m sur σ− aditiv m : T → Y cu variaµie m rginit astfel încât m ≺ µ
³i pentru orice A ∈ T cu µ(A) > 0 exist T 3 B ⊂ A cu proprietatea c µ(B) > 0 ³i exist
hB ∈ L1(Y, µB) astfel încât mB = hBµB.
Fie ρ : M+(µ) → R+ o norm funcµional saturat (deci ρ′ este norm funcµional
saturat ) ³i X un spaµiu Banach.
21
4.2 Calculul normei în Lρ′(X′)
Denim, pentru orice funcµii µ− m surabile f : T → X, g : T → X ′, funcµia µ−m surabil (f, g) : T → K, (f, g)(t) = g(t)(f(t)).
Teorema 4.4. Fie f : T → X, g : T → X ′ dou funcµii µ− m surabile.
1. Avemˆ|(f, g)|dµ ≤
ˆ|f ||g|dµ ≤ ρ|f |ρ′|g|.
2. Dac (f, g) este µ− integrabil avem
∣∣∣∣ˆ (f, g)dµ
∣∣∣∣ ≤ ˆ |(f, g)|dµ ≤ˆ|f ||g|dµ ≤
ρ|f |ρ′|g|.3. Dac (f, g) este µ− integrabil pentru orice f ∈ Lρ(X) (de exemplu dac g ∈ Lρ′(X ′)
armaµia este adev rat ) avem
sup
∣∣∣∣ˆ (f, g)dµ
∣∣∣∣ ∣∣∣∣ f ∈ Lρ(X), ρ|f | ≤ 1
= sup
ˆ|(f, g)|dµ
∣∣∣∣ f ∈ Lρ(X),
ρ|f | ≤ 1
≤ ρ′|g|.
4. Presupunem c g ∈ Lρ′(X ′). Denim Tg : Lρ(X) → K, Tg(f) =
ˆ(f, g)dµ pentru
orice reprezentant f ∈ f (deniµia este corect ). Atunci Tg este liniar ³i continu ³i, în
plus, avem ‖Tg‖o ≤ ρ′|g|.
Teorema urm toare ne arat c , în anumite situaµii, la punctul 3. din Teorema 4.4 avem
egalitate.
Teorema 4.5. (Calculul normei în Lρ′(X ′)) Presupunem c ρ′ este de tip absolut continuu.
Atunci, pentru orice g ∈ Lρ′(X ′), calcul m norma lui g în Lρ′(X ′) astfel:
‖g‖ = ρ′|g| = sup
∣∣∣∣ˆ (f, g)dµ
∣∣∣∣ ∣∣∣∣ f ∈ Lρ(X), ρ|f | ≤ 1
=sup
ˆ|(f, g)|dµ
∣∣∣∣ f ∈ Lρ(X),
ρ|f | ≤ 1
.
4.3 Scufundarea lui Lρ′(X′) în (Lρ(X))′
În cele ce urmeaz vom utiliza Teoremele 4.4 ³i 4.5 pentru a scufunda pe Lρ′(X ′) în
(Lρ(X))′. Avem nevoie, pentru acest lucru, de câteva preg tiri.
Pentru orice g ∈ Lρ′(X′) denim Hg : Lρ(X) → K, Hg(f) =
ˆ(f, g)dµ pentru orice
reprezentanµi g ∈ g, f ∈ f .
22
Fie acum g ∈ Lρ′(X ′) ³i e g ∈ g. Conform Teoremei 4.4, Hg(f) = Tg(f) pentru orice
f ∈ Lρ(X).
Teorema 4.6. (Scufundarea lui Lρ′(X ′) în (Lρ(X))′) 1. Pentru orice g ∈ Lρ′(X ′) funcµionalaHg : Lρ(X)→ K,
Hg(f) =
ˆ(f, g)dµ
(pentru orice reprezentanµi f ∈ f , g ∈ g) este liniar ³i continu ³i
‖Hg‖o ≤ ‖g‖.
2. Dac ρ′ este de tip absolut continuu atunci, pentru orice g ∈ Lρ′(X ′), avem
‖Hg‖o = ‖g‖.
A³adar aplicaµia liniar Ω : Lρ′(X′) → (Lρ(X))′, Ω(g) = Hg este o izometrie. Spunem
c Lρ′(X ′) este scufundat în (Lρ(X))′ (via Ω).
4.4 Identicarea dualului unui spaµiu Köthe-Bochner cu
spaµiul Köthe-Bochner asociat
Teorema 4.6 arat c , în cazul în care ρ′ este de tip absolut continuu, spaµiul Lρ′(X ′)
se scufund în Lρ(X) (via Ω). Întrebarea reasc ce se pune este dac Ω este surjecµie
(i.e. bijecµie) devenind astfel un izomorsm liniar ³i izometric (identicare între Lρ′(X ′) ³i
(Lρ(X))′).
Notaµie. Vom scrie
(Lρ(X))′ ≡ Lρ′(X′)
pentru a nota faptul c Ω este bijecµie. În acest caz spaµiile (Lρ(X))′ ³i Lρ′(X ′) sunt "iden-
tice".
Urm toarea teorem prezint un caz în care (Lρ(X))′ ≡ Lρ′(X′).
Teorema 4.7. Presupunem c X ′ are RNP ³i normele funcµionale ρ ³i ρ′ sunt de tip absolut
continuu. Atunci
(Lρ(X))′ ≡ Lρ′(X′).
23
Un caz particular când Teorema 4.7 se aplic este cel al spaµiilor Lebesgue-Bochner. Mai
exact e 1 < p <∞ ³i e q conjugatul lui p, i.e.1
p+
1
q= 1. Fie ρ = ‖ ‖p. Atunci ρ′ = ‖ ‖q
³i ρ ³i ρ′ sunt norme funcµionale saturate, de tip absolut continuu. Deci avem urm torul
corolar.
Corolarul 4.8. Presupunem c X ′ are RNP . Fie 1 < p < ∞ ³i e q conjugatul lui p,
1 < q <∞. Atunci (Lp(X,µ))′ ≡ Lq(X ′, µ).
Teorema urm toare este "un fel de reciproc " pentru Teorema 4.7, mai exact pentru
Corolarul 4.8.
Consider m spaµiul cu m sur (nit ³i complet ) ([0, 1],Σ, λ), unde Σ = σ− algebra
mulµimilor m surabile Lebesgue ale intervalului [0, 1], iar λ : Σ→ R+ este m sura Lebesgue
pe [0, 1].
Teorema 4.9. Presupunem c X are urm toarea proprietate: exist 1 ≤ p <∞ astfel încât
(Lp(X,λ))′ ≡ Lq(X ′, λ), unde1
p+
1
q= 1. Atunci X ′ are RNP .
Teorema 4.10. (Teorem de sintez ) Fie X un spaµiu Banach. Sunt echivalente:
1. X ′ are RNP .
2. Pentru orice spaµiu cu m sur σ− nit ³i complet (T, T , µ) ³i pentru orice norm
funcµional saturat ρ : M+(µ)→ R+ cu proprietatea c ρ ³i ρ′ sunt de tip absolut continuu
avem
(Lρ(X))′ ≡ Lρ′(X′).
4.5 Reexivitatea spaµiilor Köthe-Bochner
Teorema 4.11. Sunt echivalente:
1. Lρ(X) este reexiv.
2. Lρ ³i X sunt reexive.
24
Capitolul 5
Operatori liniari ³i continui pe spaµii
Köthe-Bochner
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet ³i ρ : M+(µ) → R+ o norm
funcµional .
Not m Tρ = A ∈ T | ρ(A) <∞. Se observ imediat c Tρ este un inel de mulµimi.
5.1 Generalizarea noµiunilor de variaµie ³i semivariaµie
Fie X, E, F spaµii Banach nenule astfel încât X → L(E,F ).
Pentru orice A ⊂ T not m EE(ρ,A) = f : T → E | f =n∑i=1
ϕAixi, Ai ∈ Tρ mulµimi
mutual disjuncte, xi ∈ E ³i Ai ⊂ A pentru orice i. Dac A = T not m EE(ρ, T )def= EE(ρ).
În cazul E = K scriem E(ρ,A) în loc de EK(ρ,A) ³i E(ρ) în loc de EK(ρ).
Fie m : Tρ → X astfel încât m(φ) = 0 ³i e A ⊂ T .
Deniµia 5.1. (Deniµie fundamental ) 1. Dac f ∈ EE(ρ,A) astfel încât ρ|f | ≤ 1 spunem
c f este (ρ, E,A)− denit .
2. Denim (ρ, (E,F ))− variaµia luim pe mulµimea A ca ind elementulmρ,(E,F )(A) ∈ R+,
unde mρ,(E,F )(A) = sup
n∑i=1
‖m(Ai)(xi)‖∣∣∣∣ f =
n∑i=1
ϕAixi este (ρ, E,A)− denit .
3. Denim (ρ, (E,F ))− semivariaµia luim pe mulµimea A ca ind elementul mρ,(E,F )(A) ∈
R+, unde mρ,(E,F )(A) = sup
∥∥∥∥∥n∑i=1
m(Ai)(xi)
∥∥∥∥∥∣∣∣∣ f =
n∑i=1
ϕAixi este (ρ, E,A)− denit .
25
Remarca 5.2. În cazul X ≡ L(K,X), i.e. E = K, F = X avem, pentru orice A ⊂ T ,
mρ,(K,X)(A) = sup
n∑i=1
|αi| ‖m(Ai)‖∣∣∣∣ f =
n∑i=1
ϕAiαi este (ρ,K,A)− denit .
Teorema 5.3. (Invarianµa variaµiei relativ la scufundare) Pentru orice scufundare X →L(E,F ) ³i pentru orice A ⊂ T avem mρ,(E,F )(A) = mρ,(K,X)(A).
Vom notamρdef= mρ,(E,F ) pentru orice scufundare X → L(E,F ) ³i vom spune ρ− variaµie
în loc de (ρ, (E,F ))− variaµie.
5.2 Propriet µi ale ρ− variaµiei ³i ale (ρ, (E,F ))− semiva-
riaµiei
Presupunem c X → L(E,F ).
1. mρ,(E,F )(φ) = mρ(φ) = 0.
2. Pentru orice A ⊂ B ⊂ T avem mρ,(E,F )(A) ≤ mρ,(E,F )(B) ³i mρ(A) ≤ mρ(B).
3. Pentru orice A ⊂ T avem mρ,(E,F )(A) = 0⇔ mρ(A) = 0⇔ ∀Tρ 3 B ⊂ A, m(B) = 0.
4. Fie A ∈ Tρ.a) Avem implicaµia (µ(A) = 0 ³i m(A) 6= 0)⇒ (µ(A) = 0 ³i mρ,(E,F )(A) =∞).
b) Se presupune c µ(A) = 0. Atunci: i) mρ,(E,F )(A) <∞⇔ mρ,(E,F )(A) = 0.
ii) mρ(A) <∞⇔ mρ(A) = 0.
Remarca 5.4. Implicaµia de la 4. a) nu admite reciproc . Fie T = a, b cu a 6= b,
E = F = X = K, T = P(T ), µ ≡ 0, ρ ≡ 0 (deci Tρ = T ) ³i e m : T → K, m(a) = 1,
m(b) = −1, m(T ) = m(φ) = 0. Fie Bdef= b. Avem µ(B) = 0 ³i m(B) = −1, deci,
conform propriet µii 4. a), avem c mρ,(E,F )(B) =∞.
Avem mρ,(E,F )(T ) =∞, µ(T ) = 0 ³i m(T ) = 0.
5. a) m(E,F ) ≤ m‖ ‖∞,(E,F ) (m(E,F ) este (E,F )− semivariaµia lui m).
b) m ≤ m‖ ‖∞ (m este variaµia lui m).
6. Fie A ∈ P(T ). Presupunem c , pentru orice T 3 B ⊂ A, avem implicaµia: (µ(B) =
0)⇒ (m(B) = 0). Atunci: a) m(E,F )(A) = m‖ ‖∞,(E,F )(A).
b) m(A) = m‖ ‖∞(A).
26
7. Fie A ⊂ T ³i e f =n∑i=1
ϕAixi ∈ EE(ρ,A). Atunci: a)
∥∥∥∥∥n∑i=1
m(Ai)(xi)
∥∥∥∥∥ ≤mρ,(E,F )(A)ρ|f |, cu excepµia cazului mρ,(E,F )(A) =∞ ³i ρ|f | = 0.
b)n∑i=1
‖m(Ai)‖o ‖xi‖ ≤ mρ(A)ρ|f |, cu excepµia cazului mρ(A) =∞ ³i ρ|f | = 0.
8. Fie A ∈ Tρ. Avem implicaµia
(µ(A) 6= 0 sau m(A) = 0)⇒(‖m(A)‖o ≤ mρ,(E,F )(A)ρ(A) ≤ mρ(A)ρ(A)).
8′. Pentru orice A ∈ Tρ avem ‖m(A)‖o ≤ mρ,(E,F )(A)ρ(A) ≤ mρ(A)ρ(A), cu excepµia
cazului µ(A) = 0 ³i mρ,(E,F )(A) =∞.
9. Reamintim c τ (Tρ)def= A ⊂ T | A ∩ B ∈ Tρ pentru orice B ∈ Tρ. Dac m este
aditiv atunci mρ ³i mρ,(E,F ) sunt subaditive pe τ (Tρ). Mai mult m‖ ‖∞ este aditiv pe T .Dac m este σ− aditiv atunci mρ ³i mρ,(E,F ) sunt σ− subaditive pe τ (Tρ) (în mod
extins). Mai mult m‖ ‖∞ este σ− aditiv pe T .10. Fie m, n : Tρ → X astfel încât m(φ) = n(φ) = 0 ³i e α ∈ K.
Atunci: a) ˜(m+ n)ρ,(E,F ) ≤ mρ,(E,F ) + nρ,(E,F ) ³i (αm)ρ,(E,F ) = |α|mρ,(E,F ).
b) (m+ n)ρ ≤ mρ + nρ ³i (αm)ρ = |α|mρ.
11. Dac F = K atunci mρ = mρ,(E,F ).
12. Presupunem c ρ este de tip absolut continuu, mρ,(E,F )(A) <∞ pentru orice A ∈ Tρ³i m este aditiv . Atunci m este σ− aditiv ³i m ≺ µ (0− 0).
5.3 Operaµii liniare ³i continue pe Lρ(E)
Fie m : Tρ → L(E,F ) o m sur aditiv .
Deniµia 5.5. 1. Fie f =n∑i=1
ϕAixi ∈ EE(ρ). Denimˆfdm
def=
n∑i=1
m(Ai)(xi) ∈ F .
2. Fie ϕ =n∑i=1
ϕAiαi ∈ E(ρ). Denimˆϕdm
def=
n∑i=1
αim(Ai) ∈ L(E,F ).
Propoziµia 5.6. Presupunem c mρ,(E,F )(T ) <∞.
1. Dac (fn)n ⊂ EE(ρ) este ³ir Cauchy în Lρ(E) atunci(ˆ
fndm
)n
este ³ir Cauchy în
F .
1′. Dac (ϕn)n ⊂ E(ρ) este ³ir Cauchy în Lρ atunci(ˆ
ϕndm
)n
este ³ir Cauchy în
L(E,F ).
27
2. Presupunem c ρ are proprietatea Riesz-Fischer. Dac (fn)n ⊂ EE(ρ) ³i (gn)n ⊂ EE(ρ)
sunt ³iruri Cauchy în Lρ(E) ³i (fn)n ³i (gn)n converg µ− a.p.t. c tre aceea³i funcµie atunci
limn→∞
ˆfndm = lim
n→∞
ˆgndm.
2′. Presupunem c ρ are proprietatea Riesz-Fischer. Dac (ϕn)n ⊂ E(ρ) ³i (ψn)n ⊂ E(ρ)
sunt ³iruri Cauchy în Lρ ³i (ϕn)n ³i (ψn)n converg µ − a.p.t. c tre aceea³i funcµie atunci
limn→∞
ˆϕndm = lim
n→∞
ˆψndm.
3. Dac (fn)n ⊂ EE(ρ) ³i (gn)n ⊂ EE(ρ) converg în Lρ(E) c tre aceea³i funcµie atunci
limn→∞
ˆfndm = lim
n→∞
ˆgndm.
3′. Dac (ϕn)n ⊂ E(ρ) ³i (ψn)n ⊂ E(ρ) converg în Lρ c tre aceea³i funcµie atunci
limn→∞
ˆϕndm = lim
n→∞
ˆψndm.
În continuare presupunem c ρ este de tip absolut continuu.
Deniµia 5.7. Presupunem c mρ,(E,F )(T ) <∞. Pentru orice f ∈ Lρ(E) (respectiv pentru
orice ϕ ∈ Lρ) denimˆfdm
def= lim
n→∞
ˆfndm (respectiv
ˆϕdm = lim
n→∞
ˆϕndm), unde
(fn)n ⊂ EE(ρ) astfel încât fn −→nf în Lρ(E) (respectiv (ϕn)n ⊂ E(ρ) astfel încât ϕn −→
nϕ în
Lρ).
Fie U : Lρ(E)→ F un operator liniar.
Denim ‖U‖ρ = sup
∥∥∥∥∥n∑i=1
U(ϕAixi)
∥∥∥∥∥∣∣∣∣ f =
n∑i=1
ϕAixi ∈ EE(ρ), ρ|f | ≤ 1
³i |‖U |‖ρ =
sup
n∑i=1
‖U(ϕAixi)‖∣∣∣∣ f =
n∑i=1
ϕAixi ∈ EE(ρ), ρ|f | ≤ 1
.
Deoarece ρ este de tip absolut continuu,
‖U‖ρ = sup
‖U(f)‖
∣∣∣∣ f ∈ Lρ(E), ρ|f | ≤ 1
.
A³adar ‖U‖ρ ≤ |‖U |‖ρ ≤ ∞.
Propoziµia 5.8. 1. Dac F = K atunci ‖U‖ρ = |‖U |‖ρ.2. Dac ρ = ‖ ‖1 atunci ‖U‖ρ = |‖U |‖ρ.
Propoziµia 5.9. 1. |‖U |‖ρ = sup
n∑i=1
‖U(ϕAif)‖∣∣∣∣ f ∈ Lρ(E), ρ|f | ≤ 1, Ai ∈ T pentru
orice i = 1, 2, ..., n, Ai ∩ Aj = φ pentru orice i 6= j
.
28
2. |‖U |‖ρ = sup
n∑i=1
‖U(ϕixi)‖∣∣∣∣ ϕi ∈ Lρ, ρ
∣∣∣∣∣n∑i=1
ϕi
∣∣∣∣∣ ≤ 1, ϕiϕj = 0 pentru orice i 6= j,
xi ∈ E, ‖xi‖ ≤ 1 pentru orice i = 1, 2, ..., n
.
3. |‖U |‖ρ = sup
n∑i=1
‖U(ϕif)‖∣∣∣∣ f ∈ Lρ(E), ρ|f | ≤ 1, ϕi sunt funcµii scalare µ−
m surabile cu |ϕi| ≤ 1 pentru orice i = 1, 2, ..., n ³i ϕiϕj = 0 pentru orice i 6= j
.
4. |‖U |‖ρ = sup
n∑i=1
‖U(fi)‖∣∣∣∣ fi ∈ Lρ(E), ρ
∣∣∣∣∣n∑i=1
fi
∣∣∣∣∣ ≤ 1, |fi||fj| = 0 pentru orice
i 6= j
.
Remarca 5.10. Rezultate similare se obµin pentru ‖U‖ρ.
Teorema 5.11. Exist un izomorsm liniar U ←→ m între spaµiul vectorial al aplicaµiilor
liniare ³i continue U : Lρ(E) → F (i.e. ‖U‖ρ < ∞) ³i spaµiul vectorial al m surilor σ−
aditive m : Tρ → L(E,F ) cu mρ,(E,F )(T ) <∞ dat de egalitatea U(f) =
ˆfdm.
Dac U ³i m sunt ca mai sus atunci ‖U‖ρ = mρ,(E,F )(T ) ³i |‖U |‖ρ = mρ(T ).
Corolarul 5.12. Exist un izomorsm liniar U ←→ m între spaµiul vectorial al aplicaµiilor
liniare U : Lρ(E) → F cu |‖U |‖ρ < ∞ ³i spaµiul vectorial al m surilor σ− aditive m :
Tρ → L(E,F ) cu mρ(T ) <∞ dat de U(f) =
ˆfdm. Dac U ³i m sunt ca mai sus atunci
‖U‖ρ = mρ,(E,F )(T ) ³i |‖U |‖ρ = mρ(T ).
Acum putem stabili o leg tur între rezultatele obµinute în acest capitol ³i rezultatele
obµinute în capitolul 4.
Teorema 5.13. Presupunem c ρ ³i ρ′ sunt de tip absolut continuu ³i c E ′ are RNP . Fie
U : Lρ(E)→ K un operator liniar ³i continuu.
a) Conform Teoremei 4.7 exist o funcµie (unic µ − a.p.t.) g ∈ Lρ′(E ′) astfel încât
U(f) =
ˆ(f, g)dµ pentru orice f ∈ Lρ(E).
b) Conform Teoremei 5.11 exist o unic m sur σ− aditiv m : Tρ → E ′ cu mρ(T ) <∞
astfel încât U(f) =
ˆfdm pentru orice f ∈ Lρ(E).
Atunci m = gµ, i.e. m(A) =
ˆA
gdµ pentru orice A ∈ Tρ.
29
Teorema 5.14. Exist o aplicaµie liniar , continu ³i injectiv Ω : L(Lρ(E), F ) →L(Lρ,L(E,F )) denit astfel: pentru orice U ∈ L(Lρ(E), F ) elementul U∗ = Ω(U) ∈L(Lρ,L(E,F )) este unic determinat de U∗(ϕ)(x) = U(ϕx) pentru orice ϕ ∈ Lρ ³i pentru
orice x ∈ E. Avem ‖U∗‖ρ ≤ ‖U‖ρ, deci ‖Ω‖o ≤ 1.
Vom studia mai precis leg tura între U ³i U∗.
Teorema 5.15. Fie U ∈ L(Lρ(E), F ) ³i e m : Tρ → L(E,F ) m sura σ− aditiv care-l
dene³te pe U , i.e. mρ,(E,F )(T ) <∞ ³i U(f) =
ˆfdm pentru orice f ∈ Lρ(E).
Atunci, dac U∗ = Ω(U), avem U∗(ϕ) =
ˆϕdm pentru orice ϕ ∈ Lρ ³i ‖U∗‖ρ ≤ ‖U‖ρ,
|‖U∗|‖ρ = |‖U |‖ρ.
În continuare not m LL(Lρ(E), F ) = U ∈ L(Lρ(E), F ) | |‖U |‖ρ < ∞ ³i
LL(Lρ,L(E,F )) = H ∈ L(Lρ,L(E,F )) | |‖H|‖ρ <∞.Conform rezultatelor precedente avem injecµia liniar ³i continu V : LL(Lρ(E), F ) →
LL(Lρ,L(E,F )), V(U) = Ω(U). Vom ar ta c V este bijecµie.
Teorema 5.16. Aplicaµia V : LL(Lρ(E), F ) → LL(Lρ,L(E,F )), V(U) = Ω(U) = U∗ este
bijecµie.
Pentru orice U ∈ LL(Lρ(E), F ) exist o unic m sur σ− aditiv m : Tρ → L(E,F ) cu
proprietatea c mρ(T ) < ∞ ³i astfel încât U(f) =
ˆfdm, U∗(ϕ) =
ˆϕdm pentru orice
f ∈ Lρ(E) ³i pentru orice ϕ ∈ Lρ.În plus mρ(T ) = |‖U |‖ρ = |‖U∗|‖ρ <∞.
Deniµia 5.17. Un operator liniar ³i continuu V : Lρ → L(E,F ) se nume³te (ρ, E, F )−natural dac exist un operator liniar ³i continuu U : Lρ(E) → F astfel încât V (ϕ)(x) =
U(ϕx) pentru orice ϕ ∈ Lρ ³i pentru orice x ∈ E (cu alte cuvinte V = U∗ sau echivalent,
V ∈ Ω(L(Lρ(E), F ))).
Teorema 5.18. Un operator liniar ³i continuu V : Lρ → E ′ este (ρ, E,K)− natural dac ³i
numai dac |‖V |‖ρ <∞.
În continuare vom studia un caz particular important. Cu aceast ocazie vom prezenta
³i dou exemple caracteristice.
Consider m (T, T , µ) = (N,P(N), card) ³i un spaµiu Banach X. Fie ρ : M+(card)→ R+
o norm funcµional cu proprietatea Riesz-Fischer. Putem deni spaµiile Köthe-Bochner de
³iruri lρ(X).
30
Presupunem c Tρ = A ⊂ N | A este nit .
Aceast condiµie este îndeplinit dac ρ = ‖ ‖p, 1 ≤ p <∞.
Teorema 5.19. Pentru orice operator liniar ³i continuu U : lρ → F avem c |‖U |‖ρ < ∞dac ³i numai dac (U(em))m ∈ lρ′(F ).
În continuare presupunem c F = K, iar E este un spaµiu Banach. Prin urmare
L(lρ(E), F ) = lρ(E)′ = LL(lρ(E), K), L (lρ,L(E,K)) = L (lρ, E′) ³i LL (lρ,L(E,K)) =
LL (lρ, E′).
Am v zut mai sus c V ∈ L(lρ, E′) este (ρ, E,K)− natural dac ³i numai dac V ∈
LL(lρ, E′), i.e. |‖V |‖ρ <∞.
Considerând Teoremele 5.18 ³i 5.19 obµinem urm toarea teorem .
Teorema 5.20. Fie V : lρ → E ′ un operator liniar ³i continuu. Atunci V este (ρ, E,K)−natural dac ³i numai dac (V (em))m ∈ lρ′(E ′).
Consider m cazul particular: E = l2 ³i ρ = ‖ ‖2, deci E′ ≡ E = l2 ³i ρ′ = ρ.
Exemplul 5.21. (Exemplu de operator V : l2 → (l2)′ ≡ l2 care nu este (‖ ‖2 , l2, K)−
natural)
Fie V dat de matricea (apn)p,n, unde apn = 0 dac p 6= n ³i app =1√p.
Atunci V (x = (xn)n) ≡(xn√n
)n
. Avem c V este liniar, continuu ³i nu este (‖ ‖2 , l2, K)−
natural.
Exemplul 5.22. (Exemplu de operator V : l2 → (l2)′ ≡ l2 care este (‖ ‖2 , l2, K)− natural
³i are proprietatea c ‖V ‖‖ ‖2 < |‖V |‖‖ ‖2 <∞)
Ideea este s consider m operatori "nit dimensionali". Anume, pentru un operator liniar
³i continuu V : l2 → (l2)′, matricea generatoare (apn)p,n are proprietatea c apn = 0 dac
p ≥ 3 sau n ≥ 3 (doar a11, a12, a21, a22 pot nenuli).
Atunci, pentru orice ϕ = (ϕ1, ϕ2, ..., ϕn, ...) ∈ l2, avem V (ϕ) ≡ (a11ϕ1 + a12ϕ2, a21ϕ1 +
a22ϕ2, 0, ..., 0, ...).
Avem ‖V ‖‖ ‖2 =1
2
(√(a11 + a22)2 + (a12 − a21)2 +
√(a11 − a22)2 + (a12 + a21)2
)³i
|‖V |‖‖ ‖2 =√a2
11 + a221 + a2
12 + a222.
Fie a11 = 1, a22 = 2, a12 = 3, a21 = 4.
Atunci ‖V ‖‖ ‖2 =1
2
(√10 +
√50)<√
30 = |‖V |‖‖ ‖2 .
31
Capitolul 6
Elemente de cea mai bun aproximare în
spaµii Köthe-Bochner
6.1 Schem general pentru mulµimi proximinale
Acest paragraf este bazat pe articolul [28].
Deniµia 6.1. (vezi [10], [134]) Fie (X, ‖ ‖) un spaµiu normat ³i e φ 6= A ⊂ X, A 6= X o
mulµime închis . Pentru orice x ∈ X \ A denim mulµimea (posibil vid )
PA(x) = a ∈ A | ‖x− a‖ = dist(x,A),
unde dist(x,A) = inf‖x− a‖ | a ∈ A este distanµa între x ³i A. Un element a ∈ PA(x) se
nume³te element de cea mai bun aproximare a lui x pe mulµimea A. Mulµimea închis A
(φ 6= A ⊂ X, A 6= X) se nume³te proximinal în X dac PA(x) 6= φ pentru orice x ∈ X \ A(dac X se subînµelege spunem c A este proximinal ).
Remarca 6.2. (vezi [10], [134]) 1. Dac X este un spaµiu normat ³i A ⊂ X este un subspaµiu
(vectorial) nit dimensional atunci A este mulµime proximinal .
2. Dac X este un spaµiu reexiv atunci orice mulµime convex ³i închis φ 6= A ⊂ X,
A 6= X este proximinal .
6.1.1 O metod pentru a g si mulµimi proximinale
Schem general . Fie un ³ir descresc tor de spaµii Banach (Xn, |‖ |‖n) (Xn+1 ⊂ Xn pentru
orice n) cu proprietatea c X∞def=
∞⋂n=1
Xn 6= 0. Presupunem c , pentru orice x ∈ X∞,
32
³irul (|‖x|‖n)n este cresc tor. Denim Xdef= x ∈ X∞ | sup
n|‖x|‖n < ∞ ³i presupunem c
X 6= 0. Menµion m c incluziunea X ⊂ X∞ este, în general, strict .
Pentru orice x ∈ X ³i pentru orice n ∈ N denim ‖x‖ndef= |‖x|‖n ³i ‖x‖ def= lim
n→∞|‖x|‖n =
supn|‖x|‖n. Obµinem normele ‖ ‖ ³i ‖ ‖n pe X ³i avem ‖ ‖n ≤ ‖ ‖n+1 ≤ ‖ ‖ (deci ³irul
(‖ ‖n)n este cresc tor) cu ‖x‖ = limn→∞
‖x‖n = supn‖x‖n pentru orice x ∈ X. Presupunem c
(Xn, |‖ |‖n) sunt spaµii reexive.
Fie φ 6= A ⊂ X, A 6= X astfel încât A este convex , m rginit în (X, ‖ ‖) (deci A este
m rginit în toate (Xn, |‖ |‖n)) ³i închis (deci slab închis ) în (X, ‖ ‖) ³i în toate (Xn, |‖ |‖n).
Teorema 6.3. În condiµiile din Schema general A este proximinal în (X, ‖ ‖).
Caz particular al Schemei generale: Spaµiile Köthe. Fie (T, T , µ) un spaµiu
cu m sur σ− nit ³i complet ³i e (ρn)n un ³ir cresc tor de norme funcµionale, ρn :
M+(µ) → R+ (i.e. ρn ≤ ρn+1 pentru orice n). Presupunem c ρn are proprietatea Riesz-
Fischer pentru orice n. Obµinem ³irul descresc tor de spaµii Banach (Xn)n, unde Xn = Lρn
cu norma |‖ |‖ndef= ‖ ‖ρn pentru orice n (
∥∥∥f∥∥∥ρn
= ρn|f | pentru orice f ∈ f). Presupunem c
X∞def=
∞⋂n=1
Xn 6= 0.
Denim norma funcµional ρ : M+(µ) → R+, ρ(u) = supnρn(u). Se observ c ρ are
proprietatea Riesz-Fischer, deci (X, ‖ ‖) = (Lρ, ‖ ‖ρ) este spaµiu Banach, unde X = f ∈
X∞
∣∣∣∣ supn
∥∥∥f∥∥∥ρn<∞.
Presupunem c toate spaµiile (Lρn , ‖ ‖ρn) sunt reexive.
Fie 0 < M < ∞ ³i e A ⊂ f ∈ Lρ∣∣∣∣ ∥∥∥f∥∥∥
ρ≤ M o mulµime convex , închis în Lρ ³i
închis în toate spaµiile Lρn .
Observ m c sunt îndeplinite condiµiile din Schema general luând (Xn, |‖ |‖n), X∞,
X, ‖ ‖n, ‖ ‖ ³i A ca mai sus.
6.1.2 Aplicaµii
Modelul spaµiilor Lp(µ)
Acesta este un caz particular pentru modelul spaµiilor Köthe.
Teorema 6.4. Fie (T, T , µ) un spaµiu cu m sur nit (i.e. µ(T ) <∞) ³i e 0 < M <∞.
Atunci orice mulµime convex A ⊂ f ∈ L∞(µ)
∣∣∣∣ ∥∥∥f∥∥∥∞ ≤ M, care este închis în toate
33
Lp(µ), 1 ≤ p ≤ ∞, este proximinal în L∞(µ).
Remarca 6.5. Subliniem faptul c exist mulµimi A care posed propriet µile enumerate în
Teorema 6.4.
1. Fie A =
f ∈ L∞(µ)
∣∣∣∣ ∥∥∥f∥∥∥∞ ≤M
.
2. Fie H ∈ T cu µ(H) > 0. Consider m
A =
f ∈ L∞(µ)
∣∣∣∣ ∥∥∥f∥∥∥∞ ≤M , ϕHf = 0
.
Modelul spaµiilor Lorentz de ³iruri
Fie 1 ≤ p < ∞ ³i w = (wn)n un ³ir de numere reale astfel încât wn > 0 pentru orice
n, (wn)n este descresc tor, w ∈ c0 (i.e. wn −→n
0) ³i∞∑n=1
wn = ∞. De exemplu putem lua
wn =1
n.
Reamintim c d(w, p) = x = (xn)n
∣∣∣∣ supπ
(∞∑n=1
|xπ(n)|pwn
) 1p
< ∞, supremumul ind
considerat dup toate bijecµiile π : N→ N.Se cunoa³te c (d(w, p), ‖ ‖w,p) este un spaµiu Banach cu norma
‖x‖w,p = supπ
(∞∑n=1
|xπ(n)|pwn
) 1p
.
Norma lui d(w, p) se calculeaz de cele mai multe ori folosind rearanjarea descresc toare
a unui ³ir de numere reale, pozitive, convergent c tre 0 (vezi Capitolul 3).
De acum înainte x m w.
Teorema 6.6. Fie 0 < M < ∞. Orice mulµime convex A ⊂ x ∈ d(w, 1) | ‖x‖w,1 ≤ M,care este închis în toate spaµiile d(w, p), 1 ≤ p <∞, este proximinal în d(w, 1).
Remarca 6.7. Exist mulµimi care s îndeplineasc cerinµele din Teorema 6.6.
1. Fie A = x ∈ d(w, 1) | ‖x‖w,1 ≤M.2. Fie A = x = (xn)n ∈ d(w, 1) | ‖x‖w,1 ≤M ³i x2n = 0 pentru orice n ∈ N.
34
6.2 Mulµimi proximinale în spaµii Köthe-Bochner de ³i-
ruri
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet , ρ : M+(µ) → R+ o norm
funcµional ³i e X un spaµiu Banach.
Deniµia 6.8. (vezi [27]) O mulµime nevid A ⊂ Lρ(X) se nume³te solid dac , pentru
orice f ∈ A, pentru orice reprezentant f ∈ f ³i pentru orice g ∈ MX(µ) cu proprietatea c
‖g(t)‖ ≤ ‖f(t)‖ µ− a.p.t., avem g ∈ A.
Consider m φ 6= H ∈ T . Denim proiecµia PH : Lρ(X) → Lρ(X), PH(f) = ϕHf . Se
observ c , sau PH = 0, sau ‖PH‖o = 1 ³i, în cazul în care A ⊂ Lρ(X) este solid , avem c
PH(A) ⊂ A (dac f ∈ A, f ∈ f ³i g ∈ PH(f) avem |g| ≤ |f | µ− a.p.t., deci g ∈ A).
Teorema 6.9. Presupunem c exist un ³ir (Tn)n ⊂ T , (Tn)n cresc tor (i.e. Tn ⊂ Tn+1) cu⋃n
Tn = T astfel încât PTn(Lρ(X)) este reexiv pentru orice n. Presupunem, de asemenea,
c ρ este de tip absolut continuu ³i ρ are proprietatea lui Fatou.
Fie A ⊂ Lρ(X), φ 6= A 6= Lρ(X) o mulµime solid , convex , m rginit ³i închis . Atunci
A este proximinal .
Un rezultat aparent mai general este dat de teorema urm toare.
Teorema 6.10. Lucr m în ipotezele Teoremei 6.9. Fie P : Lρ(X) → Lρ(X) un proiector
cu proprietatea c P (A) ⊂ A ³i P (Lρ(X)) este solid (de exemplu putem lua P = PH , unde
H ∈ T ).Atunci P (A) este proximinal .
Aplic m Teorema 6.9 pentru spaµiile Köthe de ³iruri lρ.
Teorema 6.11. Consider m spaµiul cu m sur discret (N,P(N), card) ³i ρ : M+(card)→R+ o norm funcµional de tip absolut continuu ³i cu proprietatea lui Fatou. Dac A ⊂ lρ,
φ 6= A 6= lρ este solid , convex , m rginit ³i închis atunci A este proximinal .
Remarca 6.12. Rezultatul din Teorema 6.11 este valabil ³i pentru spaµii Köthe-Bochner de
³iruri în cazul în care X este reexiv.
35
Capitolul 7
Aplicaµii. Direcµii de cercetare
7.1 Divergenµele Tsallis ³i Rényi pentru polinoamele Ja-
cobi generalizate
Acest paragraf este bazat pe articolul [131].
Fie p = (p1, ..., pn) o distribuµie de probabilitate(pi ≥ 0 ³i
n∑i=1
pi = 1
).
Deniµia 7.1. (vezi [142], [143]) Denim entropia Tsallis discret pentru distribuµia de
probabilitate p via
ST (p) = −n∑i=1
pi logT (pi),
unde logT este logaritmul Tsallis denit prin
logT (x) =
xα−1 − 1
α− 1dac x > 0
0 dac x = 0
pentru orice α ∈ R \ 1.
Deniµia 7.2. (vezi [142]) Denim divergenµa Tsallis discret via
DT (p) = nα−1
(− logT
(1
n
)− ST (p)
).
Deniµia 7.3. (vezi [119], [124]) Denim entropia Rényi discret via
36
SR(p) =1
1− αlog
(n∑i=1
pαi
)
pentru orice α ∈ (0,∞) \ 1.
Deniµia 7.4. (vezi [119]) Denim divergenµa Rényi discret via
DR(p) = log n− SR(p).
Mergând pe ideile din articolele [75] ³i [93] vom deni un ³ir de polinoame Jacobi gene-
ralizate qn(x) = knxn + ..., kn > 0, n ∈ N ∪ 0 (i.e.
ˆ 1
−1
qm(x)qn(x)w(x)dx = δmn pentru
orice m,n ∈ N ∪ 0, unde δmn este simbolul lui Kronecker ³i w(x)def= (1− x)u(1 + x)vh(x)
pentru orice x ∈ [−1, 1]; aici u, v > −1 ³i h este o funcµie real , analitic ³i strict pozitiv pe
intervalul [−1, 1]).
Denim Kn(x, y) =n−1∑i=0
qi(x)qi(y).
Punând x = y în formula precedent g sim a n−a funcµie Christoel λn(x)def=
1
Kn(x, x).
Consider m distribuµia de probabilitate ψn(x) = (ψn,1(x), ..., ψn,n(x)), unde ψn,j(x) =
λn(x)q2j−1(x) pentru orice j = 1, 2, ..., n.
În continuare ne propunem s studiem comportamentul asimptotic al divergenµei Tsallis
DT (ψn(x)) (respectiv al divergenµei Rényi DR(ψn(x))) când n tinde la ∞ pentru orice x ∈(−1, 1).
De acum înainte în acest paragraf, dac x = cos θ ∈ (−1, 1), presupunem c θ ∈ (0, π).
Teorema 7.5. Presupunem c α ≥ 0. Limita limn→∞
DT (ψn(x)) exist pentru orice x = cos θ ∈
(−1, 1). Not m DT∞(x)def= lim
n→∞DT (ψn(x)).
Teorema 7.6. Limita limn→∞
DR(ψn(x)) exist pentru orice x = cos θ ∈ (−1, 1). Not m
DR∞(x)def= lim
n→∞DR(ψn(x)).
7.2 Spaµii Köthe-Bochner denite de o funcµie de entro-
pie
Fie (T, T , µ) un spaµiu cu m sur σ− nit ³i complet ³i e X un spaµiu Banach.
37
Deniµia 7.7. (vezi [19]) O funcµie E : T → R+ se nume³te quasi-funcµie de entropie pe
(T, T , µ) dac are urm toarele propriet µi:
1. E(A) = 0⇔ µ(A) = 0 (absolut continuitate în raport cu µ).
2. E(A) ≤ E(B) pentru orice A,B ∈ T astfel încât A ⊂ B (monotonie).
3. Exist c ≥ 1 astfel încât E(A ∪B) ≤ c (E(A) + E(B)) pentru orice A,B ∈ T .
4. E
(∞⋃i=1
Ai
)= lim
i→∞E(Ai) = sup
iE(Ai) pentru orice ³ir cresc tor (Ai)i≥1 ⊂ T .
Dac în proprietatea 3., c = 1 spunem c E este funcµie de entropie.
În cele ce urmeaz consider m o funcµie de entropie E.
Consider m o familie (At)t∈[0,∞) ⊂ T care este descresc toare: 0 ≤ s < t ⇒ At ⊂ As.
Rezult c funcµia h : [0,∞)→ R+, h(t) = E(At) este descresc toare.
Putem calcula integrala Lebesgue (not m λdef= m sura Lebesgue pe [0,∞))ˆ
hdλdef=
ˆ ∞0
h(t)dt ≤ ∞ (7.1)
(dac intervalul t ∈ [0,∞) | h(t) =∞ are lungime strict pozitiv integrala de la (7.1) este
automat egal cu ∞).
Denim ρE : M+(µ)→ R+,
ρE(u) =
ˆ ∞0
E(t ∈ T | u(t) > s)ds. (7.2)
Deniµia 7.8. Fie ρ : M+(µ) → R+ o funcµie. Spunem c ρ este quasi-norm funcµional
dac îndepline³te propriet µile (pentru orice u, v ∈M+(µ) ³i pentru orice α ∈ [0,∞)):
1. ρ(u) = 0⇔ u(t) = 0 µ− a.p.t.2. u ≤ v ⇒ ρ(u) ≤ ρ(v).
3. Exist c ≥ 1 astfel încât ρ(u+ v) ≤ c (ρ(u) + ρ(v)).
4. ρ(αu) = αρ(u) (folosim convenµia 0 · ∞ = 0).
Pentru orice quasi-norm funcµional ρ denim spaµiul Lρ(X) = f ∈ MX(µ) | ρ|f | <∞. Acesta se nume³te spaµiu quasi-Köthe-Bochner ³i este quasi-seminormat cu quasi-
seminorma f → ρ|f |. Spaµiul nul al acestei quasi-seminorme este NX(µ). Ca în cazul spa-
µiilor Köthe-Bochner denim spaµiul quasi-Köthe-Bochner Lρ(X) = Lρ(X)/NX(µ). Acesta
este quasi-normat cu quasi-norma f →∥∥∥f∥∥∥ = ρ|f | pentru orice reprezentant f ∈ f .
Deniµia 7.9. Spunem c quasi-norma funcµional ρ : M+(µ) → R+ are proprietatea lui
Fatou dac , pentru orice ³ir cresc tor (un)n ⊂ M+(µ), avem ρ(u) = supnρ(un) = lim
n→∞ρ(un),
unde u = supnun (punctual) (not m un ↑ u).
38
Teorema 7.10. Funcµia ρE este quasi-norm funcµional cu proprietatea lui Fatou.
Teorema 7.11. Funcµia ρE este norm funcµional dac ³i numai dac E este tare subaditiv
(i.e. pentru orice A, B ∈ T avem E(A ∪B) + E(A ∩B) ≤ E(A) + E(B)).
Putem deni spaµiul quasi-Köthe-Bochner quasi-seminormat
LρE(X) = f : T → X | f este µ− m surabil ³i ρE|f | <∞.
Teorema 7.12. Spaµiul quasi-seminormat LρE(X) este spaµiu vectorial topologic. Un sistem
fundamental de vecin t µi ale originii pentru topologia de spaµiu vectorial topologic a lui
LρE(X) este format din toate mulµimile V (ε) când ε parcurge (0,∞), unde V (ε) = f ∈LρE(X) | ρE|f | < ε.
Se pune problema dac spaµiul LρE(X) este trivial. Vom vedea c , atunci când E(T ) <
∞, spaµiul LρE(X) nu este trivial. Mai precis avem urm toarea teorem .
Teorema 7.13. Dac E(T ) <∞ avem incluziunea
BX(µ) ⊂ LρE(X),
unde BX(µ) este spaµiul vectorial al tuturor funcµiilor f : T → X care sunt µ− m surabile
³i m rginite.
În general spaµiul vectorial topologic LρE(X) nu este separat. Avem 0 =⋂V ∈V
V = f ∈
LρE(X) | ρE|f | = 0 = f : T → X | f(t) = 0 µ− a.p.t..Spaµiul separat asociat este LρE(X) = LρE(X)/0. Acesta este quasi-normat cu quasi-
norma f →∥∥∥f∥∥∥ def
= ρE|f | pentru orice reprezentant f ∈ f ³i se nume³te spaµiu quasi-Köthe-
Bochner quasi-normat.
Exemple
Fie ϕ : [0,∞)→ [0,∞) o funcµie cu urm toarele propriet µi:
1. ϕ(0) = 0.
2. ϕ(t) > 0 pentru orice t > 0.
3. ϕ este cresc toare.
Consider m n ∈ N arbitrar xat.
39
Fie T = [0, 1]n. Pe T consider m norma euclidian notat ‖ ‖.Pentru orice δ > 0 denim µδ,∗ : P(T )→ R+,
µδ,∗(A) =
inf
∞∑k=1
ϕ (diam(Ik))
∣∣∣∣ A ⊂ ∞⋃k=1
Ik,
Ik intervale diadice, diam(Ik) < δ
dac exist astfel de intervale
∞ altfel.
Denim m sura exterioar Hausdor generalizat relativ la ϕ, µ∗ : P(T )→ R+, µ∗(A) =
limδ→0
µδ,∗(A).
Fie T = A ⊂ T | A este µ∗− m surabil . Not m µ = µ∗|T .Am obµinut a³adar spaµiul cu m sur nit ³i complet (T, T , µ).
Exemplul 7.14. Fie Eϕ : T → R+,
Eϕ(A) =
inf
∞∑k=1
ϕ (diam(Ik))
∣∣∣∣ A ⊂ ∞⋃k=1
Ik,
Ik intervale diadice
dac exist astfel de intervale
∞ altfel.
Se observ c Eϕ este funcµie de entropie.
În plus, pentru orice mulµimi A, B ∈ T , avem Eϕ(A∪B) +Eϕ(A∩B) ≤ Eϕ(A) +Eϕ(B)
(vezi [19]). A³adar ρEϕ este norm funcµional , deci obµinem spaµiile Köthe-Bochner LρEϕ (X)
³i LρEϕ (X).
În continuare vom considera cazuri particulare de funcµii ϕ cu propriet µile de mai sus.
Exemplul 7.15. (Spaµii Köthe-Bochner de tip Shannon-Feerman) Fie ϕ : [0,∞)→ [0,∞),
ϕ(0) = 0, ϕ(x) = −x log x dac x ∈(
0,1
e
)³i ϕ(x) =
1
edac x ≥ 1
e.
Ca mai sus denim funcµia de entropie Eϕ ³i spaµiile Köthe-Bochner LρEϕ (X) ³i LρEϕ (X).
Spunem c acestea sunt spaµii Köthe-Bochner de tip Shannon-Feerman.
Exemplul 7.16. (Spaµii Köthe-Bochner de tip Tsallis) Fie ϕ : [0,∞) → [0,∞), ϕ(x) =
−x logT (x) dac x ∈[0,
(1
α
) 1α−1)
³i ϕ(x) =
(1
α
) αα−1
dac x ≥(
1
α
) 1α−1
(reamintim c
logT (0) = 0, deci ϕ(0) = 0).
Ca mai sus denim funcµia de entropie Eϕ ³i spaµiile Köthe-Bochner LρEϕ (X) ³i LρEϕ (X).
Spunem c acestea sunt spaµii Köthe-Bochner de tip Tsallis.
40
Exemplul 7.17. (Funcµia de entropie denit de o norm funcµional ) Fie r : M+(µ)→ R+
o norm funcµional cu proprietatea lui Fatou. Aceasta dene³te o funcµie de entropie
Er : T → R+ denit via Er(A) = r(A).
Ca mai sus denim quasi-norma funcµional ρEr ³i spaµiile quasi-Köthe-Bochner LρEr (X)
³i LρEr (X).
Întreb rile naturale care se pot pune sunt:
1. Ce condiµii trebuie impuse lui r astfel încât ρEr s e norm funcµional ?
2. Exist vreo leg tur între spaµiul quasi-Köthe-Bochner LρEr (X) ³i spaµiul Köthe-
Bochner Lr(X)?
Remarc nal . Am reu³it s leg m între ele teorii diferite: spaµii funcµionale, optimizare,
entropie. Avem în vedere ³i o leg tur cu teoria fractalilor pe care am început-o în [45].
41
Bibliograe
[1] S. Abe, Axioms and uniqueness theorem for Tsallis entropy, Phys. Lett. A 271 (2000),
7479.
[2] A.Y. Abul-Magd, Nonextensive random-matrix theory based on Kaniadakis entropy,
Physics Letters A 361 (2007), 450454.
[3] M.D. Acosta, A. Kami«ska, M. Mastylo, The Daugavet property in rearrangement in-
variant spaces, Trans. Amer. Math. Soc. 367 (2015), 40614078.
[4] D.R. Adams, L.I. Hedberg, Function Spaces and Potential Theory, Springer, Berlin,
1996.
[5] G.R. Allan, Introduction to Banach Spaces and Algebras, Oxford University Press, 2011
(preg tit pentru publicare de H.G. Dales).
[6] A. Almeida, Inversion of the Riesz potential operator on Lebesgue spaces with variable
exponent, Fract. Calc. Appl. Anal. 6 (2003), 311327.
[7] A.I. Aptekarev, J.S. Dehesa, A. Martínez-Finkelshtein, Asymptotics of orthogonal poly-
nomial's entropy, J. Comput. Appl. Math. 233 (2010), 13551365.
[8] A.I. Aptekarev, J.S. Dehesa, A. Martínez-Finkelshtein, R. Yañez, Discrete entropies of
orthogonal polynomials, Constr. Approx. 30 (2009), 93119.
[9] A.I. Aptekarev, J.S. Dehesa, P. Sánchez-Moreno, D.N. Tulyakov, Rényi entropy of the
innite well potential in momentum space and Dirichlet-like trigonometric functionals,
J. Math. Chem. 50 (2012), 10791090.
[10] V. Barbu, T. Precupanu, Convexity and Optimization in Banach Spaces (fourth edition),
Springer, 2010.
42
[11] R. Beattie, H.-P. Butzmann, Convergence Structures and Applications to Functional
Analysis, Springer-Science+Bussines Media, B.V., 2002.
[12] M. Beenamol, S. Prabavathy, J. Mohanalin, Wavelet based seismic signal de-noising
using Shannon and Tsallis entropy, Computers and Mathematics with Applications 64
(2012), 35803593.
[13] G.M. Bosyk, S. Zozor, F. Holik, M. Portesi, P.W. Lamberti, Comment on "Quantum
Kaniadakis entropy under projective measurement", Phys. Rev. E 94 (2016), 026103.
[14] V. Buyarov, J.S. Dehesa, A. Martínez-Finkelshtein, J. Sánchez-Lara, Computation of
the entropy of polynomials orthogonal on an interval, SIAM J. Sci. Comput. 26 (2004),
488509.
[15] J.M. Calabuig, E. Jiménez Férnandez, M.A. Juan, E.A. Sánchez Pérez, Tensor product
representation of Köthe-Bochner spaces and their dual spaces, Positivity 20 (2016), 155
169.
[16] J.M. Calabuig, J. Rodríguez, E.A. Sánchez Pérez, Multiplication operators in Köthe-
Bochner spaces, J. Math. Anal. Appl. 373 (2011), 316321.
[17] P. Cembranos, J. Mendoza, Banach Spaces of Vector-Valued Functions, Springer-Verlag,
Berlin-Heidelberg, 1997.
[18] J. Cerda, Lorentz capacity spaces, AMS Contemp. Math. 445 (2007), 4955.
[19] J. Cerda, H. Coll, J. Martín, Entropy function spaces and interpolation, J. Math. Anal.
Appl. 304 (2005), 269295.
[20] J. Cerda, H. Hudzik, M. Mastylo, Geometric properties in Köthe-Bochner spaces, Math.
Proc. Camb. Phil. Soc. 120 (1996), 521533.
[21] J. Cerda, J. Martín, P. Silvestre, Capacitary function spaces, Collect. Math. 62 (2011),
95118.
[22] F. Chapeau-Blondeau, A. Delahaies, D. Rousseau, Tsallis entropy measure of noise-
aided information transmission in a binary channel, Physics Letters A 375 (2011), 2211
2219.
43
[23] S. Chen, R. Pluciennik, A note on H-points in Köthe-Bochner spaces, Acta Math. Hun-
gar. 94 (2002), 5966.
[24] I. Chiµescu, Finitely Purely Atomic Measures: Coincidence and Rigidity Properties,
Rend. Cont. Circ. Mat. Palermo 50 (2001), 455476.
[25] I. Chiµescu, Köthe spaces that are Banach algebras whith unit, Bull. Math. Soc. Sci.
Math. R.S.R. 18 (66) (1976), 269271.
[26] I. Chiµescu, Köthe spaces that are Hilbert spaces, Bull. Math. Soc. Sci. Math. R.S.R. 18
(66) (1976), 2529.
[27] I. Chiµescu, Spaµii de Funcµii, Ed. t. Encicl., Bucure³ti, 1983.
[28] I. Chiµescu, V. Preda, R.-C. Sfetcu, Polya-type best approximation of convex sets,
acceptat pentru publicare la J. Nonlinear Conv. Anal.
[29] I. Chiµescu,R.-C. Sfetcu, O. Cojocaru, Approximation of Köthe-Bochner spaces Lρ(X)
in case X has a Schauder basis, Romanian Journal of Information Science and Techno-
logy 18 (2015), 6978.
[30] I. Chiµescu, R.-C. Sfetcu, O. Cojocaru, Köthe-Bochner spaces that are Hilbert spaces,
Carpathian J. Math. 33 (2017), 153160.
[31] B. Collins, I. Nechita, Random quantum channels II: Entanglement of random subspaces,
Rényi entropy estimates and additivity problems, Adv. Math. 226 (2011), 11811201.
[32] R. Cristescu, Analiz Funcµional , Ed. III, Ed. Did. Ped., Bucure³ti, 1979.
[33] D. Cruz-Uribe, A. Fiorenza, Approximate identities in variable Lp spaces, Math. Nachr.
280 (2007), 256270.
[34] D. Cruz-Uribe, A. Fiorenza, Convergence in measure of approximate identities in vari-
able Lebesgue spaces, Anal. Appl. 13 (2015), 413418.
[35] D. Cruz-Uribe, A. Fiorenza, Convergence in variable Lebesgue spaces, Publ. Mat. 54
(2010), 441459.
[36] D. Cruz-Uribe, A. Fiorenza, J.M. Martell, C. Pérez, The boundedness of classical ope-
rators on variable Lp spaces, Ann. Acad. Sci. Fenn. Math. 31 (2006), 239264.
44
[37] E.M.F. Curado, P. Tempesta, C. Tsallis, A new entropy based on a group-theoretical
structure, Ann. Phys. 366 (2016), 2231.
[38] S. Curilef, A.R. Plastino, A. Plastino, Tsallis'maximum entropy ansatz leading to exact
analytical time dependent wave packet solutions of a nonlinear Schrödinger equation,
Physica A 392 (2013), 26312642.
[39] J. Déscloux, Approximations in Lp and Chebyshev Approximations, J. Soc. Indust. Appl.
Math. 11 (1963), 10171026.
[40] J.C. Díaz, P. Doma«ski, Reexive operators with domain in Köthe spaces, manuscripta
math. 97 (1998), 189204.
[41] J. Diestel, J.J. Uhl Jr., Vector Measures. Survey 15, Amer. Math. Soc. Providence, RI,
1977.
[42] J. Dieudonné, Sur les espaces de Köthe, J. d'Analyse Math. 1 (1951), 81115.
[43] N. Dinculeanu, Vector Measures, Pergamon Press, New York, 1967.
[44] P.G. Dodds, B. de Pagter, Normed Köthe spaces: A non-commutative viewpoint, Indag.
Math. 25 (2014), 206249.
[45] D. Dumitru, L. Ioana, R.-C. Sfetcu, F. Strobin, Topological version of generalized
(innite) iterated function systems, Chaos, Solitons & Fractals 71 (2015), 7890.
[46] H. Duru, A. Kitover, M. Orhon, Multiplication operators on vector-valued function spa-
ces, Proc. Amer. Math. Soc. 141 (2013), 35013513.
[47] H. Dutta, B. Surrender Reddy, Computation of the Köthe-Toeplitz dual of some sets
of sequences of fuzzy numbers, New Mathematics and Natural Computation 7 (2011),
6370.
[48] R.A. Feerman, A theory of entropy in Fourier analysis, Adv. Math. 30 (1978), 171201.
[49] S. Furuichi, Information theoretical properties of Tsallis entropies, J. Math. Phys. 47
(2006), 023302.
[50] S. Furuichi, F.-C. Mitroi, Mathematical inequalities for some divergences, Physica A 391
(2012), 388400.
45
[51] A. Ghika, Analiz Funcµional , Editura Academiei Republicii Socialiste România, Bu-
cure³ti, 1967.
[52] J.L. Gonzalez, E.L. de Faria, M.P. Albuquerque, M.P. Albuquerque, Nonadditive Tsallis
entropy applied to the Earth's climate, Physica A 390 (2011), 587594.
[53] A. Göpfert, H. Riahi, C. Tammer, C. Z linescu, Variational Methods in Partially Orde-
red Spaces, Springer-Verlag, New York, Inc. 2003.
[54] L. Grafakos, Classical Fourier Analysis, Springer Science+Business Media, LLC, 2008.
[55] K.A. Grasse, Mapping properties that preserve convergence in measure on nite measure
spaces, J. Math. Anal. Appl. 326 (2007), 11161123.
[56] N.E. Gretsky, J.J. Uhl Jr., Bounded linear operators into vector-valued Banach function
spaces, Indag. Math. (Proceedings) 77 (1974), 457462.
[57] N.E. Gretsky, J.J. Uhl Jr., Bounded linear operators on Banach function spaces of
vector-valued functions, Trans. Amer. Math. Soc. 167 (1972), 263277.
[58] M. Hayashi, Limiting behavior of relative Rényi entropy in a non-regular location shift
family, Ann. Inst. Stat. Math. 62 (2010), 547569.
[59] H. Hudzik, R. Kaczmarek, Monotonicity characteristic of Köthe-Bochner spaces, J.
Math. Anal. Appl. 349 (2009), 459468.
[60] H. Hudzik, A. Kami«ska, M. Mastylo, On the dual of Orlicz-Lorentz space, Proc. Am.
Math. Soc. 130 (2002), 16451654.
[61] G. Isac, V. Postolic , The Best Approximation and Optimization in Locally Convex
Spaces, Peter Lang, Frankfurt am Main, Berlin, Bern, New York, Wien, 1993.
[62] M. Jauregui, C. Tsallis, New representations of π and Dirac delta using the nonextensive-
statistical-mechanics q− exponential function, J. Math. Phys. 51 (2010), 063304.
[63] A. Kami«ska, K. Le±nik, Y. Raynaud, Dual spaces to Orlicz-Lorentz spaces, Stud. Math.
222 (2014), 229261.
[64] A. Kami«ska, B. Turett, Rotundity in Köthe spaces of vector-valued functions, Can. J.
Math. 41 (1989), 659675.
46
[65] J. Kawabe, The bounded convergence in measure theorem for nonlinear integral functio-
nals, Fuzzy Sets and Systems 271 (2015), 3142.
[66] A.A. Khan, C. Tammer, C. Z linescu, Set-valued Optimization: An Introduction with
Applications, Springer-Verlag, Berlin, Heidelberg, 2015.
[67] M. Khandaqji, F. Awawdeh, Uniform convexity of Köthe-Bochner function spaces, Acta
Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 385390.
[68] G. Köthe, Neubergründung der Theorie der vollkommenen Räume, Math. Nachr. 4
(1951), 7080.
[69] G. Köthe, O. Toeplitz, Lineare Räume mit unendlichvielen Koordinaten und Ringe unen-
dlicher Matrizen, Journal de Crelle 171 (1934), 193226.
[70] B. Kripke, Best Approximations with Respect to Nearby Norms, Numer. Math. 6 (1964),
103105.
[71] T. Kühn, Entropy numbers in sequence spaces with an application to weighted function
spaces, J. Approx. Theory 153 (2008), 4052.
[72] T. Kühn, H.-G. Leopold, W. Sickel, L. Skrzypczak, Entropy Numbers of Embeddings of
Weighted Besov Spaces, Constr. Approx. 23 (2006), 6177.
[73] T. Kühn, H.-G. Leopold, W. Sickel, L. Skrzypczak, Entropy Numbers of Embeddings
of Weighted Besov Spaces II, Proceedings of the Edinburgh Mathematical Society 49
(2006), 331359.
[74] T. Kühn, H.-G. Leopold, W. Sickel, L. Skrzypczak, Entropy Numbers of Embeddings of
Weighted Besov Spaces III, Math. Z. 255 (2007), 115.
[75] A.B. Kuijlaars, K.T.-R. McLaughlin, W. Van Assche, M. Vanlessen, The Riemann-
Hilbert approach to strong asymptotics for orthogonal polynomials on [−1, 1], Adv. Math.
188 (2004), 337398.
[76] L. Kuipers, H. Niederreiter, Uniform distribution of sequences, John Wiley & Sons, Inc.
1974.
47
[77] E.K. Lenzi, R.S. Mendes, L.R. da Silva, Statistical mechanics based on Rényi entropy,
Physica A 280 (2000), 337345.
[78] N. Leonenkoa, O. Seleznjev, Statistical inference for the ε− entropy and the quadratic
Rényi entropy, Journal of Multivariate Analysis 101 (2010), 19811994.
[79] F. Li, P. Li, D. Han, Continuous framings for Banach spaces, J. Funct. Anal. 271 (2016),
9921021.
[80] P.-K. Lin, Köthe-Bochner Function Spaces, Springer Science+Business Media, LLC,
2004.
[81] P.-K. Lin, Stability of some properties in Köthe-Bochner function spaces, in: Function
Spaces, the fth conference, Pure and Applied Math. vol. 213, Marcel Dekker, Inc.
(2000), pp. 347357.
[82] P.-K. Lin, H. Sun, Extremity in Köthe-Bochner function spaces, J. Math. Anal. Appl.
218 (1998), 136154.
[83] P.-K. Lin, W. Zhang, B. Zheng, Corrigendum to "Stability of ball proximinality" [J.
Approx. Theory 183 (2014), 7281], J. Approx. Theory 205 (2016), 149152.
[84] P.-K. Lin, W. Zhang, B. Zheng, Stability of ball proximinality, J. Approx. Theory 183
(2014), 7281.
[85] J. Lindenstrauss, L. Tzafriri, Classical Banach Spaces I. Sequence Spaces, Springer-
Verlag, Berlin, Heidelberg, New York, 1977.
[86] J. Lindenstrauss, L. Tzafriri, On the complemented subspaces problem, Israel J. Math.
9 (1971), 213269.
[87] D.S. Lubinsky, A new approach to universality limits involving orthogonal polynomials,
Ann. Math. 170 (2009), 915939.
[88] J. Lukes, L. Pick, D. Pokorny, On geometric properties of the spaces Lp(x), Rev. Mat.
Complut. 24 (2011), 115130.
[89] W.A.J. Luxemburg, Banach Function Spaces. Thesis, Delft Institute of Technology,
Assen, Netherlands, 1955.
48
[90] W.A.J. Luxemburg, A.C. Zaanen, Notes on Banach function spaces, Indag. Math. Note
I (1963)-Note XVI (1965).
[91] A. Macedo-Filho, D.A. Moreirac, R. Silva, L.R. da Silva, Maximum entropy principle
for Kaniadakis statistics and networks, Physics Letters A 377 (2013), 842846.
[92] M. Maldonado, J. Prada, Weighted shift operators on Köthe spaces, Math. Nachr. 279
(2006), 188197.
[93] A. Martínez-Finkelshtein, P. Nevai, A. Peña, Discrete entropy of generalized Jacobi
polynomials, J. Math. Anal. Appl. 431 (2015), 99110.
[94] A. Martínez-Finkelshtein, J.F. Sánchez-Lara, Shannon entropy of symmetric Pollaczek
polynomials, J. Approx. Theory 145 (2007), 5580.
[95] M. Mastylo, E.A. Sánchez Pérez, Köthe dual of Banach lattices generated by vector
measures, Monatsh. Math. 173 (2014), 541557.
[96] M. Mastylo, Y. Sawano, H. Tanaka, Morrey-type space and its Köthe dual space, Bull.
Malays. Math. Sci. Soc. (2016) doi:10.1007/s40840-016-0382-7.
[97] J. Mendoza, Proximinality in Lp(µ,X), J. Approx. Theory 93 (1998), 331343.
[98] J. Mendoza, T. Pakhrou, Best simultaneous approximation in L1(µ,X), J. Approx.
Theory 145 (2007), 212220.
[99] V.V. Mykhaylyuk, M.M. Popov, On sums of narrow operators on Köthe function spaces,
J. Math. Anal. Appl. 404 (2013), 554561.
[100] A. Nekvinda, Hardy-Littlewood maximal operator on Lp(x)(Rn), Mathematical Inequa-
lities & Applications 7 (2004), 255265.
[101] P. Nevai, Géza Freud, orthogonal polynomials and Christoel functions. A case study,
J. Approx. Theory 48 (1986), 3167.
[102] E.T. Ordman, Convergence almost everywhere is not topological, Amer. Math. Monthly
73 (1966), 182183.
[103] K. Ourabah, A.H. Hamici-Bendimerad, M. Tribeche, Quantum entanglement and Ka-
niadakis entropy, Phys. Scr. 90 (2015), 045101.
49
[104] K. Ourabah, A.H. Hamici-Bendimerad, M. Tribeche, Quantum Kaniadakis entropy
under projective measurement, Phys. Rev. E 92 (2015), 032114.
[105] K. Ourabah, M. Tribeche, Reply to "Comment on Quantum Kaniadakis entropy under
projective measurement", Phys. Rev. E 94 (2016), 026104.
[106] T. Pakhrou, Best simultaneous approximation in L∞(µ,X), Math. Nachr. 281 (2008),
396401.
[107] N.S. Papageorgiou, On best approximations in the Lebesgue-Bochner space L1(X),
Tamkang J. Math. 24 (1993), 303307.
[108] N. Papanastassiou, C. Papachristodoulos, p− convergence in measure of a sequence of
measurable functions and corresponding minimal elements of c0, Positivity 13 (2009),
243253.
[109] N. Phuong-Các, On Dieudonné's paper "Sur les espaces de Köthe", Proc. Cambridge
Phil. Soc. 62 (1966), 2932.
[110] G. Polya, Sur un algorithme toujours convergent pour obtenir les polynomes de me-
illeure approximation de Tchébychef pour une fonction continue quelconque, C.R. 157
(1913), 840-843.
[111] P.G. Popescu, V. Preda, E.I. Slu³anki, Bounds for Jereys-Tsallis and Jensen-
Shannon-Tsallis divergences, Physica A 413 (2014), 280283.
[112] V. Preda, The Student distribution and the principle of maximum entropy, Ann. Inst.
Stat. Math. 34 (1982), 335-338.
[113] V. Preda, C. B lc u, Entropy optimization with applications, Editura Academiei Ro-
mâne, Bucure³ti, 2011.
[114] V. Preda, C. B lc u, On maxentropic reconstruction of countable Markov chains and
matrix scaling problems, Stud. Appl. Math. 111 (2003), 85-100.
[115] V. Preda, S. Dedu, C. Gheorghe, New classes of Lorentz curves by maximizing Tsallis
entropy under mean and Gini equality and inequality constraints, Physica A 436 (2015),
925932.
50
[116] V. Preda, S. Dedu, M. Sheraz, New measure selection for Hunt-Devolder semi-Markov
regime switching interest rate models, Physica A 407 (2014), 350359.
[117] V. Preda, S. Dedu, M. Sheraz, Second order entropy approach for risk models involving
truncation and censoring, Proceedings of the Romanian Academy 17 (2016), 195202.
[118] V. Preda, M. Sheraz, Risk-neutral densities in entropy theory of stock options using
Lambert function and a new approach, Proceedings of the Romanian Academy 16 (2015),
2027.
[119] J.C. Principe, Information Theoretic Learning. Rényi's Entropy and Kernel Perspec-
tives, Springer Science+Business Media, LLC, 2010.
[120] N. Randrianantoanina, Complemented copies of l1 and Pelczynski's property (V ∗) in
Bochner function spaces, Canad. J. Math. 48 (1996), 625640.
[121] N. Randrianantoanina, E. Saab, The complete continuity property in Bochner function
spaces, Proc. Amer. Math. Soc. 117 (1993), 11091114.
[122] T.S.S.R.K. Rao, Approximation properties for spaces of Bochner integrable functions,
J. Math. Anal. Appl. 423 (2015), 15401545.
[123] Y. Raynaud, On duals of Calderon-Lozanovskij intermediate spaces, Stud. Math. 124
(1997), 936.
[124] A. Rényi, On measures of entropy and information, in: Proc. 4th Berkeley Symp.,
Mathematical and Statistical Probability, Berkeley, CA: Univ. Calif. Press, Vol. 1 (1961),
pp. 547561.
[125] R.T. Rockafellar, Convex Analysis, Princeton, New Jersey, 1970.
[126] C.A. Rogers, Hausdor Measures, Cambridge University Press, 1970.
[127] G. Rubinstein, On an Extremal Problem in a Normed Linear Space, Siberian Math. J.
6 (1965), 711714 (in Russian).
[128] F.B. Saidi, D. Hussein, R. Khalil, Best simultaneous approximation in Lp(I, E), J.
Approx. Theory 116 (2002), 369379.
51
[129] E.A. Sánchez Pérez, Asymptotic domination of operators on Köthe function spaces and
convergence of sequences, Math. Nachr. 279 (2006), 17091722.
[130] V. Schwämmle, C. Tsallis, Two-parameter generalization of the logarithm and expo-
nential functions and Boltzmann-Gibbs-Shannon entropy, J. Math. Phys. 48 (2007),
113301.
[131] R.-C. Sfetcu, Tsallis and Rényi divergences of generalized Jacobi polynomials, Phy-
sica A 460 (2016), 131138.
[132] T. Shintani, T. Ando, Best Approximants in L1− space, Z. Wahrscheinlichkeitstheor.
Verw. Geb. 33 (1975/1976), 3339.
[133] P. Silvestre, Capacitary function spaces and applications. Thesis, Barcelona, 2011.
[134] I. Singer, Best Approximation in Normed Linear Spaces by Elements of Linear Subs-
paces, Springer-Verlag, Berlin, Heidelberg, 1970.
[135] G. Sinnamon, Monotonicity in Banach function spaces, Nonlinear Analysis, Function
Spaces and Applications, Praha: Institute of Mathematics of the Academy of Sciences
of the Czech Republic, (2007), 205240.
[136] M.A. Smith, Product of Banach spaces that are uniformly rotund in every direction,
Pacic J. Math. 73 (1977), 215219.
[137] H. Suyari, M. Tsukada, Tsallis dierential entropy and divergences derived from the
generalized Shannon-Khinchin axioms, in: Proceedings of the 2009 IEEE international
conference on Symposium on Information Theory (ISIT), ser. ISIT'09, vol. 1. Piscata-
way, NJ, USA: IEEE Press, 2009, pp. 149153.
[138] M. Talagrand, Weak Cauchy sequences in L1(E), Amer. J. Math. 106 (1984), 703724.
[139] D. Tomescu, Construction of a function seminorm having the Riesz-Fischer property,
Bull. Math. Soc. Sci. R.S.R. 24 (72) (1980), 209213.
[140] H. Triebel, Entropy numbers in function spaces with mixed integrability, Rev. Mat.
Complut. (2011), 169188.
52
[141] B. Trivellato, The minimal k-entropy martingale measure, Int. J. Theor. Appl. Finance
15 (2012), 1250038.
[142] C. Tsallis, Introduction to Nonextensive Statistical Mechanics, Springer
Science+Business Media, LLC, 2009.
[143] C. Tsallis, Possible generalization of Boltzmann-Gibbs statistics, J. Stat. Phys. 52
(1988), 479487.
[144] G. Wilk, Z. Wlodarczyk, Example of a possible interpretation of Tsallis entropy, Phy-
sica A 387 (2008), 48094813.
[145] X. Wu, Maximal distributional chaos of weighted shift operators on Köthe sequence
spaces, Czech. Math. J. 64 (2014), 105114.
[146] X. Wu, P. Zhu, Li-Yorke chaos of backward shift operators on Köthe sequence spaces,
Topology and its Applications 160 (2013), 924929.
[147] Lin Yu, Dual spaces of weak Orlicz-Hardy spaces for vector-valued martingales, J. Math.
Anal. Appl. 437 (2016), 7189.
[148] A.C. Zaanen, Integration, North Holland Publishing Co. Amsterdam, 1967.
[149] C. Z linescu, Convex Analysis in General Vector Spaces, World Scientic Publishing
Co. Pte. Ltd. 2002.
53