WikiDer > Норма Бомбьери - Википедия

В математика, то Bombieri norm, названный в честь Энрико Бомбьери, это норма на однородные многочлены с коэффициентом в ${ Displaystyle mathbb {R}}$ или же ${ Displaystyle mathbb {C}}$ (есть также вариант для неоднородных одномерных многочленов). У этой нормы есть много замечательных свойств, самые важные из которых перечислены в этой статье.

Скалярное произведение Бомбьери для однородных многочленов

Чтобы начать с геометрии, Скалярное произведение Бомбьери за однородные многочлены с N переменные могут быть определены следующим образом, используя многоиндексная запись:

${ displaystyle forall alpha, beta in mathbb {N} ^ {N}}$

по определению разные мономы ортогональны, так что

${ displaystyle langle X ^ { alpha} | X ^ { beta} rangle = 0}$ если ${ displaystyle alpha neq beta,}$

пока

${ Displaystyle forall alpha in mathbb {N} ^ {N}}$

по определению

${ displaystyle | X ^ { alpha} | ^ {2} = { frac { alpha!} {| alpha |!}}.}$

В приведенном выше определении и в остальной части этой статьи применяются следующие обозначения:

если

${ Displaystyle альфа = ( альфа _ {1}, точки, альфа _ {N}) в mathbb {N} ^ {N},}$

записывать

${ Displaystyle | альфа | = Sigma _ {я = 1} ^ {N} альфа _ {я}}$

и

${ Displaystyle альфа! = Pi _ {я = 1} ^ {N} ( альфа _ {я}!)}$

и

${ displaystyle X ^ { alpha} = Pi _ {i = 1} ^ {N} X_ {i} ^ { alpha _ {i}}.}$

Неравенство Бомбьери

Основным свойством этой нормы является неравенство Бомбьери:

позволять ${ displaystyle P, Q}$ - два однородных многочлена соответственно степени ${ displaystyle d ^ { circ} (P)}$ и ${ displaystyle d ^ { circ} (Q)}$ с ${ displaystyle N}$ переменных, то имеет место неравенство

${ Displaystyle { гидроразрыва {d ^ { circ} (P)! d ^ { circ} (Q)!} {(d ^ { circ} (P) + d ^ { circ} (Q)) !}} | P | ^ {2} , | Q | ^ {2} leq | P cdot Q | ^ {2} leq | P | ^ {2} , | Q | ^ {2}.}$

Здесь неравенство Бомбьери является левой частью приведенного выше утверждения, а правая часть означает, что норма Бомбьери является норма алгебры. Указание левой части бессмысленно без этого ограничения, потому что в этом случае мы можем достичь того же результата с любой нормой, умножив норму на хорошо подобранный коэффициент.

Из этого мультипликативного неравенства следует, что произведение двух многочленов ограничено снизу величиной, которая зависит от множимого многочленов. Таким образом, этот продукт не может быть сколь угодно маленьким. Это мультипликативное неравенство полезно в метрике алгебраическая геометрия и теория чисел.

Инвариантность по изометрии

Еще одно важное свойство состоит в том, что норма Бомбьери инвариантна по композиции с изометрия:

позволять ${ displaystyle P, Q}$ - два однородных многочлена степени ${ displaystyle d}$ с ${ displaystyle N}$ переменные и пусть ${ displaystyle h}$ быть изометрией ${ Displaystyle mathbb {R} ^ {N}}$ (или же ${ Displaystyle mathbb {C} ^ {N}}$). Тогда у нас есть ${ Displaystyle langle P circ h | Q circ h rangle = langle P | Q rangle}$. Когда ${ Displaystyle P = Q}$ Из этого следует ${ Displaystyle | P CIRC H | = | P |}$.

Этот результат следует из красивой интегральной формулировки скалярного произведения:

${ displaystyle langle P | Q rangle = {d + N-1 select N-1} int _ {S ^ {N}} P (Z) { overline {Q (Z)}} , d sigma (Z)}$

куда ${ Displaystyle S ^ {N}}$ это единичная сфера ${ Displaystyle mathbb {C} ^ {N}}$ с его канонической мерой ${ displaystyle d sigma (Z)}$.

Другое неравенство

Позволять ${ displaystyle P}$ - однородный многочлен степени ${ displaystyle d}$ с ${ displaystyle N}$ переменные и пусть ${ Displaystyle Z in mathbb {C} ^ {N}}$. У нас есть:

• ${ Displaystyle | P (Z) | Leq | P | , | Z | _ {E} ^ {d}}$
• ${ Displaystyle | набла P (Z) | _ {E} leq d | P | , | Z | _ {E} ^ {d}}$

куда ${ Displaystyle | cdot | _ {E}}$ обозначает евклидову норму.

Норма Бомбьери полезна в полиномиальной факторизации, где она имеет некоторые преимущества перед Мера Малера, согласно Кнуту (упражнения 20-21, страницы 457-458 и 682-684).

Смотрите также

• Многообразие Грассмана
• Харди космос
• Однородный полином
• Плюккеровское вложение

Рекомендации

• Beauzamy, Бернар; Бомбьери, Энрико; Энфло, Пер; Монтгомери, Хью Л. (1990). «Произведения многочленов от многих переменных» (PDF). Журнал теории чисел. 36 (2): 219–245. Дои:10.1016 / 0022-314X (90) 90075-3. HDL:2027.42/28840. МИСТЕР 1072467.
• Beauzamy, Бернар; Энфло, Пер; Ван, Пол (октябрь 1994). «Количественные оценки многочленов от одной или нескольких переменных: от анализа и теории чисел до символьных и массово-параллельных вычислений» (PDF). Математический журнал. 67 (4): 243–257. Дои:10.2307/2690843. JSTOR 2690843. МИСТЕР 1300564.
• Бомбьери, Энрико; Габлер, Вальтер (2006). Высоты в диофантовой геометрии. Кембридж U. P. ISBN 0-521-84615-3. МИСТЕР 2216774.
• Кнут, Дональд Э. (1997). "4.6.2 Факторизация многочленов". Получисловые алгоритмы. Искусство программирования. 2 (Третье изд.). Ридинг, Массачусетс: Эддисон-Уэсли. С. 439–461, 678–691. ISBN 0-201-89684-2. МИСТЕР 0633878.