为何ℝⁿ到ℝ存在双射但非方阵矩阵变换不可逆？

嘿，这个问题问得特别精准，刚好点出了集合论双射和**线性映射（矩阵变换）**之间最容易混淆的差异，我来给你拆解明白：

核心区别：两种“双射”不是一回事 #

首先得把两个概念彻底分开：

• 集合论中的双射：这是从集合的「基数」（可以理解为元素的“数量级”，对无限集来说就是能否一一对应）出发的。只要两个集合基数相等，就一定存在双射——ℝⁿ和ℝ的基数确实相同，所以这样的双射必然存在。但注意：这类双射几乎都不是线性的，它只需要满足“每个原像对应唯一像，每个像对应唯一原像”，完全不需要遵守线性运算规则（比如f(x+y)=f(x)+f(y)、f(kx)=kf(x)）。

• 矩阵变换对应的逆矩阵：矩阵代表的是线性映射，只有当这个线性映射本身是双射时，才存在对应的逆线性映射，而逆线性映射的矩阵就是逆矩阵。但对于n>1时，ℝⁿ到ℝ的线性映射（对应n×1的矩阵）根本不可能是双射：
  根据线性代数的秩-零度定理，线性映射的核空间（被映射到0的向量集合）维度 = 原空间维度 - 映射的秩。n×1矩阵的秩最多是1，所以核空间维度至少是n-1≥1，也就是说存在非零向量被映射到0，这直接说明这个线性映射不是单射，自然也不可能是双射。既然连线性双射都做不到，那当然不存在逆矩阵。

为什么没有矛盾？ #

你提到的两个结论，一个说的是「存在任意双射（可以是非线性的），所以有逆映射」，另一个说的是「线性的映射（矩阵变换）不是双射，所以没有逆矩阵」——这俩讨论的根本不是同一类映射，自然不存在矛盾。

举个直观的例子：ℝ²到ℝ的双射可以用康托尔配对函数的扩展版本，把二维实数对编码成单个实数，这个函数是双射，但它完全没法用矩阵表示，因为它不满足线性性。你总不能要求一个非线性的双射有“逆矩阵”吧？矩阵本来就是线性映射的专属工具呀。

内容的提问来源于stack exchange，提问作者rbell