形如(a,a+k,a+2k…)的等差数列是否为实无穷序列空间的子空间？

首先得明确：固定常数a和k的单个等差数列序列构成的集合，绝对不是全体实无穷序列空间的子空间——你的判断完全正确，教材大概率是表述有歧义，或者你误解了教材的指代对象。

先回顾实向量空间子空间的三个核心判定条件（缺一不可）：

• 必须包含零向量（全零的无穷序列）；
• 对向量加法封闭：任意两个集合内的向量相加，结果仍在集合中；
• 对实数数乘封闭：任意集合内的向量乘以任意实数，结果仍在集合中。

一、固定a和k的单个序列集合的情况 #

假设集合S仅包含一个序列：(a, a+k, a+2k, a+3k, ...)

1. 零向量存在性：只有当a=0且k=0时，这个序列才是零序列；只要a≠0或k≠0，S里就没有零向量，直接不满足子空间要求。
2. 数乘封闭性：就算a=0、k≠0，把序列乘以2得到(0, 2k, 4k, ...)，这个序列显然不在S里（S里只有(0,k,2k,...)），不满足数乘封闭。
3. 你举的例子本质上也是数乘问题：原序列的2倍是(2a, 2a+2k, 2a+4k, ...)，要属于S的话，必须满足2a=a且2k=k，也就是a=k=0，否则必然不在集合里。

所以这种情况下，你的结论完全正确，这个集合不是子空间。

二、所有等差数列序列构成的集合的情况 #

如果教材说的是所有形如(a, a+k, a+2k, ...)的序列（a和k可取任意实数），那这个集合确实是子空间：

• 零向量：取a=0、k=0，得到全零序列，属于该集合；
• 加法封闭：两个等差数列相加，结果还是等差数列：(a,a+k,...)+(b,b+m,...)=(a+b, (a+b)+(k+m), ...)，符合集合的形式；
• 数乘封闭：任意实数λ乘以等差数列(a,a+k,...)，得到(λa, λa+λk, ...)，也是等差数列，属于集合。

总结 #

你遇到的问题大概率是教材表述不清晰，把“所有等差数列构成的集合”和“单个固定的等差数列集合”混淆了。你的推理是对的，固定a和k的单个序列集合绝对不是子空间。

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