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