|
特别地,Xcan是nw的一个紧子集,具有欧氏距离或具有离散度量d(x,y)={x 6=y}的任意有限集。注意,在后一种情况下,κ和q自动连续。Borel可测函数g的集合,从x到kgk:=R | g | dπ<∞ 用L(π)表示。除非另有说明,否则收敛与tok·k有关。对于g,h∈ L(π),陈述g6h意味着g6h几乎处处都是π,而g h表示g<h几乎在所有地方都有π。符号C表示所有g∈ L(π)使得g 设M是映射L(π)到自身的线性算子。M的算子范数和谱半径由kMk定义:=sup{kMgk:g∈ L(π),kgk 6 1}和r(M):=limn→∞kMnk1/n相关。如果Mg>0,当伯格>0时,运算符M称为正。如果kMk是有限的,则称为有界的;如果M下的单位球inL(π)的图像在范数拓扑中是预紧的,则称为紧致的。如果S(λf+(1),则将L(π)的凸子集E映射到自身的(可能是非线性)算子称为E上的凸算子- λ) g)6λS+(1- λ) 所有f、g的Sg∈ E和所有λ∈ [0, 1]; 如果反向不等式成立,则为凹形。如果f 6 g表示Sf 6 Sg,则称为等渗酮。以下是适用于L(π)的局部谱半径结果。此处提供的证据来自Miros lawa Zima(私人通信),并借鉴了Zabreiko等人(1967)的早期结果。定理A.1(Zabreiko–Krasnosel\'skii–Stetsenko–Zima)。设h是L(π)的元素,M是正紧线性算子。如果h 0,然后单击→∞kMnhk1/n=r(M)。(40)定理A.1的证明。设h和M在定理的陈述中为。回想一下R(h,M)=lim supn→∞kMnhk1/nis h处M的局部光谱半径。从r(M)的定义可以看出r(h,M)>r(M)。为此,设λ为满足λ>r(h,M)和lethλ的常数:=∞Xn=0Mnhλn+1。
|