Niech \((a_{n})\) będzie dowolnym ciągiem, a \((k_{n})\) niech będzie rosnącym ciągiem liczb naturalnych. Podciągiem ciągu \((a_{n})\) nazywamy ciąg \((b_{n})\) określony wzorem \[ b_{n} \stackrel{def}=a_{k_{n}},\ \textrm{ gdzie } \ n\in \mathbb{N}.\]
Obrazowo
Podciągiem nazywamy ciąg pozostały przez wykreślenie pewnej liczby (skończonej lub nie) wyrazów ciągu wyjściowego.
Np.
1. Ciąg liczb podzielnych przez 3 jest podciągiem liczb naturalnych:
\[\begin{matrix}
\begin{array}{l}
(b_{n})=\ ( &3, &6, &9, &12, &15, &\cdots),\\
(a_{n})=\ ( \cancel{1},\ \cancel{2}, &\color{#F57C00}{3},\ \cancel{4},\ \cancel{5}, &\color{#F57C00}{6},\ \cancel{7},\ \cancel{8}, &\color{#F57C00}{9},\ \cancel{10},\ \cancel{11}, &\color{#F57C00}{12}, \ \cancel{13},\ \cancel{14}, &\color{#F57C00}{15},\ \cancel{16},\ \cancel{17}\ &\cdots).\
\end{array}
\end{matrix}\]
2. Ciąg \(c_{n}=\Big(1+\displaystyle\frac{1}{3n-11}\Big)^{3n-11}\) jest podciągiem ciągu \(a_{n}=\Big(1+\displaystyle\frac{1}{n}\Big)^{n}.\)
3. Ciąg \(e_{n}=(1,1,1,1,1,1 \cdots)\) jest podciągiem ciągu \(a_{n}=(-1,\color{#F57C00}{1},-1,\color{#F57C00}{1},-1,\color{#F57C00}{1},-1,\color{#F57C00}{1},\cdots).\)