线性代数：咨询集合{(a, 2a, a²)}是否构成子空间

嘿，我太懂这种“背得定义但不会落地验证”的纠结了！咱们把子空间的判定条件拆成三步，一个个对应着检查，很快就能搞明白！

首先得明确：一个集合要构成向量空间的子空间，必须同时满足三个核心条件：

• 包含零向量
• 对向量加法封闭（任意两个集合内的向量相加，结果仍在集合里）
• 对标量乘法封闭（任意集合内的向量乘以任意标量，结果仍在集合里）

咱们就拿集合 ( S = {(a, 2a, a^2) \mid a \in \mathbb{R}} ) 来逐个验证：

1. 是否包含零向量？ #

零向量是 ( (0,0,0) )，找有没有 ( a ) 能让 ( (a,2a,a^2)=(0,0,0) )。当 ( a=0 ) 时，刚好满足，所以零向量在 ( S ) 里，这一条通过。

2. 是否对加法封闭？ #

取 ( S ) 里任意两个向量：

• ( \mathbf{v} = (a, 2a, a^2) )（对应参数 ( a )）
• ( \mathbf{w} = (b, 2b, b^2) )（对应参数 ( b )）

它们的和是：
( \mathbf{v} + \mathbf{w} = (a+b, 2(a+b), a^2 + b^2) )

现在要判断这个和是否属于 ( S )——也就是能不能找到某个参数 ( c )，让 ( (c, 2c, c^2) = (a+b, 2(a+b), a^2 + b^2) )。

前两个分量没问题：( c = a+b ) 就能满足 ( c = a+b ) 和 ( 2c = 2(a+b) )。但第三个分量要求 ( c^2 = a^2 + b^2 )，代入 ( c=a+b ) 得：
( (a+b)^2 = a^2 + b^2 )
展开左边后化简：( 2ab = 0 )

这意味着只有当 ( a=0 ) 或者 ( b=0 ) 时，和才在 ( S ) 里——但子空间要求对任意两个向量相加都封闭啊！比如取 ( a=1 )，( b=1 )，那么 ( \mathbf{v}+\mathbf{w}=(2,4,2) )，而 ( S ) 里对应 ( c=2 ) 的向量是 ( (2,4,4) )，显然 ( (2,4,2) \notin S )。所以加法不封闭，这一条直接不满足。

3. 补充：数乘封闭性（虽然已经能判定，但可以顺便看一下） #

取 ( S ) 里的向量 ( \mathbf{v}=(a,2a,a^2) )，标量 ( k \in \mathbb{R} )，数乘结果是：
( k\mathbf{v}=(ka, 2ka, k a^2) )

要属于 ( S )，需要存在 ( c ) 使得 ( (c,2c,c^2)=(ka,2ka,k a^2) )，即 ( c=ka )，且 ( (ka)^2 = k a^2 )，也就是 ( k^2 a^2 = k a^2 )。当 ( a \neq 0 ) 时，必须 ( k^2 = k )，也就是 ( k=0 ) 或 ( k=1 )——这显然不是对所有标量 ( k ) 都成立，比如 ( k=2 )，( a=1 )，数乘结果是 ( (2,4,2) \notin S )，所以数乘也不封闭。

结论 #

因为集合 ( S ) 不满足加法封闭性（也不满足数乘封闭性），所以它不构成向量空间的子空间。

内容的提问来源于stack exchange，提问作者a10220