Теория О. возникла в связи с задачей решения систем алгебраических уравнений 1-й степени (линейные уравнения ). В наиболее важном случае, когда число уравнений равно числу неизвестных, такая система может быть записана в виде:
(4)
Эта система имеет одно определённое решение, если О. |aik |, составленный из коэффициентов при неизвестных, не равен нулю; тогда неизвестное xm (m = 1, 2, ..., n ) равно дроби, у которой в знаменателе стоит О.|aik |, а в числителе — О., получаемый из |aik | заменой элементов m -го столбца (т. е. коэффициентов при хт ) числами b 1 , b 2 , ..., bn . Так, в случае системы двух уравнений с двумя неизвестными
решение даётся формулами
; .
Если b 1 = b 2 = ..., = bn = 0, то систему (4) называется однородной системой линейных уравнений. Однородная система имеет отличные от нуля решения, только если |aik | = 0. Связь теории О. с теорией линейных уравнений позволила применить теорию О. к решению большого числа задач аналитической геометрии. Многие формулы аналитической геометрии удобно записывать при помощи О.; например, уравнение плоскости, проходящей через точки с координатами (x 1 , y 1 , z 1 ), (x 2 , y 2 , z2 ), (х 3 , y 3 , z 3 ), может быть записано в виде:
= 0.
О. обладают рядом важных свойств, которые, в частности, облегчают их вычисление. Простейшие из этих свойств следующие:
1) O. не изменяется, если в нём строки и столбцы поменять местами:
= ;
2) О. меняет знак, если в нём поменять местами две строки (или два столбца); так, например:
= –;
3) О. равен нулю, если в нём элементы двух строк (или двух столбцов) соответственно пропорциональны; так, например:
= 0;
4) общий множитель всех элементов строки (или столбца) О. можно вынести за знак О.; так, например:
= k ;
5) если каждый элемент какого-нибудь столбца (строки) О. есть сумма двух слагаемых, то О. равен сумме двух О., причём в одном из них соответствующий столбец (строка) состоит из первых слагаемых, а в другом — из вторых слагаемых, остальные же столбцы (строки) — те же, что и в данном О.; так, например:
= + ;
6) О. не изменяется, если к элементам одной строки (столбца) прибавить элементы другой строки (другого столбца), умноженные на произвольный множитель; так, например:
= ;
7) О. может быть разложен по элементам какой-либо строки или какого-либо столбца. Разложение О. (3) по элементам i -й строки имеет следующий вид:
= ai 1 A i 1 + ai 2 Ai 2 + ...+ain Ain .
Коэффициент Aik , стоящий при элементе aik в этом разложении, называется алгебраическим дополнением элемента aik . Алгебраическое дополнение может быть вычислено по формуле: Aik = (–1)i + k Dik , где Dik — минор (подопределитель, субдетерминант), дополнительный к элементу aik , то есть О. порядка n- 1, получающийся из данного О. посредством вычёркивания строки и столбца, на пересечении которых находится элемент aik . Например, разложение О. 3-го порядка по элементам второго столбца имеет следующий вид:
= –a12 + a22 – a32 .
Посредством разложения по элементам строки или столбца вычисление О. n -го порядка приводится к вычислению n определителей (n - 1)-го порядка. Так, вычисление О. 5-го порядка приводится к вычислению пяти О. 4-го порядка; вычисление каждого из этих О. 4-го порядка можно, в свою очередь, привести к вычислению четырёх О. 3-го порядка (формула для вычисления О. 3-го порядка приведена выше). Однако, за исключением простейших случаев, этот метод вычисления О. практически применим лишь для О. сравнительно небольших порядков. Для вычисления О. большого порядка разработаны различные, практически более удобные методы (для вычисления О. n -го порядка приходится выполнять примерно n 3 арифметических операций).
Отметим ещё правило умножения двух О. n -го порядка: произведение двух О. n -го порядка может быть представлено в виде О. того же n -го порядка, в котором элемент, принадлежащий i -й строке и k -му столбцу, получается, если каждый элемент i -й строки первого множителя умножить на соответствующий элемент k -го столбца второго множителя и все эти произведения сложить; иными словами, произведение О. двух матриц равно О. произведения этих матриц.
В математическом анализе О. систематически используются после работ немецкого математика К. Якоби (2-я четверть 19 в.), исследовавшего О., элементы которых являются не числами, а функциями одного или нескольких переменных. Из таких О. наибольший интерес представляет определитель Якоби (якобиан )
.
Определитель Якоби равен коэффициенту искажения объёмов при переходе от неременных х 1 , x 2 , ..., хп к переменным
y 1 = f 1 (x 1 , ..., xn ),
y 2 = f 2 (x 1 , ..., xn ),
………………….
yn = fn (x 1 , ..., xn ).
Тождественное равенство в некоторой области этого О. нулю является необходимым и достаточным условием зависимости функций f 1 (x 1 , ..., xn ), f 2 (x 1 , ..., xn ), ..., fn (x 1 , ..., xn ).
Во 2-й половине 19 в. возникла теория О. бесконечного порядка. Бесконечными О. называются выражения вида:
(5)
(односторонний бесконечный О.) и
(двусторонний бесконечный О.). Бесконечный О. (5) есть предел, к которому стремится О.
при бесконечном возрастании числа n . Если этот предел существует, то О. (5) называется сходящимся, в противном случае — расходящимся. Исследование двустороннего бесконечного О. иногда можно привести к исследованию некоторого одностороннего бесконечного О.
Теория О. конечного порядка создана в основном во 2-й половине 18 в. и 1-й половине 19 в. (работами швейцарского математика Г. Крамера , французских математиков А. Вандермонда, П. Лапласа , О. Коши , немецких математиков К. Гаусса и К. Якоби). Термин «О.» («детерминант») принадлежит К. Гауссу, современное обозначение — английскому математику А. Кэли .
Лит . см. при статьях Линейная алгебра , Матрица .
Опредмечивание и распредмечивание
Опредме'чивание и распредме'чивание , категории марксистской философии, выражающие собой противоположности, единством и взаимопроникновением которых является человеческая предметная деятельность. Опредмечивание — это процесс, в котором человеческие способности переходят в предмет и воплощаются в нём, благодаря чему предмет становится социально-культурным, или «человеческим предметом» (см. К. Маркс, в кн.: Маркс К. и Энгельс Ф., Из ранних произведений, 1956, с. 593). В своём результате опредмечивание всегда имеет наряду с реальным также и идеальное (смысловое) значение, так что всякий результат опредмечивания обладает культурно-исторической адресованностью, направленной на др. людей, социальные группы.
Распредмечивание — это процесс, в котором свойства, сущность, «логика предмета» становятся достоянием человека, его способностей, благодаря чему последние развиваются и наполняются предметным содержанием. Человек распредмечивает как формы прошлой культуры, так и природные явления, которые он тем самым включает в свой обществ. мир. О. и р. раскрывают внутренний динамизм материальной и духовной культуры как живого целого, существующего только в процессе непрерывного воспроизведения его и созидания человеческой деятельностью. Тем самым эти категории фиксируют элементарную клеточку деятельности, посредством которой человек включен в исторически определённое бытие. Через О. и р. человек определённым образом относится к своей настоящей, прошедшей и грядущей культуре. В наименьшей степени категории О. и р. обнаруживаются в утилитарно потребляемых благах, в наибольшей степени — в произведениях духовной культуры.