基底からのメトリック完全性と閉包
導入済み| English | 意味 |
|---|---|
| complete metric space/kəmˈpliːt ˈmetrɪk speɪs/ | 完全度量空間 |
| neighbourhood basis/ˈneɪbəhʊd ˈbeɪsɪs/ | 近傍基底 |
解答前に考えるべきこと
- 距離式を変化させることで、通常の値が有界でない場合でも、その数列はコーシー数列になり得る。ただし、関連する極限はメトリック空間内の点でなければならない。
- 目的：定義写像の性質を用いて、引き戻しメトリックを検証すること。
関係性を読む
- 単射写像 h:X→R に対して、d(x,y)=|h(x)−h(y)| はメトリックである：対称性と三角不等式は R から来ている。単射性により、d(x,y)=0 となるのは x=y のときのみである。写像 h はその像 h(X) 上の等長写像である。h が単射でない場合、この構成は半メトリックに過ぎない可能性がある。有界な距離は空間が完全であることを保証せず、よく知られた点の集合でも、異なるメトリックの下では非常に異なるコーシーの挙動を示すことがある。
- 等長写像の像を通じて完全性を判定する。
Which statement holds for d(x,y)=|arctan x−arctan y| on R?
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
The injective map defines a metric. The image is an open bounded interval, and arctan n tends to a missing endpoint.
定義ルールを使う
- 引き戻しメトリックが完全であるのは、像 h(X) が通常の実数距離において完全である場合に限りである。R の閉部分集合は完全である。h(x)=arctan x (x∈R) の場合、像は (−π/2, π/2) であり、端点を含まない。列 n は arctan n → π/2 であるため引き戻しメトリックではコーシーだが、arctan x = π/2 となる実数 x は存在しないため、このメトリックは不完全である。h(x)=x³ の場合、像は R 全体であり、引き戻しメトリックは完全である。位相同型だけでは完全性が保たれない。
- 直感的なユークリッドの概念ではなく、すべての基本近傍を用いて閉包を求める。
For the divisor basis in the lesson, which point belongs to closure of {8}?
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
Closure consists of multiples of 8. The point 16 has every neighbourhood containing 8; U_4 demonstrates why the divisor 4 does not belong.
条件を確認する
- 基底を持つ位相空間において、点 x が集合 A の閉包に含まれるのは、x のすべての基本開近傍が A と共通部分を持つときである。これは所属テストであり、自動的にユークリッドの端点操作とはならない。基底は空間を被覆しており、2つの基底集合に含まれる点については、その交差点内に含まれるより小さな基底集合が存在しなければならない。ある点は自身の一点集合の元でない場合でも、その一点集合の閉包に含まれる可能性がある；この可能性は位相に依存する。
- 直感的なユークリッドの概念ではなく、すべての基本近傍を用いて閉包を求める。
d(x,y)=|arctan x−arctan y| において、整数列は R の点ではなく欠落した像の端点へと向かうため、その空間内では収束しない Cauchy 列となります。 約数の基底において、16 は {8} の閉包に含まれます。 ⟨16⟩ を含む任意の基本集合は ⟨8⟩ も含めるからです。 しかし、4 は含まれません。 U_4={2,4} は ⟨4⟩ の近傍であり、8 を含みません。 これにより倍数と約数が明示的に分離されます。
For h(x)=x³, d(1,2)=|h(1)−h(2)| is ____.
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
The transformed coordinates are 1 and 8, with difference 7.
タスク形式を適用する
- X={2,3,4,…} において、k≥2 に対して基本集合 U_k={n in X: n divides k} とする。x∈U_x であるため、これらは X を覆う。交差は gcd(k,l) ≥ 2 のとき U_gcd(k,l)、否则为空集。点 x が {n} の閉包に含まれるのは、x で割り切れる k がすべて n で割り切れるとき、すなわち n が x を割るときである。より直接的には、最小の基本近傍 U_x に n が含まれるのは n が x を割るときであり、他のすべての x を含む近傍もこれらの約数を含んでいる。したがって、{8} の閉包は 8 の正の倍数であり、8 の約数ではない。
- 直感的なユークリッドの概念ではなく、すべての基本近傍を用いて閉包を求める。
Cauchy の極限は、同じ空間に含まれなければなりません。 完全性はメトリックの性質であり、単なる位相の性質ではありません。 閉包については、一点集合の値の近傍だけでなく、候補点の近傍をすべてテストしてください。
このケースに当てはまる答えはどれか？
定義写像の性質を用いて引き戻し計量を検証する
Two metrics defining the same topology must either both be complete or both be incomplete.
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
Ordinary distance and the arctan pullback give the usual topology on R, but only ordinary distance is complete.
区別を保つ
- 完全メトリック空間 — どのコーシー列もその空間内の点に収束するメトリック空間。
- 近傍基底 — 局所的な位相的性质を検証するために十分な基本近傍。
- 定義写像の性質を用いて、引き戻しメトリックを検証する。
- 等長写像の像を通じて完全性を判定する。
- 直感的なユークリッドの概念ではなく、すべての基本近傍を用いて閉包を求める。
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.