Большая Советская Энциклопедия (ОП) - Большая Советская Энциклопедия "БСЭ". Страница 33
Определение через абстракцию
Определе'ние че'рез абстра'кцию , способ описания (выделения, «абстрагирования») не воспринимаемых чувственно («абстрактных») свойств предметов путём задания на предметной области некоторого отношения типа равенства (тождества , эквивалентности ). Такое отношение, обладающее свойствами рефлексивности ,симметричности и транзитивности , индуцирует разбиение предметной области на непересекающиеся классы (классы абстракции, или классы эквивалентности), причём элементы, принадлежащие одному и тому же классу, неотличимы по определяемому т. о. свойству. Так, например, в политической экономии определяется стоимость (через отношение обмениваемости товаров), в теории множеств — мощность множеств (через отношение теоретико-множественной эквивалентности). О. ч. а. всегда (хотя обычно и неявно) опирается на т. н. принцип абстракции, или принцип свёртывания, согласно которому каждому свойству соотносится класс (множество) объектов, обладающих этим свойством. В практических приложениях этот принцип весьма удобен, естествен и плодотворен; но постулирование его как универсального методологического закона приводит к трудностям, проявляющимся прежде всего в виде парадоксов (логики и теории множеств). См. Аксиоматический метод ,Метаматематика ,Непротиворечивость .
Определённый интеграл
Определённый интегра'л , одно из основных понятий математического анализа, к которому приводится решение ряда задач геометрии, механики, физики. О. и. является числом, равным пределу сумм особого вида (интегральных сумм), соответствующих функции f (x ) и отрезку [ а , b ]; обозначается

Определитель
Определи'тель , детерминант, особого рода математическое выражение, встречающееся в различных областях математики. Пусть дана матрица порядка n , т. е. квадратная таблица, составленная из п2 элементов (чисел, функций и т. п.):

(каждый элемент матрицы снабжён двумя индексами: первый указывает номер строки, второй — номер столбца, на пересечении которых находится этот элемент). Определителем матрицы (1) называется многочлен, каждый член которого является произведением n элементов матрицы (1), причём из каждой строки и каждого столбца матрицы в произведение входит лишь один сомножитель, т. е. многочлен вида
å ± a1aa2b ...ang . (2)
В этой формуле a, b, ..., g есть произвольная перестановка чисел 1, 2, ..., n . Перед членом берётся знак +, если перестановка a, b, ..., g чётная, и знак – , если эта перестановка нечётная. [Перестановку называют чётной, если в ней содержится чётное число нарушений порядка (или инверсий), т. е. случаев, когда большее число стоит впереди меньшего, и нечётной – в противоположном случае; так, например, перестановка 51243 – нечётная, т. к. в ней имеется 5 инверсий 51, 52, 54, 53, 43.] Суммирование производится по всем перестановкам a, b, ..., g чисел 1, 2, ..., n . Число различных перестановок n символов равно n ! = 1·2·3·...·n ; поэтому О. содержит n ! членов, из которых 1 /2n ! берётся со знаком + и 1 /2n ! со знаком –. Число n называется порядком О.
О., составленный из элементов матрицы (1), записывают в виде:

(или, сокращённо, в виде |aik |). Для О. 2-го и 3-го порядков имеем формулы:


О. 2-го и 3-го порядков допускают простое геометрическое истолкование:


Теория О. возникла в связи с задачей решения систем алгебраических уравнений 1-й степени (линейные уравнения ). В наиболее важном случае, когда число уравнений равно числу неизвестных, такая система может быть записана в виде:

Эта система имеет одно определённое решение, если О. |aik |, составленный из коэффициентов при неизвестных, не равен нулю; тогда неизвестное xm (m = 1, 2, ..., n ) равно дроби, у которой в знаменателе стоит О.|aik |, а в числителе — О., получаемый из |aik | заменой элементов m -го столбца (т. е. коэффициентов при хт ) числами b1 , b2 , ..., bn . Так, в случае системы двух уравнений с двумя неизвестными

решение даётся формулами


Если b1 = b2 = ..., = bn = 0, то систему (4) называется однородной системой линейных уравнений. Однородная система имеет отличные от нуля решения, только если |aik | = 0. Связь теории О. с теорией линейных уравнений позволила применить теорию О. к решению большого числа задач аналитической геометрии. Многие формулы аналитической геометрии удобно записывать при помощи О.; например, уравнение плоскости, проходящей через точки с координатами (x1 , y1 , z1 ), (x2 , y2 , z2 ), (х3 , y3 , z3 ), может быть записано в виде:
