ベイカーの定理

ウィキペディア

ベイカーの定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/29 09:05 UTC 版)

ベイカーの定理（ベイカーのていり、英: Baker's theorem）とは、1966年-1968年にかけて、アラン・ベイカーによって発表された、対数関数の一次形式に対する線形独立性、および下界の評価に関する一連の定理のことである。 下界の評価が計算可能であることから、数論の様々な分野で応用されている。