点付き集合の圏とは何？わかりやすく解説 Weblio辞書

索引トップ用語の索引ランキングカテゴリー

点付き集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/18 07:02 UTC 版)

数学における点付き集合（てんつきしゅうごう、付点集合、英: pointed set^[1]^[2]）あるいは基点付き集合 (based set^[1]) や根付き集合 (rooted set^[3]) は、集合 $X$ とその特定の元 $x 0$ との対 $(X, x 0)$ を言う。このとき、特定の元 $x 0$ はこの点付き空間の基点 (base point,^[2], basepoint^[4]^:10–11) と呼ばれる。

「根付き集合」("rooted set") としてのこの概念は反マトロイド（英語版）の研究^[3]や輸送多面体（英語版）の研究^[5]において自然に生じてくる。

点付き集合の間の射は、基点付き写像 (based map^[6]) や点付き写像 (pointed map^[4]) あるいは基点を保つ写像 (point-preserving map^[7]) と呼ばれ、台となる集合の間の写像であって、一方の基点を他方の基点へ写すものを言う。具体的に、点付き集合 $(X, x 0)$ から $(Y, y 0)$ の間の点付き写像

f\colon (X,x_{0})\to (Y,y_{0})

とは、写像 $f : X \to Y$ で $f (x 0) = y 0$ を満たすものである。

点付き集合は離散位相を備えた点付き空間と見ることもできるし、一元体上のベクトル空間と見なすこともできる^[8]。

代数的構造

点付き集合は、きわめて単純な代数的構造と考えることができる。それは普遍代数学における意味で、基点を選び出すという一つの零項演算を持つ代数系ということである^[9]。

多くの代数的構造が凡そ自明な仕方で点付き集合と見なすことができる。例えば、群は単位元を基点に選んで点付き集合と見れば、ちょうど群準同型が点付き写像となっていることが見て取れる^[10]^:24。このような観察は、圏論的な言い方をすれば、群の圏から点付き集合の圏への忘却函手（英語版）があると言い換えられる^[10]^:582。

点付き集合の圏

全ての点付き集合の成す類は、すべての点付き写像の成す類を伴って圏を成す。この圏 $Set *$ において、点付き一元集合 $({a}, a)$ は始対象かつ終対象^[1]したがって零対象^[4]^:226である。通常の集合の圏 $Set$ から点付き集合の圏への忠実函手が存在するが、それは充満にならず、この二つの圏は圏同値でない^[11]^:44。特に、空集合は（基点を選ぼうにも、元をそもそも持たないため）点付き集合にすることができない^[12]。

点付き集合の圏 $Set *$ は、集合と部分写像の圏に圏同値だが圏同型（英語版）でない^[7]。ある教科書は「集合と部分写像に関して「仮想の」あるいは「無限遠の」元を付け加えることで得られる、この形式的完備化は、特に位相空間論（一点コンパクト化（英語版）として）や理論計算機科学において、何度も再発見されてきたものである。」ということを注意している^[13]。

点付き集合の圏 $Set *$ は余スライス圏（英語版） $1 ↓ Set$ （ただし $1$ は任意の単元集合）に同型である^[11]^:46^[14]。

点付き集合の圏 $Set *$ は積と余積をともに持つが、分配圏（英語版）ではない。また、この圏は零対象 $0$ に対して $0 \times A$ が $0$ に同型でない圏の例ともなる^[12]。

参考文献

Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001.

^ ^a ^b ^c Mac Lane (1998) p.26
^ ^a ^b Grégory Berhuy (2010). An Introduction to Galois Cohomology and Its Applications. London Mathematical Society Lecture Note Series. 377. Cambridge University Press. p. 34. ISBN 0-521-73866-0. Zbl 1207.12003.
^ ^a ^b Korte, Bernhard; Lovász, László; Schrader, Rainer (1991), Greedoids, Algorithms and Combinatorics, 4, New York, Berlin: Springer-Verlag, chapter 3, ISBN 3-540-18190-3, Zbl 0733.05023
^ ^a ^b ^c Joseph Rotman (2008). An Introduction to Homological Algebra (2nd ed.). Springer Science & Business Media. ISBN 978-0-387-68324-9.
^ Klee, V.; Witzgall, C. (1970) [1968]. “Facets and vertices of transportation polytopes”. In George Bernard Dantzig. Mathematics of the Decision Sciences. Part 1. American Mathematical Soc.. ASIN B0020145L2. OCLC 859802521.
^ Maunder, C. R. F. (1996), Algebraic Topology, Dover, p. 31 .
^ ^a ^b Lutz Schröder (2001). “Categories: a free tour”. In Jürgen Koslowski and Austin Melton. Categorical Perspectives. Springer Science & Business Media. p. 10. ISBN 978-0-8176-4186-3.
^ Haran, M. J. Shai (2007), “Non-additive geometry”, Compositio Mathematica 143 (3): 618–688, MR 2330442 . On p. 622, Haran writes "We consider $\mathbb {F}$ $\mathbb {F}$ -vector spaces as ﬁnite sets $X$ $X$ with a distinguished 'zero' element..."
^ Saunders Mac Lane; Garrett Birkhoff (1999) [1988]. Algebra (3rd ed.). American Mathematical Soc.. p. 497. ISBN 978-0-8218-1646-2.
^ ^a ^b Paolo Aluffi (2009). Algebra: Chapter 0. American Mathematical Soc.. ISBN 978-0-8218-4781-7.
^ ^a ^b J. Adamek, H. Herrlich, G. Stecker, (18th January 2005) Abstract and Concrete Categories-The Joy of Cats
^ ^a ^b F. W. Lawvere; Stephen Hoel Schanuel (2009). Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University Press. pp. 296–298. ISBN 978-0-521-89485-2.
^ Neal Koblitz; B. Zilber; Yu. I. Manin (2009). A Course in Mathematical Logic for Mathematicians. Springer Science & Business Media. p. 290. ISBN 978-1-4419-0615-1. "This formal completion of sets and partial maps by adding 'improper', 'infinite' elements was reinvented many times, in particular, in topology (one-point compactification) and in theoretical computer science."
^ Francis Borceux; Dominique Bourn (2004). Mal'cev, Protomodular, Homological and Semi-Abelian Categories. Springer Science & Business Media. p. 131. ISBN 978-1-4020-1961-6.

外部リンク

http://mathoverflow.net/questions/22036/pullbacks-in-category-of-sets-and-partial-functions
pointedset - PlanetMath.（英語）
Pointed object in nLab

ウィキペディア小見出し辞書

索引トップ用語の索引ランキング

点付き集合の圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/18 07:02 UTC 版)

「点付き集合」の記事における「点付き集合の圏」の解説

全ての点付き集合の成す類は、すべての点付き写像の成す類を伴って圏を成す。この圏 Set∗ において、点付き一元集合 ({a}, a) は始対象かつ終対象したがって零対象:226である。通常の集合の圏 Set から点付き集合の圏への忠実函手が存在するが、それは充満にならず、この二つの圏は圏同値でない:44。特に、空集合は（基点を選ぼうにも、元をそもそも持たないため）点付き集合にすることができない。点付き集合の圏 Set∗ は、集合と部分写像の圏に圏同値だが圏同型（英語版）でない。ある教科書は「集合と部分写像に関して「仮想の」あるいは「無限遠の」元を付け加えることで得られる、この形式的完備化は、特に位相空間論（一点コンパクト化（英語版）として）や理論計算機科学において、何度も再発見されてきたものである。」ということを注意している。点付き集合の圏 Set∗ は余スライス圏（英語版） 1↓Set（ただし 1 は任意の単元集合）に同型である:46。点付き集合の圏 Set∗ は積と余積をともに持つが、分配圏（英語版）ではない。また、この圏は零対象 0 に対して 0 × A が 0 に同型でない圏の例ともなる。

※この「点付き集合の圏」の解説は、「点付き集合」の解説の一部です。
「点付き集合の圏」を含む「点付き集合」の記事については、「点付き集合」の概要を参照ください。

ウィキペディア小見出し辞書の「点付き集合の圏」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

>> 「点付き集合の圏」を含む用語の索引
点付き集合の圏のページへのリンク

点付き集合の圏とは？わかりやすく解説

点付き集合

目次

代数的構造

点付き集合の圏

関連項目

参考文献

外部リンク

点付き集合の圏

「点付き集合の圏」の関連用語


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの点付き集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの点付き集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

点付き集合の圏とは？ わかりやすく解説

点付き集合

目次

代数的構造

点付き集合の圏

関連項目

参考文献

外部リンク

点付き集合の圏

「点付き集合の圏」の関連用語

点付き集合の圏とは？わかりやすく解説