下面将给出系统A和B更加正式的证明。为了完成这个证明,我们需要使用第二个定义。
系统A:
- 使用延时的信号作为输入
-
-
- 那么输出延时
-
-
- 很显然 ,所以系统是时变系统(time-varying)。
系统B:
- 以延时的信号作为输入
-
-
- 现在输出延时
-
-
- 显然 ,所以系统是非时变(time-invariant)的。尽管有其它方法可以证明这一点,但这是最容易的方法。
我们用 表示移位算子,其中 是矢量变址组需要移位的数值,例如“前进1步”的系统
-
可以用这个抽象表示
-
其中 是
-
以及产生系统移位输出
-
所定义的函数,这样 就是输入矢量增加1的算子。
假设我们用算子 表示一个系统,如果系统与移位算子是可交换的,那么它就是时不变的,例如
-
如果系统方程是
-
并且如果我们可以将系统算子 首先对 进行运算,然后再用移位算子 进行运算,或者首先用移位算子 ,然后再用系统算子 进行运算,并且这两种方法的结果等价,那么系统就是时不变的。
首先用系统算子进行运算将得到
-
首先用移位算子将得到
-
如果系统是时不变的,那么
-