1 非連続部分列の基本概念
1.1 部分列と添字の定義
母列（通常は実数列、あるいは一般の位相空間上の列）\((x_n)\)に対し、部分列とは母列の要素をいくつか取り出してできる列である。取り出し方は、添字の列\((n_k)\)で表され、部分列は\((x_{n_k})\)と書く。ここで\((n_k)\)が母列の添字を指すため、一般には厳密に言えば単調増加であることが前提になる（同じ添字を何度も使わない、取り出し順序を保つため）。
非連続部分列という呼び名は、この添字の列\((n_k)\)の増え方が「連続区間を作らない」ことに焦点を当てる点にある。すなわち、ある区間の連続した添字をそのまま並べるのではなく、間引いた添字を選ぶことで生じる部分列を念頭に置く。
1.2 「連続」とみなす条件
1.2.1 添字列の連続性
「連続」とみなすかどうかは、添字集合がどの程度連続区間を含むかで捉えるのが自然である。例えば、添字集合\(\{n_k\mid k\in\mathbb{N}\}\)が十分大きい領域で、ある整数区間\(\{m,m+1,\dots,M\}\)に一致する、あるいはそれに近い形で埋まるような場合には、部分列の選び方は局所的に連続的と言える。
逆に、添字の列が常に飛び飛びであり、ある意味で「隣り合う添字が系統的に欠ける」状態なら、部分列は非連続的である。実務上は、「任意の長さの連続区間が添字集合に含まれない」あるいは「連続添字が無限回出現しない」といった具体化が用いられることが多い。
1.2.2 非連続性の具体例
例として、母列がある配列\((x_n)\)で与えられているとする。ここから添字を
- \(n_k=2k\)（偶数添字のみ）
- \(n_k=2^k\)（べき指数のみ）
- \(n_k=k^2\)（平方数添字のみ）
のように選ぶと、部分列は一般に非連続的になる。特に\(n_k=2k\)は、隣接添字との差が一定であるため飛び飛びだが規則性がある。これに対し\(n_k=2^k\)や\(n_k=k^2\)は間隔が広がっていくため、母列の「局所的な挙動」から受ける影響が限定されやすい。
さらに、母列の一部が特定の添字近傍でのみ良い性質を持つ場合には、非連続な選び方によってその性質だけを抽出できる。逆に、単純な連続区間からの抽出では捉えられない現象が表面化する。
1.3 非連続部分列の役割と直観
非連続部分列は、「都合のよい位置だけを見る」ことによって、母列全体では分かりにくい性質を露出させる道具になりうる。連続的な切り出しだと、母列の局所的ふるまいの統計がそのまま反映されやすいが、非連続では選択の規則が別の支配要因を持つ。
そのため、極限や収束性を調べる場面で特に意味を持つ。母列が発散していても、非連続な添字をうまく選べば収束する部分列が得られることがある。また、上極限・下極限のように母列の極端な値の振る舞いを表す概念は、非連続部分列による「極端の再構成」と結びつきやすい。
直観的には、非連続性は「局所のつながりを切断し、別の局面をつなぎ合わせる編集」だと考えられる。編集の仕方によって収束先が変わる可能性が生じる点が、連続的な部分列とは異なる重要性を与える。
2 収束・極限との関係
2.1 部分列収束の考え方
2.1.1 極限値の取り方
部分列収束は、母列全体の収束とは別の観点で扱われる。すなわち\((x_{n_k})\)がある値\(L\)に収束するとは、十分大きい\(k\)に対し\(x_{n_k}\)が\(L\)の任意の近傍に入ることを指す。ここで重要なのは、どの\(n\)を選んだか（添字列\((n_k)\)）が、収束の成否や収束先の決定に強く関わる点である。
非連続部分列では、その関与がさらに大きくなる。母列がある区間では\(L\)に近づかないのに、特定の孤立した添字近傍では近づくような構造があるとき、非連続な抽出によってその孤立点だけをつなげて極限を作れる。
2.1.2 母列の挙動との対応
母列\((x_n)\)が収束するなら、任意の部分列は同じ極限へ収束する。一方で母列が収束しない場合には、部分列の収束先は選択に依存しうる。非連続部分列はこの依存性を際立たせる類型である。
具体的には、母列が振動的で、値が周期的または準周期的に上下する状況では、連続的な切り出しに近い選び方をすると平均的な傾向が混ざる。ところが非連続に、例えば特定の位相に対応する添字だけを選べば、その位相の値へ収束する部分列が得られることがある。つまり、母列の「局所的な到達の仕方」を間引きの仕方で選別することになる。
2.2 上極限・下極限の利用
2.2.1 任意のε近傍への入り方
上極限と下極限は、列がどの高さ（あるいは値）に「何度も近づくか」を測る指標として理解できる。一般に、上極限\(\limsup x_n\)に対しては、任意の\(\varepsilon>0\)に対し、無限回\(x_n>\limsup x_n-\varepsilon\)が成り立つ。下極限\(\liminf x_n\)についても同様に、任意の\(\varepsilon>0\)に対し無限回\(x_n<\liminf x_n+\varepsilon\)が成り立つ。
この「無限回」という性質は、非連続部分列を構成する自由度を保証する。すなわち、近傍条件を満たす添字を一つずつ拾えば、条件を保ったまま添字列を無限に作れる。結果として、上極限や下極限に近い値へ収束する部分列が抽出される。
2.2.2 非連続選択による振る舞い
上極限の近くに無限回到達するという事実は、非連続な添字の選択で極限を「押し上げる」ことを可能にする。例え母列がしばしば上へ跳ね、しかしその跳ねが頻繁でない場合でも、跳ねの瞬間だけを採用すれば、その上側の極限的挙動が部分列に移る。
同様に下極限側にも同じことが言える。非連続性は、列全体の混在した振る舞いを切り離し、極端な方向に焦点を当てる働きを持つ。そのため、ある部分列は上極限へ、別の部分列は下極限へ収束する、といった現象が自然に生じる。
3 代表的な性質と分類
3.1 有界性と非連続部分列
3.1.1 有界母列からの帰結
母列が有界であるなら、どの部分列も有界である。有界性は「全体で値がある帯の中に収まる」という性質であり、部分的に要素を取り出しても逸脱できないためである。したがって非連続部分列であっても、値域は母列の範囲から外れない。
この点は、上極限や下極限の議論とも整合的である。値が無限に広がらない限り、極端値の上限・下限が有限の範囲におさまり、部分列による抽出も「有限の極限」へ結びつく準備ができる。
3.1.2 非有界母列の場合の挙動
母列が有界でないとき、非連続部分列でも挙動は二通りに分かれる。一つは、巨大な値を含む添字を選んでしまい、部分列が発散するケースである。もう一方では、発散に関係する添字を避け、比較的落ち着いた領域からだけ要素を拾えば、部分列が収束する可能性が残る。
この分類は、非有界性が「どの方向へ、どれくらい頻繁に」出現するかによって分岐する。非連続部分列は、母列が持つ複数の局面を分離して見せるため、発散と収束の同居が起きやすい。
3.2 単調性・凸性などの保存
3.2.1 部分列で保存される性質
いくつかの性質は、部分列を取っても維持される。典型例として、単調性がある。母列が単調増加なら、添字を増加のまま選ぶことで部分列も単調増加になる。単調減少も同様である。
同様に、凸性や準凸性などは文脈依存であるが、ある種の制約（例えば同次性のような構造）を保ったまま部分列を考えると、形が崩れにくい場合がある。もっとも、凸性は離散的な点列の取り方に敏感なことが多く、「何を凸とみなすか」が定義に組み込まれるため、部分列に対して一律に保存されるとは限らない。
3.2.2 保存されない例
一方で、保存されない性質も多い。たとえば「ある添字の連続区間でしか成り立たない評価」や、「近傍の間隔に依存する性質」は、非連続部分列で失われやすい。直感的に、部分列はギャップを作るため、隣接関係が担っていた情報が欠落する。
また、「収束速度」や「差の和がある形で収束する」といった量的評価は、間引きによって構造が変形される。よって、非連続部分列を考えると保存されない性質が出ることは一般にありうる。
3.3 発散・振動との関係
3.3.1 発散しても収束部分列が存在する条件
母列が発散している場合でも、部分列が収束することはありうる。特に母列が有界であれば、収束部分列が存在するかどうかは追加条件に依存するが、少なくとも実数列の文脈では「無限に多くの値がどこかに集まる」という発想から部分列収束の可能性が強まる。
その背後には、値の蓄積点という考え方がある。発散とは全体として一点に集まらないことだが、値の挙動が複数の集積点を持つなら、そのうちの一つへ向かう添字だけを拾えば部分列として収束できる。
3.3.2 振動する列の非連続部分列
振動する列とは、上下に値が行き来し、単一の極限値に収束しない列を指すことが多い。典型では\(\sin n\)のような周期的変動である。非連続部分列では、特定の位相に対応する添字を選ぶことで、振動の振幅や位相構造に沿って部分列が収束する。
例えば、振動が二つの値の間で入れ替わるタイプでは、偶数添字だけ、奇数添字だけを選ぶとそれぞれ異なる極限へ向かう部分列が構成できる。ここで非連続性は「周期の位相を固定するための道具」として働く。
4 構成法・応用
4.1 望む性質を満たす部分列の作り方
4.1.1 添字の再帰的構成
非連続部分列の構成は、しばしば再帰的手順で行われる。方針は「次に選ぶ添字を、すでに満たしている条件を壊さない範囲で大きく取り直す」ことにある。たとえば収束先を狙う場合、段階ごとに\(\varepsilon_k\)を小さくし、条件を満たす添字が十分大きなところに存在するなら、その中から次の\(n_{k+1}\)を選ぶ。
この方法では、添字列\((n_k)\)が単調増加になるように制御できる。非連続性は、必ずしも最初から「飛び飛び」を決め打ちしなくても、条件が要求する“次に探す領域”が飛ぶようになることで自然に現れる。特定のε条件を満たす点が離散的にしか現れない場合、結果として添字間隔が広がり、非連続性が表に出る。
4.1.2 ε-N戦略による選択
収束や極限の証明では「ε-N戦略」がしばしば用いられる。これは、任意の誤差許容\(\varepsilon>0\)に対して、ある十分大きい添字以降では良い評価が成立する、という形で選択可能性を確保する考え方である。
非連続部分列の場合は、この戦略を段階的に適用する。たとえば\(\varepsilon_k\)を\(\varepsilon_k=1/k\)などとして設定し、各段階で\(x_{n}\)が狙う値に十分近い添字が見つかることを確認し、その中から順に\(n_k\)を選んでいく。結果として部分列の値は、段階ごとの要求を満たすように構成され、収束性が得られる。
上極限・下極限との関係では、「無限回成り立つ」という論理がε条件に対応し、同様の再帰構成が成立する。
4.2 解決における典型的用途
4.2.1 極限存在の議論
極限の存在を示す、あるいは存在しないことを示す際に、非連続部分列は矛盾の構成に使われることがある。たとえば「収束すると仮定する」と、部分列も同じ極限へ収束すべきだが、別の非連続部分列が異なる値へ近づくなら、仮定と衝突する。
このとき非連続部分列は、母列全体の平均的性質ではなく、極端な局面の再現を担当する。従って証明は「母列の全体」ではなく「選び方の違いによって極限が変わる」という構造を露出させる方向へ進む。
4.2.2 抽出定理的な考え方との接続
抽出定理（しばしば収束部分列が存在するという形で現れる）では、非連続な選択が本質的な役割を果たす。母列の情報は全体としては複雑であっても、無限回繰り返し現れる領域があると、その領域から要素を拾っていくことで整った挙動を持つ部分列が得られる。
この接続の要点は、非連続部分列が「情報を圧縮する」機能を持つ点である。多数の項のうち、適切な集合から抜き出すことで、極限に必要な要点だけを残す。間引きは単なる省略ではなく、解析の対象を適切な形へ変換する操作として理解できる。
4.3 証明での注意点
4.3.1 「非連続」であることの明示
証明や説明では、非連続であるという主張がどの意味で成り立つのかを明確にする必要がある。単に「適当に飛ばしている」程度では、どの性質が失われ、どの性質が残ったかを論理的に追えないためである。
たとえば「無限に多くの連続区間を含まない」といった添字集合の性質、あるいは「隣接添字を同時に含むことが有限回である」といった条件を、必要に応じて文章に含める。曖昧なまま進めると、どの論点に非連続性が寄与しているのかが判別できなくなる。
4.3.2 直前の定義との整合性
添字列や部分列の定義に立ち返り、増加性、単純さ、同一添字の再利用禁止など、前提条件との整合性を確認する。特に、順序を保つ単調増加が保証されないと、部分列としての形式が崩れる。
また、上極限・下極限を用いる場合は、「無限回」という量的情報が、どの部分列の構成と対応しているかを整理する。定義の整合を欠くと、ε条件の満たし方が段階ごとに矛盾する可能性があるため、注意が必要になる。
5 例題・演習
5.1 典型例：収束先が変わる非連続部分列
母列として \[ x_n=\begin{cases} 0 & (n\ \text{が偶数})\\ 1 & (n\ \text{が奇数}) \end{cases} \] を考える。母列は収束しないが、非連続部分列として偶数添字だけを選べば\((x_{2k})\)は常に0であり収束する。同様に奇数添字のみを選ぶと\((x_{2k+1})\)は常に1であり収束する。
この例の要点は、同じ母列から異なる添字選択を行うだけで、部分列の収束先が変わることにある。非連続性は、隣接する混在を避け、位相（ここでは偶奇）の情報だけを残す操作として働いている。
5.2 典型例：上極限・下極限からの抽出
次の母列を考える： \[ x_n= \begin{cases} 1 & \text{特定の添字集合 }A\text{ に属する場合}\\ 0 & \text{それ以外} \end{cases} \] ただし集合\(A\)は無限集合であり、さらに補集合も無限であるとする。すると値は0と1の間に留まり、上極限は1、下極限は0になる。
このとき、集合\(A\)に属する添字だけを並べた添字列\((n_k)\)を選べば\((x_{n_k})\)は1に収束する。一方、補集合側の添字列を選べば0に収束する。ここでは上極限・下極限の定義に含まれる「任意のεに対し無限回近づく」性質が、非連続部分列の抽出可能性を保証している。
5.3 演習問題（段階別）
基礎
- 母列\((x_n)\)から添字列\((n_k)\)を取り\((x_{n_k})\)を構成する際、必要となる添字列の基本的性質（順序保持など）を述べよ。
- 行き来する母列の例を二つ作り、非連続部分列によって異なる極限（あるいは極限なし）を得られることを確認せよ。
標準
- 上極限\(\limsup x_n\)が有限値であるとする。任意の\(\varepsilon>0\)に対して、条件\(\,x_n>\limsup x_n-\varepsilon\,\)を満たす添字が無限回存在することを、添字の選び方に結びつけて説明せよ。
- 母列が有界でない場合に、収束する非連続部分列が存在しうる条件を、具体例で示せ。
発展
- 「非連続性」をどのように形式化すれば、証明の中で本質的に使えるかを検討し、定義の一つの候補を提案せよ。その候補で成り立つ性質・成り立たない性質の差も述べよ。
- 非連続部分列に関する“保存されやすい性質”と“壊れやすい性質”を、それぞれ一つずつ選び、理由を添えて論じよ。