В математике возведение в степень — это операция , включающая два числа : основание и показатель степени или степени . Возведение в степень записывается как bn , где b — основание , а n — степень ; это произносится как « b (возведенный) в (степень) n ». [1] Когда n является положительным целым числом , возведение в степень соответствует многократному умножению по основанию: то есть, bn является продуктом умножения n оснований : [1]
Показатель степени обычно отображается в виде верхнего индекса справа от основания. В этом случае bn называется « b , возведенным в n- ю степень», « b (возведенный) в n -ю степень », « b в n- й степени » , « b в n -ю степень», [2 ] или наиболее кратко как « б до н (ого)».
Из основного факта, изложенного выше, что для любого положительного целого числа все вхождения умножаются друг на друга, непосредственно следуют несколько других свойств возведения в степень. В частности: [nb 1]
Другими словами, при умножении основания, возведенного в одну степень, на то же самое основание, возведенное в другую степень, показатели степени складываются. Из этого основного правила, которое добавляют показатели степени, мы можем вывести, что оно должно быть равно 1 для любого , следующим образом. Для любого , . Разделив обе части на дает .
Тот факт, что аналогичным образом можно вывести из того же правила. Например, . Извлечение кубического корня из обеих частей дает .
Правило, согласно которому при умножении показатели суммируются, также можно использовать для получения свойств отрицательных целочисленных показателей. Рассмотрим вопрос, что должно означать. Чтобы соблюдать правило «добавления показателей», должно быть так, что . Разделив обе части на дает , что проще записать как , используя результат выше . По аналогичному аргументу, .
Из этого же правила следуют и свойства дробных показателей. Например, предположим, что мы рассматриваем и спрашиваем, существует ли какой-нибудь подходящий показатель степени, который мы можем назвать , такой, что . Из определения квадратного корня мы получаем, что . Следовательно, показатель степени должен быть таким, что . Используя тот факт, что умножение приводит к сложению показателей, дает . В правой части также можно записать как , давая . Приравнивая показатели обеих частей, имеем . Поэтому , так .
Определение возведения в степень можно расширить, чтобы разрешить любой действительный или комплексный показатель. Возведение в степень целочисленными показателями также может быть определено для широкого спектра алгебраических структур, включая матрицы .
Возведение в степень широко используется во многих областях, включая экономику , биологию , химию , физику и информатику , с такими приложениями, как сложные проценты , рост населения , кинетика химических реакций , волновое поведение и криптография с открытым ключом .
Термин «экспонента» происходит от латинского expontem , причастия настоящего времени от exponere , что означает «выдвигать». [3] Термин мощность ( лат . potentia, potestas, dignitas ) является неправильным переводом [4] [5] древнегреческого δύναμις ( dúnamis , здесь: «усиление» [4] ) , используемого греческим математиком Евклидом для обозначения квадрата. линии, [6] вслед за Гиппократом Хиосским . [7]
В «Счетчике песка» Архимед доказал закон показателей 10 a · 10 b = 10 a + b , необходимый для манипулирования степенями 10 . [8] Затем он использовал степень 10 , чтобы оценить количество песчинок, которые могут содержаться во Вселенной.
В IX веке персидский математик Аль-Хорезми использовал термины مَال ( māl , «имущество», «собственность») для обозначения квадрата — мусульмане, «как и большинство математиков того и более раннего времени, думали о квадрате числа как о изображение площади, особенно земли, следовательно, собственности» [9] — и كَعْبَة ( Кааба , «куб») для куба , который позже исламские математики представили в математических обозначениях как буквы мим (м) и каф (к), соответственно, к 15 веку, как видно из работы Абуль-Хасана ибн Али аль-Каласади . [10]
Николя Шуке использовал форму экспоненциальной записи в 15 веке, например, 12 2 для обозначения 12 x 2 . [11] Позже это использовалось Хенриком Грамматеусом и Майклом Стифелем в 16 веке. В конце 16 века Йост Бюрги использовал римские цифры для показателей степени так же, как, например, Шуке.за 4 х 3 . [12]
Слово экспонента было придумано в 1544 году Майклом Стифелем. [13] [14] В 16 веке Роберт Рекорд использовал термины «квадрат», «куб», «зензизензизензический» ( четвертая степень ), «сурсолид» (пятый), «зензикуб» (шестой), «второй сурсолид» (седьмой) и «зензизензизензический» (восьмой). [9] Биквадрат также использовался для обозначения четвертой степени.
В 1636 году Джеймс Юм использовал по существу современную систему обозначений, когда в «Алгебре Вьете» он написал A iii вместо A 3 . [15] В начале 17 века первая форма нашей современной экспоненциальной записи была введена Рене Декартом в его тексте под названием «Геометрия» ; там обозначения введены в книге I. [16]
Я обозначаю ... аа или 2 при умножении a на себя; и 3 , умножив его еще раз на a и, таким образом, до бесконечности.
— Рене Декарт, «Геометрия».
Некоторые математики (например, Декарт) использовали показатели степени только для степеней больше двух, предпочитая представлять квадраты как многократное умножение. Таким образом, они будут писать полиномы , например, как ax + bxx + cx 3 + d .
Сэмюэл Джик ввел термин « индексы» в 1696 году. [6] Термин «инволюция» использовался как синоним термина « индексы» , но его использование сократилось [17] , и его не следует путать с его более общим значением .
В 1748 году Леонард Эйлер ввел переменные показатели степени и, косвенно, нецелые показатели степени, написав:
Рассмотрим экспоненты или степени, в которых показатель степени сам является переменной. Ясно, что величины такого рода не являются алгебраическими функциями , так как в них показатели степени должны быть постоянными. [18]
Выражение b 2 = b · b называется « квадратом b » или « b в квадрате», поскольку площадь квадрата с длиной стороны b равна b 2 . (Это правда, что его также можно было бы назвать « b во второй степени», но «квадрат b » и « b в квадрате» настолько укоренились в традициях и удобствах, что « b во второй степени» имеет тенденцию звучать необычно или неуклюжий.)
Аналогично выражение b 3 = b · b · b называется « кубом b » или « b в кубе», поскольку объем куба с длиной стороны b равен b 3 .
Когда показатель степени является положительным целым числом , он указывает, сколько копий основания перемножается. Например, 3 5 = 3 · 3 · 3 · 3 · 3 = 243 . Основание 3 появляется при умножении 5 раз, поскольку показатель степени равен 5 . Здесь 243 — это 5-я степень числа 3 или 3, возведенная в 5-ю степень .
Слово «поднятый» обычно опускается, а иногда и «сила», поэтому 3 5 можно просто прочитать «3 к 5» или «3 к 5». Следовательно, возведение в степень b n можно выразить как « b в степени n », « b в n- й степени», « b в n- й степени» или, наиболее кратко, как « b в n ».
Операцию возведения в степень с целочисленными показателями можно определить непосредственно из элементарных арифметических операций .
Определение возведения в степень как повторного умножения можно формализовать с помощью индукции [19] , и это определение можно использовать, как только появится ассоциативное умножение:
Базовый случай
и повторение
Ассоциативность умножения означает, что для любых натуральных чисел m и n ,
и
Как упоминалось ранее, (ненулевое) число, возведенное в степень 0 , равно 1 : [20] [1]
Это значение также получается с помощью соглашения о пустом произведении , которое может использоваться в каждой алгебраической структуре с умножением, имеющим единицу . Таким образом, формула
также справедливо для .
Случай 0 0 является спорным. В контекстах, где рассматриваются только целочисленные степени, значению 1 обычно присваивается значение 0 0 , но в противном случае выбор того, присвоить ли ему значение и какое значение присвоить, может зависеть от контекста.
Возведение в степень с отрицательными показателями определяется следующим тождеством, которое справедливо для любого целого числа n и ненулевого b :
Возведение 0 в отрицательную степень не определено, но в некоторых случаях это может быть интерпретировано как бесконечность ( ). [ нужна цитата ]
Это определение возведения в степень с отрицательными показателями является единственным, которое позволяет расширить тождество до отрицательных показателей (рассмотрим случай ).
То же самое определение применимо и к обратимым элементам в мультипликативном моноиде , то есть алгебраической структуре , с ассоциативным умножением и мультипликативным тождеством, обозначаемым 1 (например, квадратные матрицы заданной размерности). В частности, в такой структуре обратный обратимому элементу x стандартно обозначается
Следующие личности , часто называемыеправила экспоненты справедливы для всех целочисленных экспонент при условии, что основание не равно нулю:[1]
В отличие от сложения и умножения, возведение в степень не является коммутативным . Например, 2 3 = 8 ≠ 3 2 = 9 . Кроме того, в отличие от сложения и умножения, возведение в степень не является ассоциативным . Например, (2 3 ) 2 = 8 2 = 64 , тогда как 2 (3 2 ) = 2 9 = 512 . Без круглых скобок обычный порядок операций для последовательного возведения в степень в надстрочной записи - сверху вниз (или правоассоциативный ), а не снизу вверх [21] [22] [23] (или левый ассоциативный). То есть,
что в целом отличается от
Степени суммы обычно можно вычислить по степеням слагаемых по биномиальной формуле
Однако эта формула верна только в том случае, если слагаемые коммутируют (т. е. ab = ba ) , что подразумевается, если они принадлежат к коммутативной структуре . В противном случае, если a и b — скажем, квадратные матрицы одинакового размера, эту формулу использовать нельзя. Отсюда следует, что в компьютерной алгебре многие алгоритмы , включающие целочисленные показатели степени, должны быть изменены, когда основания возведения в степень не коммутируют. Некоторые системы компьютерной алгебры общего назначения используют другое обозначение (иногда ^^ вместо ^ ) для возведения в степень с некоммутативными основаниями, которое затем называется некоммутативным возведением в степень .
Для неотрицательных целых чисел n и m значение n m — это количество функций от набора из m элементов до набора из n элементов (см. кардинальное возведение в степень ). Такие функции можно представить в виде m - кортежей из n -элементного множества (или в виде m -буквенных слов из n -буквенного алфавита). Некоторые примеры конкретных значений m и n приведены в следующей таблице:
В десятичной системе счисления целые степени 10 записываются как цифра 1 , за которой или перед которой следует количество нулей , определяемое знаком и величиной показателя степени. Например,10 3 =1000 и10 −4 =0,0001 .
Возведение в степень с основанием 10 используется в научной записи для обозначения больших или малых чисел. Например,299 792 458 м/с ( скорость света в вакууме, в метрах в секунду ) можно записать как2,997 924 58 × 10 8 м/с и затем аппроксимируется как2,998 × 10 8 м/с .
Префиксы СИ , основанные на степени 10 , также используются для описания малых или больших величин. Например, приставка «кило» означает10 3 =1000 , то есть километр1000 м .
Первые отрицательные степени двойки обычно используются и имеют специальные названия, например: половина и четверть .
Степени 2 появляются в теории множеств , поскольку набор с n членами имеет набор степеней , набор всех его подмножеств , который имеет 2 n членов.
Целые степени 2 важны в информатике . Положительные целые степени 2 n дают количество возможных значений n - битного целого двоичного числа ; например, байт может принимать 2 8 = 256 различных значений. Двоичная система счисления выражает любое число как сумму степеней 2 и обозначает его как последовательность 0 и 1 , разделенных двоичной точкой , где 1 указывает степень 2 , которая появляется в сумме; показатель степени определяется местом этой 1 : неотрицательные показатели степени представляют собой ранг единицы слева от точки (начиная с 0 ), а отрицательные показатели степени определяются рангом справа от точки.
Каждая степень единицы равна: 1 n = 1 . Это верно, даже если n отрицательно.
Первая степень числа — это само число: n 1 = n .
Если показатель степени n положителен ( n > 0 ), n -я степень нуля равна нулю: 0 n = 0 .
Если показатель степени n отрицателен ( n < 0 ), n -я степень нуля 0 n не определена, поскольку она должна равняться − n > 0 , и это будет соответствовать приведенному выше.
Выражение 0 0 либо определяется как 1 , либо остается неопределенным.
Если n — четное целое число, то (−1) n = 1 . Это связано с тем, что отрицательное число, умноженное на другое отрицательное число, отменяет знак и, таким образом, дает положительное число.
Если n — нечетное целое число, то (−1) n = −1 . Это связано с тем, что после удаления пар -1 останется -1 .
По этой причине степени −1 полезны для выражения чередующихся последовательностей . Аналогичное обсуждение степеней комплексного числа i см. в § корнях комплексного числа n-й степени .
Предел последовательности степеней числа, большего единицы, расходится; другими словами, последовательность растет неограниченно:
Это можно прочитать как « b в степени n стремится к +∞ , поскольку n стремится к бесконечности, когда b больше единицы».
Степени числа с абсолютным значением меньше единицы стремятся к нулю:
Любая сила единицы всегда одна:
Степени –1 чередуются между 1 и –1 , поскольку n чередуется между четным и нечетным, и, таким образом, не стремятся к какому-либо пределу по мере роста n .
Если b < –1 , bn чередуется между все большими и большими положительными и отрицательными числами, поскольку n чередуется между четными и нечетными, и, таким образом, не стремится к какому-либо пределу по мере роста n .
Если возведенное в степень число изменяется, стремясь к 1 , поскольку показатель степени стремится к бесконечности, то предел не обязательно является одним из указанных выше. Особо важным случаем является
См. § Экспоненциальную функцию ниже.
Другие ограничения, в частности ограничения на выражения, принимающие неопределенную форму , описаны в § Пределы полномочий ниже.
Действительные функции вида , где , иногда называют степенными функциями. [24] Когда – целое число и , существуют два основных семейства: для четных и для нечетных. В общем случае , когда четность будет стремиться к положительной бесконечности при увеличении , а также к положительной бесконечности при уменьшении . Все графики семейства четных степенных функций имеют общую форму , сглаживаясь по мере увеличения в середине. [25] Функции с таким видом симметрии ( ) называются четными функциями .
Когда нечетно, асимптотическое поведение 's меняется с положительного на отрицательное . Ибо , также будет стремиться к положительной бесконечности при увеличении , но к отрицательной бесконечности при уменьшении . Все графики семейства нечетных степенных функций имеют общую форму , более сглаживаясь посередине по мере увеличения и теряя там всякую плоскостность на прямой линии при . Функции с таким видом симметрии ( ) называются нечетными функциями .
При в каждом случае верно противоположное асимптотическое поведение. [25]
Если x — неотрицательное действительное число , а n — целое положительное число или обозначает уникальный положительный действительный корень n -й степени из x , то есть уникальное положительное действительное число y такое, что
Если x — положительное действительное число и рациональное число с целыми числами p и q > 0 , то оно определяется как
Равенство справа можно получить, полагая и записывая
Если r — положительное рациональное число, то 0 r = 0 по определению.
Все эти определения необходимы для распространения тождества на рациональные показатели.
С другой стороны, существуют проблемы с распространением этих определений на базы, которые не являются положительными действительными числами. Например, отрицательное действительное число имеет действительный корень n -й степени, который является отрицательным, если n нечетное , и не имеет действительного корня, если n четное . В последнем случае какой бы комплексный корень n- й степени ни был выбран в качестве тождества, он не может быть удовлетворен. Например,
См. § Действительные показатели степени и § Нецелые степени комплексных чисел для получения подробной информации о том, как можно решить эти проблемы.
Для положительных действительных чисел возведение в степень до вещественных степеней можно определить двумя эквивалентными способами: либо путем расширения рациональных степеней до вещественных чисел по непрерывности ( § Пределы рациональных показателей степени , ниже), либо с помощью логарифма основания и показательной функции. ( § Степени через логарифмы ниже). Результатом всегда является положительное действительное число, а тождества и свойства, показанные выше для целочисленных показателей, остаются верными и с этими определениями для действительных показателей. Второе определение используется чаще, поскольку оно напрямую обобщается на комплексные показатели.
С другой стороны, возведение в степень отрицательного действительного числа в степень гораздо сложнее определить последовательно, поскольку оно может быть недействительным и иметь несколько значений (см. § Действительные показатели степени с отрицательными основаниями ). Можно выбрать одно из этих значений, называемое главным значением , но нет выбора главного значения, для которого тождество
правда; см. § Неисправность степенных и логарифмических тождеств . Поэтому возведение в степень с базисом, не являющимся положительным действительным числом, обычно рассматривается как многозначная функция .
Поскольку любое иррациональное число может быть выражено как предел последовательности рациональных чисел, возведение в степень положительного действительного числа b с произвольным действительным показателем x можно определить по непрерывности с помощью правила [26]
где предел берется только по рациональным значениям r . Этот предел существует для каждого положительного b и любого действительного x .
Например, если x = π , неограниченное десятичное представление π = 3,14159... и монотонность рациональных степеней можно использовать для получения интервалов, ограниченных рациональными степенями, которые настолько малы, насколько это необходимо и должны содержать
Итак, верхние границы и нижние границы интервалов образуют две последовательности , имеющие один и тот же предел, обозначаемые
Это определяет каждое положительное значение b и вещественное значение x как непрерывную функцию от b и x . См. также Четко определенное выражение . [27]
Показательную функцию часто определяют как где - число Эйлера . Во избежание замкнутого круга рассуждений это определение здесь использовать нельзя. Так, даны определения показательной функции, обозначаемой и числа Эйлера, которые опираются только на возведение в степень с целыми положительными показателями. Затем набрасывается доказательство того, что если использовать определение возведения в степень, данное в предыдущих разделах, то
Существует много эквивалентных способов определения показательной функции , один из них —
Имеет место , и экспоненциальное тождество также имеет место, поскольку
и член второго порядка не влияет на предел, что дает .
Число Эйлера можно определить как . Из предыдущих уравнений следует, что когда x является целым числом (это следует из определения возведения в степень методом многократного умножения). Если x действительно, это получается из определений, данных в предыдущих разделах, с использованием экспоненциального тождества, если x рационален, и непрерывности показательной функции в противном случае.
Предел, определяющий экспоненциальную функцию, сходится для каждого комплексного значения x , и поэтому его можно использовать для расширения определения и, следовательно, от действительных чисел до любого комплексного аргумента z . Эта расширенная экспоненциальная функция по-прежнему удовлетворяет экспоненциальному тождеству и обычно используется для определения возведения в степень для комплексного основания и показателя степени.
Определение ex как экспоненциальной функции позволяет определить b x для каждого положительного действительного числа b в терминах экспоненциальной и логарифмической функции . В частности, тот факт, что натуральный логарифм ln( x ) является обратным экспоненциальной функции ex , означает, что имеется
для каждого b > 0 . Для сохранения идентичности необходимо иметь
Таким образом, его можно использовать как альтернативное определение b x для любого положительного действительного b . Это согласуется с определением, данным выше, с использованием рациональных показателей и непрерывности, с преимуществом прямого распространения на любой комплексный показатель.
Если b — положительное действительное число, возведение в степень с основанием b и комплексным показателем z определяется с помощью экспоненциальной функции с комплексным аргументом (см. конец § Экспоненциальная функция выше) как
где обозначает натуральный логарифм числа b .
Это удовлетворяет тождеству
В общем случае не определено, поскольку b z не является действительным числом. Если придается значение возведению комплексного числа в степень (см. § Нецелые степени комплексных чисел ниже), то, как правило, имеем
если только z не является вещественным или t не является целым числом.
позволяет выразить полярную форму через действительную и мнимую части z , а именно
где абсолютное значение тригонометрического коэффициента равно единице . Это является результатом
В предыдущих разделах возведение в степень с нецелыми показателями было определено только для положительных действительных оснований. Для других базисов трудности возникают уже в, казалось бы, простом случае корней n -й степени, т. е. показателей степени , где n — целое положительное число. Хотя общая теория возведения в степень с нецелыми показателями применима к корням n - й степени, этот случай заслуживает рассмотрения в первую очередь, поскольку в нем нет необходимости использовать комплексные логарифмы , и поэтому его легче понять.
Каждое ненулевое комплексное число z можно записать в полярной форме как
где – абсолютное значение z и – его аргумент . Аргумент определяется до целого числа, кратного 2 π ; это означает, что если является аргументом комплексного числа, то это также аргумент того же комплексного числа для каждого целого числа .
Полярная форма произведения двух комплексных чисел получается путем умножения абсолютных значений и сложения аргументов. Отсюда следует, что полярную форму корня n- й степени комплексного числа можно получить, взяв корень n -й степени из абсолютного значения и разделив его аргумент на n :
Если добавляется к , комплексное число не изменяется, но прибавляется к аргументу корня n -й степени и создается новый корень n -й степени. Это можно сделать n раз и получить корни n - й степени комплексного числа.
Обычно в качестве главного корня выбирают один из корней n - й степени . Обычно выбирают корень n- й степени , то есть корень n- й степени, имеющий наибольшую действительную часть, а если их два, то корень с положительной мнимой частью. Это делает главный корень n- й степени непрерывной функцией во всей комплексной плоскости, за исключением отрицательных действительных значений подкоренного выражения . Эта функция равна обычному корню n -й степени для положительных действительных подкоренных чисел. Для отрицательных вещественных подкоренных чисел и нечетных показателей главный корень n- й степени недействителен, хотя обычный корень n -й степени действителен. Аналитическое продолжение показывает, что главный корень n- й степени представляет собой уникальную комплексную дифференцируемую функцию, продолжающую обычный корень n- й степени на комплексную плоскость без неположительных действительных чисел.
Если комплексное число перемещается вокруг нуля за счет увеличения его аргумента, то после приращения комплексное число возвращается в исходное положение, а его корни n- й степени переставляются по кругу (они умножаются на ). Это показывает, что невозможно определить корневую функцию n-й степени, непрерывную во всей комплексной плоскости.
Корни n- й степени из единицы — это n комплексных чисел, таких что w n = 1 , где n — целое положительное число. Они возникают в различных областях математики, например, в дискретном преобразовании Фурье или алгебраических решениях алгебраических уравнений ( резольвента Лагранжа ).
Корни n - й степени из единицы являются n-ми первыми степенями , то есть корни n- й степени из единицы, обладающие этим порождающим свойством, называются примитивными корнями n- й степени из единицы ; они имеют форму с k , взаимно простым с n . Уникальный примитивный квадратный корень из единицы - это примитивные корни четвертой степени из единицы и
Корни n- й степени из единицы позволяют выразить все корни n- й степени комплексного числа z как произведения n заданных корней n -й степени из z на корень n- й степени из единицы.
Геометрически корни n- й степени из единицы лежат на единичной окружности комплексной плоскости в вершинах правильного n -угольника с одной вершиной, принадлежащей вещественному числу 1.
Поскольку число представляет собой примитивный корень n- й степени из единицы с наименьшим положительным аргументом , его называют главным примитивным корнем n- й степени из единицы , иногда сокращая до главного корня n- й степени из единицы , хотя эту терминологию можно спутать с главным значением числа . , что равно 1. [28] [29] [30]
Определение возведения в степень с помощью сложных базисов приводит к трудностям, аналогичным описанным в предыдущем разделе, за исключением того, что, как правило, существует бесконечно много возможных значений . Таким образом, либо определяется главное значение , которое не является непрерывным для вещественных и неположительных значений z , либо определяется как многозначная функция .
Во всех случаях комплексный логарифм используется для определения комплексного возведения в степень как
где используется вариант комплексного логарифма, то есть функция или многозначная функция такая, что
для каждого z в своей области определения .
Главное значение комплексного логарифма — это уникальная непрерывная функция, обычно обозначаемая так, что для каждого ненулевого комплексного числа z
и аргумент z удовлетворяет
Главное значение комплексного логарифма не определено, поскольку оно разрывно при отрицательных действительных значениях z и голоморфно (т. е. комплексно дифференцируемо) в других местах. Если z действительное и положительное значение, главным значением комплексного логарифма является натуральный логарифм:
Главное значение определяется как где – главное значение логарифма.
Функция голоморфна, за исключением окрестности точек, где z вещественна и неположительна.
Если z действительное и положительное, главное значение равно его обычному значению, определенному выше. Если где n является целым числом, это главное значение совпадает с определенным выше.
В некоторых контекстах существует проблема с разрывом главных значений и при отрицательных реальных значениях z . В этом случае полезно рассматривать эти функции как многозначные функции .
Если обозначает одно из значений многозначного логарифма (обычно его главное значение), остальные значения — это любое целое число. Аналогично, если одно значение возведения в степень, то остальные значения определяются выражением
где k — любое целое число.
Различные значения k дают разные значения, если только w не является рациональным числом , то есть не существует целое число d такое, что dw является целым числом. Это является результатом периодичности экспоненциальной функции, а точнее, того, что тогда и только тогда, когда является целым числом, кратным
Если — рациональное число с m и n взаимно простыми целыми числами , то оно имеет ровно n значений. В данном случае эти значения такие же, как и описанные в § корней n-й степени комплексного числа. Если w — целое число, существует только одно значение, согласующееся со значением § целочисленных показателей.
Многозначное возведение в степень голоморфно в том смысле, что его график состоит из нескольких листов, каждый из которых определяет голоморфную функцию в окрестности каждой точки. Если z непрерывно меняется по окружности вокруг 0 , то после поворота значение листа изменилось.
Каноническая форма может быть вычислена из канонической формы z и w . Хотя это можно описать одной формулой, удобнее разделить вычисления на несколько этапов.
В обоих примерах все значения имеют один и тот же аргумент. В более общем смысле это верно тогда и только тогда, когда действительная часть w является целым числом.
Некоторые тождества для степеней и логарифмов для положительных действительных чисел не будут работать для комплексных чисел, независимо от того, насколько комплексные степени и комплексные логарифмы определяются как однозначные функции . Например:
Независимо от того, какая ветвь логарифма используется, аналогичный сбой тождества будет существовать. Лучшее, что можно сказать (если использовать только этот результат), это то, что:
Это тождество не выполняется даже при рассмотрении log как многозначной функции. Возможные значения log( w z ) содержат значения z ⋅ log w как собственное подмножество . Используя Log( w ) для основного значения log( w ) и m , n в качестве любых целых чисел, возможные значения обеих сторон таковы:
Если b — положительное действительное алгебраическое число , а x — рациональное число, то bx — алгебраическое число . Это следует из теории алгебраических расширений . Это остается верным, если b — любое алгебраическое число, и в этом случае все значения b x (как многозначной функции ) являются алгебраическими. Если x иррационально (то есть не рационально ), а b и x алгебраические, теорема Гельфонда-Шнайдера утверждает, что все значения b x трансцендентны (то есть не алгебраичны), за исключением случаев , когда b равно 0 или 1 .
Другими словами, если x иррационально и тогда хотя бы одно из b , x и b x трансцендентно.
Определение возведения в степень с положительными целочисленными показателями как повторяющегося умножения может применяться к любой ассоциативной операции , обозначаемой как умножение. [nb 2] Определение x 0 требует, кроме того, существования мультипликативного тождества . [32]
Алгебраическая структура , состоящая из множества вместе с ассоциативной операцией, обозначаемой мультипликативно, и мультипликативным тождеством, обозначаемым 1 , является моноидом . В таком моноиде возведение в степень элемента x определяется индуктивно формулой
Если n — отрицательное целое число, определяется только в том случае, если x имеет мультипликативную обратную величину . [33] В этом случае обратная величина x обозначается x −1 , а x n определяется как
Возведение в степень с целыми показателями подчиняется следующим законам для x и y в алгебраической структуре и целых чисел m и n :
Эти определения широко используются во многих областях математики, особенно для групп , колец , полей , квадратных матриц (которые образуют кольцо). Они применяются также к функциям из множества самому себе, которые образуют моноид при композиции функций . Сюда входят, в частности, геометрические преобразования и эндоморфизмы любой математической структуры .
Когда есть несколько операций, которые могут повторяться, обычно повторяющуюся операцию указывают, помещая ее символ в верхнем индексе перед показателем степени. Например, если f — действительная функция , значение которой можно умножать, это означает возведение в степень относительно умножения и может обозначать возведение в степень относительно композиции функции . То есть,
и
Обычно обозначается , а обозначается
Мультипликативная группа — это набор с ассоциативной операцией, обозначаемой как умножение, который имеет единичный элемент и такой, что каждый элемент имеет обратный.
Итак, если G — группа, она определена для каждого целого числа n .
Совокупность всех степеней элемента группы образует подгруппу . Группа (или подгруппа), состоящая из всех степеней определенного элемента x, является циклической группой , порожденной x . Если все степени x различны, группа изоморфна аддитивной группе целых чисел. В противном случае циклическая группа конечна (она имеет конечное число элементов), а число ее элементов равно порядку x . Если порядок x равен n , то циклическая группа, порожденная x , состоит из n первых степеней x (начиная безразлично с показателя 0 или 1 ).
Порядок элементов играет фундаментальную роль в теории групп . Например, порядок элемента в конечной группе всегда является делителем числа элементов группы (порядка группы ). Возможные порядки элементов группы важны при изучении строения группы (см. теоремы Силова ), а также при классификации конечных простых групп .
Надстрочные обозначения также используются для спряжения ; то есть g h = h −1 gh , где g и h — элементы группы. Это обозначение нельзя путать с возведением в степень, поскольку верхний индекс не является целым числом. Мотивацией этого обозначения является то, что сопряжение подчиняется некоторым законам возведения в степень, а именно и
В кольце может случиться так, что некоторые ненулевые элементы удовлетворяют некоторому целому числу n . Такой элемент называется нильпотентным . В коммутативном кольце нильпотентные элементы образуют идеал , называемый нильрадикалом кольца.
Если нильрадикал сведен к нулевому идеалу (т. е. если имплицируется для каждого натурального числа n ), то коммутативное кольцо называется приведенным . Приведенные кольца важны в алгебраической геометрии , поскольку координатное кольцо аффинного алгебраического множества всегда является приведенным кольцом.
В более общем смысле, если задан идеал I в коммутативном кольце R , набор элементов R , имеющих степень в I , является идеалом, называемым радикалом I. Нильрадикал – это радикал нулевого идеала . Радикальный идеал — это идеал, равный своему собственному радикалу. В кольце многочленов над полем k идеал радикален тогда и только тогда, когда он представляет собой набор всех многочленов, равных нулю на аффинном алгебраическом множестве (это следствие Nullstellensatz Гильберта ).
Если A — квадратная матрица, то произведение A на саму себя n раз называется степенью матрицы . Также определяется как единичная матрица, [34] и если A обратима, то .
Степени матрицы часто появляются в контексте дискретных динамических систем , где матрица A выражает переход от вектора состояния x некоторой системы к следующему состоянию Ax системы. [35] Это, например, стандартная интерпретация цепи Маркова . Затем — состояние системы после двух временных шагов и т. д. — состояние системы после n временных шагов. Мощность матрицы — это матрица перехода между состоянием сейчас и состоянием в момент времени n шагов в будущем. Таким образом, вычисление степеней матрицы эквивалентно решению эволюции динамической системы. Во многих случаях степени матрицы целесообразно вычислять с помощью собственных значений и собственных векторов .
Помимо матриц, можно возводить в степень и более общие линейные операторы . Примером может служить производный оператор исчисления, который представляет собой линейный оператор, действующий на функции и дающий новую функцию . n - я степень оператора дифференцирования представляет собой n- ю производную:
Эти примеры относятся к дискретным показателям линейных операторов, но во многих случаях желательно также определять степени таких операторов с непрерывными показателями. Это отправная точка математической теории полугрупп . [36] Точно так же, как вычисление степеней матрицы с дискретными показателями решает дискретные динамические системы, так же вычисление степеней матрицы с непрерывными показателями решает системы с непрерывной динамикой. Примеры включают подходы к решению уравнения теплопроводности , уравнения Шредингера , волнового уравнения и других уравнений в частных производных, включая эволюцию во времени. Особый случай возведения оператора производной в степень в нецелую степень называется дробной производной , которая вместе с дробным интегралом является одной из основных операций дробного исчисления .
Поле — это алгебраическая структура, в которой определены операции умножения, сложения, вычитания и деления и которые удовлетворяют свойствам ассоциативности умножения и тому , что каждый ненулевой элемент имеет мультипликативный обратный элемент . Это означает, что возведение в степень с целыми показателями четко определено, за исключением неположительных степеней 0 . Типичными примерами являются поля комплексных чисел , действительные числа и рациональные числа , рассмотренные ранее в этой статье, которые бесконечны .
Конечное поле — это поле с конечным числом элементов. Это количество элементов является либо простым числом , либо степенью простого числа ; то есть оно имеет форму, где p — простое число, а k — целое положительное число. Для каждого такого q существуют поля с q элементами. Все поля с q элементами изоморфны , что позволяет, в общем, работать так, как если бы существовало только одно поле с q элементами, обозначаемое
Надо
для каждого
Примитивный элемент в - это элемент g, такой, что набор q - 1 первых степеней g (то есть ) равен набору ненулевых элементов в. Есть примитивные элементы в где - функция Эйлера .
В личности мечты первокурсника
верно для показателя p . Как и в разделе Отсюда следует, что карта
линейно над и является полевым автоморфизмом , называемым автоморфизмом Фробениуса . Если поле имеет k автоморфизмов, которые являются k первыми степенями (при композиции ) F . Другими словами, группа Галуа циклическая порядка k , порожденная автоморфизмом Фробениуса.
Обмен ключами Диффи-Хеллмана — это применение возведения в степень в конечных полях, которое широко используется для безопасной связи . Он использует тот факт, что возведение в степень требует недорогих вычислений, тогда как обратная операция, дискретный логарифм , требует больших вычислительных затрат. Точнее, если g является примитивным элементом в, то его можно эффективно вычислить с возведением в степень возведением в степень для любого e , даже если q велико, хотя не существует известного практического вычислительного алгоритма, который позволял бы получить e из того , если q достаточно велико.
Декартово произведение двух наборов S и T представляет собой набор упорядоченных пар таких, что и Эта операция не является ни коммутативной , ни ассоциативной , но обладает этими свойствами с точностью до канонических изоморфизмов , которые позволяют идентифицировать, например, и
Это позволяет определить n- ю степень набора S как набор всех n - кортежей элементов S.
Когда S наделен некоторой структурой, он часто естественным образом наделен аналогичной структурой. В этом случае термин « прямое произведение » обычно используется вместо «декартово произведение», а возведение в степень обозначает структуру произведения. Например (где обозначает действительные числа) обозначает декартово произведение n копий, а также их прямое произведение в виде векторного пространства , топологического пространства , колец и т. д.
Набор из n элементов S можно рассматривать как функцию от Это обобщается до следующих обозначений.
Учитывая два набора S и T , обозначается множество всех функций от T до S. Это экспоненциальное обозначение оправдано следующими каноническими изоморфизмами (первый из них см. Карринг ):
где обозначает декартово произведение и непересекающееся объединение .
Можно использовать множества в качестве показателей для других операций над множествами, обычно для прямых сумм абелевых групп , векторных пространств или модулей . Чтобы отличить прямые суммы от прямых произведений, показатель прямой суммы ставится в круглые скобки. Например, обозначает векторное пространство бесконечных последовательностей действительных чисел и векторное пространство тех последовательностей, которые имеют конечное число ненулевых элементов. Последний имеет базис , состоящий из последовательностей ровно с одним ненулевым элементом, равным 1 , тогда как базисы Гамеля первого не могут быть явно описаны (поскольку их существование предполагает лемму Цорна ).
В этом контексте 2 может представлять набор So, обозначает набор степеней S , то есть набор функций из S , которые можно идентифицировать с набором подмножеств S , отображая каждую функцию в обратный образ 1 .
Это согласуется с возведением в степень кардинальных чисел в том смысле, что | С Т | = | С | | Т | , где | Х | является мощностью X .
В категории множеств морфизмы между множествами X и Y представляют собой функции из X в Y. В результате можно обозначить и набор функций от X до Y , обозначенный в предыдущем разделе. Изоморфизм можно переписать
Это означает, что функтор «возведение в степень Т » является правосопряженным к функтору «прямое произведение на Т ».
Это обобщается до определения возведения в степень в категории , в которой существуют конечные прямые произведения : в такой категории функтор , если он существует, является правосопряженным к функтору. Категория называется декартовой замкнутой категорией , если существуют прямые произведения, и функтор имеет правый сопряженный для каждого T .
Так же, как возведение в степень натуральных чисел обусловлено повторным умножением, можно определить операцию, основанную на повторном возведении в степень; эту операцию иногда называют гипер-4 или тетрацией . Итерация тетрации приводит к другой операции и так далее, концепции, называемой гипероперацией . Эта последовательность операций выражается функцией Аккермана и обозначением стрелки вверх Кнута . Точно так же, как возведение в степень растет быстрее, чем умножение, которое растет быстрее, чем сложение, так и тетрация растет быстрее, чем возведение в степень. При оценке (3, 3) функции сложения, умножения, возведения в степень и тетрации дают 6, 9, 27 и7 625 597 484 987 ( =3 27 = 3 3 3 = 3 3 ) соответственно.
Ноль в нулевой степени дает ряд примеров пределов неопределенного вида 0 0 . Пределы в этих примерах существуют, но имеют разные значения, показывая, что функция двух переменных x y не имеет предела в точке (0, 0) . Можно рассмотреть, в каких точках эта функция имеет предел.
Точнее, рассмотрим функцию , определенную на . Тогда D можно рассматривать как подмножество R 2 (то есть набор всех пар ( x , y ) с x , y , принадлежащими расширенной прямой действительных чисел R = [−∞, +∞] , наделенной произведением топология ), которая будет содержать точки, в которых функция f имеет предел.
Фактически, f имеет предел во всех точках накопления D , кроме (0, 0) , (+∞, 0) , (1, +∞) и (1, −∞) . [37] Соответственно, это позволяет определить степени x y по непрерывности всякий раз, когда 0 ≤ x ≤ +∞ , −∞ ≤ y ≤ +∞ , за исключением 0 0 , (+∞) 0 , 1 +∞ и 1 −∞. , которые остаются неопределенными формами.
При этом определении по непрерывности получаем:
Эти степени получаются путем установления пределов x y для положительных значений x . Этот метод не позволяет определить x y , когда x < 0 , поскольку пары ( x , y ) с x < 0 не являются точками накопления D.
С другой стороны, когда n является целым числом, степень x n уже имеет смысл для всех значений x , включая отрицательные. Это может сделать определение 0 n = +∞ , полученное выше для отрицательного n, проблематичным, когда n нечетно, поскольку в этом случае x n → +∞ , поскольку x стремится к 0 через положительные значения, но не через отрицательные.
Вычисление bn с использованием итерационного умножения требует n - 1 операций умножения, но его можно вычислить более эффективно, как показано в следующем примере. Чтобы вычислить 2 100 , примените правило Хорнера к показателю степени 100, записанному в двоичном формате:
Затем вычислите следующие члены по порядку, читая правило Горнера справа налево.
Для этой серии шагов требуется всего 8 умножений вместо 99.
В общем, количество операций умножения, необходимых для вычисления bn , можно уменьшить с помощью возведения в степень путем возведения в квадрат , где обозначает количество единиц в двоичном представлении n . Для некоторых показателей степени (100 в их число не входит) количество умножений можно дополнительно уменьшить путем вычисления и использования минимального возведения в степень цепочки сложения . Нахождение минимальной последовательности умножений (цепочки сложения минимальной длины для показателя степени) для bn — сложная задача, для которой в настоящее время не известны эффективные алгоритмы (см. Проблема суммы подмножества ), но доступно множество достаточно эффективных эвристических алгоритмов. [38] Однако в практических вычислениях возведение в степень возведением в квадрат достаточно эффективно, и его гораздо проще реализовать.
Композиция функций — это бинарная операция , определенная для функций таким образом, что кодомен функции, написанной справа, включается в область определения функции, написанной слева. Его обозначают и определяют как
для каждого x в области f .
Если область определения функции f равна ее кодомену, можно составлять функцию сама с собой произвольное количество раз, и это определяет n -ю степень компонуемой функции, обычно называемую n- й итерацией функции. Таким образом обычно обозначает n- ю итерацию f ; например, означает [39]
Когда умножение определено в кодомене функции, это определяет умножение на функции, поточечное умножение , которое вызывает другое возведение в степень. При использовании функциональной записи два вида возведения в степень обычно различаются путем помещения показателя функциональной итерации перед круглыми скобками, заключающими аргументы функции, и помещения показателя поточечного умножения после круглых скобок. Таким образом , и Когда функциональная нотация не используется, устранение неоднозначности часто достигается путем помещения символа композиции перед показателем степени; например и По историческим причинам показатель степени повторяющегося умножения помещается перед аргументом некоторых конкретных функций, обычно тригонометрических функций . Так что, и то и другое означает и не то , что, во всяком случае, редко учитывается. Исторически сложилось так, что разные авторы использовали несколько вариантов этих обозначений. [40] [41] [42]
В этом контексте показатель степени всегда обозначает обратную функцию , если она существует. Итак, для мультипликативных обратных дробей обычно используются, как в
Языки программирования обычно выражают возведение в степень либо как инфиксный оператор , либо как приложение функции, поскольку они не поддерживают верхние индексы. Наиболее распространенным символом оператора возведения в степень является каретка ( ^
). Первоначальная версия ASCII включала символ стрелки вверх ( ↑
), предназначенный для возведения в степень, но в 1967 году он был заменен на каретку , поэтому каретка стала обычным явлением в языках программирования. [43]
Обозначения включают:
x ^ y
: AWK , BASIC , J , MATLAB , Wolfram Language ( Mathematica ), R , Microsoft Excel , Analytica , TeX (и его производные), TI-BASIC , bc (для целочисленных показателей), Haskell (для неотрицательных целочисленных показателей), Lua , и большинство систем компьютерной алгебры .x ** y
. Набор символов Фортрана не включал символы нижнего регистра или знаки препинания, кроме и, таким образом ,+-*/()&=.,'
используемых **
для возведения в степень [44] [45] (вместо этого использовалась первоначальная версия a xx b
. [46] ). Многие другие языки последовали этому примеру: Ada , Z Shell , KornShell , Bash , COBOL , CoffeeScript , Fortran , FoxPro , Gnuplot , Groovy , JavaScript , OCaml , F# , Perl , PHP , PL/I , Python , Rexx , Ruby , SAS , Seed7 . , Tcl , ABAP , Mercury , Haskell (для показателей с плавающей запятой), Turing и VHDL .x ↑ y
: Алгол Справочный язык , Commodore BASIC , TRS-80 Level II/III BASIC . [47] [48]x ^^ y
: Haskell (для дробной базы, целых показателей), D .x⋆y
: АПЛ .В большинстве языков программирования с инфиксным оператором возведения в степень он правоассоциативен , то есть a^b^c
интерпретируется как a^(b^c)
. [49] Это потому, (a^b)^c
что равно a^(b*c)
и, следовательно, не так полезно. В некоторых языках он левоассоциативен, особенно в Algol , Matlab и языке формул Microsoft Excel .
Другие языки программирования используют функциональную нотацию:
(expt x y)
: Общий Лисп .pown x y
: F# (для целочисленной базы и целочисленной экспоненты).Третьи обеспечивают возведение в степень только как часть стандартных библиотек :
pow(x, y)
: C , C++ (в math
библиотеке).Math.Pow(x, y)
: С# .math:pow(X, Y)
: Эрланг .Math.pow(x, y)
: Джава .[Math]::Pow(x, y)
: PowerShell .В некоторых статически типизированных языках, которые отдают приоритет безопасности типов, таких как Rust , возведение в степень выполняется с помощью множества методов:
x.pow(y)
для x
и y
как целые числаx.powf(y)
для x
и y
как числа с плавающей запятойx.powi(y)
для x
числа с плавающей запятой и y
целого числаEt
aa
, ou
a
2
, pour multiplier
a
par soy mesme;
И
3
,
для множителя на бис
,
и снова для бесконечности.
(И aa или a 2 , чтобы умножить a на себя; и 3 , чтобы еще раз умножить его на a , и, таким образом, до бесконечности).
Primum ergo thinkandæ sunt quantitates exponentiales, seu Potestates, quarum Exponens ipse est quantitas variabilis.
Perspicuum enim est hujusmodi количественно оценивает объявление Functiones алгебраические ссылки, не принадлежащие, включая его Expentes non nisi Constantes locum habeant.