1 反例列の基本
1.1 用語と目的
1.1.1 「反例」と「反例列」の違い
反例は、ある命題が主張する性質を満たさない具体的な対象を1つ示すことで、主張の正しさを否定する働きをする。反例列は、そのような「満たさない対象」を、添字の意味や順序が明確になる形で連ねた系列である。反例列を用いると、単に一度破れることだけでなく、条件を弱めたときにどの種の挙動が生じるか、どの境界付近で破綻が起きるかを、連続的・段階的に観察できる。
1.1.2 命題の一般性を崩す方法
命題が「すべての対象について成り立つ」形式なら、どこか1点でも成立しない例を与えれば十分な場合が多い。しかし解析系の命題では、「極限」「収束」「境界での挙動」「評価の比較」などのために、一例では直感が伝わりにくいことがある。反例列は、定義域の端や評価の閾値、あるいは近似操作の限界といった場所で性質が崩れる過程を可視化し、一般性が崩れる機構を説明する補助線として機能する。
1.2 数列・関数としての反例列
1.2.1 数列（実数列）における反例列
実数列の文脈では、条件が「値の大小」「極限の存在」「収束の形式」「有界性」などに関わる。反例列の典型的な狙いは、各要素が条件を満たして見える／あるいは部分的には満たすが、添字を進めると要求された結論が失われることを示す点にある。たとえば、ある評価が「すべての項で成り立つ」ように見えても、極限を取る局面で結論が崩れる構図を作れる。
1.2.2 関数列（極限・収束）における反例列
関数列では、点wise収束、距離に基づく収束、積分の極限交換、連続性や微分可能性の保持など複数の概念が絡む。反例列は、どの収束が仮定されているか、またどの操作（極限、微分、積分、評価）を挿入してもよいかを判定するために用いられる。結果の取り扱いが「境界では保証がない」タイプなら、反例列はその境界に近づけるパラメータを含む形で設計されることが多い。
1.3 反例列の評価観点
1.3.1 どの条件を満たさないか
反例列が有効であるためには、何が成り立たないのかを明確にする必要がある。失敗の対象が「結論そのもの」なのか、「前提の一部」なのかを区別する。前提を満たしているつもりでも、境界での条件（定義域への適合、評価の方向、測度や有界性など）が隠れた形で崩れていることがあるため、反例列の構成後に検証項目を順番に潰すのが実務的である。
1.3.2 値の振る舞い（発散・振動・偏り）
反例列の見せ場は、結論を壊す振る舞いがどのタイプかにある。典型的には、値が発散して極限が存在しない、あるいは極限が存在しても狙った値に寄らない。または振動して収束が起きず、ある種の平均化では見かけ上落ち着くが別の操作では破綻する、というパターンもある。振る舞いの分類を意識すると、どの仮定が本質かを切り分けやすくなる。
2 微分積分における反例列の典型
2.1 極限に関する反例列
2.1.1 点列的収束の失敗例
2.1.1.1 一様性の欠如を示す例
点wiseの収束と一様収束の差は、微分・積分の領域では特に重要になる。反例列では「各点では収束しているのに、全体として一様に振る舞わない」状況を作る。たとえば幅が狭くなるが高さが大きい“尖った”形の関数を考えると、どの固定した点ではたしかに影響が消える一方、尖りの位置は添字ごとに動くため、最大値の振る舞いが制御されない。結果として、最大値の評価や積分の極限交換などで破綻が起こり、仮定としての一様性の必要性が理解できる。
2.2 連続性・微分可能性の反例列
2.2.1 連続だが微分不可能な場合
連続性は、微分可能性を保証しない。反例列では、各要素が連続であるにもかかわらず、どこかの点で微分が存在しない、あるいは微分係数が安定しない構図を取り上げる。尖り（角）や折れ曲がりを持つ形は、その場で差分商が振動したり一方向に発散したりするため、導関数の定義に必要な極限が成立しないことを示しやすい。こうした例は「連続なら形が滑らか」という直感の過剰一般化を修正する役割を担う。
2.2.2 微分が存在しても条件が弱い場合
仮定として「微分が存在する」だけでは、積分表示、極限操作、あるいは微分係数の極限といった結論が必ずしも従わない場合がある。反例列は、各要素について導関数は存在しても、その導関数列が必要な意味で収束しない、あるいは支配を与える条件（有界性、可積分性、支配関数の存在など）が欠けている状況を提示する。すると、極限の交換や極限後の微分が正当化できず、結論側の主張だけが破れる。
2.3 リーマン積分・ルベーグ積分の反例列
2.3.1 近似の失敗（収束が通らない）
積分ではしばしば「関数列の収束が積分の収束を導く」という形の定理が使われるが、収束の種類や補助仮定が弱いと交換ができない。反例列では、各点ではある値に近づいても、積分の側では“面積が溜まる”ため極限が一致しないことを示す。典型的には、台の広がりを狭めるが振幅を上げることで点wiseでは消えても、積分値の寄与がゼロにならないよう調整する。これにより「点wise収束だけでは積分極限は保証されない」という限界が可視化される。
2.3.2 加法性や評価の取り違えに対する例
積分では、測度論的な加法性や評価の向き（不等式の成立範囲）を誤ると、筋の通った計算でも結論が崩れることがある。反例列は、分解した部分集合や分割が、望む形で互いに交わらないとは限らない、あるいは評価が“ほぼ至る所”でしか成り立たないといった状況を突く。具体例では、分割に基づく和が期待通りの形で極限に向かわず、積分の性質を誤って適用した結果と一致しないことを確認できる。こうした例は、式変形の根拠を定理の条件と対応させる訓練として役立つ。
3 反例列の構成手法
3.1 条件を外して検証する戦略
3.1.1 仮定のどこが必要か
定理の仮定は冗長に見えることがあるが、反例列の設計では「その仮定が担う役割」を特定することが重要になる。たとえば、一様な評価が必要なのか、端点での境界条件が必要なのか、可積分性や有界性が必要なのかを推定し、そこを意図的に欠くように系列を組む。仮定を抜いた直後に結論が壊れる箇所が見つかると、反例列は単なる反証にとどまらず、証明の依存関係を写し取った教材になる。
3.1.2 「必要条件」の見つけ方
必要性の見つけ方は、(i)仮定を弱めるときに計算が成立しなくなる箇所を探す、(ii)仮定が使われる定理の“交換則”や“極限操作”に着目する、(iii)代表的な失敗パターン（点wiseの不足、支配の不足、境界での不安定）に当てはめる、という流れで整理できる。反例列は、どの弱め方が致命的かを、複数試行を通じて絞り込むプロセスの結果として出てくることが多い。
3.2 既知の代表例の転用
3.2.1 代表的な振動例の設計
振動は反例の原材料になりやすい。代表的な振動の形を把握しておくと、新しい主張に対しても同種の失敗を狙える。たとえば、位相（周期や位相速度）を制御して、ある種の極限が存在しない、あるいは別種の平均は落ち着くが点wiseの極限は破れる、といった挙動を実現する。重要なのは、振動が「結論を壊す場所」を正しく狙っているかを、条件との対応で検証することにある。
3.2.2 発散・稀薄化のパターン
発散は極限の不一致を作りやすい。一方稀薄化（影響領域の縮小）では、点ごとの振る舞いと積分的な寄与を分離できる。反例列では、発散が許される範囲と、そうでない範囲を見極める必要がある。たとえば値そのものが大きくなると前提条件を破る可能性があるため、台の形や分布の調整によって「制約は保ちつつ結論だけ壊す」よう設計する。
3.3 パラメータ付きの設計
3.3.1 パラメータを使ったスケーリング
スケーリングは反例列の制御装置になる。添字に応じて幅や高さを変えると、どの条件が“適応される”かを計算で追跡できる。幅を狭めれば局所的な影響は薄れ、幅を広げれば積分値が一定に保たれる場合がある。こうした調整により、点wiseでは消えても平均的な量は残る、あるいは上限評価が破綻する、といった現象を狙い通りに作れる。
3.3.2 近似誤差を制御する発想
反例列では、近似の失敗がどこに由来するかも設計できる。たとえば近似操作が「誤差項」を許容する構造なら、その誤差が収束せずに蓄積するように系列を作る。あるいは、近似が正しい方向の不等式を与えると思わせておきながら、終局で反転するように調整することもある。誤差の大きさを見積もることができると、反証が直感ではなく計算で支えられる。
4 反例列の書き方・検証方法
4.1 反例としての論証の型
4.1.1 命題の主張の否定方法
反例は論理構造として「前提を満たす」ことと「結論が成り立たない」ことの二本立てに整理される。反例列では、結論側の否定が極限・収束・存在・不等式などの形式を取るため、その否定が何を意味するかを先に確定する必要がある。たとえば「収束しない」は“極限が存在しない”だけでなく“ある値にも寄らない”という複数の言い換えが成り立つ場合がある。誤った否定形を選ぶと、正しく破れていない可能性が残る。
4.1.2 「満たす性質」と「満たさない性質」
反例列の提示では、満たす性質は条件ごとに明示し、満たさない性質は結論の核心に直結させる。満たす側の検証には計算と論理の整合が必要であり、満たさない側には“境界で起きるズレ”を示す工夫が要る。たとえば端点での評価、最大値の増大、積分値の残留など、どの量が問題なのかを図式化できると、読者は反証の焦点を掴みやすくなる。
4.2 計算・論理のチェックリスト
4.2.1 極限・上限下限の扱い
極限に関わる反証では、上限・下限、同値変形、量記号の取り扱いが頻出の落とし穴になる。たとえば「ある列が収束しない」ことを示すには、反対形である「任意の近傍で必ず入る」ことが崩れる様子を示すなど、論理の量化を正しく扱う必要がある。上限下限も、計算途中で置き換えると意味が変わることがあるため、定義に立ち返って境界値を確かめる手順が有効である。
4.2.2 各ステップの誤りを防ぐ工夫
反例列は複雑な式変形を含みがちなので、検証の手順を固定してミスを減らす。具体的には、(i)定義（極限・収束・微分・可積分性）を先に書き下す、(ii)反例列の各条件を一つずつ独立に確認する、(iii)最後に結論が壊れる点を一文で言い切る、という流れがある。さらに、必要なら数値例や模式図で直感を点検し、解析計算と矛盾がないかを確かめると安全である。
4.3 まとめとしての位置づけ
4.3.1 学習目的としての反例列
反例列は、定理の条件が「単なる形式」ではなく、何かを防ぐ役割を担っていることを学習者に体感させる道具である。正しい証明の流れを追うだけでは見えない依存関係が、反証を通して浮かび上がる。結果として、次に同種の定理を扱うとき、どの仮定を保つべきか判断しやすくなる。
4.3.2 定理の理解を深める活用法
反例列を作る経験は、定理を“使う技術”と“使ってよい条件”の両方を鍛える。まず、どの段で条件が利用されるのかを読み解き、次に反例列がその段を狙い撃ちしているかを照合することで理解が定着する。さらに、同じ反例列が別の命題にも転用できるかを考えると、より広いパターン認識が得られる。