Русская Википедия:Чисто мнимое число
| Шаблон:Math (выделенный фрагмент повторяется бесконечно) |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
| Шаблон:Math |
Чи́сто мни́мое число́ — комплексное число с нулевой действительной частью. Иногда только такие числа называются мнимыми числами, но этот термин также используется для обозначения произвольных комплексных чисел с ненулевой мнимой частью[1]. Термин «мнимое число» предложил в XVII веке французский математик Рене Декарт[2], изначально этот термин носил уничижительный смысл, поскольку такие числа считались вымышленными или бесполезными, и лишь после работ Леонарда Эйлера и Карла Гаусса это понятие получило признание в научном сообществе.
Определения
Пусть <math>z=x+iy</math> — комплексное число, где <math>x</math> и <math>y</math> — действительные числа. Числа <math>x = \Re(z)</math> или <math>\operatorname{Re} ~z</math> и <math>y = \Im(z)</math> или <math>\operatorname{Im} ~z</math> называются соответственно действительной и мнимой (аналогично Шаблон:Lang-en) частями <math>z</math>.
- Если <math>x=0</math>, то <math>z</math> называется чисто мнимым числом.
- Если <math>y=0</math>, то <math>z</math> является действительным числом.
История
Впервые мнимые числа упоминает в своих трудах древнегреческий математик и инженер Герон Александрийский[3][4], но правила осуществления арифметических операций (в частности, умножения) над ними ввёл Рафаэль Бомбелли в 1572 году. Концепция Бомбелли появилась раньше аналогичных работ Джероламо Кардано. В XVI—XVII веках мнимые числа рассматривались большей частью научного сообщества как фиктивные или бесполезные (аналогично тому, как воспринималось в свое время понятие нуля). В частности, Рене Декарт, упоминая о мнимых числах в своём фундаментальном труде «Геометрия», использовал термин «мнимый» в уничижительном смысле[5][6]. Использование мнимых чисел не было широко распространено до появления работ Леонарда Эйлера (1707—1783) и Карла Фридриха Гаусса (1777—1855). Геометрическое значение комплексных чисел как точек на плоскости было впервые описано Каспаром Весселем (1745—1818)[7].
В 1843 году ирландский математик Уильям Гамильтон расширил идею оси мнимых чисел на плоскости до четырёхмерного пространства кватернионов, в котором три измерения аналогичны мнимым числам в комплексном поле.
С развитием в теории факторколец концепции кольца многочленов понятие мнимого числа стало более содержательным и получило дальнейшее развитие в понятии j — Шаблон:Iw, у которых квадрат равен +1. Эта идея появилась в статье английского математика Шаблон:Iw 1848 года[8].
Геометрическая интерпретация
На плоскости комплексных чисел мнимые числа находятся на вертикальной оси, перпендикулярной оси действительных чисел. Один из способов геометрической интерпретации мнимых чисел — рассмотреть стандартную числовую ось, где положительные числа находятся справа, а отрицательные — слева. Через точку 0 на оси Шаблон:Mvar может быть проведена ось Шаблон:Mvar с «положительным» направлением, идущим вверх; «положительные» мнимые числа увеличиваются по величине вверх, а «отрицательные» мнимые числа увеличиваются по величине вниз. Эта вертикальная ось часто называется «мнимой осью» и обозначается Шаблон:Math,<math>\scriptstyle\mathbb{I}</math>, или Шаблон:Math.
В этом представлении умножение на Шаблон:Math соответствует повороту на 180 градусов относительно начала координат. Умножение на Шаблон:Mvar соответствует повороту на 90 градусов в «положительном» направлении (то есть против часовой стрелки), а уравнение Шаблон:Math интерпретируется как говорящее о том, что если мы применим два поворота на 90 градусов относительно начала координат, результатом будет один поворот на 180 градусов. При этом поворот на 90 градусов в «отрицательном» направлении (то есть по часовой стрелке) также удовлетворяет этой интерпретации. Это отражает тот факт, что Шаблон:Math также является решением уравнения Шаблон:Math. Как правило, умножение на комплексное число аналогично вращению вокруг начала координат Шаблон:Iw комплексного числа с последующим масштабированием по его величине.
Квадратные корни из отрицательных чисел
Необходимо соблюдать осторожность при работе с мнимыми числами, являющимися Шаблон:Iw квадратных корней отрицательных чисел. Например, такой математический софизм: [9]
- <math>6=\sqrt{36}=\sqrt{(-4)(-9)} \ne \sqrt{-4}\sqrt{-9} = (2i)(3i) = 6 i^2 = -6.</math>
Иногда это записывается так:
- <math>-1 = i^2 = \sqrt{-1}\sqrt{-1} \stackrel{\text{ (софизм) }}{=} \sqrt{(-1)(-1)} = \sqrt{1} = 1.</math>
Подобный математический софизм возникает в случае, когда в равенстве <math>\sqrt{xy} = \sqrt{x}\sqrt{y}</math> переменные не имеют соответствующих ограничений. В этом случае равенство не выполняется, так как оба числа отрицательны. Это можно показать как
- <math>\sqrt{-x}\sqrt{-y} = i \sqrt{x} \ i \sqrt{y} = i^2 \sqrt{x} \sqrt{y} = -\sqrt{xy} \neq \sqrt{xy},</math>
где и x и y — неотрицательные действительные числа.
См. также
Примечания
Литература
Ссылки
- How can one show that imaginary numbers really do exist?Шаблон:Ref-en
- In our time: Imaginary numbersШаблон:Ref-en
- 5Numbers programme 4Шаблон:Ref-en
- Why Use Imaginary Numbers?Шаблон:Ref-en
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга Extract of page 121
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ René Descartes, Discourse de la Méthode … (Leiden, (Netherlands): Jan Maire, 1637), цитируемая книга: Геометрия, книга 3, p. 380. From page 380: «Au reste tant les vrayes racines que les fausses ne sont pas tousjours reelles; mais quelquefois seulement imaginaires; c’est a dire qu’on peut bien tousjours en imaginer autant que jay dit en chasque Equation; mais qu’il n’y a quelquefois aucune quantité, qui corresponde a celles qu’on imagine, comme encore qu’on en puisse imaginer trois en celle cy, x3 — 6xx + 13x — 10 = 0, il n’y en a toutefois qu’une reelle, qui est 2, & pour les deux autres, quoy qu’on les augmente, ou diminue, ou multiplie en la façon que je viens d’expliquer, on ne sçauroit les rendre autres qu’imaginaires.» («Более того, как истинные корни, так и ложные [корни] не всегда реальны; но иногда имеются только мнимые [числа]; то есть, в каждом уравнении всегда можно представить их столько, сколько я сказал; но иногда нет такой величины, которая соответствует тому, что можно себе представить, точно так же, как в этом [уравнении], x3 — 6xx + 13x — 10 = 0, где только один корень реальный и равен 2, а в отношении двух других, хотя одно увеличивает, или уменьшает, или умножает их так, как я только что объяснил, никто не сможет сделать их отличными от мнимых [величин].»)
- ↑ Шаблон:Citation.
- ↑ Шаблон:Книга
- ↑ Cockle, James (1848) «On Certain Functions Resembling Quaternions and on a New Imaginary in Algebra», London-Dublin-Edinburgh Philosophical Magazine, series 3, 33:435-9 and Cockle (1849) «On a New Imaginary in Algebra», Philosophical Magazine 34:37-47
- ↑ Шаблон:Книга Extract of page 12
