希尔伯特空间













希爾伯特空間可以用來研究振動的弦的諧波。


在数学裡，希尔伯特空间（英语：Hilbert space）即完备的内积空间，也就是說一個帶有內積的完備向量空間。希尔伯特空间是有限维欧几里得空间的一个推广，使之不局限于實數的情形和有限的维数，但又不失完备性（而不像一般的非欧几里得空间那样破坏了完备性）。与欧几里得空间相仿，希尔伯特空间也是一个内积空间，其上有距离和角的概念（及由此引申而来的正交性与垂直性的概念）。此外，希尔伯特空间还是一个完备的空间，其上所有的柯西序列會收敛到此空間裡的一點，从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。


希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。




目录






  • 1 简单介绍


  • 2 定义


  • 3 常见的例子


    • 3.1 欧几里得空间


    • 3.2 序列空间


    • 3.3 勒贝格空间


    • 3.4 索伯列夫空间




  • 4 希尔伯特空间的相互作用


  • 5 性質


    • 5.1 畢達哥拉斯恆等式


    • 5.2 平行四邊形恆等式和極化恆等式


    • 5.3 最佳逼近


    • 5.4 對偶性


    • 5.5 弱收斂序列


    • 5.6 巴拿赫空間的性質




  • 6 希尔伯特空间的基


  • 7 请参见


  • 8 注解和引用





简单介绍


希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中[1]，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特[2]和朗道展开，随后由尤金·维格纳（Eugene Wigner）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》[3]（The Theory of Groups and Quantum Mechanics）中就使用了这一名词。


一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列复数或是一个函数。例如在量子力学中，一个物理系统可以表示为一个複希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）。



定义


在一个複數向量空间H{displaystyle H}H上的给定的内积<.,.>{displaystyle <.,.>}<.,.>可以按照如下的方式导出一个范数（norm）‖.‖{displaystyle Vert .Vert }Vert . Vert：


‖x‖=⟨x,x⟩{displaystyle Vert xVert ={sqrt {langle x,xrangle }}}Vert x Vert = sqrt{langle x, x rangle}

此空间称为是一个希尔伯特空间，如果其对于这个范数来说是完备的。这里的完备性是指，任何一个柯西列都收敛到此空间中的某个元素，即它们与某个元素的范数差的极限为0{displaystyle 0}{displaystyle 0}。任何一个希尔伯特空间都是巴拿赫空间，但是反之未必。


任何有限维内积空间（如欧几里得空间及其上的点积）都是希尔伯特空间[來源請求]。但从实际应用角度来看，无穷维的希尔伯特空间更有价值，例如



  • 酉群（unitary group）的表示论。

  • 平方可积的随机过程理论。


  • 偏微分方程的希尔伯特空间理论，特别是狄利克雷问题。

  • 函数的谱分析及小波分析。


  • 量子力学的数学描述。

内积可以帮助人们从“几何的”观点来研究希尔伯特空间，并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。


傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。



常见的例子


在以下例子中，假设所有的希尔伯特空间都是複數，尽管实际应用中大多是實數。



欧几里得空间


Cn{displaystyle mathbb {C} ^{n}}mathbb{C}^n及其上的内积


⟨x,y⟩=∑k=1nxk¯yk{displaystyle langle x,yrangle =sum _{k=1}^{n}{overline {x_{k}}}y_{k}}langle x, y rangle = sum_{k=1}^n overline{x_k} y_k

构成了一个希尔伯特空间，其中短横线表示一个复数的复共轭。



序列空间


更一般的希尔伯特空间都是无穷维的，假设B{displaystyle B}B是一个任意集合，可以定义其上的ℓ2{displaystyle ell ^{2}}ell^2序列空间，记为


ℓ2(B)={x:B→C|∑b∈B|x(b)|2<∞}{displaystyle ell ^{2}(B)=left{x:Brightarrow mathbb {C} ,{bigg |},sum _{bin B}left|xleft(bright)right|^{2}<infty right}}ell^2(B) =left{ x:B rightarrow mathbb{C},bigg|,sum_{b in B} left|x left(bright)right|^2 < infty right}

此空间在定义如下内积后，成为一个希尔伯特空间：


⟨x,y⟩=∑b∈Bx(b)¯y(b){displaystyle langle x,yrangle =sum _{bin B}{overline {x(b)}}y(b)}langle x, y rangle = sum_{b in B} overline{x(b)} y(b)

其中x{displaystyle x}x和y{displaystyle y}y是ℓ2(B){displaystyle ell ^{2}(B)}ell^2(B)中的任意元素。在这个定义中，B{displaystyle B}B并非一定要是可数的，在B{displaystyle B}B不可数之情形下，ℓ2(B){displaystyle ell ^{2}(B)}ell^2(B)不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的B{displaystyle B}B的情况下，都可以表示成为ℓ2(B){displaystyle ell ^{2}(B)}ell^2(B)的一个同构空间。特别地，当B=(N){displaystyle B=mathbb {(} N)}B = mathbb(N)的时候，可以将其简单记为ℓ2{displaystyle ell ^{2}}ell^2。



勒贝格空间


勒贝格空间( 這裡指 L2(X){displaystyle L^{2}(X)}L^2(X) 空間 )是指定義在测度空间(X,M,μ){displaystyle (X,{mathcal {M}},mu )}(X, mathcal{M}, mu) 上的函数空间，其中X{displaystyle X}X 代表函數的定義域，M{displaystyle {mathcal {M}}}{mathcal {M}} 的元素是 X{displaystyle X}X上的子集族，為 一個 σ{displaystyle sigma }sigma 代数，一般把 M{displaystyle {mathcal {M}}}{mathcal {M}} 稱作可測空間(measurable space)，而 μ{displaystyle mu }mu 是 M{displaystyle {mathcal {M}}}{mathcal {M}} 上的测度。


更仔細的說，L2(X,μ){displaystyle L^{2}(X,mu )}L^2(X, mu)( 簡寫做 L2(X){displaystyle L^{2}(X)}L^2(X) ) 表示 X{displaystyle X}X 上所有平方可积（square-integrable）的複數值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 L2(X){displaystyle L^{2}(X)}L^2(X) 空間裡，對於几乎处处( almost everywhere )相同的函数，也就是說如果兩函數只在一个测度为0的集合上不相等，我們把這兩函數當做在 L2(X){displaystyle L^{2}(X)}L^2(X) 中相同的元素。


此时两个函数f{displaystyle f}f和g{displaystyle g}g的内积定義为


⟨f,g⟩=∫Xf(t)¯g(t) dμ(t){displaystyle langle f,grangle =int _{X}{overline {f(t)}}g(t) dmu (t)}langle f,grangle=int_X overline{f(t)} g(t) d mu(t)

  • 因為 f,g∈L2(X){displaystyle f,gin L^{2}(X)}f,gin L^2(X)，所以這內積的定義沒有問題。

但需要证明的是：


  • 此空间在此内积下是完备的。

这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于Lp{displaystyle L^{p}}L^p空间的著作。



索伯列夫空间


索伯列夫空间一般表示为Hs{displaystyle H^{s}}H^s或者Ws,2{displaystyle W^{s,2}}W^{s, 2}是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。



希尔伯特空间的相互作用


给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。



性質



畢達哥拉斯恆等式


在希爾伯特空間 .mw-parser-output .serif{font-family:Times,serif}H 中，若兩支向量 u 和 v 滿足 〈u,v〉 = 0，則稱它們正交，記為 u ⊥ v. 更一般地，若 S 是 H 的子集，則 u ⊥ S 表示 u 與 S 的每個元素都正交。


當 u 和 v 正交時，就有


‖u+v‖2=⟨u+v,u+v⟩=⟨u,u⟩+2Re⁡⟨u,v⟩+⟨v,v⟩=‖u‖2+‖v‖2.{displaystyle |u+v|^{2}=langle u+v,u+vrangle =langle u,urangle +2,operatorname {Re} langle u,vrangle +langle v,vrangle =|u|^{2}+|v|^{2},.}{displaystyle |u+v|^{2}=langle u+v,u+vrangle =langle u,urangle +2,operatorname {Re} langle u,vrangle +langle v,vrangle =|u|^{2}+|v|^{2},.}

對 n 使用數學歸納法，上式可以推廣到對任意 n 支正交向量 u1, ..., un 成立，即


‖u1+⋯+un‖2=‖u1‖2+⋯+‖un‖2.{displaystyle |u_{1}+cdots +u_{n}|^{2}=|u_{1}|^{2}+cdots +|u_{n}|^{2},.}{displaystyle |u_{1}+cdots +u_{n}|^{2}=|u_{1}|^{2}+cdots +|u_{n}|^{2},.}

畢達哥拉斯恆等式對每個內積空間都成立，但希爾伯特空間具有完備性，故此恆等式可推廣到對級數成立。一列 正交 向量組成的級數 ∑uk 在 H 中收斂當且僅當各項範數平方組成的級數收斂，且此時


‖∑k=0∞uk‖2=∑k=0∞‖uk‖2.{displaystyle left|sum _{k=0}^{infty }u_{k}right|^{2}=sum _{k=0}^{infty }left|u_{k}right|^{2},.}{displaystyle left|sum _{k=0}^{infty }u_{k}right|^{2}=sum _{k=0}^{infty }left|u_{k}right|^{2},.}

此外，正交向量的級數和與求和順序無關。



平行四邊形恆等式和極化恆等式




幾何上，平行四邊形恆等式給出
AC2 + BD2 = 2(AB2 + AD2). 換言之，兩對角線的平方和等於兩鄰邊平方和的兩倍。


由定義，每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中，以下平行四邊形恆等式成立:


‖u+v‖2+‖u−v‖2=2(‖u‖2+‖v‖2).{displaystyle |u+v|^{2}+|u-v|^{2}=2left(|u|^{2}+|v|^{2}right),.}{displaystyle |u+v|^{2}+|u-v|^{2}=2left(|u|^{2}+|v|^{2}right),.}

反之，若一個巴拿赫空間滿足平行四邊形恆等式，則其亦為希爾伯特空間，因為它的內積可由極化恆等式唯一確定。[4] 對實希爾伯特空間，極化恆等式是


⟨u,v⟩=14(‖u+v‖2−‖u−v‖2).{displaystyle langle u,vrangle ={tfrac {1}{4}}left(|u+v|^{2}-|u-v|^{2}right),.}{displaystyle langle u,vrangle ={tfrac {1}{4}}left(|u+v|^{2}-|u-v|^{2}right),.}

而對複希爾伯特空間，其為


⟨u,v⟩=14(‖u+v‖2−‖u−v‖2+i‖u+iv‖2−i‖u−iv‖2).{displaystyle langle u,vrangle ={tfrac {1}{4}}left(|u+v|^{2}-|u-v|^{2}+i|u+iv|^{2}-i|u-iv|^{2}right),.}{displaystyle langle u,vrangle ={tfrac {1}{4}}left(|u+v|^{2}-|u-v|^{2}+i|u+iv|^{2}-i|u-iv|^{2}right),.}

由平行四邊形恆等式，可以推出任何希爾伯特空間都是一致凸巴拿赫空間（英语：uniformly convex space）。[5]



最佳逼近


根據希爾伯特射影定理（英语：Hilbert projection theorem），若 C 是希爾伯特空間 H 的非空閉凸子集，x為 H 的任一點，則存在唯一的 y ∈ C 使其到 x 的距離是各個 C 中的點到 x 的距離中最小的，即[6]


y∈C,‖x−y‖=dist⁡(x,C)=min{‖x−z‖:z∈C}.{displaystyle yin C,,quad |x-y|=operatorname {dist} (x,C)=min{|x-z|:zin C},.}{displaystyle yin C,,quad |x-y|=operatorname {dist} (x,C)=min{|x-z|:zin C},.}

此等價於經平移的凸集 D = C − x 中有範數最小的元素。欲證之，可先證明對每個序列 (dn) ⊂ D，若各項範數趨向於D中範數的下確界，則其為柯西序列（利用平行四邊形恆等式），故由完備性知其收斂到D 的某點。此結論對任意一致凸巴拿赫空間均適用。[7]


當對 H 的閉子空間 F 應用此結論時，可以證明最靠近 x 的點 y ∈ F 滿足[8]


y∈F,x−y⊥F.{displaystyle yin F,,quad x-yperp F,.}{displaystyle yin F,,quad x-yperp F,.}

該點 y 稱為 x 到 F 上的 正交射影 ，而這給出的映射 PF : x ↦ y 是線性的。此結論於應用數學有用，而數值分析尤甚，因這結論是最小二乘法的基礎。 [9]


特別到，當 F 不等於 H 時，可找到一支非零向量 v 與 F 正交（選 x ∉ F 並考慮 v = x − y）。由此得到一個有用的判定條件：




H 的子集
S 線性生成一個稠密的子空間當且僅當向量
0 是
H 中與
S 正交的唯一向量。


對偶性


对偶空间 H* 是所有由H 到其系數域的連續線性函數組成的空間。 其具有一個自然的範數，由下式給出：


‖φ‖=sup‖x‖=1,x∈H|φ(x)|.{displaystyle |varphi |=sup _{|x|=1,xin H}|varphi (x)|,.}{displaystyle |varphi |=sup _{|x|=1,xin H}|varphi (x)|,.}

這滿足平行四邊形恆等式，故對偶空間亦為一個內積空間。同時它也是完備的，所以希爾伯特空間的對偶空間也是希爾伯特空間。


里斯表示定理 描述了這個對偶空間。 對每個 H 的元素 u ， H* 中有唯一的 φu 滿足


φu(x)=⟨x,u⟩.{displaystyle varphi _{u}(x)=langle x,urangle ,.}{displaystyle varphi _{u}(x)=langle x,urangle ,.}

則 u ↦ φu 是從 H 到 H* 的反线性映射。里斯表示定理說此映射是個反線性同構。 [10] 所以對每個 H* 的元素 φ，都存在唯一的 uφ ∈ H 使得


⟨x,uφ⟩=φ(x){displaystyle langle x,u_{varphi }rangle =varphi (x)}{displaystyle langle x,u_{varphi }rangle =varphi (x)}

對任意 x ∈ H 都成立。 對偶空間 H* 上的內積滿足


⟨φ,ψ⟩=⟨uψ,uφ⟩.{displaystyle langle varphi ,psi rangle =langle u_{psi },u_{varphi }rangle ,.}{displaystyle langle varphi ,psi rangle =langle u_{psi },u_{varphi }rangle ,.}

注意右邊的次序反轉了，才使 uφ 的反線性變回上述內積對 φ 的線性。當 H 是實希爾伯特空間時，從 H 到其對偶的反線性同構實際上是一般的同構，所以實希爾伯特空間自然地與其對偶同構。


表示 φ 的向量 uφ 可藉下列方法找到。 當 φ ≠ 0 時， 核 F = Ker(φ) 是 H 的閉子空間，且不等於 H ，故存在非零向量 v 與 F 正交。 取向量 u 為 v 的純量倍 λv，於是條件 φ(v) = ⟨v,u⟩ 給出


u=⟨v,v⟩−1φ(v)¯v.{displaystyle u=langle v,vrangle ^{-1},{overline {varphi (v)}},v,.}{displaystyle u=langle v,vrangle ^{-1},{overline {varphi (v)}},v,.}

物理學上廣泛應用的狄拉克符号正正利用了φ ↔ u 的對應關係。 物理學家通常約定，內積 ⟨x|y⟩ 對右邊的運算元線性，即


⟨x|y⟩=⟨y,x⟩.{displaystyle langle x|yrangle =langle y,xrangle ,.}{displaystyle langle x|yrangle =langle y,xrangle ,.}

於是 ⟨x|y⟩ 可以視為線性泛函 ⟨x| （稱為 左矢 ）作用在向量 |y⟩ （稱為 右矢 ）的結果。


里斯表示定理要求空間的完備性。事實上，從定理可知任意內積空間的拓撲對偶都與其完備化空間同構。作為里斯表示定理的直接推論， 希爾伯特空間 H 是 自反空间, 即由 H 到其對偶之對偶的自然映射是同構。



弱收斂序列


主条目：弱收斂（希爾伯特空間）

在希爾伯特空間 H 中，若序列 {xn} 滿足對任意的 v ∈ H, 都有


limn⟨xn,v⟩=⟨x,v⟩,{displaystyle lim _{n}langle x_{n},vrangle =langle x,vrangle ,}{displaystyle lim _{n}langle x_{n},vrangle =langle x,vrangle ,}

則稱該序列弱收斂（英语：Weak topology#Weak convergence）到向量 x ∈ H.


例如，任何正交序列 {fn} 都弱收斂到  0. 此為贝塞尔不等式的結果。根據一致有界原理，每個弱收斂序列 {xn} 都有界。


反之，希爾伯特空間中的每個有界序列，都有一個弱收斂子序列，此謂巴拿赫-阿拉奧盧定理。[11] 這可用作證明某些連續凸泛函的最小值的存在性，正如波爾查諾－魏爾斯特拉斯定理適用於 ℝd 上的連續函數。一個較簡單的結果是：[12]


若
f : H → ℝ 為凸的連續函數，使得當
‖x‖ 趨向於
∞ 時，就有
f(x) 趨向於
+∞，則
f 在某點
x0 ∈ H 取得最小值。

此個結論（並其若干推廣）是变分法中直接法（英语：direct direct method in the calculus of variations）的基礎。更抽象地說，凸泛函的最小值存在，也是因為希爾伯特空間 H 上的閉有界凸集均為弱緊集（因為 H 是自反空間）。弱收斂子序列的存在性是 Eberlein–Šmulian theorem（英语：Eberlein–Šmulian theorem） 的特殊情況。



巴拿赫空間的性質



希尔伯特空间的基


希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数{ek}k∈B{displaystyle {e_{k}}_{kin B}}{e_k}_{k in B}满足：



  • 所有元素都是单位化的：即对于任意x{displaystyle x}x，‖ek‖=1{displaystyle Vert e_{k}Vert =1}Vert e_k Vert = 1，∀k∈B{displaystyle forall kin B}forall k in B。

  • 所有元素彼此正交：若x{displaystyle x}x和y{displaystyle y}y是这族基中的不同元素，那么<x,y>=0{displaystyle <x,y>=0}<x, y> = 0。

  • 其线性扩张稠密：即其中的所有元素的有限的线性组合是H{displaystyle H}H的一个稠密子集。


有时也使用标准正交列或标准正交集指代。


标准正交基的一些实例：



  • 集合（{(1,0,0),(0,1,0),(0,0,1)}{displaystyle {(1,0,0),(0,1,0),(0,0,1)}}{(1,0,0),(0,1,0),(0,0,1)}）


请参见




  • 完备的度量空间或完备的距离空间

  • 完备的赋范空间

  • n维欧几里得空间



注解和引用




  1. ^ Von Neumann, John. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren. Mathematische Annalen. 1929, 102: 49–131. 


  2. ^ Hilbert, David; Lothar Nordheim and John von Neumann. Über die Grundlagen der Quantenmechanik. Mathematische Annalen. 1927, 98: 1–30.  引文使用过时参数coauthors (帮助)[永久失效連結]


  3. ^ Weyl, Hermann. The Theory of Groups and Quantum Mechanics English edition (1950). Dover Press. 1931. ISBN 978-0-486-60269-1. 


  4. ^ Young 1988，第23页.


  5. ^ Clarkson 1936.


  6. ^ Rudin 1987，Theorem 4.10


  7. ^ Dunford & Schwartz 1958，II.4.29


  8. ^ Rudin 1987，Theorem 4.11


  9. ^ Blanchet, Gérard; Charbit, Maurice. Digital Signal and Image Processing Using MATLAB. Digital Signal and Image Processing 1 Second. New Jersey: Wiley. 2014: 349–360. ISBN 978-1848216402. 


  10. ^ Weidmann 1980，Theorem 4.8


  11. ^ Weidmann 1980，§4.5


  12. ^ Buttazzo，Giaquinta & Hildebrandt（1998），Theorem 5.17



  • Jean Dieudonné, Foundations of Modern Analysis, Academic Press, 1960.


  • B.M. Levitan, Hilbert space, (编) Hazewinkel, Michiel, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 














































  • 查

  • 论

  • 编


泛函分析

集合 / 子集


  • 绝对凸集

  • 吸收集

  • 平衡集

  • 有界集 (拓扑向量空间)（英语：Bounded set (topological vector space)）

  • 凸集

  • 径向集

  • 星形域

  • 对称集

  • 凸锥（英语：Convex cone）
拓扑向量空间


  • 巴拿赫空间

  • 欧几里得空间

  • 希尔伯特空间

  • 局部凸（英语：Locally convex topological vector space）


  • 赋范向量空间 (范数)

  • 拟赋范空间

  • 自反空间


  • 拓扑张量积（英语：Topological tensor product） (希尔伯特空间中)
映射拓扑


  • 对偶空间

  • 算子拓扑（英语：Operator topologies）

  • 弱拓扑（英语：Weak topology）

  • 强拓扑（英语：Strong topology）

  • 拓扑的一致收敛（英语：Topology of uniform convergence）
线性算子


  • 伴随


  • 双线性映射 (双线性型)


  • 有界算子 / 无界算子

  • 连续线性算子

  • 紧算子

  • Fredholm算子（英语：Fredholm operator）

  • 希尔伯特-施密特算子

  • 线性泛函

  • 正规算子

  • 核型算子（英语：Nuclear operator）

  • 自伴算子

  • 严格奇异算子（英语：Strictly singular operator）

  • 迹类算子

  • 线性映射转置（英语：Transpose of a linear map）

  • 酉算子
集合运算


  • 代数内部

  • 内部

  • 闵可夫斯基和

  • 极性集
算子理论（英语：Operator theory）


  • 巴拿赫代数（英语：Banach algebra）

  • C*-代数


  • 谱 (泛函分析) (谱半径)


  • 谱理论（英语：Spectral theory）(谱定理)

  • 极分解

  • 奇异值分解
定理


  • 阿尔泽拉－阿斯科利定理

  • 巴拿赫-阿劳格鲁定理（英语：Banach–Alaoglu theorem）

  • 巴拿赫-马祖尔定理（英语：Banach–Mazur theorem）

  • 贝尔纲定理

  • 贝塞尔不等式

  • 柯西-施瓦茨不等式

  • 闭值域定理

  • 闭图像定理

  • 哈恩－巴拿赫定理

  • 角谷不动点定理（英语：Kakutani fixed point theorem）

  • 不变子空间问题

  • Riesz延拓定理（英语：M. Riesz extension theorem）

  • 开映射定理

  • 拉克斯－米尔格拉姆定理

  • 帕塞瓦尔恒等式

  • 肖德尔不动点定理（英语：Schauder fixed point theorem）
分析



  • 导数 (加托导数


  • 泛函导数)


  • 积分 (博赫纳积分


  • 佩蒂斯积分（英语：Pettis integral）)


  • 泛函演算（英语：Functional calculus） (波莱尔泛函演算（英语：Borel functional calculus）


  • 连续泛函演算（英语：Continuous functional calculus）)

  • 反函数定理

  • 向量测度

  • 弱可测函数



Comments

Post a Comment

Popular posts from this blog

Information security

Image
This article is part of a series on Information security Related security categories Internet security Cyberwarfare Computer security Mobile security Network security Threats Computer crime Vulnerability Eavesdropping Malware Spyware Ransomware Trojans Viruses Worms Rootkits Bootkits Keyloggers Screen scrapers Exploits Backdoors Logic bombs Payloads Denial of service Defenses Computer access control Application security Antivirus software Secure coding Secure by default Secure by design Secure operating systems Authentication Multi-factor authentication Authorization Data-centric security Encryption Firewall Intrusion detection system Mobile secure gateway Runtime application self-protection (RASP) v t e Information security , sometimes shortened to InfoSec , is the practice of preventing unauthorized access, use, disclosure, disruption, modification, inspection, recording or destruction of information. Th...
Read more

Lambak Kiri

Image
For Lambak Kiri public housing area, see Lambak Kiri Landless Indigenous Citizens' Housing Scheme. Village in Brunei-Muara, Brunei Lambak Kiri Village Location in Brunei Coordinates: 4°59′26″N 114°57′04″E  /  4.990472°N 114.951114°E  / 4.990472; 114.951114 Coordinates: 4°59′26″N 114°57′04″E  /  4.990472°N 114.951114°E  / 4.990472; 114.951114 Country Brunei District Brunei-Muara Mukim Berakas A Government  • Village head Hamdani Omar Postcode BB1214 Lambak Kiri is a populated place in Brunei-Muara District, Brunei. It is officially a village subdivision under Berakas A, a mukim in the district. Lambak Kiri may also refer to the greater area which includes the Lambak Kiri public housing area of the Landless Indigenous Citizens' Housing Scheme (Malay: Skim Tanah Kurnia Rakyat Jati ), although the latter is a separate subdivision. Contents 1 Name 2 Administration 3 See also 4 References Name ...
Read more

章鱼与海女图

Image
本条目 可参照英語維基百科相應條目来扩充 。 （2014/5/25） 若您熟悉来源语言和主题，请协助参考外语维基扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记 {{Translated page}} 标签。 本条目 需要擴充。 （2013年8月15日） 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 《 章鱼与海女 》（日语： 蛸と海女 ／ たことあま   Tako to ama ）是一幅由日本畫家葛饰北斋创作的浮世绘，出自1814年（文化4年）出版的艳本《喜能会之故真通》（日语： 喜能会之故真通 ／ きのえのこまつ   Kinoe no Komatsu ）。畫中有兩隻章鱼以觸手攻擊一名採珠的海女，並進行擬似戀獸癖的交媾行為。作品尺寸为6½" × 8¾" （16.51 cm × 22.23 cm）。 [1] 在此之前的类似作品还有北尾重政的艳本《謡曲色番組》及勝川春潮的艳本《艳本千夜多女志》等，有被北斋作为参考的可能性。 《章鱼与海女图》有不同英文翻译，一般称The Dream of the Fisherman's Wife，又作Girl Diver and Octopi、Diver and Two Octopi，Richard Douglas Lane称其为 Girl Diver and Octopi [2] ，Mathi Forrer 称其为 Pearl Diver and Two Octopi [3] ，Danielle Talerico 称其为 Diver and Two Octopi 。 [4] 目录 1 作品介绍 1.1 画中对话 1.2 解释 2 评价 3 影响 3.1 模仿作品 4 另见 5 参考来源 6 外部連結 作品介绍 画中对话 原文 译文 大蛸： いつぞハいつぞハとねらいすましてゐたかいがあつて、けふといふけふ、とうとうとらまへたア。てもむつくりとしたいいぼぼだ。いもよりハなをこうぶつだ。サアサア、すつてすつてすいつくして...
Read more