<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>System 系统 on 线性代数</title><link>/docs/systems/</link><description>Recent content in System 系统 on 线性代数</description><generator>Hugo</generator><language>zh-CN</language><atom:link href="/docs/systems/index.xml" rel="self" type="application/rss+xml"/><item><title>Linear System 线性系统</title><link>/docs/systems/linear-system/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>/docs/systems/linear-system/</guid><description>&lt;h1 id="linear-system-线性系统"&gt;Linear System 线性系统&lt;a class="anchor" href="#linear-system-%e7%ba%bf%e6%80%a7%e7%b3%bb%e7%bb%9f"&gt;&lt;/a&gt;&lt;/h1&gt;&#10;&lt;p&gt;线性系统是满足齐次性（Homogeneity）与可加性（Additivity）的系统；二者合称叠加原理（Superposition Principle）。&lt;/p&gt;&#10;&lt;h3 id="线性系统的规律-可预测可拆解"&gt;线性系统的规律 &lt;strong&gt;可预测&lt;/strong&gt;、&lt;strong&gt;可拆解&lt;/strong&gt;&lt;a class="anchor" href="#%e7%ba%bf%e6%80%a7%e7%b3%bb%e7%bb%9f%e7%9a%84%e8%a7%84%e5%be%8b-%e5%8f%af%e9%a2%84%e6%b5%8b%e5%8f%af%e6%8b%86%e8%a7%a3"&gt;&lt;/a&gt;&lt;/h3&gt;&#10;&lt;p&gt;&lt;strong&gt;可预测&lt;/strong&gt; 指系统规则是 &lt;a href="/docs/systems/homogeneity/"&gt;Homogeneous 同质的&lt;/a&gt;，即系统满足一种 &lt;strong&gt;“按比例放大缩小”的均匀性&lt;/strong&gt; 规则。&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(k⋅x)=k⋅f(x)&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;&lt;strong&gt;可拆解&lt;/strong&gt; 指系统规则是 Additivity 可叠加性，即 系统允许将复杂输入拆成简单分量分别求解后再合成。&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(x_1+x_2)=f(x_1)+f(x_2)&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;线性描述的不是系统“长得简单”，而是系统如何响应输入。也就是说对于任意输入 &lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt;&lt;mo separator="true"&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;x_1,x_2&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt; 和任意常数 &lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mo separator="true"&gt;,&lt;/mo&gt;&lt;mi&gt;b&lt;/mi&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;a,b&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;，输出能不能反映成：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;b&lt;/mi&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;b&lt;/mi&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/msub&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(ax_1+bx_2)=af(x_1)+bf(x_2)&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;h3 id="线性系统的-零输入--零输出"&gt;线性系统的 零输入 → 零输出&lt;a class="anchor" href="#%e7%ba%bf%e6%80%a7%e7%b3%bb%e7%bb%9f%e7%9a%84-%e9%9b%b6%e8%be%93%e5%85%a5--%e9%9b%b6%e8%be%93%e5%87%ba"&gt;&lt;/a&gt;&lt;/h3&gt;&#10;&lt;p&gt;已知线性系统的同质性：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(ax)=af(x)&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;令 &lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;a&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;a=0&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(0)=0f(x)=0&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;即：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;menclose notation="box"&gt;&lt;mstyle scriptlevel="0" displaystyle="false"&gt;&lt;mstyle scriptlevel="0" displaystyle="false"&gt;&lt;mstyle scriptlevel="0" displaystyle="true"&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;/mstyle&gt;&lt;/mstyle&gt;&lt;/mstyle&gt;&lt;/menclose&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;\boxed{f(0)=0}&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;也就是说 &lt;strong&gt;线性系统一定把零输入映射成零输出。&lt;/strong&gt; 例如：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;3&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(x)=2x+3&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;虽然它看起来很简单，但：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;3&lt;/mn&gt;&lt;mo mathvariant="normal"&gt;≠&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(0)=3\neq0&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;所以它&lt;strong&gt;不是线性系统&lt;/strong&gt;。它其实是：&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mtext&gt;线性部分&lt;/mtext&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mtext&gt;常数偏移&lt;/mtext&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;\text{线性部分}+ \text{常数偏移}&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;也就是所谓的 &lt;strong&gt;Affine（仿射）系统&lt;/strong&gt;。&lt;/p&gt;</description></item><item><title>Homogeneity 同质</title><link>/docs/systems/homogeneity/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>/docs/systems/homogeneity/</guid><description>&lt;h1 id="homogeneity-同质"&gt;Homogeneity 同质&lt;a class="anchor" href="#homogeneity-%e5%90%8c%e8%b4%a8"&gt;&lt;/a&gt;&lt;/h1&gt;&#10;&lt;p&gt;&lt;strong&gt;Homogeneity 同质&lt;/strong&gt; 它由两个拉丁词根拼成：&lt;/p&gt;&#10;&lt;ul&gt;&#10;&lt;li&gt;&lt;strong&gt;Homo&lt;/strong&gt;（相同、同一）&lt;/li&gt;&#10;&lt;li&gt;&lt;strong&gt;Gene&lt;/strong&gt;（种类、起源）&lt;/li&gt;&#10;&lt;/ul&gt;&#10;&lt;p&gt;所以它的&lt;strong&gt;字面灵魂&lt;/strong&gt;就是：&lt;strong&gt;“同一个种类”、“从头到尾一个样”&lt;/strong&gt;。&lt;/p&gt;&#10;&lt;h2 id="1-生活中的-homogeneity-意为-均质同质"&gt;1. 生活中的 “Homogeneity” 意为 均质、同质&lt;a class="anchor" href="#1-%e7%94%9f%e6%b4%bb%e4%b8%ad%e7%9a%84-homogeneity-%e6%84%8f%e4%b8%ba-%e5%9d%87%e8%b4%a8%e5%90%8c%e8%b4%a8"&gt;&lt;/a&gt;&lt;/h2&gt;&#10;&lt;p&gt;生活中的 “Homogeneity” 意为 &lt;strong&gt;均质、同质&lt;/strong&gt;。可以把它理解为 “均匀无差别”。 例如：&lt;/p&gt;&#10;&lt;ul&gt;&#10;&lt;li&gt;&#10;&lt;p&gt;一杯&lt;strong&gt;充分搅拌的糖水&lt;/strong&gt;。你喝第一口、中间一口、最后一口，甜度完全一样。这杯糖水就是 &lt;strong&gt;Homogeneous 均质&lt;/strong&gt; 的，成分分布“&lt;strong&gt;同质&lt;/strong&gt;”。&lt;/p&gt;&#10;&lt;/li&gt;&#10;&lt;li&gt;&#10;&lt;p&gt;// TODO 举一个不均质、同质的例子&lt;/p&gt;&#10;&lt;/li&gt;&#10;&lt;/ul&gt;&#10;&lt;h3 id="2-数学线性系统里的-homogeneity"&gt;2. 数学线性系统里的 “Homogeneity”&lt;a class="anchor" href="#2-%e6%95%b0%e5%ad%a6%e7%ba%bf%e6%80%a7%e7%b3%bb%e7%bb%9f%e9%87%8c%e7%9a%84-homogeneity"&gt;&lt;/a&gt;&lt;/h3&gt;&#10;&lt;p&gt;它特指一种 &lt;strong&gt;“按比例放大缩小”的均匀性&lt;/strong&gt; 规则。通俗的说就是：**“输入变几倍，输出就跟着变几倍”。&lt;/p&gt;&#10;&lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML" display="block"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mo stretchy="false"&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo stretchy="false"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;f(k⋅x)=k⋅f(x)&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt;&lt;p&gt;例如：&lt;strong&gt;输入&lt;/strong&gt; 1伏特，它输出 &lt;strong&gt;2伏特&lt;/strong&gt; 。把输入变成 &lt;strong&gt;5伏特&lt;/strong&gt;（扩大了5倍），输出必须是 &lt;strong&gt;10伏特&lt;/strong&gt;。因为输入变大了，系统“一视同仁”，依然按照“放大2倍”这个&lt;strong&gt;同一种规则&lt;/strong&gt;来处理。&lt;/p&gt;&#10;&lt;h3 id="反例-1-出租车计价器"&gt;反例 1: 出租车计价器&lt;a class="anchor" href="#%e5%8f%8d%e4%be%8b-1-%e5%87%ba%e7%a7%9f%e8%bd%a6%e8%ae%a1%e4%bb%b7%e5%99%a8"&gt;&lt;/a&gt;&lt;/h3&gt;&#10;&lt;p&gt;起步价10元（含3公里），之后每公里2元。坐 1公里（输入），车费是 10元（输出）。现在你把距离放大3倍，坐 3公里（输入×3）。&lt;/p&gt;&#10;&lt;p&gt;如果按照“齐次”的要求，车费应该是 10元 × 3 = 30元。但实际计价器显示：起步价10元（含3公里），正好是 10元。&lt;/p&gt;&#10;&lt;p&gt;结论：这个计价系统是非齐次（Non-homogeneous）的。原因就是那个“起步价”（常数项）破坏了比例关系。这也是为什么数学上严格说 &lt;span class="katex"&gt;&lt;math xmlns="http://www.w3.org/1998/Math/MathML"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;3&lt;/mn&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;10&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;y=3x+10&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;&lt;/span&gt; 不是线性系统，而只是“仿射系统”的原因。&lt;/p&gt;&#10;&lt;h3 id="反例-2-快被拉断的橡皮筋"&gt;反例 2: 快被拉断的橡皮筋&lt;a class="anchor" href="#%e5%8f%8d%e4%be%8b-2-%e5%bf%ab%e8%a2%ab%e6%8b%89%e6%96%ad%e7%9a%84%e6%a9%a1%e7%9a%ae%e7%ad%8b"&gt;&lt;/a&gt;&lt;/h3&gt;&#10;&lt;p&gt;轻拉橡皮筋，每挂10g砝码，它就伸长1cm（这是齐次的）。&lt;/p&gt;&#10;&lt;p&gt;现在你把砝码放大20倍，挂 &lt;strong&gt;200g&lt;/strong&gt;。按照“齐次”的要求，它应该伸长 1cm × 20 = &lt;strong&gt;20cm&lt;/strong&gt;。但现实是，橡皮筋快被拉断了，弹性极限到了，它实际只伸长了 &lt;strong&gt;12cm&lt;/strong&gt;。&lt;/p&gt;&#10;&lt;p&gt;结论：12cm ≠ 20cm。因为系统在不同“输入大小”下，内部的物理特性（弹性系数）改变了，不再遵循同一种缩放规则，所以它是非齐次的。&lt;/p&gt;</description></item></channel></rss>