ピゾ数

**ピゾ数**（ピゾすう、）とは、代数的整実数 &nbsp;>&nbsp;1 のうち、全てのの絶対値が1未満である数のことである。**ピゾ＝ヴィジャヤラガヴァン数**、**PV数**とも呼ばれる。

## 定義
代数的整数、つまり整数係数モニック多項式の根のうち、1より大きい実数であり、かつ全ての共役根が、絶対値が1より小さい複素数であるような数をピゾ数という。言い換えれば、全ての共役根が複素平面の単位円の内側にあるような、1より大きい代数的整実数のことである。

例えば、の解の一つである黄金数は、で与えられる1より大きい数であり、その共役根はであり絶対値が1未満であるため、ピゾ数である。

同様に、の解の一つであるプラスチック数は、で与えられる数1より大きい数であり、その共役根は、であり絶対値が1未満であるため、ピゾ数である。

2以上の整数は共役根が存在しないが、ピゾ数である。

## 性質
### ほとんど整数
ピゾ数の累乗は、ほとんど整数となる。

あるピゾ数の共役根をとする。ピゾ数は代数的整数であり、整数係数モニック多項式の根であるため、解と係数の関係より、個の根からなる基本対称式は全て整数である。したがって、対称式
:\alpha^m + \alpha_{1}^m + \alpha_{2}^m + \cdots + \alpha_{n-1}^m
も整数となる。

しかし、ピゾ数の共役根の絶対値は1未満であるため、が限りなく大きいとき、それらは限りなく0に近づく。そのため、上記の対称式よりは限りなく整数に近づき、ほとんど整数となることがわかる。

例えば、黄金数の累乗は次のようになる。
:\varphi^{17}=3571.000280\dots
:\varphi^{18}=5777.999826\dots
:\varphi^{19}=9349.000106\dots

### ピゾ数の判定法
*ピゾ数の累乗は一様分布しない。
:ある数から最も近い整数までの距離を||||とすると、ある数がピゾ数であり、ある数が代数的数ならば、
:\lim_{n \to \infty} \|\alpha^n\| = 0, \lim_{n \to \infty} \|\lambda\alpha^n\| = 0
:が成り立つ。
上記の逆が成り立つかどうかは未解決である（ピゾ=ヴィジャヤラガヴァンの問題）が、もし成り立つならば単純な条件でピゾ数の判定ができる。以下は、ピゾ数を判定するいくつかの方法である。
*ある数が1より大きい実数であり、それに対してある1以上の実数が存在して、全てのについて、
:\|\lambda\alpha^n\| \leq \frac{1}{2e\alpha (\alpha + 1)(1 + \log{\lambda})}
:ならば、はピゾ数またはサレム数である。
*ある数が1より大きい実数であり、ある数が0でない実数のとき、
:\sum_{n=1}^\infty \|\lambda\alpha^n\|^2 
:ならば、はピゾ数であり、は代数的数である。（ピゾの定理）
*ある数が1より大きい*代数的数*であり、ある数が0でない実数のとき、
:\lim_{n \to \infty} \|\lambda\alpha^n\| = 0
:ならば、はピゾ数であり、は代数的数である。
*ある数が1より大きい実数であるとき、''O''-記法を用いて||||もしくは||||ならば、はピゾ数である。
:言い換えれば、累乗が0に収束する速度が十分速ければよい。

### 位相空間
*ピゾ数の集合は、閉集合である。
:によってピゾ数の集合が無限個の集積点を持つことが証明され、その後ラファエル・サレムは、ピゾ数の集合が閉集合であることを証明した。
*プラスチック数は最小のピゾ数であり、黄金数は最小のピゾ数の集積点である。
:ピゾ数は閉集合であり、極小元を持つ。カール・ジーゲルは、極小元がの正の実数解であるプラスチック数であり、ピゾ数の集合の孤立点であるというサレムの予想を証明した。なお、2番目に小さいピゾ数もジーゲルが発見し、孤立点であることを証明した。
:デュフレノワとは、黄金数がピゾ数の集合の最小の集積点であるというジーゲルの予想を証明し、黄金数より小さなピゾ数を求めた。任意の閉区間に含まれるピゾ数を求めるアルゴリズムは、デイビッド・ボイドによって発見された。

### サレム数との関係
*サレム数は、代数的整実数 &nbsp;>&nbsp;1 のうち、全ての共役根の絶対値が1以下であり、そのうち少なくとも一つの絶対値が1である数のことである。ピゾ数とサレム数は定義に共通する部分が多く、以下のようにいくつかの関連性を持つ。
*ピゾ数の集合は、サレム数の集積点の集合に含まれる。
*ピゾ数とサレム数の集合の和集合は、閉集合であると予想されている。
*最小のサレム数を含むいくつかの小さなサレム数の族は、ピゾ数の最小多項式とその相反多項式から作った方程式を解くことで求められる。
*は、代数的整実数 &nbsp;>&nbsp;1 のうち、全ての共役根の絶対値が未満である数である。ピゾ数もサレム数も、ペロン数である。

## 歴史
ピゾ数は、1912年にによって研究が始まり、1919年にはゴッドフレイ・ハロルド・ハーディによってディオファントス近似の分野で研究された。その後、ピゾ数の名前の由来であるピゾの1938年の論文によって広く知られるようになり、1940年代にはサレムやヴィジャヤラガヴァンらによって研究された。

ピゾ数は、ディファントス近似、ロボット工学、流体力学、準結晶、調和解析（フーリエ級数の一意性問題）など、様々な分野に応用されている。

## 応用
### 準結晶
準結晶は、並進対称性とは両立しない5回、8回、10回または12回対称性を持ちながら、高い秩序性(準周期性)を持つ固体の状態である。正10角形準結晶の回折像は、輝点の間隔が等間隔ではなく公比が黄金数である等比数列となっており、また拡大率が黄金数である自己相似性も有する。

ピゾ数の多項式の集合は一様離散であり、二点の距離はある値よりも小さくなることができないが、同時に相対稠密でもあり、二点の距離はある値よりも大きくなることができない。この両方の性質を持つは、反発して近づくことができない原子や分子の位置をモデル化するのに適しているが、準結晶が同一構造の繰り返しを持つことを考慮するためには、が用いられる。

また、準結晶の自己相似性を持つ原子配列は、タイル張りと深い関連を持つ。二次元の自己相似性を持つタイル張りの拡大率は、ピゾ数を含む複素ペロン数でなければならず、ピゾ数を用いてタイル張りを構成することができる。


File:Diff.jpg|準結晶のX線回折像(正10角形準結晶)
File:Penrose Tiling (Rhombi).svg|準結晶と共通した構造を持つペンローズ・タイル


## ピゾ数の一覧
### 二次の無理数
整数について、かつのとき、二次方程式の正の実数根はピゾ数である。

### 黄金数より小さなピゾ数
黄金数より小さなピゾ数は、デュフレノアとピゾによって求められた。

8番目を除き、多項式がx^n(x^2-x-1)+1もしくはx^n(x^2-x-1)+(x^2-1)であることがわかる。

多項式がx^n(x^2-x-1)+1であるとき、が偶数ならばx-1で割り切れ、を自然数とするとき、x^{2m}(x^2-x-1)+1 = (x-1)(x^{2m+1}-x^{2m-1}-x^{2m-2}-\cdots-x-1)となる。が奇数ならばx^2-1で割り切れ、x^{2m-1}(x^2-x-1)+1 = (x^2-1)(x^{2m-1}-x^{2m-2}-x^{2m-4}-\cdots-x^2-1)となる。

多項式がx^n(x^2-x-1)+1もしくはx^n(x^2-x-1)+(x^2-1)のとき、x^nで割ることで、がピゾ数ならばであるため、が大きくなるにつれて得られるピゾ数が黄金数に近づいていくことがわかる。

## 脚注
### 注釈
### 出典

## 関連項目
*サレム数
*
*貴金属比