|
(i) 对于所有的c>0,存在常数Ac,Bc>0,使得Ack·kc,R≤ k·kR≤ Bck·kc,R,尤其是LR={X∈ LP | kXkc,R<∞} 对于所有c>0和(k·kc,R)c>0是LR上的等价范数族。此外,kXk∞≥ B-1ρR(1)kXkR,X∈ L∞P、 因此我∞P LR。(二)X∈ LRif和仅ifR | X | du<∞ 对于所有u∈ dom(ρ*R) 。(iii)(LR,k·kR)是Banach晶格。(iv)| X |≤ |Y |表示kXkc,R≤ kY kc,Rand因此LRis稳定。特别是,损益重组下的LRisinvariant,即如果∈ L∞Pattaining值in[-1,1],然后是Д·X∈ LR带kхXkc,R≤ kXkc,R.证明。首先我们设置∧c(X):={λ>0 |ρ(λ-1 | X |)≤ c} ,即kXkc,R=inf∧c(X)。(i) :假设c∈ (0,1)并设X∈ 有限合伙人。请注意,kXkR=∞ 当且仅当∧(X)=,这意味着∧c(X)= 或等效kXkc,R=∞. 现在假设kXkR<∞, 并选择λ∈ ∧(X)。Asρ*R≥ 0,我们有ρ(c | X |/λ)=supu∈dom(ρ*R) Zcλ| X | du- ρ*R(u)≤ cρ(| X |/λ)≤ c、 这意味着kXkR≥ ckXkc,R.平凡地,∧c(X) ∧(X),因此kXkc,R≥ kXkR。因此,我们可以选择Ac=c和Bc=1。情况c>1的处理类似。单调性意味着ρ(| X |)/kXk∞) ≤ ρR(1)对于所有X∈ L∞P、 产生kXk∞≥kXkρR(1),R≥ B-1ρR(1)kXkRand L∞P LR。k·kc,Ris确实是一个标准:三角形不等式和同质性的验证是向前迈进的。对于k·kc,r,letu的不确定性∈ dom(ρ*R) 要专横。对于所有λ∈ ∧c(X)我们得到估计kλ-1XkLu- ρ*R(u)≤ ρ(λ-1 | X |)≤ c、 我们可以推断c+ρ*R(u)kXkLu≤ kXkc,R.(4.2)选择u∈ dom(ρ*R) 因此u=γP产生k·kc,R.(ii)的不确定性:根据(4.2)得出,对于所有X∈ LRand allu∈ dom(ρ*R) 可积条件R | X | du<∞ 保持。对于c onverse含义,让X∈ LP\\LRbe ar bitrary,后者等于ρ(t | X |)=∞ 对于所有t>0。如前所述,我们设置Ec:={u∈ 盖|ρ*R(u)≤ c} ,c∈ R、 并将显示有一个ν∈ Esuch thatR | X | dν=∞.
|