複素数列の部分列
複素数列\(\left\{ z_{n}\right\} \)とは無限個の複素数を順番に並べたもの\begin{equation*}z_{1},z_{2},\cdots ,z_{n},\cdots
\end{equation*}ですが、この無限個の複素数の中から無限個の複素数を抜き出した上で、順番を保ったままそれらを並べてできる複素数をもとの複素数\(\left\{z_{n}\right\} \)の部分列（subsequence）と呼びます。複素数列は無限個の複素数の並びです。部分列も複素数であるため、その項の個数は無限個でなければなりません。つまり、もとの複素数列から有限個の項を抜き出して並べたものは部分列とはみなされません。
\end{equation*}となりますが、ここから偶数番目の項をすべて抜き出して順番を保ったまま並べると、\begin{equation*}
z_{2},z_{4},z_{6},z_{8},z_{10},\cdots
\end{equation*}という\(\left\{ z_{n}\right\} \)の部分列を得ます。一方、奇数番目の項をすべて抜き出して順番を保ったまま並べると、\begin{equation*}z_{1},z_{3},z_{5},z_{7},z_{9},\cdots
\end{equation*}という\(\left\{ z_{n}\right\} \)の部分列を得ます。
\end{equation*}で与えられているとき、その項は、\begin{eqnarray*}
z_{1} &=&i \\
z_{2} &=&-\frac{1}{2} \\
z_{3} &=&-\frac{i}{3} \\
&&\vdots
\end{eqnarray*}です。ここから\(3\)の倍数番目の項だけを抜き出して順番を保ったまま並べると、\begin{eqnarray*}z_{3} &=&-\frac{i}{3} \\
z_{6} &=&-\frac{1}{6} \\
z_{9} &=&\frac{i}{9} \\
&&\vdots
\end{eqnarray*}という\(\left\{ z_{n}\right\} \)の部分列を得ます。ちなみに、以下の項の並び\begin{eqnarray*}z_{4} &=&\frac{1}{4} \\
z_{3} &=&-\frac{i}{3} \\
z_{1} &=&i \\
&&\vdots
\end{eqnarray*}は\(\left\{ z_{n}\right\} \)の部分列ではありません。もとの複素数\(\left\{ z_{n}\right\} \)から項の相対的な順番が入れ替わってしまっているからです。
部分列の一般項を特定する方法
部分列の概念をどのように定式化できるでしょうか。複素数列\(\left\{ z_{n}\right\} \)の項を順番に並べると、\begin{equation*}z_{1},z_{2},z_{3},z_{4},\cdots
\end{equation*}となります。この複素数列\(\left\{ z_{n}\right\} \)の部分列を任意に選んだ上で、その一般項、すなわち第\(n\)項を、\begin{equation*}z_{l\left( n\right) }
\end{equation*}で表記します。ただし上の表記は、「部分列の第\(n\)項は、もとの複素数列\(\left\{ z_{n}\right\} \)の第\(l\left( n\right) \)項と一致する」ことを表すものとします。以上の表記のもとで、部分列そのものは\begin{equation*}\left\{ z_{l\left( n\right) }\right\}
\end{equation*}と表記されます。この部分列\(\left\{ z_{l\left( n\right) }\right\} \)の項を順番に並べると、\begin{equation*}z_{l\left( 1\right) },z_{l\left( 2\right) },z_{l\left( 3\right) },z_{l\left(
4\right) },\cdots
\end{equation*}となりますが、これは、部分列の初項\(z_{l\left(1\right) }\)はもとの複素数列の第\(l\left( 1\right) \)項と一致し、部分列の第\(2\)項\(z_{l\left(2\right) }\)はもとの複素数列の第\(l\left( 2\right) \)項と一致し、\(\cdots \)であることを意味します。部分列の定義より、もとの複素数列\(\left\{ z_{n}\right\} \)の項の中から無限個の項を抜き出した上で順番を保って並べたものが部分列\(\left\{ z_{l\left( n\right) }\right\} \)であるため、その項の添字\(l\left( 1\right) ,l\left( 2\right) ,l\left(3\right) ,l\left( 4\right) ,\cdots \)は、\begin{equation*}l\left( 1\right) <l\left( 2\right) <l\left( 3\right) <l\left( 4\right)
<\cdots
\end{equation*}を満たす自然数からなる狭義の単調増加数列です。そこで、複素数列\(\left\{ z_{l\left( n\right) }\right\} \)の項の添字\(l\left( 1\right) ,l\left( 2\right),l\left( 3\right) ,l\left( 4\right) ,\cdots \)が上の条件を満たすとき、これを複素数列\(\left\{ z_{n}\right\} \)の部分列と呼びます。
同じことを写像を用いて表現しましょう。複素数列\(\left\{ z_{n}\right\} \)とは、それぞれの番号\(n\in \mathbb{N} \)に対して、その複素数列の第\(n\)項に相当する実数\(z_{n}\)を定める写像\begin{equation*}z:\mathbb{N} \rightarrow \mathbb{R} \end{equation*}として定義されます。複素数列\(\left\{ z_{n}\right\} \)の部分列\(\left\{ z_{l\left( n\right) }\right\} \)もまた複素数列であるため、部分列もまた何らかの写像として定式化されるはずです。では、部分列はどのような写像として定式化できるでしょうか。以下の表を見ながら説明します。
$$\begin{array}{cccccc}
\hline
n & 1 & 2 & 3 & 4 & \cdots \\ \hline
\downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \downarrow \\ \hline
l(n) & l\left( 1\right) & l\left( 2\right) & l\left( 3\right) & l\left( 4\right) & \cdots \\ \hline
\downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \downarrow \\ \hline
z_{l\left( n\right) } & z_{l\left( 1\right) } & z_{l\left( 2\right) } & z_{l\left( 3\right) } & z_{l\left( 4\right) } & \cdots \\ \hline
\end{array}$$
複素数列\(\left\{ z_{n}\right\} \)の部分列\(\left\{ z_{l\left( n\right) }\right\} \)を特定するためには、それぞれの番号\(n\in \mathbb{N} \)に対して、部分列\(\left\{z_{l\left( n\right) }\right\} \)の第\(n\)項がもとの複素数列\(\left\{ z_{n}\right\} \)の第\(l\left( n\right) \)項に一致することを指定する写像\begin{equation*}l:\mathbb{N} \rightarrow \mathbb{N} \end{equation*}が必要です。ただし、もとの複素数列\(\left\{z_{n}\right\} \)の項の中から無限個の項を抜き出した上で順番を保って並べたものが部分列\(\left\{ z_{l\left( n\right) }\right\} \)であるため、この写像\(l\)は狭義の単調増加関数でなければなりません。つまり、写像\(l\)は以下の条件\begin{equation*}\forall k,h\in \mathbb{N} :\left[ k<h\Rightarrow l(k)<l(h)\right]
\end{equation*}を満たす必要があるということです。その上で、合成写像\begin{equation*}
z\circ l:\mathbb{N} \rightarrow \mathbb{R} \end{equation*}を定義すると、これはそれぞれの番号\(n\in \mathbb{N} \)に対して、\begin{equation*}\left( z\circ l\right) \left( n\right) =z\left( l\left( n\right) \right)
\end{equation*}を定めますが、これはもとの複素数列\(\left\{z_{n}\right\} \)の第\(l\left( n\right) \)項であり、したがって部分列\(\left\{ z_{l\left( n\right) }\right\} \)の第\(n\)項、すなわち一般項\(z_{l\left(n\right) }\)に他なりません。つまり、以上のような合成写像\(z\circ l\)が与えられれば部分列\(\left\{ z_{l\left(n\right) }\right\} \)のすべての項を具体的に特定できるため、この合成写像を部分列と同一視できます。ただ、繰り返しになりますが、写像\(l\)は狭義単調増加でなければなりません。
\end{equation*}という\(\left\{ z_{n}\right\} \)の部分列\(\left\{ z_{l\left( n\right) }\right\} \)を得ます。この部分列をどのような写像として表現できるでしょうか。もとの複素数列\(\{z_{n}\}\)は写像\(z:\mathbb{N} \rightarrow \mathbb{R} \)として表現されます。この複素数列の偶数番目の項だけを抜き出したいため、それぞれの\(n\in \mathbb{N} \)に対して、\begin{equation}l\left( n\right) =2n \quad \cdots (1)
\end{equation}を定める狭義の単調増加関数\(l:\mathbb{N} \rightarrow \mathbb{N} \)を利用します。以上の2つの写像の合成関数\(z\circ l:\mathbb{N} \rightarrow \mathbb{R} \)として定義される複素数列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項は、\begin{eqnarray*}z_{l\left( n\right) } &=&\left( z\circ l\right) \left( n\right) \\
&=&z\left( l\left( n\right) \right) \quad \because \text{合成写像の定義} \\
&=&z\left( 2n\right) \quad \because \left( 1\right) \\
&=&z_{2n}
\end{eqnarray*}となります。これが先の部分列の一般項です。実際、複素数列\(\left\{ z_{l\left( n\right) }\right\} =\left\{ z_{2n}\right\} \)の項を並べると、\begin{eqnarray*}z_{l\left( 1\right) } &=&z_{2\cdot 1}=z_{2} \\
z_{l\left( 2\right) } &=&z_{2\cdot 2}=z_{4} \\
z_{l\left( 3\right) } &=&z_{2\cdot 3}=z_{6} \\
&&\vdots
\end{eqnarray*}となり、これは先の部分列と一致します。では、もとの複素数列\(\left\{ z_{n}\right\} \)から奇数番目の項をすべて抜き出して順番を保ったまま並べることで得られる部分列\begin{equation*}z_{1},z_{3},z_{5},z_{7},z_{9},\cdots
\end{equation*}をどのような合成写像として表現できるでしょうか。繰り返しになりますが、もとの複素数列\(\{z_{n}\}\)は写像\(z:\mathbb{N} \rightarrow \mathbb{R} \)として表現されます。この複素数列の奇数番目の項だけを抜き出したいため、それぞれの\(n\in \mathbb{N} \)に対して、\begin{equation}l\left( n\right) =2n-1 \quad \cdots (2)
\end{equation}を定める狭義の単調増加関数\(l:\mathbb{N} \rightarrow \mathbb{N} \)を利用します。以上の2つの写像の合成関数\(z\circ l:\mathbb{N} \rightarrow \mathbb{R} \)として定義される複素数列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項は、\begin{eqnarray*}z_{l\left( n\right) } &=&\left( z\circ l\right) \left( n\right) \\
&=&z\left( l\left( n\right) \right) \quad \because \text{合成写像の定義} \\
&=&z\left( 2n-1\right) \quad \because \left( 2\right) \\
&=&z_{2n-1}
\end{eqnarray*}となります。これが先の部分列の一般項です。実際、複素数列\(\left\{ z_{l\left( n\right) }\right\} =\left\{ z_{2n-1}\right\} \)の項を並べると、\begin{eqnarray*}z_{l\left( 1\right) } &=&z_{2\cdot 1-1}=z_{1} \\
z_{l\left( 2\right) } &=&z_{2\cdot 2-1}=z_{3} \\
z_{l\left( 3\right) } &=&z_{2\cdot 3-1}=z_{5} \\
&&\vdots
\end{eqnarray*}となり、これは先の部分列と一致します。
\end{equation*}で与えられているものとします。この複素数列の\(3\)の倍数番目の項だけを抜き出して順番を保ったまま並べると、\begin{eqnarray*}z_{3} &=&-\frac{i}{3} \\
z_{6} &=&-\frac{1}{6} \\
z_{9} &=&\frac{i}{9} \\
&&\vdots
\end{eqnarray*}を得ますが、これは\(\left\{ z_{n}\right\} \)の部分列です。この部分列をどのような写像として表現できるでしょうか。もとの複素数列\(\left\{z_{n}\right\} \)はそれぞれの\(n\in \mathbb{N} \)に対して、\begin{equation*}z\left( n\right) =\frac{i^{n}}{n}
\end{equation*}を定める写像\(z:\mathbb{N} \rightarrow \mathbb{R} \)です。この複素数列の\(3\)の倍数番目の項だけを抜き出したいため、それぞれの\(n\in \mathbb{N} \)に対して、\begin{equation}l\left( n\right) =3n \quad \cdots (1)
\end{equation}を定める狭義の単調増加関数\(l:\mathbb{N} \rightarrow \mathbb{N} \)を利用します。以上の2つの写像の合成関数\(z\circ l:\mathbb{N} \rightarrow \mathbb{R} \)として定義される複素数列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項は、\begin{eqnarray*}z_{l\left( n\right) } &=&\left( z\circ l\right) \left( n\right) \\
&=&z\left( l\left( n\right) \right) \quad \because \text{合成写像の定義} \\
&=&z\left( 3n\right) \quad \because \left( 1\right) \\
&=&\frac{i^{3n}}{3n}\quad \because \left\{ z_{n}\right\} \text{の定義}
\end{eqnarray*}となります。これが先の部分列の一般項です。実際、複素数列\(\left\{ z_{l\left( n\right) }\right\} =\left\{ \frac{i^{3n}}{3n}\right\} \)の項を並べると、\begin{eqnarray*}z_{l\left( 1\right) } &=&\frac{i^{3}}{3\cdot 1}=-\frac{i}{3} \\
z_{l\left( 2\right) } &=&\frac{i^{6}}{3\cdot 2}=-\frac{1}{6} \\
z_{l\left( 3\right) } &=&\frac{i^{9}}{3\cdot 3}=\frac{i}{9} \\
&&\vdots
\end{eqnarray*}となりますが、これは先の部分列と一致しています。
z_{n}=\frac{i}{n}
\end{equation*}で与えられる複素数列\(\left\{ z_{n}\right\} \)について考えます。この複素数列の項を並べると、\begin{eqnarray*}z_{1} &=&i \\
z_{2} &=&\frac{i}{2} \\
z_{3} &=&\frac{i}{3} \\
&&\vdots
\end{eqnarray*}となります。これに対して複素数列\(\{z_{l\left(n\right) }\}\)が、\begin{eqnarray*}z_{l\left( 1\right) } &=&\frac{i}{3} \\
z_{l\left( 2\right) } &=&\frac{i}{2} \\
z_{l\left( 3\right) } &=&i \\
&&\vdots
\end{eqnarray*}で与えられているものとします。\(\{z_{l\left( n\right) }\}\)は\(\{z_{n}\}\)の部分列ではありません。実際、この2つの複素数列の間には、例えば、\begin{eqnarray*}z_{1} &=&z_{l\left( 3\right) } \\
z_{3} &=&z_{l\left( 1\right) }
\end{eqnarray*}すなわち、\begin{eqnarray*}
l\left( 3\right) &=&1 \\
l\left( 1\right) &=&3
\end{eqnarray*}という関係が成立していますが、これは\(l\)が狭義単調増加関数ではないことを示しています。\(\{z_{l\left( n\right) }\}\)が\(\{z_{n}\}\)の部分列であるためには\(l\)が狭義単調増加関数である必要があります。
演習問題
\end{equation*}で与えられているものとします。この複素数列\(\left\{ z_{n}\right\} \)の偶数番目の項からなる部分列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項を求めてください。
\end{equation*}で与えられているものとします。この複素数列\(\left\{ z_{n}\right\} \)の奇数番目の項からなる部分列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項を求めてください。
\end{equation*}で与えられているものとします。この複素数列\(\left\{ z_{n}\right\} \)の3の倍数番目の項からなる部分列\(\left\{ z_{l\left( n\right) }\right\} \)の一般項を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】