右逆的定义
从函数到复合映射的表述
设 \(f:X\to Y\) 是集合之间的映射。若存在映射 \(g:Y\to X\)，使得复合 \[ f\circ g=\mathrm{id}_Y, \] 则称 \(g\) 为 \(f\) 的右逆（有时也称 \(g\) 是 \(f\) 的右可逆伴随对象之一）。这一等式表示：对任意 \(y\in Y\)，先经由 \(g\) 选取某个原像，再由 \(f\) 回到同一个 \(y\)。
在几何或直观图像中，\(g\) 可以理解为“为 \(Y\) 的每个元素从 \(X\) 中挑选一个对应原像”的方式；而 \(f\circ g\) 的恒等性确保这些选择在 \(f\) 下不会偏离原目标。
从抽象代数到同态的推广
在抽象代数中，“右逆”的概念可直接迁移到各种同态之间。常见做法是：将映射替换为同态（保持结构的映射），并要求复合等于恒等同态。例如在环、群、模、向量空间等语境中，若 \(f\) 为同态，且存在同态 \(g\) 使得 \(f\circ g=\mathrm{id}\)，则称 \(g\) 为 \(f\) 的右逆。此时“存在右逆”同样反映了结构上从 \(X\) 到 \(Y\) 的覆盖程度。
右逆与左逆的对比
与右逆相对应的是左逆：若存在 \(h:Y\to X\) 使得 \[ h\circ f=\mathrm{id}_X, \] 则 \(h\) 称为 \(f\) 的左逆。两者在逻辑方向上有所区别：
- 右逆要求 \(f\circ g\) 在 \(Y\) 上成为恒等映射，强调对 \(Y\) 的“完全命中”；
- 左逆要求 \(h\circ f\) 在 \(X\) 上成为恒等映射，强调对 \(X\) 的“无损回溯”。
当同时存在左逆与右逆时，二者往往会迫使映射具有更强的可逆性性质；但仅存在一类逆时，结论通常只对应相应方向的结构条件。
右逆的唯一性与非唯一性
右逆未必唯一。即便 \(f\) 是满射，使得右逆确实存在，仍可能存在多个不同的 \(g\) 满足 \(f\circ g=\mathrm{id}_Y\)。原因在于：对每个 \(y\in Y\)，方程 \(f(x)=y\) 的解集合可能不止一个；而 \(g\) 需要在这些解中“选取”一条路径。
因此：
- 若 \(f\) 的纤维（原像）是单元素，则右逆更可能唯一；
- 若 \(f\) 的原像多元素，则可以通过不同选择构造出不同的右逆。
存在性判定
满射与右逆等价条件
对一般集合映射 \(f:X\to Y\)，右逆存在当且仅当 \(f\) 是满射。
- 若存在 \(g:Y\to X\) 且 \(f\circ g=\mathrm{id}_Y\)，则对任意 \(y\in Y\)，有 \(y=(f\circ g)(y)=f(g(y))\)，故 \(f\) 必为满射。
- 反之，若 \(f\) 是满射，则对每个 \(y\in Y\) 选取一个满足 \(f(x_y)=y\) 的元素 \(x_y\)，并令 \(g(y)=x_y\)，即可得到 \(f\circ g=\mathrm{id}_Y\)。
该等价关系说明：右逆并不要求“单射式”的无信息丢失，只要求“覆盖式”的可达。
线性映射的满射性刻画
在线性代数中，设 \(f:V\to W\) 为线性映射。若将满射理解为 \(\mathrm{Im}(f)=W\)，则右逆存在当且仅当 \(f\) 满射。
进一步地，满射性可由像空间刻画：当且仅当 \(W\) 中每个向量都能表示为 \(f\) 作用于某个向量。因此构造右逆的本质步骤是：为 \(W\) 的每个向量选择一组原像，并保持映射 \(g\) 与加法、数乘相容。
矩阵形式下的秩条件
若 \(f\) 由矩阵 \(A\) 表示（例如 \(f:\mathbb{F}^n\to\mathbb{F}^m\)，矩阵为 \(m\times n\)），则 \[ f\text{ 存在右逆 } \Longleftrightarrow \mathrm{rank}(A)=m, \] 即 \(A\) 的行满秩。因为满射性意味着像空间维数等于 \(W\) 的维数，在线性映射表示下恰对应秩达到 \(m\)。
当 \(A\) 为 \(m\times n\) 且 \(m\le n\) 时，行满秩意味着存在某些列组合能生成整个 \(\mathbb{F}^m\)。
有限维情形的等价条件
若 \(V,W\) 有限维，右逆存在可等价于若干常见维数条件。例如在 \(f:V\to W\) 中：
- 满射性等价于 \(\dim\mathrm{Im}(f)=\dim W\)；
- 等价于 \(\mathrm{rank}(f)=\dim W\)；
- 在矩阵表示中等价于行满秩。
此外，在有限维情形下，满射还与适当的分解结构相关：可以选择 \(V\) 的子空间作为补空间，使得 \(f\) 在相应子空间上表现得“像同构那样可逆”，从而为右逆提供构造基础。
与线性代数的关系
解方程 \(Ax=b\) 的右逆视角
考虑线性方程组 \(Ax=b\)。当把右逆看作工具时，若存在矩阵 \(B\) 使得 \[ AB=I_m, \] 则对任意 \(b\in\mathbb{F}^m\)，可以直接给出一组解： \[ x=Bb. \] 此时验证为 \(A(Bb)=(AB)b=I_mb=b\)。
因此，右逆的存在不仅与“可解性”相关，还能把“解的构造”变成对右逆的应用。若右逆存在，则每个 \(b\) 都能被方程组接受（与满射性一致）；但解不必唯一，右逆只是给出某类特定解。
构造右逆的基本方法
在实践中，构造右逆常见思路是：
- 先确定 \(f\) 的像空间结构或矩阵的满秩部分；
- 为 \(W\) 选取一组基及其原像；
- 利用线性扩张将“基上的选择”扩展为线性映射 \(g\)；
- 检验 \(f\circ g=\mathrm{id}_W\)。
本质上，右逆构造依赖于“从 \(W\) 的基到 \(V\) 的某些原像”的选择能形成一致的线性规则。
与补空间/商空间的联系
满射映射的核通常非平凡。若 \(f:V\to W\) 满射，则 \(W\) 与商空间 \(V/\ker f\) 在代数上可视为同构。这种结构关系提示：右逆可以理解为在 \(V\) 中选取一个与 \(\ker f\) 配套的“补空间”，使得该补空间在 \(f\) 下映射到 \(W\) 的方式更容易反向。
在具体构造里，选择补空间等价于为每个等价类提供代表元；而右逆提供了一种将 \(W\) 的元素提升回 \(V\) 的线性方式。
与投影、分解的关系
当右逆存在时，可以把某些“从 \(V\) 到 \(V\) 的投影”与右逆联系起来。例如对线性映射 \(g:W\to V\)（右逆）考虑复合 \(g\circ f:V\to V\)。由于 \(f\circ g=\mathrm{id}_W\)，可证明 \(g\circ f\) 在像于某个子空间的意义下表现为幂等结构，从而与分解（将 \(V\) 分解为与核相关的部分以及可逆部分）相关。
在几何直观中，这类复合把“信息保持的部分”从“被丢失的部分”中分离出来。
矩阵中的右逆
右逆矩阵的条件与维度要求
令 \(A\) 为 \(m\times n\) 矩阵，表示线性映射 \(\mathbb{F}^n\to\mathbb{F}^m\)。若存在右逆矩阵 \(B\) 使得 \[ AB=I_m, \] 则必须有 \(m\le n\)，否则 \(A\) 不可能把 \(n\) 维空间映到更高维空间并覆盖整个目标空间。
同时，秩条件给出更精确的要求：\(\mathrm{rank}(A)=m\)。
行满秩/列满秩与右逆的可构造性
右逆对应的是目标空间维度的满秩，即“行满秩”。而与之互补的是左逆对应“列满秩”（例如存在 \(C\) 使 \(CA=I_n\) 时需要列满秩）。
因此在矩阵层面，是否能构造右逆可通过行秩快速判断：若行秩达到 \(m\)，则可在理论上构造右逆；若达不到，则一定失败。
典型例子：从标准基构造右逆
设 \(A\) 是满射对应的矩阵，即行满秩。可选取 \(A\) 的行对应的某种“可生成结构”：对标准基向量 \(e_i\in\mathbb{F}^m\)，由于满秩，方程 \[ A x = e_i \] 至少有一个解 \(x^{(i)}\in\mathbb{F}^n\)。令 \(B\) 的第 \(i\) 列为 \(x^{(i)}\)，则有 \[ AB=[Ae^{(1)}\,\,\cdots\,\,Ae^{(m)}]=[e_1\,\,\cdots\,\,e_m]=I_m. \] 这一构造表明：右逆可以通过为每个输出基向量选原像列向量来建立。不同选择会导致不同右逆。
与高斯消元和秩分解的对应
高斯消元可以用于找出 \(A\) 的行满秩部分，从而确定哪些线性组合能生成目标空间。若在消元过程中得到等价矩阵分解（例如通过初等行变换把 \(A\) 化到行阶梯形），则可读取满秩位置并据此构造右逆。
秩分解强调把矩阵分解为反映有效维度的部分与冗余部分，从而在构造右逆时只需“处理有效部分”。
计算与构造
采用基变换的构造流程
一种常见的计算流程是通过基变换将问题简化：
该流程的优点在于：满秩条件对应的“核心子块”在等价变换下更容易处理。
以子空间视角选取右逆
子空间方法强调“选取补空间”或“选取原像代表”。对满射 \(f:V\to W\)：
- 先确定 \(\ker f\)；
- 再选取 \(V\) 中一个与 \(\ker f\) 互补的子空间 \(U\)，使得 \(V=\ker f\oplus U\)；
- 由于在 \(U\) 上 \(f\) 限制为同构到 \(W\)，因此可定义 \(g\) 为该同构的逆并扩展为整个 \(W\to V\)。
这种观点把“右逆存在”转化为“在核以外做一份可逆选择”。
多解情形下右逆的族结构
当右逆存在但 \(f\) 不是严格可逆时，右逆往往不唯一。可从结构上理解为：在核方向上可以“自由摆动”，不会改变复合 \(f\circ g\) 的结果。
因此右逆集合通常形成一个仿射族：固定某个右逆 \(g_0\)，再在与 \(\ker f\) 相关的自由度上调整即可得到所有右逆。换言之，非唯一性来自目标空间同一个元素对应多个原像选择。
与广义逆的衔接（概念层面）
当不满足满射或不满足精确可逆条件时，人们会考虑广义逆思想，用“尽量满足某种复合关系”的方式替代严格的恒等。右逆可视为广义逆体系中的一个特殊情形：当系统恰好满足覆盖条件时，广义逆中的“最佳匹配”退化为严格的右逆。
在概念层面，右逆与伪逆、最小二乘等方法之间的衔接，往往通过“求解方程的最佳近似”这一共同目标来理解。
相关概念与推广
广义逆、伪逆与最小二乘的直观联系
在很多计算场景中，矩阵方程可能无精确解或解不唯一。此时会寻找满足某种最小误差准则的“近似逆”。若把右逆理解为“保证 \(AB=I\) 从而零误差”的情形，那么伪逆对应的是在无法完全达到恒等时，仍尽可能让复合在某种意义下逼近恒等。
最小二乘则把问题转成“让残差范数最小”的优化：其解可以用广义逆表达，从而与右逆的理想情形保持同一计算框架。
可分解映射（如在范畴意义下的相关结构）
在更抽象的表述中，是否存在右逆可被视为一种“分裂/可分离”的迹象：映射在结构上是否允许把目标部分从源结构中“提取出来”。在范畴语境里，这种现象常与某些分解条件或伴随结构相关联。
虽然不同范畴的细节并不相同，但“右逆存在意味着目标对象在源对象中有一份可回收的实现”这一直觉是一致的。
与范畴论中“分裂”的类比
在范畴论中，讨论“分裂”的常用方式是考察是否存在使某个复合达到恒等的态射。右逆正对应这种“在复合中实现恒等”的条件：它表明 \(Y\) 能作为某个“投射/嵌入结构”的结果被完整地识别。
因此，右逆的定义常被用作理解范畴论中分裂概念的一个具体模型。
右可逆（right invertible）的表述与用法
“右可逆”是右逆概念的属性化说法：若存在 \(g\) 使得 \(f\circ g=\mathrm{id}\)，则 \(f\) 称为右可逆。该术语常用来强调性质本身，而不必显式给出右逆映射。
在代数与线性代数中，它与满射性紧密对应；在一般范畴中则与“存在使复合为恒等的态射”相联系。
性质与常见结论
右逆的复合行为
右逆在复合中的表现具有方向性。若有映射 \[ X \xrightarrow{f} Y \xrightarrow{h} Z, \] 并讨论其复合 \(h\circ f\) 的右逆，则需分别检查 \(f\) 与 \(h\) 是否提供足够的覆盖能力。直观上，复合想要拥有右逆，需要最终目标 \(Z\) 的每个元素都能通过 \(h\circ f\) 被命中；因此相关条件会体现为满射性沿复合的传播。
在形式化陈述中，这类结论通常通过满射与右逆等价关系来获得：一旦能把“右逆存在”转化为“满射性”，就能使用满射在复合下的基本性质。
与同态核/像的关系
右逆与核/像的关系可概括为两点：
- 右逆存在意味着 \(\mathrm{Im}(f)=Y\)（像覆盖目标）；
- 但核一般仍可非零，右逆的非唯一性常由核所携带的冗余自由度体现。
因此，右逆强调“像足够大”，却不排除“源中仍有被压缩掉的信息”。
稳定性：在等价变换下的保持
在向量空间或一般结构中，如果对定义右逆所涉及的对象做合适的可逆变换（如坐标变换、同构替换），右逆性质通常保持。原因在于：右逆的判定本质依赖于满射/等价的秩条件，而这些性质在同构下不变。
换言之，右逆的存在可以被视作一种结构不变量，而非坐标细节。
右逆失败时的解释（例如非满射）
当找不到右逆时，最直接的解释是映射未能覆盖目标：即 \(f\) 不是满射。此时存在某个 \(y\in Y\) 不属于 \(f\) 的像；无论怎样选取 \(g(y)\in X\)，都有 \(f(g(y))\ne y\)，因此不可能满足 \(f\circ g=\mathrm{id}_Y\)。
在矩阵语言中对应秩不足：当 \(\mathrm{rank}(A)<m\)，行满秩不成立，导致无法构造满足 \(AB=I_m\) 的右逆矩阵。