《量子计算的数学语言》是一套面向量子计算基础理论的数学系列。

这个系列不以量子算法为主线，也不会从 Grover、Shor、VQE 等具体算法开始。它关注的是更底层的问题：量子态是什么，量子门为什么用矩阵表示，多量子比特为什么使用张量积，测量为什么与内积、投影和概率联系在一起。

整个系列按照数学概念之间的依赖关系逐步展开：

目标不是完整讲授线性代数、泛函分析或量子力学，而是抽取量子计算真正需要的数学结构，并说明它们之间为什么能够自然连接起来。

每篇文章原则上只解决一个核心问题。内容按照“概念 → 定义 → 推导 → 示例 → 量子计算中的含义”组织，尽量减少结论式记忆，强调公式从哪里来、数学对象之间是什么关系。

符号方面统一采用量子计算中常见的 Dirac 记号，例如

同时给出它们在线性代数中的对应形式。对于矩阵、向量、算子和抽象空间，也会尽量区分“数学对象本身”和“选定基后的坐标表示”。

本系列默认讨论有限维复 Hilbert 空间。涉及的重要结论会给出必要的推导，但不过度追求形式化证明；重点是建立清晰、可复用的数学直觉。

最终希望形成一套完整的基础框架：

后续学习量子算法、量子信息或量子软件时，都可以在这套数学语言之上继续展开。