ベッチ数と母関数

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ベッチ数と母関数の違い

ベッチ数 vs. 母関数

代数的位相幾何学において、ベッチ数 (Betti numbers) は、位相空間に対する不変量であり、自然数に値をもつ。 右の図のようなトーラスを考える。このトーラスに切り口が円周になるように切れ込みをいれたとき、その結果二つのピースに分かれない切り方が、穴のまわりにそって一周する方法と、縦に切断する方法の二通りある。このことからトーラスの 1 次ベッチ数は 2 である。直感的な言葉を使うと、ベッチ数は様々な次元の｢穴｣の数である。例えば、円の 1 次ベッチ数は 1であり、一般的なプレツェル(pretzel)の場合は、1 次ベッチ数は穴の数の 2 倍となる。 ベッチ数は、今日、数学のみならず計算機科学やデジタル画像などの分野でも研究されている。 「ベッチ数」ということばは、エンリコ・ベッチ (Enrico Betti) にちなみ、アンリ・ポアンカレ (Henri Poincaré) により命名された。. 数学において、母関数（ぼかんすう、generating function; 生成関数）は、（自然数で添字付けられた）数列 に関する情報を内包した係数を持つ、形式的冪級数である。母関数は、一般線型回帰問題の解決のためにド・モアブルによって1730年に初めて用いられた。複数の自然数で添字付けられる数の配列（多重数列）の情報を取り込んだ多変数冪級数を同様に考えることもできる。 母関数には、通常型母関数、指数型母関数、ランベルト級数、ベル級数、ディリクレ級数 など様々なものがある。これらについては定義と例を後述する。原理的にはあらゆる列についてそれぞれの種類の母関数が存在する（ただし、ランベルト級数とディリクレ型は添字を 1 から始めることが必要）が、扱い易さについてはそれぞれの種類で相当異なるかもしれない。どの母関数が最も有効かは、その列の性質と解くべき問題の詳細に依存する。 母関数を、形式的冪級数に対する演算・操作を用いるなどして（級数の形ではなく）の式で表すこともよく行われる。このような母関数の表示は、母関数の不定元を x とすれば、四則演算、母関数のx に関する微分、他の母関数へ代入すること、などを行った結果として得られる。これらの操作は関数に対しても定義されるものであるし、結果として得られる式もやはり x の関数であるかのように見える。実際、母関数を x の（十分小さい）具体的な値で評価することのできる関数として解釈することができる場合も少なくない（このとき、母関数の冪級数表示は、母関数の閉じた形の式のテイラー級数と解釈される）のであり、それがこの式が「母関数」と呼ばれる所以でもある。しかし、形式的冪級数は x に何らかの数値を代入したときに収束するかどうかは問題にしないのであって、母関数についてそのような関数としての解釈が可能であるということは必ずしも要求されるものではないし、同様に x の関数として意味を持つ式がいずれも形式的冪級数に対して意味を持つわけではない。 慣例的に母「関数」と呼ばれてはいるが、始域から終域への写像という関数の厳密な意味に照らして言えば母関数は関数ではなく、今日的には生成級数（母級数）と呼ぶこともしばしばである。.