数学の特に位相幾何学における閉道(へいどう、英: closed-path)またはループ (loop) は、始点と終点が等しい道を言う。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ。 陽に書けば、位相空間 X 内の閉道とは、単位区間 I ≔ [0, 1] から X への連続写像 f で f(0) = f(1) を満たすものである。点付き単位円 S1 は I の 0 と 1 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる。X 内の閉道全体の成す集合は、コンパクト開位相を入れて X の ΩX と呼ばれる一つの位相空間を成す。 やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|] → X; f(0) = f(|f|) を X 内のムーアループ (Moore loop) と呼ぶ。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す。 で計算できる。

Property Value
dbo:abstract
  • 数学の特に位相幾何学における閉道(へいどう、英: closed-path)またはループ (loop) は、始点と終点が等しい道を言う。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ。 陽に書けば、位相空間 X 内の閉道とは、単位区間 I ≔ [0, 1] から X への連続写像 f で f(0) = f(1) を満たすものである。点付き単位円 S1 は I の 0 と 1 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる。X 内の閉道全体の成す集合は、コンパクト開位相を入れて X の ΩX と呼ばれる一つの位相空間を成す。 やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|] → X; f(0) = f(|f|) を X 内のムーアループ (Moore loop) と呼ぶ。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す。 複素解析では求長可能な閉道に興味がもたれる。X ≔ ℂ のとき、閉道 γ に対し、γ の巻き数 (winding number) I(γ, z0) が各点 z0 ∈ ℂ ∖ γ([0, 1]) で定義される。これは z0 の周りを γ が何周するかを表す整数であり、 で計算できる。 (ja)
  • 数学の特に位相幾何学における閉道(へいどう、英: closed-path)またはループ (loop) は、始点と終点が等しい道を言う。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ。 陽に書けば、位相空間 X 内の閉道とは、単位区間 I ≔ [0, 1] から X への連続写像 f で f(0) = f(1) を満たすものである。点付き単位円 S1 は I の 0 と 1 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる。X 内の閉道全体の成す集合は、コンパクト開位相を入れて X の ΩX と呼ばれる一つの位相空間を成す。 やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|] → X; f(0) = f(|f|) を X 内のムーアループ (Moore loop) と呼ぶ。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す。 複素解析では求長可能な閉道に興味がもたれる。X ≔ ℂ のとき、閉道 γ に対し、γ の巻き数 (winding number) I(γ, z0) が各点 z0 ∈ ℂ ∖ γ([0, 1]) で定義される。これは z0 の周りを γ が何周するかを表す整数であり、 で計算できる。 (ja)
dbo:thumbnail
dbo:wikiPageID
  • 3943545 (xsd:integer)
dbo:wikiPageLength
  • 2800 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 72681754 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:author
  • Renze, John; Stover, Christopher; Weisstein, Eric W. (ja)
  • Renze, John; Stover, Christopher; Weisstein, Eric W. (ja)
prop-ja:first
  • M.I. (ja)
  • M.I. (ja)
prop-ja:last
  • Voitsekhovskii (ja)
  • Voitsekhovskii (ja)
prop-ja:title
  • Loop (ja)
  • loop (ja)
  • Definition:Loop (ja)
  • Loop (ja)
  • loop (ja)
  • Definition:Loop (ja)
prop-ja:urlname
  • Loop (ja)
  • loop (ja)
  • Definition:Loop_ (ja)
  • Loop_ (ja)
  • Loop (ja)
  • loop (ja)
  • Definition:Loop_ (ja)
  • Loop_ (ja)
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数学の特に位相幾何学における閉道(へいどう、英: closed-path)またはループ (loop) は、始点と終点が等しい道を言う。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ。 陽に書けば、位相空間 X 内の閉道とは、単位区間 I ≔ [0, 1] から X への連続写像 f で f(0) = f(1) を満たすものである。点付き単位円 S1 は I の 0 と 1 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる。X 内の閉道全体の成す集合は、コンパクト開位相を入れて X の ΩX と呼ばれる一つの位相空間を成す。 やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|] → X; f(0) = f(|f|) を X 内のムーアループ (Moore loop) と呼ぶ。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す。 で計算できる。 (ja)
  • 数学の特に位相幾何学における閉道(へいどう、英: closed-path)またはループ (loop) は、始点と終点が等しい道を言う。閉道の始点かつ終点となる点を基点 (basepoint) と呼ぶ。 陽に書けば、位相空間 X 内の閉道とは、単位区間 I ≔ [0, 1] から X への連続写像 f で f(0) = f(1) を満たすものである。点付き単位円 S1 は I の 0 と 1 を等化して得られる商位相空間と見なせるから、X 内の閉道を S1 から X への連続写像 f のことと定めてもよい。基点 x を持つ閉道の全体は ΩxX のように書かれる。X 内の閉道全体の成す集合は、コンパクト開位相を入れて X の ΩX と呼ばれる一つの位相空間を成す。 やや変更して、適当な実数 |f| > 0 に対して閉区間 [0, |f|] を定義域とする連続写像 f: [0, |f|] → X; f(0) = f(|f|) を X 内のムーアループ (Moore loop) と呼ぶ。基点を共有するムーアループの全体は道の合成 (concatenation) に関してモノイドを成す。 で計算できる。 (ja)
rdfs:label
  • 閉道 (位相幾何学) (ja)
  • 閉道 (位相幾何学) (ja)
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of