【线性代数】齐次与非齐次线性方程组有解的条件

齐次线性方程组 AX = 0 的解

A \bm{A} A 是 m × n m \times n m×n 矩阵,对其按列分块为 A = a 1 , a 2 , . . . , a n A = \\bm{a}_1, \\bm{a}_2, ..., \\bm{a}_n A=a1,a2,...,an,则齐次线性方程组 A X = 0 \bm{AX} = \bm{0} AX=0 的向量表达式为:

x 1 a 1 + x 2 a 2 + . . . + x n a n = 0 x_1\bm{a}_1 + x_2\bm{a}_2 + ... + x_n\bm{a}_n = \bm{0} x1a1+x2a2+...+xnan=0

该齐次方程组有非零解的充分必要条件是 a 1 , a 2 , . . . , a n \bm{a}_1, \bm{a}_2, ..., \bm{a}_n a1,a2,...,an线性相关,又因 r ( A ) = r { a 1 , a 2 , . . . , a n } r(A) = r\{\bm{a}_1, \bm{a}_2, ..., \bm{a}_n\} r(A)=r{a1,a2,...,an},所以有以下定理:

定理1:齐次线性方程组 AX = 0 有非零解的充分必要条件是 r(A) < n,即r(A)小于A的列数。

定理1的等价描述:齐次线性方程组 AX = 0 只有零解的充分必要条件是 r(A) = n,即r(A)等于A的列数。

非齐次线性方程组 AX = b 的解

A \bm{A} A 是 m × n m \times n m×n 矩阵,对其按列分块为 A = a 1 , a 2 , . . . , a n A = \\bm{a}_1, \\bm{a}_2, ..., \\bm{a}_n A=a1,a2,...,an,则非齐次线性方程组 A X = b \bm{AX} = \bm{b} AX=b 的向量表达式为:

x 1 a 1 + x 2 a 2 + . . . + x n a n = b x_1\bm{a}_1 + x_2\bm{a}_2 + ... + x_n\bm{a}_n = \bm{b} x1a1+x2a2+...+xnan=b

可以看出,该方程组有解的充分必要条件是 b \bm{b} b 可以由 a 1 , a 2 , . . . , a n \bm{a}_1, \bm{a}_2, ..., \bm{a}_n a1,a2,...,an 线性表示,这等价于

r { a 1 , a 2 , . . . , a n } = r { b , a 1 , a 2 , . . . , a n } r\{\bm{a}_1, \bm{a}_2, ..., \bm{a}_n\} = r\{\bm{b}, \bm{a}_1, \bm{a}_2, ..., \bm{a}_n\} r{a1,a2,...,an}=r{b,a1,a2,...,an}

于是,可以得到以下定理:

定理2 :设 A \bm{A} A 是 m × n m \times n m×n 矩阵, b \bm{b} b 是 m × 1 m \times 1 m×1 矩阵,则非齐次线性方程组 A X = b \bm{AX} = \bm{b} AX=b 有解 的充分必要条件是 r ( A ) = r { A ~ } r(A) = r\{\widetilde{A}\} r(A)=r{A },这里 A ~ \widetilde{A} A 是该方程组的增广矩阵 A , b . A, b. A,b.

另外,从方程组的向量表达式可以看出,其有唯一解的充分必要条件是 b \bm{b} b 可以由 a 1 , a 2 , . . . , a n \bm{a}_1, \bm{a}_2, ..., \bm{a}_n a1,a2,...,an 线性表示,且表示方式唯一。这不仅要求 a 1 , a 2 , . . . , a n {\bm{a}_1, \bm{a}_2, ..., \bm{a}_n} a1,a2,...,an 与 b , a 1 , a 2 , . . . , a n {\bm{b}, \bm{a}_1, \bm{a}_2, ..., \bm{a}_n} b,a1,a2,...,an 有相同的秩,还要求 a 1 , a 2 , . . . , a n {\bm{a}_1, \bm{a}_2, ..., \bm{a}_n} a1,a2,...,an线性无关,因此有以下定理:

定理3 :设 A \bm{A} A 是 m × n m \times n m×n 矩阵, b \bm{b} b 是 m × 1 m \times 1 m×1 矩阵,则非齐次线性方程组 A X = b \bm{AX} = \bm{b} AX=b 有唯一解 的充分必要条件是 r ( A ) = r { A ~ } = n r(A) = r\{\widetilde{A}\} = n r(A)=r{A }=n,这里 A ~ = A , b . \widetilde{A} = A, b. A =A,b.

定理3的等价命题 : A X = b \bm{AX} = \bm{b} AX=b 有无穷多解 的充分必要条件是 r ( A ) = r { A ~ } < n r(A) = r\{\widetilde{A}\} < n r(A)=r{A }<n.

参考来源

  1. 线性代数. 杨刚,吴惠彬编. 北京:高等教育出版社,2007. 8
相关推荐
冬奇Lab15 分钟前
企业知识库系列(01):为什么 RAG 只是起点
人工智能
冬奇Lab24 分钟前
开源项目第185期:Orca — YC 支持的 AI Agent 开发环境,并行运行多个 Coding Agent、手机远程监控、Design Mode 直接截图喂给 AI
人工智能·开源·资讯
LPCK_2026062234 分钟前
2026 企业智能体:私有化与 SaaS 部署对比,从安全成本看落地选型
人工智能·安全
学着改变2751 小时前
手持式超声波流量计为何首选行澳科技?便携巡检与外夹计量的性能标杆
大数据·网络·人工智能·科技·产品运营·量子计算
破烂pan1 小时前
AI-Agent-Book第一章思考题
人工智能·agent
AI服务老曹2 小时前
AI视频分析API常见问题和排查清单
人工智能·音视频
youngerwang2 小时前
【从“聊天“到“执行“:MATLAB Agentic AI + MCP Server 实战——以 5G NR PDSCH 波形仿真为例】
人工智能·5g·matlab
沸速存储2 小时前
CPU 和 GPU 核心差别在哪?为什么 AI 训练离不开 GPU
服务器·人工智能·科技·嵌入式硬件·电脑
leoZ2312 小时前
AI 辅助开发的五道坎
开发语言·人工智能·视觉检测·bert·php·超分辨率重建·openvino
火云牌神2 小时前
前后端分离:约束 AI 分工,避免接口耦合与职责错乱
人工智能·系统架构·ai编程·前后端分离·vibecoding