メビウスの反転公式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > メビウスの反転公式の意味・解説 

メビウスの反転公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/17 05:14 UTC 版)

数学において、古典的なメビウスの反転公式 (Möbius inversion formula) は、アウグスト・フェルディナント・メビウス (August Ferdinand Möbius) によって19世紀に数論に導入された。

整除関係によって順序付けられた自然数という古典的な場合に、別の局所有限半順序集合英語版が取って代わると、他のメビウス反転公式が得られる。説明は隣接代数を参照。

古典的な反転公式

古典的なバージョンは次のようなものである。gf が、すべての正の整数 n に対して

を満たす数論的関数であれば、すべての正の整数 n に対して

が成り立つ。ここで μメビウス関数であり、和は n のすべての正の約数 d を渡る。要するに、もとの f (n)g (n) が与えられると反転公式を用いて決定することができる。2つの数列は互いのメビウス変換 (Möbius transform) と呼ばれる。

公式は fg が正の整数から(Z-加群と見た)アーベル群への関数であるときにも正しい。

ディリクレの畳み込み英語版を用いて、最初の式を

と書くことができる。ここに * はディリクレの畳み込みを表し、1定数関数 である。すると二番目の式は

と書ける。多くの具体例は乗法的関数の記事で与えられている。

定理は * が(可換かつ)結合的であり、1 * μ = ε であることから従う、ただし ε はディリクレの畳み込みに対する単位元であり、ε(1) = 1 および n > 1 に対して ε(n) = 0 という値を取る。したがって となる。

級数関係

とすると、変換は

である。変換は級数によって関連付けられる。ランベルト級数英語版

ディリクレ級数

である。ここで リーマンのゼータ関数である。

繰り返しの変換

数論的関数が与えられると、最初の総和を繰り返し適用することによって他の数論的関数の両側無限列を生成することができる。

例えば、オイラーのトーシェント関数 に対して変換を繰り返し適用していくと

  1. トーシェント関数
  2. 恒等写像
  3. 約数関数

メビウスの関数自身から始めると、

  1. メビウス関数
  2. ただし  は unit function英語版
  3. 定値写像
  4. ただし n の約数の個数(約数関数参照)

これらのリストのいずれも、両方向に無限に伸びる。メビウスの反転公式によって逆向きに行くことができる。

例として、 で始まる列は:

生成される列は、対応するディリクレ級数を考えることによってより容易に理解できるかもしれない。各変換はリーマンのゼータ関数を掛けることに対応する。

一般化

組合せ数学においてより有用な反転公式は次のようなものである。F (x) と G (x) は区間 [1, ∞) 上で定義された複素数関数であって、

であれば、

である。ここで和は x 以下のすべての正の整数 n を走る。

これはさらに一般化される。ディリクレ逆元英語版 を持つ数論的関数であるとき、

と定義すると、

が成り立つ。前の公式は定数関数 という特別な場合である。このとき逆元は である。

これらの拡張のうち 1 つ目を適用できる例として、正の整数上定義された(複素数値)関数 f (n) と g (n) であって

なるものがあるとき、 および とすると、

となる。

この公式を使う簡単な例は、既約分数 0 < a / b < 1 の個数を数えることである。ここで ab は互いに素で b ≤ n である。f (n) をこの個数とすれば、g (n) は b ≤ n なる分数 0 < a / b < 1 の総数である。ここで ab は互いに素である必要はない。(なぜならば、gcd (a, b) = d かつ bn なるすべての分数 a / bb / dn / d なる分数 (a / d ) / (b / d ) に簡約でき、逆もまた然りであるからだ。)g (n) = n (n − 1) / 2 であることを確かめるのは容易だが、f (n) は計算が難しい。

別の反転公式は、

(ただし、級数は絶対収束すると仮定する。)上と同様、これは がディリクレ逆元 を持つ数論的関数である場合に一般化される。

乗法的表記

メビウスの変換公式は任意のアーベル群に対して適用できるから、群の演算が加法的に書かれているか乗法的に書かれているかは関係ない。乗法的な場合反転公式は次のようになる。

ならば

一般化の証明

最初の一般化は次のように証明できる。Iverson's convention を使う。これは [条件] がその条件の指示関数、つまり、条件が真であれば 1 で偽であれば 0 であるような関数を表すというものである。次の結果を使う。, つまり、1*μ = ε

すると以下のようになる。

二つ目の一般化では α(n)1 に取って代わるが、証明は本質的に同一である。

Weisner, Hall, Rota の貢献

The statement of the general Möbius inversion formula was first given independently by Weisner (1935) and Philip Hall (1936); both authors were motivated by group theory problems. Neither author seems to have been aware of the combinatorial implications of his work and neither developed the theory of Möbius functions. In a fundamental paper on Möbius functions, Rota showed the importance of this theory in combinatorial mathematics and gave a deep treatment of it. He noted the relation between such topics as inclusion-exclusion, classical number theoretic Möbius inversion, coloring problems and flows in networks. Since then, under the strong influence of Rota, the theory of Möbius inversion and related topics has become an active area of combinatorics.[1]

訳:一般化メビウス反転公式は、当初はワイズナー(1935)とフィリップ・ホール(1936)が独立に与えたものである。両者とも群論の問題から着想を得ている。 両者とも、この公式が組み合わせ数学と関連することに気づいていたわけでも、メビウス関数の理論を発展させたわけでもなかったようである。 メビウス関数の基礎的論文において、ロタは組み合わせ数学におけるこの理論の重要性を示し、深い考察を与えた。彼は包除原理、古典的な数論的メビウス反転、彩色問題、ネットワーク上の流れといった事柄間の関連性に言及している。 それ以降ロタの強い影響力により、メビウス反転の理論とそれに関連する事柄は、組み合わせ数学で活発に研究される領域となった。

関連項目

参考文献

脚注

外部リンク


メビウスの反転公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 06:15 UTC 版)

メビウス関数」の記事における「メビウスの反転公式」の解説

詳細は「メビウスの反転公式」を参照 関数 f(n), g(n) について、次の 2 つ命題同値である。 g ( n ) = ∑ d ∣ n f ( d ) . {\displaystyle g(n)=\sum _{d\mid n}f(d).} f ( n ) = ∑ d ∣ n g ( d ) μ ( n d ) . {\displaystyle f(n)=\sum _{d\mid n}g(d)\,\mu \!\left({\frac {n}{d}}\right).} これをメビウスの反転公式という。

※この「メビウスの反転公式」の解説は、「メビウス関数」の解説の一部です。
「メビウスの反転公式」を含む「メビウス関数」の記事については、「メビウス関数」の概要を参照ください。

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


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「メビウスの反転公式」の関連用語

メビウスの反転公式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



メビウスの反転公式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
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というライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS