Szekeres · §13.1 定义与例子
英文原文
原文定义摘录
Let be a complex vector space with an inner product satisfying (IP1)– (IP3) of Section 5.2. Such a space is sometimes called a pre-Hilbert space. As in Eq. (5.11) define a norm on an inner product space by
The properties (Norm1)–(Norm3) of Section 10.9 hold for this choice of norm. Condition (Norm1) is equivalent to (IP3), and (Norm2) is an immediate consequence of (IP1) and (IP2), for
The triangle inequality (Norm3) is a consequence of Theorem 5.6. These properties hold equally in finite or infinite dimensional vector spaces. A Hilbert space is an inner product space that is complete in the induced norm; that is, is a Banach space. An introduction to Hilbert spaces at the level of this chapter may be found in [1–6], while more advanced topics are dealt with in [7–11].
The parallelogram law
holds for all pairs of vectors , in an inner product space . The proof is straightforward, by substituting , etc. It immediately gives rise to the inequality
For complex numbers Eq. (13.2) and Eq. (13.3) hold with norm replaced by modulus.
来源与版本
正文:英文原文
来源版本:source-snapshot-bc3404156f6e
原文位置:§13.1;PDF 页 1;印刷页 330
处理记录:既有整理 OCR 稿
核对状态:尚未完成转录核对
中文译文
译文摘录
令是带有内积结构的复向量空间,满足5.2中的(IP1)-(IP3),这样一个空间常被称为一个准希尔伯特空间(pre-Hilbert space)。5.11可以在其上定义范数
这样一个范数也满足10.9节的性质(Norm1)-(Norm3)。条件(Norm1)和(IP3)是等价的,(Norm2)是(IP1)和(IP2)的直接结果,因为
三角不等式是定理5.6的结果,这些性质在无穷维空间也保持,希尔伯特空间(Hilbert space)()是在这样内积空间的诱导范数下完备的空间。也就是说,()是巴拿赫空间。这章水平的希尔伯特空间介绍可以参看[1-6],而更进一步的主题在[7-11]中有讨论
平行四边形恒等式(parallelogram law)
对任意一对在内积空间中的向量都保持。证明就是直接代入,可以直接给出不等式
(13.2)和(13.3)在复数情形下也成立
来源与版本
正文:中文译文
来源版本:source-snapshot-bc3404156f6e
原文位置:§13.1;PDF 页 1;印刷页 330
处理记录:整理译文;机器参与见编校记录
核对状态:译文尚未审核