这句话“a linear function of linear function is still a linear function”有严谨的数学推导论证。下面我将从线性代数的角度进行详细推导。

线性函数的定义

在数学中,一个函数 image 是线性的,当且仅当它满足以下两个条件:

  1. 可加性:对于所有向量 image,有 image
  2. 齐次性:对于所有标量 image 和向量 image,有 image

问题陈述

假设有两个线性函数:

  • image 是线性的,
  • image 是线性的。

定义组合函数 imageimage。我们需要证明 image 也是线性的。

严谨推导

1. 验证可加性

对于任意 image:
image
由于 ( g ) 是线性的,满足可加性,因此 ( g(x + y) = g(x) + g(y) )。代入上式:
image
又因为 ( f ) 是线性的,也满足可加性,因此 ( f(g(x) + g(y)) = f(g(x)) + f(g(y)) )。所以:
image
thus, image 满足可加性。

2. 验证齐次性

对于任意标量 image 和向量 image:
image
由于 ( g ) 是线性的,满足齐次性,因此 image。代入上式:
image
又因为 ( f ) 是线性的,也满足齐次性,因此 image。所以:
image
thus, image 满足齐次性。

结论

由于 image 同时满足可加性和齐次性,因此 image 是线性函数。这证明了“一个线性函数的线性函数仍然是一个线性函数”这一陈述。

补充说明

上述推导在一般的向量空间中也成立,而不仅限于 image,因为线性性的定义是通用的。因此,该结论具有广泛的适用性。