浅谈不等式证明的若干方法.doc

浅谈不等式证明的若干方法 1、相关定义 1.1、基本概念 本节开始我们先来介绍一些必要的符号和定义,它们主要来自文献[9, 15, 16] 记B(H)是Hilbert空间H上的有界线性算子的集合. 定义1.1.1.[9] B(H)的子集M称为von Neumann代数,如果 (1)a M则a? M. (2)1 ∈ M. (3)M关于算子弱拓扑封闭. 定义1.1.2.记M是von Neumann代数,M+ 是M中的正元,则函数τ : M+ → [0,∞]叫 做正常的、忠实的、半有限的迹,如果 (1)τ(T + S) = τ(T) + τ(S); (2)τ(λT) = λτ(T); T M+, λ ∈ [0,∞] (假定0∞ = 0) (3)τ(T?T) = τ(TT?); T M (4)如果Tα 是在算子强拓扑意义下单调递增的趋向于T的网,则τ(Tα)单调增趋向 于τ(T). 定义1.1.3.[15,16] 设T 是H上的线性算子.若它的定义域D(T)在H中稠,则称T 是稠 定的. 定义1.1.4.[17,18] 设X , Y 是Banach空间, T 是一个线性算子,其中定义域D(T) ? X 是X 的一个线性子空间,其值域R(T) ? Y ,我们称乘积空间X ×Y 上的线性子空 间 G(T) = { X × Y , x ∈ D(T)} 为线性算子T 的图.如果图G(T)在X × Y 中是闭的,就称算子T 是闭的. 设T1, T2 是两个X 到Y 的线性算子,如果G(T1) ? G(T2),就称T2 是T1 的一个扩张 算子,记作T1 ? T2. 对于线性算子T,若存在扩张算子S ? T,使得G(T) = G(S),就称T 是可闭化的,S 称 为T 的闭包,记作S = T. 定义1.1.5.[18] 设T是H上的稠定线性算子, 如果对于任意的向量x H都有(Tx,x) ≥ 0,则称T是正算子, 记作T ≥ 0. 3 定义1.1.2.[18] 设T是H上的稠定线性算子若T? = T,则称T 为自伴算子; 若TT? = T?T = I (等价于T? = T?1),则称T 为酉算子. 定义1.1.6.[18] 设X 是一个集合,?是X 的一个子集族,且是一个包含φ和X 的σ?代 数. (X, ?, H)上的谱测度是指一个函数E : ? → B(H)满足以下条件: (1)对于?中的任一个集合?,E(?)是一个投影; (2)E(?) = 0, E(X) = I; (3)对于?中的两个集合?1, ?2,E(?1 ∩ ?2) = E(?1)E(?2); (4)如果{?n}n∞=1 是?中的互不相交的集合,则E(n∞=1?n) = Σn∞=1E(?n). 记M是Hilbert空间H上的 vonNeumann代数且具有正规,忠实的半有限迹.M 为M的 交换子,即与所有M中的元素乘积可交换的元素构成的集合. 定义1.1.7.[18] P B(H)称为投影算子,若 (1)P 是自伴算子;(2)P2 = P. 若P = U?U 且Q = UU?,对U M.则称两投影算子P 和Q是等价的,记为” ~ “. 若P 等价于Q的一个子投影,则P Q. 定义1.1.8.[15] 设E 是H的子空间,若?δ R+,存在M上的投影P 使得PH ? E 且 τ(1 ? P) ≤ δ 其中1 ? P = P 为P 的正交投影,则称E 是τ?稠的. 定义1.1.9.[15] 设a是H上的线性算子.若满足?y M : ya ? ay,则称a重属于M,记 为a M. 记M是由重属于M的稠定闭算子组成的集合. 定义1.1.10.[15] 设a M,算子a称为是τ?可测的.若D(a)是τ?稠的,即对任意的正 实数δ 存在M上的投影P,满足PH ? D(a)且τ(1 ? P) ≤ δ. 定义1.1.11.[15] 若两个稠定算子a和b的和a + b是可闭化的且是稠定的,则闭包[a + b]称为a和b的强和; 若ab是可闭化的和稠定的,则闭包[ab]称为a和b的强积. 记M为τ?可测算子的集合.设ε, δ 0.记N(ε,δ) = {T M; 存在投影E M 满足 TE ≤ ε且τ(1 ? E) ≤ δ}. 则{N(ε,δ);ε,δ 0}组成M中0的拓扑基,M是关于强 和、强积的完备拓扑??代数([9, 15]). 定义1.1.12. 每一个酉不变范数都满足在酉矩阵的作用下范数是不变的,即若A是n × n矩阵,对每一个酉矩阵U, V, 都有 |UAV | = |A |成立. (对酉不变范数的一般理论可以参考文献[1,3,4,19]). 4 第二节 τ?可测算子的广义奇异值 若f 是可测空间(?,μ)中的可测函数,则f 的分布函数为 λs(f) = μ({