実解析と位相幾何学
導入済み| English | 意味 |
|---|---|
| compact/kəmˈpækt/ | コンパクトな |
| supremum/suːˈpreməm/ | 上端 |
解答前に考えるべきこと
- 開区間 (0,1) は有界であるが、その上の連続関数は最大値をとると限らない。
- 目標：数列と関数の極限の定義を適用する。
関係性を読む
- エプシロン-デルタの命題は、十分近い入力を統制する。記号の順序は重要である。
- 圧縮性、連結性、完全性の違いを区別する。
Which subset of the real line is compact?
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
It is both closed and bounded in the real line.
定義ルールを使う
- 実ユークリッド空間において、閉集合かつ有界集合は圧縮的である。この同値関係をすべてのメトリック空間に適用してはならない。
- メトリック空間および初等位相論的推論を用いる。
A convergent real sequence must be:
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
Convergence gives an eventual bound plus finitely many earlier terms.
条件を確認する
- 圧縮集合の連続像は圧縮的であるため、圧縮的な定義域上の実連続関数は極値をとる。
- メトリック空間および初等位相論的推論を用いる。
f(x)=x は (0,1) 上で連続かつ有界であるが、その上包 ⟨1⟩ と一致することはない。一方、[0,1] 上では同じ関数は 1 で最大値をとる。端点の欠如が、圧縮的定義域に関する定理が最初のケースには適用されない理由である。
The supremum of (0,1) is ____.
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
It is the least upper bound, although it is not in the set.
タスク形式を適用する
- 連結性は、空でない開部分の離散的な分割（分離）を排除する。連続性は連結性を保存するが、完備性は別の性質である。
- メトリック空間および初等位相論的推論を用いる。
定理の結論は、その仮定が検証される前に使用してはならない。
このケースに当てはまる答えはどれか？
数列と関数の極限定義を用いる
Every bounded continuous function attains its supremum.
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
f(x)=x on (0,1) does not.
区別を保つ
- コンパクト — 任意の開被覆は有限部分被覆を持つ。
- 上限（supremum） — 集合の最小の上界。
- 数列と関数の極限定義を適用する。
- 圧縮性、連結性、完全性の違いを区別する。
- メトリック空間および初等位相論的推論を用いる。
Match each term with its precise meaning in this lesson.
難易度 2/5 · 140 コイン + 今日初回完了時に小ボーナス付与
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
難易度 3/5 · 200 コイン + 今日初回完了時に小ボーナス付与
The order follows the stated process; check each stage before the next.