Ноль функции - Zero of a function

График функции для in с нулями в и отмечен красным . ${\ Displaystyle \ соз (х)}$${\ displaystyle x}$${\ Displaystyle \ влево [-2 \ пи, 2 \ пи \ вправо]}$${\ displaystyle - {\ tfrac {3 \ pi} {2}}, \; - {\ tfrac {\ pi} {2}}, \; {\ tfrac {\ pi} {2}}}$${\ displaystyle {\ tfrac {3 \ pi} {2}},}$

В математике , А ноль (также иногда называется корнем ) из реального -, комплекс -, или вообще вектор-функция , является членом из домена из таких , что обращается в нуль при ; то есть функция достигает значения 0 в или, что то же самое, является решением уравнения . Таким образом, «ноль» функции - это входное значение, которое дает на выходе 0. ${\ displaystyle f}$${\ displaystyle x}$${\ displaystyle f}$${\ displaystyle f (x)}$ ${\ displaystyle x}$${\ displaystyle f}$${\ displaystyle x}$${\ displaystyle x}$${\ displaystyle f (x) = 0}$

Корень из полинома является нулем соответствующей полиномиальной функции . Основная теорема алгебры показывает , что любой ненулевой многочлен имеет число корней в наиболее равна его степени , а также о том , что число корней и степень равны , если учесть сложные корни (или в более общем случае , корни в алгебраически замкнутое расширение ) с учетом их кратностей . Например, многочлен второй степени, определяемый формулой ${\ displaystyle f}$

${\ displaystyle f (x) = x ^ {2} -5x + 6}$

имеет два корня и , поскольку ${\ displaystyle 2}$${\ displaystyle 3}$

${\ displaystyle f (2) = 2 ^ {2} -5 \ cdot 2 + 6 = 0 \ quad {\ textrm {и}} \ quad f (3) = 3 ^ {2} -5 \ cdot 3 + 6 = 0}$.

Если функция отображает действительные числа в действительные числа, то ее нули являются -координатами точек, где ее график пересекает ось x . Альтернативное имя для такой точки в этом контексте - перехват. ${\ displaystyle x}$${\ Displaystyle (х, 0)}$${\ displaystyle x}$

Решение уравнения

Каждое уравнение в неизвестном можно переписать как ${\ displaystyle x}$

${\ displaystyle f (x) = 0}$

перегруппировав все термины в левой части. Отсюда следует, что решения такого уравнения - это в точности нули функции . Другими словами, «нуль функции» - это в точности «решение уравнения, полученное приравниванием функции к 0», а изучение нулей функций в точности совпадает с изучением решений уравнений. ${\ displaystyle f}$

Полиномиальные корни

Каждый действительный многочлен нечетной степени имеет нечетное число действительных корней (с учетом кратностей ); аналогично действительный многочлен четной степени должен иметь четное число действительных корней. Следовательно, действительные нечетные многочлены должны иметь по крайней мере один действительный корень (потому что наименьшее нечетное целое число равно 1), тогда как четные многочлены могут не иметь ни одного. Этот принцип можно доказать, сославшись на теорему о промежуточном значении : поскольку полиномиальные функции непрерывны , значение функции должно пересекать ноль в процессе изменения с отрицательного на положительное или наоборот (что всегда происходит для нечетных функций).

Основная теорема алгебры

Основная теорема алгебры утверждает, что каждый многочлен степени имеет комплексные корни, считаемые с их кратностями. Неверные корни многочленов с действительными коэффициентами входят в сопряженные пары. Формулы Виета связывают коэффициенты многочлена с суммами и произведениями его корней. ${\ displaystyle n}$${\ displaystyle n}$

Вычислительные корни

Вычисление корней функций, например полиномиальных функций , часто требует использования специализированных или приближенных методов (например, метода Ньютона ). Однако некоторые полиномиальные функции, включая все функции степени не выше 4, могут иметь все свои корни, алгебраически выраженные через их коэффициенты (подробнее см. Алгебраическое решение ).

Нулевой набор

В различных областях математики, то множество нулей из функции является множество всех ее нулей. Более точно, если это вещественная функция (или, в более общем случае , функция принимает значения в некоторой аддитивной группе ), его нулевое множество , то прообраз из в . ${\ displaystyle f: X \ to \ mathbb {R}}$${\ displaystyle f ^ {- 1} (0)}$${\ displaystyle \ {0 \}}$${\ displaystyle X}$

Термин « множество нулей» обычно используется, когда существует бесконечно много нулей, и они обладают некоторыми нетривиальными топологическими свойствами . Например, набор уровней функции - это нулевой набор . Конуль набор из является дополнением нулевого множества (т.е. подмножество , на котором не равен нулю). ${\ displaystyle f}$${\ displaystyle fc}$${\ displaystyle f}$${\ displaystyle f}$${\ displaystyle X}$${\ displaystyle f}$

Приложения

В алгебраической геометрии первое определение алгебраического многообразия - через нулевые множества. В частности, аффинное алгебраическое множество - это пересечение нулевых наборов нескольких многочленов в кольце многочленов над полем . В этом контексте нулевое множество иногда называют нулевым локусом . ${\ Displaystyle к \ влево [x_ {1}, \ ldots, x_ {n} \ right]}$

В анализе и геометрии , любое замкнутое подмножество из есть множество нулей гладкой функции , определенной на всех . Это распространяется на любое гладкое многообразие как следствие паракомпактности . ${\ Displaystyle \ mathbb {R} ^ {п}}$${\ Displaystyle \ mathbb {R} ^ {п}}$

В дифференциальной геометрии наборы нулей часто используются для определения многообразий . Важным частным случаем является случай, когда гладкая функция от до . Если нуль является регулярным значением из , то нулевого множества является гладким многообразием размерности по теореме регулярного значения . ${\ displaystyle f}$${\ Displaystyle \ mathbb {R} ^ {p}}$${\ Displaystyle \ mathbb {R} ^ {п}}$${\ displaystyle f}$${\ displaystyle f}$${\ displaystyle m = pn}$

Например, единица - сфера в является нулевым множеством действительной функции . ${\ displaystyle m}$${\ Displaystyle \ mathbb {R} ^ {м + 1}}$${\ Displaystyle е (х) = \ Верт х \ Верт ^ {2} -1}$

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

• Теорема мардена
• Алгоритм поиска корней
• Гипотеза Сендова
• Исчезнуть в бесконечности
• Нулевой переход
• Нули и полюсы

использованная литература

дальнейшее чтение

• Вайсштейн, Эрик В. «Рут» . MathWorld .