- 数学の証明という理論がわからないです
238 ：１３２人目の素数さん[sage]：2021/02/23(火) 21:09:15.71 ID:JQqit+rb - Xを位相空間、pをXのpathとする。
p(0) = p(1)
をみたすとき、pはXのloopという。
| - 数学の証明という理論がわからないです
239 ：１３２人目の素数さん[sage]：2021/02/23(火) 21:14:37.18 ID:JQqit+rb - Xを位相空間、x∈Xを任意の点とする。
π_x(X) := { p: Xのloop | p(0) = p(1) = x }/〜
と定める。ただし、p〜qはpとqがホモトピックであることである。
| - 数学の証明という理論がわからないです
240 ：１３２人目の素数さん[sage]：2021/02/23(火) 21:22:49.31 ID:JQqit+rb - Xを位相空間
x∈X
任意の元
[p], [q] ∈ π_x(X)（p, q: Xのloopでp(0) = q(0) = xとなるもの）
に対して、積[q] [p]を
[q] [p] := [q p]
で定義する。以下、これが代表元の取り方によらないことを示す。
|
|