子列

子序列
术语名称	子序列
英语名称	subsequence
别名	子列

子序列(subsequence)简称子列，指一个序列中部分元素按原顺序排列得到的新序列。 子列元素不要求在原序列中连续，但是新序列中的顺序需要与原序列中的顺序相同。

也可以认为子列是原序列中不改变顺序地删除部分元素得到的序列。

定义

子列关系
关系名称	子列关系
关系符号
Latex
关系对象	序列
关系元数	2
类型	偏序

对序列 [math]\displaystyle{ a_1,a_2,\cdots }[/math] 和序列 [math]\displaystyle{ b_1,b_2,\cdots }[/math] ，若存在一组正整数下标 [math]\displaystyle{ i_1\lt i_2\lt \cdots }[/math] 使得 [math]\displaystyle{ b_j = a_{i_j} }[/math] ，则称序列 [math]\displaystyle{ b_1,b_2,\cdots }[/math] 为序列 [math]\displaystyle{ a_1,a_2,\cdots }[/math] 的子列(subsequence)。

以上定义在序列有限长时也适用。此时为序列 [math]\displaystyle{ a_1,a_2,\cdots,a_n }[/math] 和序列 [math]\displaystyle{ b_1,b_2,\cdots,b_m }[/math] ，和正整数下标 [math]\displaystyle{ i_1\lt i_2\lt \cdots\lt i_m }[/math] 。

说明：

• 定义中存在一组下标也被描述为存在下标间的严格单调递增的映射。
• 也定义为，若存在一组正整数下标则 [math]\displaystyle{ a_{i_1},a_{i_2},\cdots }[/math] 为序列 [math]\displaystyle{ a_1,a_2,\cdots }[/math] 的子列。

性质

• 子列关系是一种偏序。