数学において、母関数（ぼかんすう、英: generating function; 生成関数）は、（自然数で添字付けられた）数列 {an} に関する情報を内包した係数を持つ、形式的冪級数である。母関数は、一般線型回帰問題の解決のためにド・モアブルによって1730年に初めて用いられた[1]。複数の自然数で添字付けられる数の配列（多重数列）の情報を取り込んだ多変数冪級数を同様に考えることもできる。

母関数には、通常型母関数 (ordinary generating function)、指数型母関数 (exponential generating function)、ランベルト級数 (Lambert series)、ベル級数 (Bell series)、ディリクレ級数 (Dirichlet series) など様々なものがある。これらについては定義と例を後述する。原理的にはあらゆる列についてそれぞれの種類の母関数が存在する（ただし、ランベルト級数とディリクレ型は添字を 1 から始めることが必要）が、扱い易さについてはそれぞれの種類で相当異なるかもしれない。どの母関数が最も有効かは、その列の性質と解くべき問題の詳細に依存する。

母関数を、形式的冪級数に対する演算・操作を用いるなどして（級数の形ではなく）閉じた形（英語版）の式で表すこともよく行われる。このような母関数の表示は、母関数の不定元を x とすれば、四則演算、母関数のx に関する微分、他の母関数へ代入すること、などを行った結果として得られる。これらの操作は関数に対しても定義されるものであるし、結果として得られる式もやはり x の関数であるかのように見える。実際、母関数を x の（十分小さい）具体的な値で評価することのできる関数として解釈することができる場合も少なくない（このとき、母関数の冪級数表示は、母関数の閉じた形の式のテイラー級数と解釈される）のであり、それがこの式が「母関数」と呼ばれる所以でもある。しかし、形式的冪級数は x に何らかの数値を代入したときに収束するかどうかは問題にしないのであって、母関数についてそのような関数としての解釈が可能であるということは必ずしも要求されるものではないし、同様に x の関数として意味を持つ式がいずれも形式的冪級数に対して意味を持つわけではない。

慣例的に母「関数」と呼ばれてはいるが、始域から終域への写像という関数の厳密な意味に照らして言えば母関数は関数ではなく、今日的には生成級数（母級数）と呼ぶこともしばしばである。
定義
通常型母関数

数列 {an} の通常型母関数とは、形式的冪級数 G ( a n ; x ) = ∑ n = 0 ∞ a n x n {\displaystyle G(a_{n};x)=\sum _{n=0}^{\infty }a_{n}x^{n}}

のことである。単に「母関数」と言った場合、通常型母関数を意味することが多い。

an が離散確率変数の確率質量関数なら、その通常型母関数を確率母関数（英語版）と呼ぶ。

通常型母関数は多重添字を持つ列に対するものに一般化できる。例えば、二重数列 {am,n}（n と m は自然数）の通常型母関数は G ( a m , n ; x , y ) = ∑ m , n = 0 ∞ a m , n x m y n {\displaystyle G(a_{m,n};x,y)=\sum _{m,n=0}^{\infty }a_{m,n}x^{m}y^{n}}

である。
指数型母関数

数列 {an} の指数型母関数とは、 E G ( a n ; x ) = ∑ n = 0 ∞ a n x n n ! {\displaystyle EG(a_{n};x)=\sum _{n=0}^{\infty }a_{n}{\frac {x^{n}}{n!}}}

という級数である。
ポアソン母関数

数列 {an} のポアソン母関数 (Poisson generating function) とは P G ( a n ; x ) = ∑ n = 0 ∞ a n e − x x n n ! {\displaystyle PG(a_{n};x)=\sum _{n=0}^{\infty }a_{n}e^{-x}{\frac {x^{n}}{n!}}}

のことである。
ランベルト級数

数列 {an} のランベルト級数は L G ( a n ; x ) = ∑ n = 1 ∞ a n x n 1 − x n {\displaystyle LG(a_{n};x)=\sum _{n=1}^{\infty }a_{n}{\frac {x^{n}}{1-x^{n}}}}

で定義される。ランベルト級数では、添字 n は 0 からではなく 1 から始まる点に注意。
ベル級数

数論的関数 f(n) と素数 p に対するベル級数は、 f p ( x ) = ∑ n = 0 ∞ f ( p n ) x n {\displaystyle f_{p}(x)=\sum _{n=0}^{\infty }f(p^{n})x^{n}}

で与えられる。
母関数としてのディリクレ級数

ディリクレ級数は厳密な意味では形式的冪級数でないにもかかわらず、母関数の一種にしばしば分類される。数列 {an} のディリクレ級数型の母関数とは D G ( a n ; s ) = ∑ n = 1 ∞ a n n s {\displaystyle DG(a_{n};s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}

である。ディリクレ級数型の母関数は an が乗法的関数でその関数のベル級数を使ったオイラー積表示があれば、特に便利である。 D G ( a n ; s ) = ∏ p f p ( p − s ) {\displaystyle DG(a_{n};s)=\prod _{p}f_{p}(p^{-s})\,}

an がディリクレ指標なら、そのディリクレ級数母関数をディリクレのL関数と呼ぶ。