Invariant

发音 Pronunciation

/ɪnˈvɛəriənt/

释义 Definition

作为形容词，意为"不变的，恒定的"，指在某些条件或变换下保持不变的性质。作为名词，意为"不变量"，常用于数学、物理和计算机科学中，指在特定操作或变换过程中始终保持不变的量或性质。

例句 Examples

The speed of light is invariant regardless of the observer's motion.
光速不随观察者的运动状态而改变，是恒定不变的。

In software engineering, a loop invariant is a condition that remains true before and after each iteration, helping programmers reason about the correctness of their code.
在软件工程中，循环不变量是在每次迭代前后都保持为真的条件，它帮助程序员推理代码的正确性。

词源 Etymology

由前缀 in-（表示"不、非"）与 variant（变化的）组合而成。variant 源自拉丁语 variāns，是动词 variāre（改变）的现在分词形式。整个词的字面意思即"不变化的"。该词在19世纪进入英语，最初主要用于数学领域，后来扩展到物理学和计算机科学等学科。

相关词汇 Related Words

• Constant
• Immutable
• Unchanging
• Invariance
• Variable
• Static
• Fixed
• Covariant

文学与学术引用 Literary & Academic References

• 爱因斯坦在《狭义相对论》中使用 invariant 来描述光速在所有惯性参考系中的不变性，这是现代物理学的基石之一。
• 在 Donald Knuth 的《计算机程序设计艺术》（The Art of Computer Programming）中，invariant 被广泛用于算法分析，尤其是循环不变量的证明。
• Tony Hoare 在其经典论文中提出了"循环不变量"（loop invariant）的概念，成为程序正确性验证的重要工具。