В математике , то степень из полинома является самым высоким из степеней полинома по одночленов (индивидуальные условия) с ненулевыми коэффициентами. Степень термина является суммой показателей степеней переменных , которые появляются в нем, и , таким образом , представляет собой неотрицательное целое число . Для одномерного многочлена степень многочлена - это просто наивысший показатель степени, встречающийся в многочлене. [1] [2] Термин « порядок » использовался как синоним степени, но в настоящее время может относиться к нескольким другим концепциям (см.порядок полинома (значения) ).
Например, многочлен, который также можно записать как, имеет три члена. Первый член имеет степень 5 (сумма степеней 2 и 3), второй член имеет степень 1, а последний член имеет степень 0. Следовательно, многочлен имеет степень 5, что является высшая степень любого срока.
Чтобы определить степень многочлена, не имеющего стандартной формы, например , можно преобразовать его в стандартную форму, расширив произведения (по распределенности ) и комбинируя аналогичные термины; например, имеет степень 1, даже если каждое слагаемое имеет степень 2. Однако в этом нет необходимости, если многочлен записан как произведение многочленов в стандартной форме, поскольку степень произведения - это сумма степеней факторы.
Имена многочленов по степени [ править ]
Посмотрите Приложение: Степени полиномов английского языка в Викисловаре, бесплатном словаре. |
Следующие имена присваиваются полиномам в соответствии с их степенью: [3] [4] [5] [2]
- Частный случай - ноль (см. § Степень нулевого многочлена ниже)
- Степень 0 - ненулевая константа [6]
- 1 степень - линейная
- Степень 2 - квадратичная
- Степень 3 - кубическая
- Степень 4 - квартичная (или, если все члены четные степени, биквадратичная )
- 5 степень - пятый
- Степень 6 - секстик (или, реже, гексик)
- 7 степень - септическая (реже гептическая)
Для более высоких степеней иногда предлагались имена [7], но они редко используются:
- Степень 8 - октическая
- Степень 9 - ноническая
- Степень 10 - децичная
Имена для степеней выше трех основаны на латинских порядковых номерах и оканчиваются на -ic . Это следует отличать от имен, используемых для количества переменных, арности , которые основаны на латинских распределительных числах и оканчиваются на -ary . Например, многочлен второй степени от двух переменных, например , называется «двоично-квадратичным»: двоичный по двум переменным, квадратичный по степени два. [a] Есть также названия для числа терминов, которые также основаны на латинских распределительных числах, оканчивающихся на -номиальный ; общие - мономиальные , биномиальные, и (реже) трехчлен ; таким образом, является «двоичным квадратичным двучленом».
Примеры [ править ]
Многочлен является кубическим многочленом: после умножения и сбора членов одинаковой степени он становится со старшим показателем 3.
Полином является полиномом пятой степени: при объединении одинаковых членов два члена степени 8 сокращаются, оставляя наивысший показатель степени 5.
Поведение при полиномиальных операциях [ править ]
Степень суммы, произведения или композиции двух многочленов сильно зависит от степени входных многочленов. [8]
Дополнение [ править ]
Степень суммы (или разности) двух многочленов меньше или равна большей из их степеней; то есть,
- и .
Например, степень равна 2 и 2 ≤ max {3, 3}.
Равенство всегда выполняется, если степени многочленов разные. Например, степень равна 3, а 3 = max {3, 2}.
Умножение [ править ]
Степень произведения многочлена на ненулевой скаляр равна степени многочлена; то есть,
- .
Например, степень равна 2, что равно степени .
Таким образом, набор полиномов (с коэффициентами из данного поля F ), степени которых меньше или равны заданному числу n, образует векторное пространство ; подробнее см. Примеры векторных пространств .
В более общем смысле, степень произведения двух многочленов над полем или областью целостности представляет собой сумму их степеней:
- .
Например, степень 5 = 3 + 2.
Для полиномов над произвольным кольцом приведенные выше правила могут быть недействительными из-за отмены, которая может произойти при умножении двух ненулевых констант. Так , например, в кольце из целых чисел по модулю 4 , один имеет то , но , что не равна сумме степеней факторов.
Состав [ править ]
Степень композиции двух непостоянных полиномов и над полем или областью целостности является продуктом их степеней:
- .
Например:
- Если , то , имеющий степень 6.
Обратите внимание, что для многочленов над произвольным кольцом это не обязательно так. Так , например, в , , но .
Степень нулевого многочлена [ править ]
Степень нулевого многочлена либо оставлена неопределенной, либо определяется как отрицательная (обычно −1 или ). [9]
Как и любое постоянное значение, значение 0 можно рассматривать как (постоянный) многочлен, называемый нулевым многочленом . В нем нет ненулевых членов, а значит, и степени, строго говоря, тоже нет. Таким образом, его степень обычно не определена. Предложения о степени сумм и произведений многочленов в предыдущем разделе неприменимы, если любой из задействованных многочленов является нулевым многочленом. [10]
Это удобно, однако, определить степень нулевого многочлена минус бесконечность , и ввести арифметические правила [11]
и
Эти примеры показывают, как это расширение удовлетворяет приведенным выше правилам поведения :
- Степень суммы равна 3. Это удовлетворяет ожидаемому поведению, а именно .
- Степень разницы составляет . Это соответствует ожидаемому поведению .
- Степень продукта является . Это соответствует ожидаемому поведению .
Вычисляется из значений функции [ править ]
Существует ряд формул, которые оценивают степень полиномиальной функции f . Один основан на асимптотическом анализе :
- ;
это точный аналог метода оценки наклона в логарифмическом графике .
Эта формула обобщает понятие степени на некоторые функции, не являющиеся полиномами. Например:
- Степень мультипликативного обратного , является -1.
- Степень квадратного корня , является 1/2.
- Степень логарифма , является 0.
- Степень экспоненциальной функции , является
Формула также дает разумные результаты для многих комбинаций таких функций, например, степени is .
Другая формула для вычисления степени f по ее значениям:
- ;
эта вторая формула следует из применения правила Лопиталя к первой формуле. Интуитивно, однако, это больше касается демонстрации степени d как дополнительного постоянного множителя в производной от .
Более мелкозернистый (чем простое числовая степень) описание асимптотики функции можно получить, используя большое обозначение O . При анализе алгоритмов , например, часто бывает уместно различать темпы роста и , которые, согласно приведенным выше формулам , будут иметь одинаковую степень.
Расширение до многочленов с двумя или более переменными [ править ]
Для многочленов от двух или более переменных степень члена - это сумма показателей степени переменных в члене; степень (иногда называемая полной степенью ) многочлена снова является максимальной из степеней всех членов в многочлене. Например, многочлен x 2 y 2 + 3 x 3 + 4 y имеет степень 4, ту же степень, что и член x 2 y 2 .
Однако многочлен от переменных x и y - это многочлен от x с коэффициентами, которые являются многочленами от y , а также многочлен от y с коэффициентами, которые являются многочленами от x . Полином
имеет степень 3 по x и степень 2 по y .
Дипломная функция в абстрактной алгебре [ править ]
Учитывая кольцо R , то кольцо многочленов R [ х ] есть множество всех многочленов от х , которые имеют коэффициенты R . В частном случае, когда R также является полем , кольцо многочленов R [ x ] является областью главных идеалов и, что более важно для нашего обсуждения здесь, евклидовой областью .
Можно показать, что степень полинома над полем удовлетворяет всем требованиям функции нормы в евклидовой области. То есть, учитывая два полинома f ( x ) и g ( x ), степень произведения f ( x ) g ( x ) должна быть больше, чем степени f и g по отдельности. На самом деле держится нечто более сильное:
В качестве примера того, почему функция степени может выйти из строя кольцо, не являющееся полем, рассмотрим следующий пример. Пусть R = , кольцо целых чисел по модулю 4. Это кольцо не является полем (и даже не является областью целостности ), потому что 2 × 2 = 4 ≡ 0 (mod 4). Следовательно, пусть f ( x ) = g ( x ) = 2 x + 1. Тогда f ( x ) g ( x ) = 4 x 2 + 4 x + 1 = 1. Таким образом, deg ( f ⋅ g ) = 0, что не больше степеней fи g (каждый из которых имел степень 1).
Поскольку нормальная функция не определена для нулевого элемента кольца, мы считаем, что степень многочлена f ( x ) = 0 также не определена, так что он следует правилам нормы в евклидовой области.
См. Также [ править ]
- Теорема Абеля – Руффини
- Основная теорема алгебры
Примечания [ править ]
- ^ Для простоты это однородный многочлен с одинаковой степенью по обеим переменным по отдельности.
- ^ Вайсштейн, Эрик В. "Полиномиальная степень" . mathworld.wolfram.com . Проверено 31 августа 2020 года .
- ^ a b "Степень (выражения)" . www.mathsisfun.com . Проверено 31 августа 2020 года .
- ^ «Имена многочленов» . 25 ноября 1997 . Проверено 5 февраля 2012 года .
- ^ Mac Lane и Birkhoff (1999) определяют «линейный», «квадратичный», «кубический», «четвертый» и «пятый». (стр.107)
- ^ Кинг (2009) определяет «квадратичный», «кубический», «четвертый», «пятый», «секстический», «септический» и «октический».
- ^ Шафаревич (2003) говорит о многочлене нулевой степени: «Такой многочлен называется константой, потому что, если мы подставляем в него разные значения x , мы всегда получаем одно и то же значение». (стр.23)
- ^ Джеймс Кокл предложил названия «сексуальный», «септический», «октический», «нонический» и «децичный» в 1851 году ( журнал «Механика» , том LV, стр. 171 ).
- ^ Лэнг, Серж (2005). Алгебра (3-е изд.). Springer. п. 100. ISBN 978-0-387-95385-4.
- ^
Шафаревич (2003) говорит о нулевом многочлене: «В этом случае мы считаем, что степень многочлена не определена». (стр. 27)
Чайлдс (1995) использует -1. (стр. 233)
Чайлдс (2009) использует −∞ (стр. 287), однако он исключает нулевые многочлены в своем предложении 1 (стр. 288), а затем объясняет, что это предложение справедливо для нулевых многочленов «с разумным предположением, что+ m =для т любое целое число или т =». Акслер (1997) использует −∞. (стр. 64) Grillet (2007) говорит: «Степень нулевого многочлена 0 иногда остается неопределенной или по-разному определяется как −1 ∈ ℤ или как, пока deg 0 <deg A для всех A
≠ 0. "( A - многочлен). Однако он исключает нулевые многочлены в своем предложении 5.3. (Стр. 121) - ^ Бариль, Маргарита. «Нулевой многочлен» . MathWorld .
- ^ Axler (1997) дает эти правила и говорит: «Полином 0 объявлен имеющим степень,так что исключения не нужны для различных разумных результатов». (стр.64)
Ссылки [ править ]
- Акслер, Шелдон (1997), Linear Algebra Done Done Right (2-е изд.), Springer Science & Business Media
- Чайлдс, Линдси Н. (1995), Конкретное введение в высшую алгебру (2-е изд.), Springer Science & Business Media
- Чайлдс, Линдси Н. (2009), Конкретное введение в высшую алгебру (3-е изд.), Springer Science & Business Media
- Grillet, Pierre Antoine (2007), Абстрактная алгебра (2-е изд.), Springer Science & Business Media
- Кинг, Р. Брюс (2009), за рамками уравнения четвертой степени , Springer Science & Business Media
- Мак Лейн, Сондерс ; Биркгоф, Гаррет (1999), Алгебра (3-е изд.), Американское математическое общество
- Шафаревич, Игорь Р. (2003), Дискурсы по алгебре , Springer Science & Business Media
Внешние ссылки [ править ]
- Полиномиальный порядок ; Вольфрам MathWorld