阿里云网站空间,将网站加入小程序,东莞重大项目建设,佛山企业网站建设服务照片由 丹克里斯蒂安佩杜雷什 on Unsplash 一、说明 在本文中#xff0c;我们将探讨希尔伯特空间这个非常重要的主题。希尔伯特空间由于其特性而经常出现在物理和工程中。为了理解希尔伯特空间#xff0c;我们从度量空间的定义开始。 二、基础概念 集合是定义明确的元素的集合… 照片由 丹·克里斯蒂安·佩杜雷什 on Unsplash 一、说明 在本文中我们将探讨希尔伯特空间这个非常重要的主题。希尔伯特空间由于其特性而经常出现在物理和工程中。为了理解希尔伯特空间我们从度量空间的定义开始。 二、基础概念 集合是定义明确的元素的集合。虽然集合本身可能不是很有用但它们提供了一个非常强大的框架可以通过笛卡尔积等操作系统地研究更复杂的对象。集合通常使用大写字母表示。 2.1 什么是度量空间 考虑一个任意非空集合 M。定义具有以下属性的操作 d dxy 是一个实数。从形式上讲d 是一个 Mapping 非负性质dxy ≥ 0dxy 0 iff xy对称性dxy dyx三角不等式 dxy ≤ dxzdzy 其中 x、y 和 z 是 M 的元素。配备有这种运算 d 的集合 M 称为度量空间表示为 Md。 d 有时被称为距离。 应该注意的是M 本身不是一个度量空间因为 d 必须单独定义。 示例考虑实数 R 的集合。 d₁ 和 d₂ 都是有效的指标。 d₂ 可能看起来很奇怪但仍然有效。 通常指标是从上下文中理解的例如实数集。 自定义指标的常见示例是机器学习算法如 K 最近邻中使用的距离度量。 2.2 完整的空间 度量空间中的序列 xn 是从自然数集到度量空间 X 元素的映射。也就是说它是属于 X 的元素的有序序列。 柯西序列是元素在度量意义上不断靠拢的序列 d。从形式上讲每个 r 0 都存在一些 N因此 如果在 X d 上定义的每个柯西序列 xn 收敛到 X d 中的元素则度量空间 X d 是完整的。也就是说取 X d 上柯西的所有可能序列如果它们最终收敛到 X d 中的元素则它是一个完整的空间。 2.3 不完整空间示例 考虑 Rational Numbers 的度量空间其中度量为 |x-y|。柯西序列 收敛到 e它不是 X 的元素。因此有理数序列x【n】不是完备序列就是说序列x【n】从有理数集合虽然有极限但极限不在有理数集合范围内。 如图表示不完备性就是有理数中的一个数列按某个运算法则其结果从有道理集合跑到集合之外。这种现象称为不完备。 三、线性空间 标量 Field 上的线性空间 V 是定义加法和标量乘法运算的集合。总结一下 元素添加是交换的和关联的。两个加法都存在一个恒等元素 O。存在加法逆。标量乘法是加法的、分配的和关联的。 请注意在工程和物理中矢量空间和线性空间是同义词。有关属性的更好说明请参阅此链接。 请注意字段是定义了 、* 的代数结构。 3.1 规范线性空间 规范 ||.||线性空间 V 是一个函数它将集合的元素映射到具有以下属性的实数 其中 x 是 V 的一个元素。配备范数的线性空间称为范数线性空间。由于函数 ||x-y||满足度量的属性它是规范线性空间的自然度量。也就是说规范线性空间始终是度量空间。当然其他指标也可能是可能的。 范数是一种量级。 3.2 巴纳赫空间 如果度量 || 的范数线性空间 X ||.|| 是完整的x-y||则称为 Banach 空间。 现在我们可以定义希尔伯特空间。 四、内积空间 给定线性空间 X内积 xy 是具有以下属性的运算 其中 x、y 和 z 是 X 的元素。具有定义内积的线性空间称为内积空间。请注意内部产品空间的可能规范是 因此每个内积空间也是一个规范线性空间。 五、希尔伯特空间 下标完备的内积空间 被称为希尔伯特空间。 在数学里希尔伯特空间英语Hilbert space即完备的内积空间也就是一个带有内积的完备向量空间。内积的构造推广了欧几里得空间的距离和角的概念完备则确保了其上所有的柯西序列会收敛到此空间里的一点从而微积分中的许多概念都可以推广到希尔伯特空间中。 希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要数学基础之一。 西诺皮奥
