Алгебра

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Трёхмерный правильный коноид, описанный тригонометрическими уравнениями

А́лгебра (от араб. اَلْجَبْرُ[1] аль-джабр — «восстановление (разрозненных) частей[2], восстановление равенства, уравнение[3], восполнение[4]») — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел[5].

Классификация

[править | править код]

Алгебра как раздел математики традиционно включает следующие категории.

Элементарная алгебра

[править | править код]
Формула корней квадратного уравнения выражает решение уравнения второй степени через его коэффициенты , где не равно нулю.

Элементарная алгебра — раздел алгебры, который изучает самые базовые понятия. Обычно изучается после изучения основных понятий арифметики. В арифметике изучаются числа и простейшие (+, −, ×, ÷) действия с ними. В алгебре числа заменяются на переменные ( и так далее). Такой подход полезен, потому что:

  • Позволяет получить общее представление законов арифметики (например, для любых и ), что является первым шагом к систематическому изучению свойств действительных чисел.
  • Позволяет ввести понятие «неизвестного», сформулировать уравнения и изучать способы их решения. (Для примера, «Найти число x, такое что » или, в более общем случае, «Найти число x, такое, что ». Это приводит к выводу, что нахождение значения переменной кроется не в природе чисел из уравнения, а в операциях между ними.)
  • Позволяет сформулировать понятие функции. (Для примера, «Если вы продали билетов, то ваша прибыль составит рублей, или , где  — функция, и  — число, от которого зависит функция»)

Линейная алгебра

[править | править код]

Линейная алгебра — часть алгебры, изучающая векторы, векторные, или линейные пространства, линейные отображения и системы линейных уравнений. К линейной алгебре также относят теорию определителей, теорию матриц, теорию форм (например, квадратичных), теорию инвариантов (частично), тензорное исчисление (частично)[7]. Современная линейная алгебра делает акцент на изучении векторных пространств[8].

Линейное, или векторное пространство над полем  — это упорядоченная четвёрка , где

 — непустое множество элементов произвольной природы, которые называются векторами;
 — (алгебраическое) поле, элементы которого называются скалярами;
 — операция сложения векторов, сопоставляющая каждой паре элементов множества единственный элемент множества , обозначаемый ;
 — операция умножения векторов на скаляры, сопоставляющая каждому элементу поля и каждому элементу множества единственный элемент множества , обозначаемый ;

причём заданные операции удовлетворяют следующим аксиомам — аксиомам линейного (векторного) пространства:

  1. , для любых (коммутативность сложения);
  2. , для любых (ассоциативность сложения);
  3. существует такой элемент , что для любого (существование нейтрального элемента относительно сложения), в частности не пусто;
  4. для любого существует такой элемент , что (существование противоположного элемента относительно сложения).
  5. (ассоциативность умножения на скаляр);
  6. (унитарность: умножение на нейтральный (по умножению) элемент поля F сохраняет вектор).
  7. (дистрибутивность умножения на вектор относительно сложения скаляров);
  8. (дистрибутивность умножения на скаляр относительно сложения векторов).

Евклидовы пространства, аффинные пространства, а также многие другие пространства, изучаемые в геометрии, определяются на основе векторного пространства. Автоморфизмы векторного пространства над полем образуют группу относительно умножения, изоморфную группе невырожденных квадратных матриц, что связывает линейную алгебру с теорией групп, в частности, с теорией линейных представлений групп[8].

Переход от используемых в линейной алгебре n-мерных векторных пространств к бесконечномерным линейным пространствам нашёл своё отражение в некоторых разделах функционального анализа[7]. Другим естественным обобщением является использование не поля, а произвольного кольца. Для модуля над произвольным кольцом не выполняются основные теоремы линейной алгебры. Общие свойства векторных пространств над полем и модулей над кольцом изучаются в алгебраической К-теории[8].

Общая алгебра

[править | править код]

Общая алгебра занимается изучением различных алгебраических систем. В ней рассматриваются свойства операций над объектами независимо от собственно природы объектов[5]. Она включает в себя в первую очередь теории групп и колец. Общие свойства, характерные для обоих видов алгебраических систем, привели к рассмотрению новых алгебраических систем: решёток, категорий, универсальных алгебр, моделей, полугрупп и квазигрупп. Упорядоченные и топологические алгебры, частично упорядоченные и топологические группы и кольца, также относятся к общей алгебре[9].

Точная граница общей алгебры не определена. К ней можно также отнести теорию полей, конечных групп, конечномерных алгебр Ли[9].

Теория групп

[править | править код]

Непустое множество с заданной на нём бинарной операцией называется группой , если выполнены следующие аксиомы:

  1. ассоциативность: ;
  2. наличие нейтрального элемента: ;
  3. наличие обратного элемента:
Граф свободной группы порядка 2

Понятие группы возникло в результате формального описания симметрии и эквивалентности геометрических объектов. В теории Галуа, которая и дала начало понятию группы, группы используются для описания симметрии уравнений, корнями которых являются корни некоторого полиномиального уравнения. Группы повсеместно используются в математике и естественных науках, часто для обнаружения внутренней симметрии объектов (группы автоморфизмов). Почти все структуры общей алгебры — частные случаи групп.

Теория колец

[править | править код]

Кольцо — множество R, на котором заданы две бинарные операции: + и × (называемые сложение и умножение), со следующими свойствами:

  1.  — коммутативность сложения;
  2.  — ассоциативность сложения;
  3.  — существование нейтрального элемента относительно сложения;
  4.  — существование противоположного элемента относительно сложения;
  5.  — ассоциативность умножения (некоторые авторы не требуют выполнения этой аксиомы[10])
  6.  — дистрибутивность.

Универсальная алгебра

[править | править код]

Универсальная алгебра является специальным разделом общей алгебры, который занимается изучением характерных для всех алгебраических систем свойств. Алгебраическая система представляет собой произвольное непустое множество с заданным (возможно, бесконечным) набором конечноарных операций над ним и конечноарных отношений: , , . Множество в этом случае называется носителем (или основным множеством) системы, набор функциональных и предикатных символов с их арностями  — её сигнатурой. Система с пустым множеством отношений называется универсальной алгеброй (в контексте предмета — чаще просто алгеброй), а с пустым множеством операций — моделью или системой отношений, реляционной системой.

В терминах универсальной алгебры, например, кольцо — это универсальная алгебра , такая, что алгебра  — абелева группа, и операция дистрибутивна слева и справа относительно . Кольцо называется ассоциативным, если мультипликативный группоид является полугруппой.

Раздел рассматривает как собственно универсальные алгебры, так и сопутствующие структуры: моноид всех эндоморфизмов , группа всех автоморфизмов , решётки всех подалгебр и всех конгруэнций [11].

Универсальная алгебра находится на стыке логики и алгебры[9].

Исторический очерк

[править | править код]

Древний Восток

[править | править код]

Истоки алгебры уходят к временам глубокой древности. Арифметические действия над натуральными числами и дробями — простейшие алгебраические операции — встречаются в ранних математических текстах[6]. Ещё в 1650 году до н. э. египетские писцы могли решать отвлечённые уравнения первой степени и простейшие уравнения второй степени, к ним относятся задачи 26 и 33 из папируса Ринда и задача 6 из Московского папируса (так называемые задачи на «аха»). Предполагается, что решение задач было основано на правиле ложного положения[12]. Это же правило, правда, крайне редко, использовали вавилоняне[13].

Вавилонские математики умели решать квадратные уравнения. Они имели дело только с положительными коэффициентами и корнями уравнения, так как не знали отрицательных чисел. По разным реконструкциям в Вавилоне знали либо правило для квадрата суммы, либо правило для произведения суммы и разности, вместе с тем метод вычисления корня полностью соответствует современной формуле. Встречаются и уравнения третьей степени[14]. Кроме того, в Вавилоне была введена особая терминология, использовались шумерские клинописные знаки для обозначения первого неизвестного («длины»), второго неизвестного («ширины»), третьего неизвестного («глубины»), а также различных производных величин («поля» как произведения «длины» и «ширины», «объёма» как произведения «длины», «ширины» и «глубины»), которые можно считать математическими символами, так как в обычной речи уже использовался аккадский язык. Несмотря на явное геометрическое происхождение задач и терминов, использовались они отвлечённо, в частности, «площадь» и «длина» считались однородными[13]. Для решения квадратных уравнений было необходимо уметь осуществлять различные тождественные алгебраические преобразования, оперировать неизвестными величинами. Таким образом был выделен целый класс задач, для решения которых необходимо пользоваться алгебраическими приёмами[14].

За 2000 лет до нашего времени китайские учёные решали уравнения первой степени и их системы, а также квадратные уравнения (см. Математика в девяти книгах). Они уже знали отрицательные и иррациональные числа. Поскольку в китайском языке каждый символ обозначает понятие, то сокращений не было. Наряду с индийскими и исламскими математиками, китайские математики открыли «треугольник Паскаля» задолго до европейцев[15].

Древняя Греция

[править | править код]

После того как была открыта несоизмеримость стороны и диагонали квадрата, греческая математика переживала кризис, разрешению которого способствовал выбор геометрии как основы математики и определение алгебраических операций для геометрических величин. Геометрической алгебре посвящена вторая книга «Начал» Евклида, работы Архимеда и Аполлония. С использованием отрезков, прямоугольников и параллелепипедов были определены сложение и вычитание, произведение (построенный на двух отрезках прямоугольник). Такое представление позволило доказать дистрибутивный закон умножения относительно сложения, тождество для квадрата суммы. Алгебра первоначально была основана на планиметрии и приспособлена в первую очередь для решения квадратных уравнений[16]. Вместе с тем к алгебраическим уравнениям сводятся сформулированные пифагорейцами задачи об удвоении куба и трисекции угла, построение правильных многоугольников[17]. Решение кубических уравнений получило своё развитие в работах Архимеда (сочинения «О шаре и цилиндре» и «О коноидах и сфероидах»), который исследовал в общем виде уравнение . Отдельные задачи решались с помощью конических сечений[18].

Неожиданный переход к алгебре, основанной на арифметике, произошёл в работах Диофанта, который ввёл буквенные обозначения: неизвестное число он назвал «число», вторую степень неизвестного — «квадрат», третью — «куб», четвёртую — «квадрато-квадрат», пятую — «квадрато-куб», шестую — «кубо-куб». Также он ввёл обозначения для отрицательных степеней, свободного члена, отрицательного числа (или вычитания) и знака равенства. Диофант знал и использовал правило переноса вычитаемого из одной части уравнения в другую и правило сокращения равных членов[19]. Исследуя уравнения третьей и четвёртой степеней, Диофант для нахождения рациональной точки на кривой использует такие методы геометрической алгебры, как провести касательную в рациональной точке кривой или провести прямую через две рациональные точки. В X веке «Арифметика» Диофанта, в которой он изложил свои методы, была переведена на арабский язык, а в XVI веке достигла Западной Европы, оказав влияние на работы Ферма и Виета. Идеи Диофанта можно заметить также в работах Эйлера, Якоби, Пуанкаре и других математиков вплоть до начала XX века. В настоящее время проблемы Диофанта принято относить к алгебраической геометрии[20].

Исламский мир

[править | править код]
Страница из книги аль-Хорезми «Китаб аль-джебр ва-ль-мукабала»

Термин «алгебра» взят из сочинения среднеазиатского учёного аль-Хорезми «Китаб аль-джебр ва-ль-мукабала» (ок. 825 года). Слово «аль-джабр» при этом означало операцию переноса вычитаемых из одной части уравнения в другую с противоположным знаком, и его буквальный смысл — «восполнение», «взвешивание»[4]. Арабские математики рассматривали члены уравнений как массы гирь на весах, которые надо было перенести на другую чашу весов, чтобы уравновесить весы (перенос членов из правой части уравнения в левую с противоположным знаком и наоборот); или как одинаковые гири на обеих чашах, которые можно было убрать с обоих чаш без нарушения равновесия (сокращение членов уравнения). «Аль-мукабала» означало отбрасывание в обеих частях равенства равных членов (противоположение). «Аль-джабр» при переводе на латинский язык превратилось в «algebra», а аль-мукабала была отброшена: так появилось название «алгебра». Аль-Хорезми разработал системный подход к решению линейных и квадратных уравнений, заложив основу этой математической дисциплины.

В X–XI веках алгебру расширили Абу Камил и аль-Караджи, введя иррациональные числа, систематизировав операции с многочленами и заложив основы математической индукции. XII век ознаменовался работами Омара Хайяма, который развил геометрическое решение кубических уравнений и дал первое определение алгебры как науки. Аль-Самуал ввёл правила умножения одночленов любых целых степеней и правила деления многочленов, а Шараф ад-Дин Ат-Туси использовал понятия функции и дискриминанта кубического уравнения. Постепенно алгебра перешла от словесных описаний к символическому выражению, что стало важным шагом в её развитии.

Перевод труда аль-Хорезми на латинский язык способствовал распространению алгебры в Европе и её дальнейшему совершенствованию. В XVI веке в Европе были открыты способы решения уравнений 3 и 4 степеней. Распространение получили отрицательные и комплексные числа. В XIX веке было доказано, что любое уравнение 5 степени и выше нельзя решить алгебраическим способом. Вплоть до второй половины XX века практическое применение алгебры ограничивалось, в основном, решением алгебраических уравнений и систем уравнений с несколькими переменными.

Наше время

[править | править код]

Во второй половине XX века началось бурное развитие ряда новых отраслей техники. Появились электронно-вычислительные машины, устройства для хранения, переработки и передачи информации, системы наблюдения типа радара. Проектирование новых видов техники и их использование немыслимо без применения современной алгебры. Так, электронно-вычислительные машины устроены по принципу конечных автоматов. Для проектирования электронно-вычислительных машин и электронных схем используются методы булевой алгебры. Современные языки программирования для ЭВМ основаны на принципах теории алгоритмов. Теория множеств используется в системах компьютерного поиска и хранения информации. Теория категорий используется в задачах распознавания образов, определении семантики языков программирования, и других практических задачах. Кодирование и декодирование информации производится методами теории групп. Теория рекуррентных последовательностей используется в работе радаров. Экономические расчёты невозможны без использования теории графов. Математическое моделирование широко использует все разделы алгебры.

Отец алгебры

[править | править код]

Титул «отца алгебры» часто приписывают аль-Хорезми[21][22][23]. Среди прочих, эту точку зрения поддерживают такие историки математики, как Соломон Гандз[24], Карл Бенджамин Бойер[25] и Бартель Леендерт ван дер Варден[26]. Впрочем, иногда данное звание приписывают и Диофанту. Его сторонники указывают, что уравнения, изложенные в «Арифметике», используют некоторые символьные обозначения, тогда как в «Китаб аль-джебр ва-ль-мукабала» уравнения и их решения передаются исключительно словами[27]. Однако историк математики Курт Фогель[англ.] однозначно выступает против того, чтобы Диофант носил этот титул[28], поскольку его арифметика была не намного более алгебраической, чем математика древних вавилонян[29].

Сторонники аль-Хорезми указывают на тот факт, что он дал исчерпывающее и систематическое объяснение алгебраического решения квадратных уравнений с положительными корнями[30]. Он был первым, кто преподавал алгебру в элементарной форме ради самой этой дисциплины, в то время как Диофант в первую очередь занимался теорией чисел[24]. Другие его сторонники добавляют, что в отличие от вавилонских табличек и от «Арифметики» Диофанта его алгебра больше не была связана с рядом задач, которые нужно решить, но с изложением, которое начинается с примитивных терминов, комбинации которых должны дать все возможные виды уравнений, отныне явно становящихся истинным объектом исследования[31]. Виктор Джозеф Кац[англ.] также считает «Китаб аль-джебр ва-ль-мукабала» первым настоящим текстом по алгебре, сохранившимся до наших дней[32].

Примечания

[править | править код]
  1. алгебра // Этимологический словарь русского языка = Russisches etymologisches Wörterbuch : в 4 т. / авт.-сост. М. Фасмер ; пер. с нем. и доп. чл.‑кор. АН СССР О. Н. Трубачёва, под ред. и с предисл. проф. Б. А. Ларина [т. I]. — Изд. 2-е, стер. — М. : Прогресс, 1986—1987.
  2. Этимологический словарь русского языка Шанского Н. М.
  3. Этимологический словарь русского языка Успенского Л. В.
  4. 1 2 Александрова Н. В. Математические термины : справочник. — М.: Высшая школа, 1978. — С. 6.
  5. 1 2 Алгебра // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
  6. 1 2 Виноградов И. М. Алгебра // Математическая энциклопедия. — М.: Советская энциклопедия, 1977.
  7. 1 2 Линейная алгебра // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
  8. 1 2 3 Виноградов И. М. Линейная алгебра // Математическая энциклопедия. — М.: Советская энциклопедия, 1977.
  9. 1 2 3 Виноградов И. М. Общая алгебра // Математическая энциклопедия. — М.: Советская энциклопедия, 1977.
  10. Алгебра — статья из Математической энциклопедии
  11. Виноградов И. М. Универсальная алгебра // Математическая энциклопедия. — М.: Советская энциклопедия, 1977.
  12. История математики, т. I, 1970, с. 29—30.
  13. 1 2 История математики, т. I, 1970, с. 42.
  14. 1 2 История математики, т. I, 1970, с. 42—46.
  15. М. Я. Выгодский «Справочник по элементарной математике»
  16. История математики, т. I, 1970, с. 78—80.
  17. История математики, т. I, 1970, с. 82—86.
  18. История математики, т. I, 1970, с. 86—87.
  19. История математики, т. I, 1970, с. 144—146.
  20. История математики, т. I, 1970, с. 146—150.
  21. Herscovics, Nicolas; Linchevski, Liora (1994-07-01). A cognitive gap between arithmetic and algebra. Educational Studies in Mathematics. 27 (1): 59–78. doi:10.1007/BF01284528. ISSN 1573-0816. S2CID 119624121. This would have come as a surprise to al-Khwarizmi, considered to be the father of algebra (Boyer/Merzbach, 1991), who introduced it to the Mediterranean world around the ninth century
  22. Dodge, Yadolah. The Concise Encyclopedia of Statistics. — Springer Science & Business Media, 2008. — P. 1. — «The term algorithm comes from the Latin pronunciation of the name of the ninth century mathematician al-Khwarizmi, who lived in Baghdad and was the father of algebra.». — ISBN 9780387317427.
  23. Henry Corbin. The voyage and the messenger: Iran and philosophy. — Berkeley, Calif: North Atlantic Books, 1998. — С. 44. — 236 с. — ISBN 978-1-55643-269-9.
  24. 1 2 Gandz, 1936, с. 263–277: «In a sense, Khwarizmi is more entitled to be called "the father of algebra" than Diophantus because Khwarizmi is the first to teach algebra in an elementary form and for its own sake, Diophantus is primarily concerned with the theory of numbers».
  25. Boyer, 1991, "The Arabic Hegemony", с. 228: «Diophantus sometimes is called "the father of algebra", but this title more appropriately belongs to al-Khwarizmi.».
  26. Derbyshire, 2006, "The Father of Algebra", с. 31: «Van der Waerden pushes the parentage of algebra to a point later in time, beginning with the mathematician al-Khwarizmi».
  27. Corry, Leo. A Brief History of Numbers. — 1st. — Oxford University Press, 2015. — P. 71. — ISBN 978-0-19-870259-7.
  28. J. Sesiano, K. Vogel. Diophantus. — New York : Dictionary of Scientific Biography, 1970–1990. — «Diophantus was not, as he has often been called, the father of algebra.».
  29. Derbyshire, 2006, "The Father of Algebra", с. 31: «Kurt Vogel, for example, writing in the Dictionary of Scientific Biography, regards Diophantaus's work as not much more algebraic than that of the old Babylonians».
  30. Boyer, 1991, "The Arabic Hegemony", с. 230: «The six cases of equations given above exhaust all possibilities for linear and quadratic equations having positive root. So systematic and exhaustive was al-Khwarizmi's exposition that his readers must have had little difficulty in mastering the solutions.».
  31. Rashed, Roshdi. The Development of Arabic Mathematics / Roshdi Rashed, Angela Armstrong. — Springer, 1994. — P. 11–12. — ISBN 978-0-7923-2565-9.
  32. Katz, Victor J. (2006). STAGES IN THE HISTORY OF ALGEBRA WITH IMPLICATIONS FOR TEACHING (PDF). Springer: 190. Дата обращения: 27 марта 2019. The first true algebra text which is still extant is the work on al-jabr and al-muqabala by Mohammad ibn Musa al-Khwarizmi, written in Baghdad around 825.

Литература

[править | править код]