[论文解读] Self-Referential Definition of Orthogonality

Elemér E Rosinger, Gusti van Zyl|ArXiv.org|Apr 1, 2009

Fuzzy and Soft Set Theory参考文献 2被引用 7

一句话总结

本文提出了一种基于线性系数依赖关系的自指性、非内积的向量空间正交性定义。通过将正交性定义为系数函数对额外基向量的独立性，建立了一种循环但逻辑一致的表征方式，其与内积空间中的标准正交性一致，借助非良基集合论来证明自指性的合理性。

ABSTRACT

There has for longer been an interest in finding equivalent conditions which define inner product spaces, and the respective literature is considerable, see for instance Amir, which lists 350 such results. Here, in this tradition, an alternative definition of orthogonality is presented which does not make use of any inner product. This definition, in the spirit of the recently developed non-wellfounded set theory, is self-referential, or circulatory.

研究动机与目标

• 在不依赖内积或范数的前提下，定义向量空间中的正交性。
• 解决仅用有限维子空间表征正交性的基础性难题。
• 引入一种自指或循环的正交性定义，使其在非良基集合论中保持逻辑一致性。
• 提供一种替代的正交性表征方式，使其在有限维情形下与标准内积正交性一致。

提出的方法

• 在实向量空间 V 中，为 m 元组定义线性无关性和张成。
• 通过 m 个线性无关向量张成空间中的唯一线性组合，引入系数函数 λi(a1,…,am,x)。
• 将正交性表述为：每个 λi 不依赖于其他基向量 aj（j≠i），尽管表达式是在完整的 m 元组上定义的。
• 使用集合论构造 Γ ⊆ V^m × V 来表示系数函数的图像，并将 Ort^m_V 定义为 Γ 在 V^m 上的投影。
• 应用佐恩引理证明满足系数独立性的极大子集的存在性，从而确保对包含关系的封闭性。
• 利用非良基集合论证明该定义的自指性质，使循环定义在逻辑上有效。

实验结果

研究问题

• RQ1 能否在不引用内积或范数的前提下定义向量空间中的正交性？
• RQ2 在缺乏内积的情况下，系数函数 λi '不依赖于 aj（j≠i）' 的含义是什么？
• RQ3 如何使正交性的自指或循环定义在逻辑上一致且数学上有效？
• RQ4 所提出的定义是否与内积空间中的标准正交性等价？
• RQ5 能否仅通过有限维子空间和系数独立性完全表征正交性概念？

主要发现

• 本文建立了一种不依赖内积的正交性定义，仅依赖于子空间中线性组合的结构。
• 正交性通过系数函数 λi 对除 ai 外所有基向量的独立性来定义，通过图像 Γ 及其在 V^m 上的投影形式化表达。
• 集合 Ort^m_V 被证明等于投影 pr_{X1×…×Xm}(Γ)，其中 Γ 是满足系数独立性条件的元组集合。
• 当 m=2 时，该定义退化为标准几何条件：x 在 span(a1,a2) 中的系数仅依赖于 ai 和 x，而不依赖于另一个基向量。
• 该定义的自指性质通过非良基集合论得到正式证明，使循环定义在逻辑上成立。
• 通过佐恩引理，Γ̄ 的极大子集存在，从而保证了满足系数独立性的极大配置的存在性。