泛函分析预备知识.docVIP

2.预备知识 在这一节，作为预备知识，我们介绍Banach空间，线性算子和线性算子谱 等概念. 2.1 Banach 空间 首先引进线性空间和赋范线性空间的定义. 定义2?1?1⑷设X是一个集合，其中规定了两种运算(“加法”与数乘)，使 得 X关丁?加法构成交换群：Vx, y e X ,存在tie X f称”为x与yZ和，记 为 u = x + y,满足 Vx, y e X , x + y = y + x, 兀 + (y + z)=(兀 + y) + z, 存在OwX,使彳导VxwX,兀+ 0 = x, 对丁每个Vxw X,存在V兀丘X,xf g X使得x + xr = 0.记兀=-兀，称是x 的负元， 数乘运算可行：PxgXogR，存在veX ,称u为Q与x的积，记为 v - ax，满足 Vx, y e X卩 w R, 1 X X = X , a(/?r) =(G+ 0)兀， a(x + y) = ax + ay. (cz + J3)x = ax + /3x, 则称X是线性空间. 定义2丄2⑵设X是线性空间，若映射p:X -R满足 p(x)O,VxeX, p{ax) = a p(x),Vx e X.a e R, ⑶ p(x + y) p(x) + p(y), Vx, y e X , (4) p(x) = 0 时 x = 0, 则称P是X上的范数，此时记p（x） = ||x||,称（X,||.||）是线性赋范空间. 我们为了引进Banach空间的定义，我们先引进完备的赋范线性空间的定 义. 定义2.1.3⑵设（x』||）是赋范线性空间，是亿||?||）中的一个点列，若 lim卜“- xm = 0 ,则称｛兀“｝是Cauchy点列. 定义2.1.4121若中的每个Cauchy点列｛兀」都是收敛的，即卞w X ,使得 lim||xn -x|| = 0,则称（x,||?||）是完备的. 定义2?1?5囚完备的线性赋范空间称为Banach空间. 下面我们举一个Banach空间的例了. 例 2. 1. 1 /?是 Banach 空间. 证明：首先，证明空间/T按范数 卜卜』 ’* =（兀]宀，…,兀”）W尺 成为一个赋范线性空间. 显然，对 Vx = （xpx2,---,xJg R,有』不|2 +|孔|2 + …+ 比|2 no -H- J比『+匕|2 +... +住订2 = °当且仅当X = 0. 对V。（常数），有|姻| = +宓2『+…宓」2 = Jq2（X] 2 +卜2『+... +心2） =+ =|a制； 对 Vx,y g R, x = （x1,x2,---,xj,y =（儿，儿，…,儿），有 卜+）?|| =』坷+）｛+卜2+『2|2+.??+忱+儿|2 s J|x『+圍 + …+ |x”|2 +』）『+血|2 + …I儿f = ||x|| + ||y||, 由赋范线性空间定义可知，/?〃按范数 開I二 J|X]『+ 住2『 |x”「，X =（X],兀2,…，兀）U 川 成为一个赋范线性空间. 具次，我们证明空间/?是完备的. 设｛,｝是中任意一个Cauchy点列，其中? =（可尼,…，町），＞0,则 由 Cauchy 点列定义，3N e N+, \/p,r N ,有 卜 p -石卜［￡(灯 一 )2 严 V ￡ (P，rN), ?=1 (2. 1. 1) 于是,对T* p,r N以及i = l,2,???,〃,有 (x/? 一 X：) 云及 xf 一 X- 8 ? 根据? Cauchy收敛准则有 (p-oo) 显然，X =(兀1，乳2…兀)丘尺?在(2.1.1)式中令厂TOO,则得 卜〃 -兀H (p n) ｛易」皐1是按范数收敛-Tx,即/r是完备的. 因此，/?按范数|卜||二J%广+|兀2『+…+比『成为一个Banach空间. 2.2线性算子 在这一段，我们介绍线性算子的定义. 定义2.2.1⑶设是两个非空集合，/是一个对应规则，它使每个XG A, 对应惟一的元索ywB,记为y = /(x),则称/■是A到B的一个映射，记作 f :A^ ? A叫做映射/的定义域，记为D(f\f(A)=｛f(x)xeA｝称为映射/的定义域. 定义2.2.2⑶ 设X, Y都是赋范线性空间，T:X 是映射，若 \/兀］,兀2 $ X,a,(3 e R, r(cu, + fix2) = aTx^ + pTx2, 称T是线性算子. 下面我们举一个线性算子的例子. 例2.2.1设X=R\Y = Rn, ?对于每个m x n阶矩阵A = (aij)，定义 T：X T y,T(兀 1，兀2 ???￡)= 61*2 …儿)使得? yj =工。“呂，j = i,?…，加. Z = 1 （2.2. 1） 容易验证T是线性算子?若用矩阵表示，