Groupide -SpeedyLook百科事典
before-content-x4
と Grupoide 、数学、特にカテゴリーの理論やホモトピアでは、同時に、セットのグループ、セットの同等の関係、およびセットのグループのグループを一般化する概念です。
多くの場合、それらは品種などの幾何学的オブジェクトに関する情報をキャプチャするために使用されます。
「Groupoid」という用語は、マグマにも使用されます。あらゆる種類のバイナリ操作があるセットです。
この記事では、そのような概念にその用語を使用しません。
定義 [ 編集します ]
カテゴリーの観点から見ると、GroupIDは単にすべての形態が同型(つまり、逆)であるそれらの1つです。 [ 初め ]
あるいは、次の同等の定義を与えることが可能です:groupoid
で構成されています
- グループはグループベースのグループです。
- 海 設定、 グループ、 3番目の座標への投影、 最初の座標への投影、 によって与えられた 。 la部分的および逆のマルチグリシオンによって与えられた 、 、 それぞれ。これは、示されているGroupIDであることが判明しました と呼ばれます Grupoide些細な だいたい グループで 。
- トポロジーでは、トポロジカル空間の基本グループ これは、並置クラスの操作を伴うCurves Homotopiaクラスのセットです(可能な場合)。式で表されます 。
- ホモトピアのクラスは、ホモトピックの関係、つまり2つの曲線によって決定される同等のクラスです そのような と ;継続的なアプリケーションがある場合、それらは同音です そのような
- 、
- 、 。
- この場合、ベースはスペースです 、原点と最終アプリケーションは、各曲線の起源と終了です。 IDアプリケーションはです 、つまり、一定の一定の曲線が そして逆は、曲線を反対方向に移動することです。
- 基本的なグループにはすべての基本グループが含まれ、それらを単一の構造に統合することは明らかです。
嘘と代表的なgrupoides de嘘 [ 編集します ]
幾何学的なオブジェクトを研究するとき、しばしばいくつかの微分可能な構造を実行し、なるグループが grupoidesに嘘をつく 。これらは、嘘のグループと嘘の代数との関係に類似して、嘘の代表性の観点から研究することができます。
参照してください [ 編集します ]
参照 [ 編集します ]
- パターソン、アランL.T. (1999)。アランL.T.パターソン編 Groupoids、逆セミグループ、およびその演算子代数 (英語で) 。ベルリン:Springer Velag。 ISBN 0817640517 。
外部リンク [ 編集します ]
- Alan Weinstein、Groupoids:内部および外部対称性の統一 Groupoids.ps o weinstein.pdf
- 非局在代数の幾何学モデル、パート A. Cannas Da SilvaとA. Weinstein PDFファイル。
after-content-x4
Recent Comments