点付き集合

数学における点付き集合（てんつきしゅうごう、付点集合、）あるいは基点付き集合 () や根付き集合 () は、集合  とその特定の元  との対  を言う。このとき、特定の元  はこの点付き空間の基点 () と呼ばれる。

「根付き集合」("rooted set") としてのこの概念はの研究やの研究において自然に生じてくる。

点付き集合の間の射は、基点付き写像 () や点付き写像 () あるいは基点を保つ写像 () と呼ばれ、台となる集合の間の写像であって、一方の基点を他方の基点へ写すものを言う。具体的に、点付き集合  から  の間の点付き写像
 
とは、写像  で  を満たすものである。

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

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

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

点付き集合の圏 
全ての点付き集合の成す類は、すべての点付き写像の成す類を伴って圏を成す。この圏  において、点付き一元集合  は始対象かつ終対象したがって零対象である。通常の集合の圏  から点付き集合の圏への忠実函手が存在するが、それは充満にならず、この二つの圏は圏同値でない。特に、空集合は（基点を選ぼうにも、元をそもそも持たないため）点付き集合にすることができない。

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

点付き集合の圏  は （ただし  は任意の単元集合）に同型である。

点付き集合の圏  は積と余積をともに持つが、ではない。また、この圏は零対象  に対して  が  に同型でない圏の例ともなる。

関連項目

参考文献

外部リンク 
 http://mathoverflow.net/questions/22036/pullbacks-in-category-of-sets-and-partial-functions
 
 

集合の基本概念
代数的構造
圏論
数学に関する記事