|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 多 ： [た] 1. (n,pref) multi- ・ 多項式 ： [たこうしき] (n) polynomial ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
数学において、は付随するエルハート多項式（エルハートたこうしき、）を持つ。エルハート多項式は、多面体の体積とそれが含む整点 との間に成り立つ関係を情報として含む。エルハート多項式の理論はユークリッド平面におけるピックの定理の高次元への一般化とみることができる。 エルハート多項式の名称は1960年代にこれらの多項式について研究したウジェーヌ・エルハート (Eugène Ehrhart) に因む。 == 概要 == 具体的に、ユークリッド空間 R''n'' 内の格子 ''L'' と、同じく R''n'' 内の ''d''-次元多面体 ''P'' を考え、多面体 ''P'' の各頂点は格子 ''L'' 上の点であるものと仮定する（よくあるのは ''L'' = Z''n'' で多面体 ''P'' の頂点座標が全て整数値であるような場合である）。任意の正の整数 ''t'' に対し、 ''tP'' を ''P'' の ''t''-倍相似拡大とし、 : を ''tP'' が含む格子点の数とする。エルハートは1962年に ''L'' が〔: 多項式と格子とに同じ文字 "L" が用いられていて紛らわしいが、見たとおりここは多項式の話である。〕 ''t'' に関して次数 ''d'' の有理多項式であること、すなわち有理数 ''a''0, ..., ''a''''d'' で、任意の正整数 ''t'' に対して :''L''(''P'', ''t'') = ''a''''d''''t''''d'' + ''a''''d''−1''t''''d''−1 + … + ''a''0 となるようなものが存在することを示した。さらに ''P'' が閉（つまり境界面が ''P'' に属する）ならば ''L''(''P'', ''t'') の係数のいくつかは簡単な解釈をもつ。 * 最高次係数 ''a''''d'' は ''P'' の ''d''-次元体積を ''d''(''L'') で割ったものに等しい（格子 ''L'' の容量 もしくは共容積 ''d''(''L'') については格子群を参照せよ）。 * (''d''−1)-次の係数 ''a''''d''−1 は以下のように計算することができる。格子 ''L'' が ''P'' の各面 ''F'' に誘導する格子を ''L''''F'' とし、''F'' の (''d''−1)-次元体積をとって 2''d''(''L''''F'') で割ったものを ''P'' の面すべてについて足し合わせる。 * 定数項 ''a''0 は ''P'' のオイラー標数である。とくに ''P'' が閉凸多面体ならば ''a''0 = 1 が成り立つ。 これらの言及の ''n'' = ''d'' = 2 かつ ''t'' = 1 の場合をかんがえればピックの定理が得られる。また、これら以外の係数に対する公式を得るのは非常に難しく、トーリック多様体のトッド類やリーマン-ロッホの定理およびフーリエ解析などが必要である。 閉凸多面体 ''P'' の内部 int ''P'' に対応するエルハート多項式は : ''L''(int ''P'', ''t'') = (−1)''n'' ''L''(''P'', −''t'') と計算できる。''X'' が ''P'' の正規扇 に対応するトーリック多様体ならば''P'' は ''X'' 上の豊富線束を定めるが、このとき ''P'' のエルハート多項式はその線束のヒルベルト多項式に一致する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「エルハート多項式」の詳細全文を読む スポンサード リンク
|