Royal Road to Topology Chapter II Seminar (セルフゼミ想定問答)

第II章 セルフゼミ想定問答（試作）

Track L（20_Literature/royal_road_to_topology/track-l-active-learning）L-B 節の第II章試作。既存の exercises/chapter2.md はエージェント解答済みの演習ログ（模範解答集）だが、本ページは学習者が先に答える想定問答集で、模範解答は書かない。

運用手順（L-D 規約）

進め方は 20_Literature/royal_road_to_topology/track-l-active-learning の L-D 節（学習セッション指示規約）に従う。

1. 学習者がまず対象の問いに筆記または口頭で解答する。筆記の場合は「解答欄」に直接記入する。口頭の場合はエージェントが要点をその場で「解答欄」に書き起こす。
2. エージェントは学習者の解答を見て、正解を直接言わない。段階ヒント制で対応する：①goal（問いが何を問うているか）の言語化 → ②使う概念・カード名のみを示す → ③証明・論証の骨子を示す → ④参照カード／原著ページの提示は最後の手段。各段階は学習者の再挑戦を待ってから進める。
3. 学習者が出典ページ・カードを直接求めた場合は、ヒント段階を飛ばして即座に提示してよい（L-D「出典ページ即答」）。
4. 誤答は原著該当箇所（下記「参照」欄のカード・chapter2.md・演習ログ）を指し示し、学習者自身に修正させる。エージェントが正解を書き下さない。
5. 突き合わせの結果（日時・やり取りの要点・到達した理解度・再訪が必要かどうか）を「赤入れ記録欄」に記入する。模範解答文そのものは記入しない——解答欄は次回の再挑戦のために空のまま維持する。
6. 全問終了後の学習者達成トラッキング（🎓 ゲート）は L-5（#121）の管轄。本ページは問いの教材のみを提供し、progress.md には「セルフゼミ教材あり」としてのみ記録する。

問いテンプレ 4 種

各概念について次の4種の問いを用意する（20_Literature/royal_road_to_topology/track-l-active-learning L-B 節）：

• ①なぜこの定義か — カードの ## Meaning 層に基づき、定義の必然性・由来を問う。
• ②仮定を弱める/落とすとどこで壊れるか — 定義・命題が明記する前提条件（standing hypothesis）を1つ外したときに何が破綻するかを問う。裏付けは standing hypothesis 監査（20_Literature/royal_road_to_topology/progress Phase J-5、2026-07-05: 命題・定理・補題・系カード167枚を全数監査し脱落は第VI章 adherence.md の1件のみ。第II章のカードに脱落なし）と各カード本文が明記する仮定。
• ③反例を挙げよ — 反例カード（tags:: counterexamples 付きのカード）や書籍の Example に基づき、具体的な反例の構成を問う。
• ④別証明・別特徴づけは何か — 同じ対象の別の特徴づけ（命題）や、カードの ## Lean 節が示す別形式化を問う。

各問いの「参照」欄は既存カード・監査ログ・演習ログへのリンクのみで、新規の意味抽出や独自の比喩は書かない。

---

概念 1: フィルター（Filter, Definition II.2.1）

出典: cards/topology/filter

① なぜこの定義か

問い. cards/topology/neighborhood-of-x（$\mathcal{N}(x)$）と cards/topology/prop-ii-1-1 の $\Gamma_\varphi$（cards/topology/filter-of-cofinite-preimages）に共通する性質は何か。フィルターの2条件（isotone・finitely complete）は、この2つの具体例のどんな共通点を抽象化したものか。

• 参照: cards/topology/filter ## Meaning、cards/topology/neighborhood-of-x、cards/topology/prop-ii-1-1

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

② 仮定を弱める/落とすとどこで壊れるか

問い. フィルターの3つ目の暗黙の条件「proper（$\emptyset \notin \mathcal{F}$）」を落とすと何が起きるか。cards/topology/proper-filter は $\emptyset \in \mathcal{F}$ の場合を何と呼んでいるか。cards/topology/cofinite-filters-inf-sup（Example II.3.1）で、2つの proper filter の sup が improper になる条件は何か。

• 参照: cards/topology/proper-filter、cards/topology/cofinite-filters-inf-sup、standing hypothesis 監査（20_Literature/royal_road_to_topology/progress Phase J-5）

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

③ 反例を挙げよ

問い. cards/topology/cofinite-filters-inf-sup の記述をもとに、$X = \mathbb{N}$ 上で互いに交わりが有限な2つの無限部分集合 $B_0, B_1$ を選び、$(B_0)_0 \vee (B_1)_0$ が improper（$= 2^X$）になる具体例を構成せよ。

• 参照: cards/topology/cofinite-filters-inf-sup、cards/topology/cofinite-filter-at-b、cards/topology/proper-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

④ 別証明・別特徴づけは何か

問い. フィルター概念そのものを直接定義せず、より小さい「基底」から生成する方法がある。cards/topology/prop-ii-2-2 が与える filter-base の内在的特徴づけ（2条件）は何か。フィルターの2条件（isotone・finitely complete）とどう対応するか。

• 参照: cards/topology/prop-ii-2-2

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

---

概念 2: $\mathcal{N}(x)$（近傍族, Definition II.1）

出典: cards/topology/neighborhood-of-x

① なぜこの定義か

問い. cards/topology/neighborhood-of-x の ## Meaning によれば、$\mathcal{N}(x)$ は単なる開区間の族ではなく、なぜ「開区間を含む集合すべて」（up-closure）として定義されるのか。$\mathcal{N}(x)$ が持つ「$x \in V$」という、一般のフィルターより強い性質は何のために使われるか。

• 参照: cards/topology/neighborhood-of-x ## Meaning、cards/topology/filter ## Meaning

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

② 仮定を弱める/落とすとどこで壊れるか

問い. $\mathcal{N}(x)$ の定義から「$x \in V$」の要求を外すと、cards/topology/prop-ii-1-1 の同値性 $\varphi \to x \iff \mathcal{N}(x) \subset \Gamma_\varphi$ の証明（特に $\Rightarrow$ 方向）はどこで壊れるか。

• 参照: cards/topology/prop-ii-1-1「証明の骨子」、standing hypothesis 監査（20_Literature/royal_road_to_topology/progress Phase J-5）

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

③ 反例を挙げよ

問い. cards/topology/countably-based-non-sequential-filter（Example II.2.23）は $\mathcal{N}(x)$ 自身が可算基底を持つにもかかわらず sequential でないことを示す反例である。基底 $\mathcal{B} = {,]x-\tfrac1n, x+\tfrac1n[,}$ のどの性質が「sequential filter の基底元は可算集合を含まねばならない」という要件（cards/topology/sequential-filter）と衝突するか。

• 参照: cards/topology/countably-based-non-sequential-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

④ 別証明・別特徴づけは何か

問い. exercises/chapter2.md の Ex II.5.3 は $\mathcal{N}(0)$ を「$0$ に収束するすべての sequential filter の infimum」として特徴づける。この特徴づけと、$\mathcal{N}(x) \subset \Gamma_\varphi$（Prop II.1.1）による特徴づけは、それぞれ何を主語（$\mathcal{N}(x)$ か $\Gamma_\varphi$ か）にした言い換えか。

• 参照: 20_Literature/royal_road_to_topology/exercises/chapter2 Ex II.5.3、cards/topology/prop-ii-1-1

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

---

概念 3: Proposition II.1.1（収束のフィルター的特徴づけ）

出典: cards/topology/prop-ii-1-1

① なぜこの定義か

問い. Prop II.1.1 は「列の収束」という手続き的な定義（$\varepsilon$-$N$ 論法）を、「二つの集合族の包含関係」という静的な条件に置き換える。cards/topology/prop-ii-1-1 の ## Meaning によれば、この言い換えが第II章全体（フィルター概念の導入）にとってなぜ出発点になるのか。

• 参照: cards/topology/prop-ii-1-1 ## Meaning

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

② 仮定を弱める/落とすとどこで壊れるか

問い. cards/topology/prop-ii-1-1 の「証明の骨子」は、鍵となる性質として $\Gamma_\varphi$ の isotone 性を挙げている（cards/topology/filter-of-cofinite-preimages）。$\Gamma_\varphi$ が isotone でなかったら、$\Leftarrow$ 方向のどのステップが成立しなくなるか。

• 参照: cards/topology/prop-ii-1-1「証明の骨子」、cards/topology/filter-of-cofinite-preimages

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

③ 反例を挙げよ

問い. Prop II.1.1 は $\mathbb{R}$ の標準収束に対する命題である。cards/topology/countably-based-non-sequential-filter の末尾の注（第III章で $\sigma_\mathbb{R}$ の vicinity filter が収束しない理由への言及）を手がかりに、一般の収束構造（第III章以降）で「近傍フィルターが列に付随するフィルターに含まれる」という形の同値性がそのままでは成立しない理由を、この反例カードの記述だけから説明せよ。

• 参照: cards/topology/countably-based-non-sequential-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

④ 別証明・別特徴づけは何か

問い. cards/topology/prop-ii-1-1 の ## Lean 節は、同じ命題を集合の包含（$\mathcal{N}(x) \subset \Gamma_\varphi$）ではなく順序（$\mathrm{map}\ \varphi\ \mathrm{atTop} \le \mathcal{N}\ x$）で書いている。この2つの定式化はなぜ同値か。本書のフィルター順序と Mathlib の Filter の順序の向きの違い（track-l-active-learning.md L-A 節の規約ブリッジ）とどう関係するか。

• 参照: cards/topology/prop-ii-1-1 ## Lean、20_Literature/royal_road_to_topology/track-l-active-learning L-A 節

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

---

概念 4: Sequential Filter（列フィルター, Definition II.2.9）

出典: cards/topology/sequential-filter

① なぜこの定義か

問い. cards/topology/sequential-filter の ## Meaning によれば、sequential filter のクラス $\mathbb{S}$ は II.1 で登場した $\Gamma_\varphi$ の一般化である。Remark II.2.11 は、指標集合として $\mathbb{N}$ の順序が本質的でないことを述べている。なぜ「順序」ではなく「無限可算性」だけが sequential filter の定義に必要なのか。

• 参照: cards/topology/sequential-filter ## Meaning

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

② 仮定を弱める/落とすとどこで壊れるか

問い. sequential filter は必ず「可算集合を含む」（cards/topology/cor-ii-2-12）。この逆——「可算集合を含む（countably carried）フィルターは必ず sequential か」——は成立しない。cards/topology/cor-ii-2-12 の証明の骨子が「逆は不成立」として挙げる反例カードはどれか、その反例がどの条件を満たしながら sequential でないのかを述べよ。

• 参照: cards/topology/cor-ii-2-12、cards/topology/partition-tail-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

③ 反例を挙げよ

問い. cards/topology/partition-tail-filter（Examples II.2.18, II.5.11）は $\mathbb{S} \subsetneq \mathbb{E}$（sequential ⊊ countably carried）の witness である。$X = \bigsqcup_{n<\omega} X_n$ の分割から作る filter-base ${F_k}$ がなぜ「countably carried だが sequential でない」のか、定義に立ち返って説明せよ。

• 参照: cards/topology/partition-tail-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

④ 別証明・別特徴づけは何か

問い. cards/topology/prop-ii-2-10 は sequential filter を「ある列の尾（tails）の族が filter-base になる」という、cards/topology/sequential-filter の定義（$\mathcal{F} = \Gamma_\varphi$）とは異なる形で特徴づけている。この2つの定式化（cofinite preimage による定義 vs. tails による基底）が同値であることは、どのカードの記述から確認できるか。

• 参照: cards/topology/prop-ii-2-10、cards/topology/sequential-filter

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

---

概念 5: Ultrafilter（極大フィルター, Definition II.3.9）

出典: cards/topology/ultrafilter

① なぜこの定義か

問い. cards/topology/ultrafilter の ## Meaning は ultrafilter を $\mathbb{F}X$（proper filter 全体）の極大元として導入する。cards/topology/prop-ii-3-2 が述べる $\overline{\mathbb{F}}X$（improper も含む filter 全体）の完備束構造（最粗 ${X}$・最細 $2^X$）の中で、ultrafilter はどこに位置づけられるか。

• 参照: cards/topology/ultrafilter ## Meaning、cards/topology/prop-ii-3-2

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

② 仮定を弱める/落とすとどこで壊れるか

問い. ultrafilter の定義は「proper かつ極大」の2条件からなる。「proper」を落とす（improper filter も候補に含める）と、極大元は何になるか。cards/topology/prop-ii-3-2 の「最細（退化）は $2^X$」という記述から答えを検証せよ。

• 参照: cards/topology/ultrafilter、cards/topology/prop-ii-3-2、standing hypothesis 監査（20_Literature/royal_road_to_topology/progress Phase J-5）

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

③ 反例を挙げよ

問い. $B$ を $\mathbb{N}$ の無限部分集合とする。cards/topology/cofinite-filter-at-b の $(B)_0$ は cards/topology/prop-ii-2-21 より proper かつ free な filter である。これは ultrafilter か。cards/topology/prop-ii-3-10 の二分性判定（任意の $\emptyset \neq A \subset X$ に対し $A \in \mathcal{F}$ または $X\setminus A \in \mathcal{F}$）を使って判定し、もし ultrafilter でないなら $(B)_0$ を真に細分する proper filter を一つ構成せよ。

• 参照: cards/topology/cofinite-filter-at-b、cards/topology/prop-ii-2-21、cards/topology/prop-ii-3-10

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

④ 別証明・別特徴づけは何か

問い. cards/topology/prop-ii-3-10 は ultrafilter を「極大性」ではなく「$A \in \mathcal{F}$ または $X \setminus A \in \mathcal{F}$ の二分性」で特徴づける。cards/topology/filter-decomposition-theorem（$\mathcal{F} = \mathcal{F}^* \wedge \mathcal{F}^\bullet$）と cards/topology/ultrafilter-free-or-principal（ultrafilter は free か principal の二択）は、この二分性特徴づけとどう結びつくか。

• 参照: cards/topology/prop-ii-3-10、cards/topology/filter-decomposition-theorem、cards/topology/ultrafilter-free-or-principal

解答欄（学習者記入）:

赤入れ記録欄（エージェント記入）:

---

進捗記録

本ページ自体の実施状況（全20問の消化状況）は、学習者達成ゲート（🎓、L-5 / #121）が導入され次第そちらで追跡する。それまでは各問いの「赤入れ記録欄」がセッションごとの進捗ログを兼ねる。