芽 (数学)

数学において、位相空間の中あるいは上の対象の芽（め、が、）とは、その対象に同種の対象を加えて作られた同値類のうち、局所的な性質が共通するように集めてきたものを呼ぶ概念である。特に、問題の対象として関数（あるいは写像）や部分集合を考えることが多い。このアイデアの特定の実行において、問題の集合あるいは写像は解析的あるいは滑らかのようないくつかの性質をもつが、一般にはこれは必要とされない（問題の写像や関数は連続である必要さえない）。しかしながら、対象の定義されている空間は、局所的という言葉がなんらかの意味をもつために位相空間である必要がある。

名前は層 (「穂束」) のメタファーの続きで cereal germ（胚芽） に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。

正式な定義

基本的な定義 

位相空間  の点  と、2つの写像  （ここで  は任意の集合）が与えられると、 と  は、 のある近傍  が存在して  に制限したときに  と  が等しいときに、つまりすべての  に対して  であるときに、 で同じ芽 (germ) を定義する。同様に、 と  が  の任意の2つの部分集合であれば、再び  のある近傍  が存在して  であるときに、それらは  で同じ芽を定義する。

 で同じ芽を定義することが（写像や集合の上で）同値関係であることを確かめることは直截であり、その同値類を芽（それぞれ写像の芽あるいは集合の芽）と呼ぶ。同値関係は通常

 あるいは 

と書かれる。 上の写像  が与えられると、その  での芽は通常  と表記される。同様に、集合  の  における芽は  と書かれる。したがって、

である。

 の点  と  の点  に写す  の  における写像の芽は
 
と表記される。この表記を用いるとき、 は任意の代表写像と同じ文字  を使って写像の同値類全体として意図されている。

2つの集合が  おいて芽同値であることと、それらの特性関数が  において芽同値であることは同値である

ことに注意する。

より一般に 
写像は  全体で定義されている必要はなく、特に同じ定義域を持つ必要もない。しかしながら、 と  を  の部分集合として  が定義域  をもち  が定義域  をもてば、 と  は次のとき  の点  において同値な芽である。まず  と  は  において同値な芽である。 としよう。そしてさらに、 が  なるよりより小さいある近傍  に対して成り立つ。これは特に2つの設定において意味がある：
  は  の部分多様体  上定義され、
  は  においてある種の極をもち、したがって  において定義さえされていない。例えば有理関数では極が定義域から外される。

基本的な性質 
 と  が  において同値な芽であれば、それらは連続性や微分可能性といったすべての局所的な性質を共有し、したがって可微分あるいは解析的芽などについて話すことは意味をなす： 部分集合に対しても同様である。芽の1つの代表が解析的集合であれば、すべての代表は少なくとも  のある近傍上で解析的である。

さらに、終域  がベクトル空間であれば、芽を足すことが意味をなす：  を定義するために、まず近傍  と  上でそれぞれ定義された代表元  と  を取ると、 は写像 （ここで  は  上定義されている）の  における芽である。（同様にしてより一般の線型結合を定義できる。）

 から  への写像の  における芽全体の集合は離散位相を除いて有用な位相を持たない。それゆえ芽の収束列について話すことはほとんどあるいは全く意味がない。しかしながら、 と  が多様体であれば、の空間  （写像（-芽）の  における有限項のテイラー級数）は、有限次元ベクトル空間と同一視できるので、確かに位相をもつ。

層との関係 
芽のアイデアは層と前層の背後にある。位相空間  上のアーベル群の前層  はアーベル群  を  の各開集合  に割り当てる。アーベル群の典型的な例は：  上の実数値関数、 上の微分形式、 上のベクトル場、 上の正則函数（ が複素平面のとき）、 上の定数関数、 上の微分作用素。

 であれば、ある種の協調性条件を満たす制限写像  が存在する。固定された  に対して、元  と  が  において同値であるとは、 の近傍  が存在して  （どちらも  の元）ということである。同値類は前層  の  における  をなす。この同値関係は上で記述された芽同値の抽象化である。

例 
 と  が付加的な構造を持っていれば、 から  へのすべての写像の集合の部分集合を、あるいはより一般に与えられた前層  の部分前層と対応する芽を定義することができる： いくつかの顕著な例が続く：

 ,  がともに位相空間であれば、連続関数たちの部分集合
 
は連続関数芽 (germs of continuous functions) を定義する。
  と  が両方をもてば、 回連続微分可能な関数全体の部分集合
 
滑らかな関数全体の部分集合
 
解析関数全体の部分集合
 
（ここで  は無限を表す基数である。これは  や  とのアナロジーによる記法の濫用である）を定義することができ、すると（有限回）微分可能な ((finitely) differentiable)、滑らかな (smooth)、解析関数芽 (germs of analytic functions) の空間を構成することができる。

 ,  が複素構造をもてば（たとえば複素ベクトル空間の部分集合であれば）、それらの間の正則関数を定義することができ、したがって正則関数芽 (germs of holomorphic functions) の空間が構成できる。

 ,  がある代数的構造をもてば、それらの間の正則（および有理）関数を定義することができ、正則関数芽 (germs of regular functions)（および同様に有理 (rational) 関数芽）を定義することができる。

表記 
位相空間  の点  における  上の層  のは一般に  と表記される。したがって芽は、様々な種類の関数の茎であるので、この型の表記ができる：
 は  における連続関数芽の空間 (space of germs of continuous functions) である。
 は各自然数  に対して  において  回微分可能な関数芽の空間 (space of germs of -times-differentiable functions) である。
 は  において無限回微分可能な（「滑らかな」）関数芽の空間 (space of germs of infinitely differentiable ("smooth") functions) である。
 は  において解析関数芽の空間 (space of germs of analytic functions) である。
 は  において（複素幾何において）正則関数芽の空間 (space of germs of holomorphic functions) あるいは（代数幾何学において）正則関数芽の空間 (space of germs of regular functions) である。

集合と多様体の芽に対して、表記はそれほどよく確立されていない：文献で見つかる表記には例えば次のものがある：
 は  において解析的な多様体の芽の空間 (space of germs of analytic varieties) である。
点  が固定されていて知られているとき（例えば  が位相ベクトル空間で  のとき）、それは上の記号のそれぞれにおいて落とすことができる：また、 のとき、記号の前のサブスクリプトを付け足すことができる。例として
 は  が  次元ベクトル空間で  のときの上で示された芽の空間である。

応用 
応用におけるキーワードは局所性 (locality) である： 点における関数のすべてのはその芽を解析することで研究できる。それらはテイラー級数の一般化であり、実際（微分可能な関数の）芽のテイラー級数が定義される：導関数を計算するのに局所的な情報しか必要ない。

芽は相空間の選ばれた点の近くのの性質を決定する際に有用である： それらはとカタストロフィー理論において主要なツールの1つである。

考えられている位相空間がリーマン面あるいはより一般にのとき、それらの上の正則関数の芽を冪級数と見ることができ、したがって芽の集合を解析関数の解析接続と考えることができる。

関連項目 
 
 カタストロフィー理論
 
 リーマン面
 層

参考文献 
, chapter I, paragraph 6, subparagraph 10 "Germs at a point".
, chapter 2, paragraph 2.1, "Basic Definitions".
, chapter 2 "Local Rings of Holomorphic Functions", especially paragraph A "The Elementary Properties of the Local Rings" and paragraph E "Germs of Varieties".
 Ian R. Porteous (2001) Geometric Differentiation, page 71, Cambridge University Press ISBN 0-521-00264-8 .
, paragraph 31, "Germi di funzioni differenziabili in un punto  di  (Germs of differentiable functions at a point  of )" (in Italian).

外部リンク 

Dorota Mozyrska, Zbigniew Bartosiewicz"Systems of germs and theorems of zeros in infinite-dimensional spaces", arxiv.org e-Prints server (Primary site at Cornell University). A research preprint dealing with germs of analytic varieties in an infinite dimensional setting.

位相幾何学
層の理論
数学に関する記事