数学の一分野である複素解析において、アメーバ()は、一変数、あるいは多変数の多項式に関連した集合である。アメーバは代数幾何学、特に、トロピカル幾何学へ応用を持っている。
定義 ユークリッド空間 上に値を持つ 0 を除く複素数 n-組 の集合上に定義され、式
により与えられる函数
を考える。ここに 'log' は、自然対数を表す。p(z) が 変数の多項式であれば、そのアメーバ(amoeba) は p の零点の集合の Log による像として定義される。
アメーバは 1994年、イズライル・ゲルファント(Israel Gelfand)、カプラノフ(Kapranov)、(Andrei Zelevinsky)の書籍で導入された。
性質
アメーバは閉集合である。 補空間 の連結成分は、凸であるItenberg et al (2007) p.3。 2変数の恒等的に 0 ではない多項式のアメーバの面積は、有限である。 2次元のアメーバは、多くの「触手」を持ち、触手は無限に長く、無限遠点では指数的に狭くなる。
ロンキン函数
アメーバを研究する有効なツールが、ロンキン函数(Ronkin function)である。n (複素)変数の多項式 p(z) に対し、式
により、ロンキン函数を、
と定義する。ここに は を表す。同じことであるが、 は積分
により与えられる。ここに
とする。ロンキン函数は凸函数であり、 のアメーバの補集合の各々の連結成分上では(affine)である。
例として、 である単項式
のロンキン函数は、
である。
脚注
参考文献
さらに進んだ書籍
外部リンク
Amoebas of algebraic varieties