На моем уроке линейной алгебры мы только что говорили об определителях. До сих пор я хорошо понимал материал, но теперь я очень смущен. Я понимаю, что когда определитель равен нулю, матрица не имеет обратной. Я могу найти определитель матрица по формуле. Наш учитель показал нам, как вычислить определитель матрицу, разбив ее на определители меньших матриц. Видимо есть способ суммирования по куче перестановок. Но нотация действительно сложна для меня, и я действительно не знаю, что с ними происходит. Может ли кто-нибудь помочь мне интуитивно понять, что такое детерминант и как связаны все эти его определения?
Ваши проблемы с детерминантами довольно распространены. Их также трудно хорошо научить по двум основным причинам, которые я вижу: формулы, которые вы изучаете для их вычисления, запутаны и сложны, и нет «естественного» способа интерпретировать значение определителя, способ сначала легко интерпретировать производные, которые вы делаете в исчислении, как наклон касательной. Трудно поверить в такие вещи, как условие обратимости, которое вы заявили, когда даже не ясно, что означают числа и откуда они берутся.
Вместо того чтобы показывать, что многие обычные определения одинаковы, сравнивая их друг с другом, я собираюсь сформулировать некоторые общие свойства определителя, которые, как я утверждаю, достаточны для того, чтобы однозначно указать, какое число вы должны получить, когда подставляете заданное число. матрица. Тогда неплохо проверить, что все определения определителя, которые вы видели, удовлетворяют тем свойствам, о которых я расскажу.
Первое, о чем следует подумать, если вы хотите, чтобы «абстрактное» определение определителя объединяло все остальные, — это то, что это не массив чисел с черточками по бокам. На самом деле нам нужна функция, которая принимает N векторов (N столбцов матрицы) и возвращает число. Предположим, что мы сейчас работаем с реальными числами.
Помните, как те операции, которые вы упомянули, изменяют значение определителя?
Переключение двух строк или столбцов меняет знак.
Умножение одной строки на константу умножает весь определитель на эту константу.
Общий факт, из которого следует число два: определитель линеен в каждой строке . То есть, если вы думаете об этом как о функции , затем
Определитель единичной матрицы является .
Я утверждаю, что этих фактов достаточно, чтобы определить уникальную функцию , которая принимает N векторов (каждый из которых имеет длину N) и возвращает действительное число — определитель матрицы, заданной этими векторами. Я не буду этого доказывать, но покажу вам, как это помогает при некоторых других интерпретациях определителя.
В частности, есть хороший геометрический способ представить определитель. Рассмотрим единичный куб в N-мерном пространстве: набор N векторов длины 1 с координатами 0 или 1 в каждой точке. Определитель линейного преобразования (матрицы) T — это знаковый объем области, полученный применением T к единичному кубу . (Не беспокойтесь слишком сильно, если вы пока не знаете, что означает «подписанная» часть).
Как это следует из нашего абстрактного определения?
Что ж, если вы примените идентичность к единичному кубу, вы получите единичный куб. А объем единичного куба равен 1.
Если вы растянете куб на постоянный коэффициент только в одном направлении, новый объем будет таким же постоянным. И если вы сложите два блока вместе, выровненных в одном направлении, их общий объем будет суммой их объемов: все это показывает, что имеющийся у нас объем со знаком является линейным по каждой координате, если рассматривать его как функцию входных векторов.
Наконец, когда вы переключаете два вектора, определяющих единичный куб, вы меняете ориентацию. (Опять же, к этому можно вернуться позже, если вы не знаете, что это значит).
Таким образом, есть способы думать о детерминанте, которые не подталкивают символы. Если вы изучали многомерное исчисление, вы могли бы подумать, с помощью этого геометрического определения определителя, почему определители (якобиан) появляются, когда мы меняем координаты при интегрировании. Подсказка: производная — это линейная аппроксимация связанной функции, и рассмотрите «дифференциальный элемент объема» в вашей исходной системе координат.
Нетрудно проверить, что площадь параллелограмма, образованного векторами и является либо: вы можете попробовать это, чтобы получить представление о вещах.
Вы можете представить себе определитель как объем. Думайте о столбцах матрицы как о векторах в начале координат, образующих края перекошенного прямоугольника. Определитель дает объем этой коробки. Например, в двух измерениях столбцы матрицы являются ребрами ромба.
Вы можете вывести алгебраические свойства из этой геометрической интерпретации. Например, если два столбца линейно зависимы, в вашем блоке отсутствует измерение, поэтому он был сведен до нулевого объема.
В дополнение к ответам, приведенным выше, определитель представляет собой функцию от множества квадратных матриц в действительные числа, сохраняющую операцию умножения:
Некоторые примеры:
Функция определителя отображает единичную матрицу к единичному элементу действительных чисел ( .)
Какое действительное число не имеет обратного мультипликативного числа? Число 0. Итак, какие квадратные матрицы не имеют мультипликативных обратных? Те, которые отображаются в 0 детерминантной функцией.
Что такое определитель обратной матрицы? Обратный определитель, конечно. (И т. д.)
Это свойство детерминанта «сохранять операции» объясняет некоторое значение функции определителя и дает мне определенный уровень «интуиции» в работе с матрицами.
Вот запись моей лекции о геометрическом определении определителей:
Геометрическое определение определителей
В нем есть элементы из ответов Джейми Бэнкса и Джона Кука, и он неторопливо излагает детали.
Я тоже нахожу наиболее интуитивным способ обращения с детерминантами во внешней алгебре. Определение дано на стр. 46 книги Ландсберга «Тензоры: геометрия и приложения». Два примера ниже расскажут вам все, что вам нужно знать.
Скажем, вам дают матрицу
Если вы определяете стандартный базисный вектор с помощью и , то вы можете определить значениями, которые он принимает на базисных векторах: и .
Линейный оператор распространяется на бивекторы с помощью
Тогда вы можете написать
где я использовал дистрибутивность и антикоммутативность произведения клина (последнее влечет для любого вектора ). Итак, мы получаем определитель как скалярный множитель в приведенном выше уравнении, то есть
Та же процедура работает для матриц 3 на 3, вам просто нужно использовать тривектор. Скажем, вам дано
Он определяет линейный оператор
для которого у нас есть
на стандартной основе , , . Оператор распространяется на тривекторы
который дает
Если после этого следовать правилам таких как дистрибутивность, антикоммутативность и ассоциативность, вы получаете
Точно так же это работает и в более высоких измерениях.
Для протокола я попытаюсь дать ответ на этот старый вопрос, так как я думаю, что некоторые элементы могут быть добавлены к тому, что уже было сказано.
Несмотря на то, что в основном это просто (сложные) выражения, определители могут быть загадочными при первом знакомстве. Естественно возникают следующие вопросы: (1) как они определяются вообще?, (2) каковы их важные свойства?, (3) почему они существуют?, (4) почему нас это должно волновать? и (5) почему становится ли их выражение настолько огромным для больших матриц?
С и определители легко определяются явно, вопрос (1) может подождать. Хотя (2) имеет много ответов, наиболее важными для меня являются: детерминанты обнаруживают (обращаясь в 0) линейную зависимость векторы в измерении , и они представляют собой выражение в координатах этих векторов (а не, например, алгоритм). Если у вас есть семейство векторов, которые зависят (или хотя бы один из них зависит) от параметра, и вам нужно знать, для каких значений параметров они линейно зависят, то попытка использовать, например, исключение Гаусса для обнаружения линейной зависимости может работать к проблеме: могут потребоваться предположения о параметре, чтобы гарантировать, что какой-то коэффициент отличен от нуля, и даже тогда деление на него дает очень беспорядочные выражения. При условии, что количество векторов равно размерности пространства, однако взятие определителя немедленно преобразует вопрос в уравнение для параметра (которое можно или нельзя решить, но это другое дело). Именно так получают уравнение в задачах на собственные значения, если вы их видели. Это дает первый ответ на (4). (Но с детерминантами можно делать намного больше, как только вы к ним привыкнете.)
Что касается вопроса (3), загадка того, почему детерминанты вообще существуют, может быть уменьшена, если рассмотреть ситуацию, когда заданы линейно независимые векторы, и спрашивает, когда окончательный неизвестный вектор останется независимым от них, с точки зрения своих координат. Ответ состоит в том, что обычно так и будет, фактически всегда, если только оказывается в линейном диапазоне из тех векторов, которое является подпространством размерности . Например, если (с одним вектором дано) ответ "если только является скалярным множителем ". Теперь, если представить себе фиксированную (ненулевую) линейную комбинацию координат (технический термин представляет собой линейную форму в пространстве), тогда он станет именно когда находится в некотором подпространстве размерности . Если повезет, это можно устроить так, чтобы это был именно линейный отрезок . (На самом деле удачи здесь нет: если расширить векторов еще одним вектором к базису, то выражая в этом базисе и взятие его конечной координаты определит такую линейную форму; однако вы можете проигнорировать этот аргумент, если вы не особенно подозрительны.) Теперь важное наблюдение состоит в том, что такая линейная комбинация не только существует, но и ее коэффициенты могут быть взяты как выражения в координатах нашего векторы. Например, в случае если положить и , то линейная комбинация выполняет работу (она становится 0 именно тогда, когда является скалярным множителем ), и и явно выражены в координатах . На самом деле это линейные выражения. Для при двух заданных векторах выражения для коэффициентов линейной комбинации более сложны, но их все же можно записать в явном виде (каждый коэффициент есть разность двух произведений координат, по одному образующих каждый вектор). Эти выражения линейны по каждому из векторов, если фиксирован другой.
Таким образом, приходят к понятию полилинейного выражения (или формы). На самом деле определитель представляет собой полилинейную форму: выражение, зависящее от векторов, и является линейным в каждом из них, взятом в отдельности (привязывая остальные векторы к произвольным значениям). Это означает, что это сумма слагаемых, каждое из которых является произведением коэффициента и одной координаты каждого из всех векторы. Но даже без учета коэффициентов таких слагаемых может быть много: колоссальная из них!
Однако нам нужно выражение, которое становится когда векторы линейно зависимы. Теперь волшебство (вроде как) заключается в том, что даже, казалось бы, гораздо более слабое требование, чтобы выражение стало когда два последовательных вектора среди равны , гарантирует это и, кроме того, почти навязывает нам форму нашего выражения. Полилинейные формы, удовлетворяющие этому требованию, называются знакопеременными. Я пропущу (простые) аргументы, но переменная форма не может включать члены, которые принимают одну и ту же координату любых двух разных векторов, и они должны менять знак всякий раз, когда кто-то меняет местами роли двух векторов (в частности, они не могут быть симметричны относительно к векторам, хотя понятие линейной зависимости симметрично; обратите внимание, что уже не симметричен относительно перестановки и ). Таким образом, любой термин должен включать каждый из координаты один раз, но не обязательно по порядку: применяется перестановка координат к последовательным векторам. Более того, если терм включает одну такую перестановку, то любой терм, полученный путем перестановки двух позиций в перестановке, также должен встречаться с противоположным коэффициентом. Но любые две перестановки могут быть преобразованы друг в друга повторной заменой двух позиций; так что если вообще есть какие-то термины, то должны быть термины для всех перестановки, и их коэффициенты все равны или противоположны. Это объясняет вопрос (5), почему определитель является таким огромным выражением, когда большой.
Наконец, существование определителей оказывается непосредственно связанным с тем, что знаки могут быть связаны со всеми перестановками таким образом, что перестановка элементов всегда меняет знак, который является частью ответа на вопрос (3). Что касается вопроса (1), то теперь мы можем сказать, что определитель однозначно определяется тем, что он -линейное знакопеременное выражение в записях векторы-столбцы, содержащие терм, состоящий из произведения их координат в этом порядке (диагональный член) с коэффициентом . Явное выражение представляет собой сумму по всем перестановок, соответствующий член получается путем применения этих координат в порядке перестановки и со знаком перестановки в качестве коэффициента. О вопросе (2) можно сказать еще много, но я остановлюсь здесь.
Высшая внешняя сила -мерное векторное пространство является одномерным. Его элементы иногда называют псевдоскалярами, и они представляют собой ориентированные -размерные объемные элементы.
Линейный оператор на можно продолжить до линейного отображения на внешней алгебре по правилам для скаляр и для и лезвия произвольной марки. Интересный факт: некоторые авторы называют это расширение внешним морфизмом . Расширенная карта будет сохранять класс; то есть, если является однородным элементом внешней алгебры степени , затем также будет иметь оценку . (Это можно проверить по свойствам расширенной карты, которую я только что перечислил.)
Из всего этого следует, что линейное отображение на внешней алгебре однажды ограниченный верхней внешней степенью, сводится к умножению на константу: определитель исходного линейного преобразования. Поскольку псевдоскаляры представляют ориентированные элементы объема, это означает, что определитель является именно фактором, с помощью которого карта масштабирует ориентированные объемы.
Здесь есть отличные ответы, которые очень подробные.
Здесь я даю более простой ответ, также обсуждаемый в википедии . Думайте о определителе как о площади (в 2D; в 3D это будет объем и т. д.) параллелограмма, состоящего из векторов:
Помните, что площадь параллелограмма является его основанием. высота . Делая некоторые трюки с скалярным произведением, это дает определитель:
Вы можете поместить единичные векторы для каждого измерения, чтобы проверить единичную матрицу, увидев, что:
Это объем с матрицей 3 на 3, и он будет равен 1 во всех случаях, поскольку недиагональные элементы удаляют любой эффект от единственного значения, влияющего на объем в виде диагонального произведения единиц. В некоторых контекстах понимается, что система координат не изменяется.
Думая в этих терминах, мне также легче думать об сингулярных матрицах: невозможность взять обратную матрицу с определителем 0 теперь «ощущается» как попытка делить на 0, поскольку я могу думать об определителе как о "скалярное значение" матрицы. Это может не помочь другим, но если это поможет вам, отлично!
Если у вас есть матрица
Если вы выполняете разложение по собственным значениям вы получаете собственные значения и собственные векторы , то в сочетании описывает одно и то же пространство.
Теперь есть следующее уравнение, говорящее:
То есть, если у вас есть матрица затем является тоже дает нам три собственных значения. Произведение этих собственных значений равно объему прямоугольного параллелепипеда. С каждым дополнительным измерением/собственным значением кубоид получает дополнительное измерение.
(Я думал сделать это комментарием, но подумал, что он может заслуживать большего внимания, чем комментарий. Голоса за и против скажут, прав я или нет).
Дополнение о знаке определителя
Мне понравился принятый ответ Джейми, но я был разочарован тем, что он не дал дополнительных объяснений о знаке определителя и понятии «вращение» или «ориентация» вектора. Ответ от Марка Ван Леувена больше комментирует это, но, возможно, этого недостаточно для всех - по крайней мере, для меня - чтобы понять, что означает для матрицы изменение ориентации пространства, которое она преобразует. Поэтому я погуглил эту проблему и в итоге нашел следующее объяснение, которое я считаю отличным и доступным:
http://mathinsight.org/determinant_linear_transformation#lintrans3D
Хотя уже есть несколько отличных ответов, я думаю, что есть один аспект, который еще недостаточно освещен. А именно, учитывая, что матрицу можно рассматривать как представление линейного преобразования в данном базисе, что определитель матрицы говорит нам о данном преобразовании ?
Предположим, что у нас есть форма в нашем векторном пространстве, любая форма, с единственным ограничением, которое состоит в том, что она имеет четко определенный объем. Теперь мы можем спросить, что делает данное линейное преобразование с объемом этой формы?
Ну, первое, что мы замечаем, это то, что если мы возьмем направление, любое направление, и растянем фигуру вдоль этого направления с положительным коэффициентом, оставив все ортогональные направления неизменными, объем также будет умножен на этот коэффициент. Также, если мы «растянем» форму с коэффициентом (сделав его плоским), он явно будет иметь объем впоследствии, так что это правило хорошо распространяется и на этот пограничный случай.
Кроме того, если мы повернем форму (или оставим ее как есть), объем также не изменится. Обратите внимание, что не изменять громкость означает умножать громкость на единицу.
Обратите внимание, что все вышеперечисленное не зависит от формы, а является свойством только преобразования. Поэтому имеет смысл присвоить каждому такому преобразованию функция, назовем ее , который сообщает нам коэффициент, который мы должны применить к объему, чтобы получить объем изображения.
Конечно, если мы делаем несколько таких преобразований подряд, и каждое из них умножает объем на определенный множитель, то множители тоже умножаются. То есть,
Теперь, присмотревшись к вышеизложенному, мы видим, что мы еще не охватили все возможные преобразования. Мы рассмотрели все те преобразования, которые можно выполнить с помощью комбинаций растяжения и вращения, но мы еще не знаем, что делать при зеркальном отображении. Давайте рассмотрим конкретный случай зеркального отражения в одном направлении, то есть изменение знака одного направления на противоположное и сохранение всех остальных. Назовем это зеркальное преобразование .
Что ж, на первый взгляд кажется очевидным, что делать: Зеркальное отображение не меняет объем любой формы, поэтому , верно? Но затем заметим, что когда мы пишем doen , это действительно натяжка с фактором . Поскольку мы всегда умножаем, этот множитель всегда можно избавиться, применив абсолютное значение в конце. Но имеет ли этот фактор геометрический смысл?
Ну, есть много фигур, которые не идентичны своему зеркальному отображению, и оказывается, что если вы хотите непрерывно преобразовывать их в свое зеркальное отображение посредством линейных преобразований, вам всегда нужно проходить через форму с объемом . Так что знак действительно несет геометрическую информацию, так что хранить ее также имеет смысл с геометрической точки зрения.
Поскольку все линейные преобразования могут быть получены последовательностями одномерных растяжений, вращений и одномерных зеркальных преобразований, мы теперь полностью определили значение на любое преображение. Также интуитивно понятно, что оно хорошо определено (если мы достигнем одного и того же преобразования разными способами, оно все равно повлияет на объем фигур точно так же).
Теперь, когда мы определили влияние на преобразование, мы можем посмотреть, что оно означает для матрицы.
Очевидно, что диагональная матрица является произведением растяжек/отражений в координатных направлениях, поэтому определитель диагональной матрицы — это просто произведение ее диагональных элементов. Замена двух столбцов или строк матрицы означает отражение в соответствующем диагональном направлении до или после применения исходного преобразования, поэтому это дает коэффициент . Если матрица необратима (столбцы линейно зависимы), изображение будет иметь нулевой объем, поэтому определитель равен . И стандартные базисные векторы отображаются в столбцы вектора, поэтому единичный куб, натянутый на базисные векторы, будет отображаться на параллелепипед, натянутый на вектор-столбцы, объем которого, следовательно, будет задан выражением .
Подумайте о скалярном уравнении,
Когда мы рассматриваем аналогичное уравнение для матриц
вопрос о том, можем ли мы решить ее, не так легко решить тем, можем ли мы потому что может состоять из всех ненулевых элементов и по-прежнему не разрешима для . В самом деле, для двух разных векторов и мы могли бы очень хорошо иметь это
Если мы подумаем о как вектор, то существуют направления, по которым ведет себя как ненулевое (это называется пространством строк ) и другими направлениями, где ведет себя как нуль (это называется пустым пространством ). Суть в том, что если ведет себя как нуль по некоторым направлениям, то ответ на вопрос "есть вообще решаема для любого ?" это "это зависит от ". Точнее, если находится в пространстве столбца , то есть решение.
Итак, есть ли способ, которым мы можем сказать, является ли ведет себя как ноль в некоторых направлениях? Да, это определитель! Если затем всегда имеет решение. Однако если, затем может иметь или не иметь решения в зависимости от а если есть одно, то и решений бесконечное множество.
Один из способов трактовки определителя, который проясняет связь между всеми упомянутыми вами различными понятиями, заключается в следующем:
Учитывая векторное пространство размера над полем и основа из , определитель представляет собой единственный (отличный от нуля) знакопеременный полилинейный -форма из который удовлетворяет .
Это просто означает, что определитель является функцией который принимает кортеж из векторы и возвращает скаляр из поля , такой, что
(1) является линейным в каждом из переменные (это "многолинейный")
(2) если два из равны, то ( «чередуется»)
(3) Оказывается, множество функций удовлетворяющие двум вышеуказанным свойствам, все кратны друг другу. Итак, выбираем основу из и говорят, что определитель есть функция удовлетворяющий вышеуказанным свойствам, который отображает к .
Конечно, не сразу очевидно, что такая функция существует и уникален!
Чтобы немного упростить, возьмем векторное пространство быть и основа быть канонической основой.
Оказывается, определитель удовлетворяет тому чудесному свойству, что если и только если является основой.
Теперь ... дано векторы такое, что для координат в базисе из являются , определитель -векторы можно показать равным
которое должно быть вам знакомо как выражение определителя в терминах перестановок. Здесь — симметрическая группа, т. е. множество перестановок и является сигнатурой перестановки .
Чтобы установить связь между определителем множества векторов к определителю матрицы, только заметим, что матрица это именно та матрица, векторы-столбцы которой равны .
Таким образом, когда мы берем определитель матрицы, на самом деле мы оцениваем функцию с точки зрения векторы-столбцы. Ранее мы говорили, что эта функция отлична от нуля тогда и только тогда, когда векторы образуют базис - другими словами, тогда и только тогда, когда матрица имеет полный ранг, т.е. тогда и только тогда, когда она обратима.
Таким образом, абстрактное определение определителя как функции, которая отображает набор векторов в скалярное поле (при этом подчиняясь некоторым хорошим свойствам, таким как линейность), эквивалентно функции от матриц к скалярному полю, которая отлична от нуля точно, когда матрица обратима. Более того, эта функция оказывается мультипликативной! (Следовательно, ограничение этой функции на множество обратимых матриц дает гомоморфизм групп из к .
Выражение определителя матрицы через перестановки может быть использовано для получения многих хороших свойств, с которыми вы знакомы, например
матрица и ее транспонирование имеют один и тот же de
det треугольной матрицы является произведением диагональных элементов
формула Лапласа, известная как расширение кофактора, которое говорит вам, как вычислить определитель с точки зрения взвешенной суммы определителей подматриц:
где является определителем матрицы, полученной из удалив строку и столбец , известный как минор .
Представьте себе совершенно общую систему уравнений
Если мы решим для переменных в терминах других переменных и запишем результаты в наименьших терминах, мы увидим, что выражения для каждого у всех одинаковые функции в знаменателе. (Скажем, мы работаем над целыми числами.) Это выражение (с точностью до единицы) является определителем системы .
Если вы выберете систематический способ решения систем, скажем, методом исключения Гаусса, вы можете использовать его, чтобы вывести формулу для этого определителя.
Я думаю, что это гораздо более естественно, чем другие подходы, потому что вы начинаете с чего-то простого и общего, например, с системы линейных уравнений, затем опускаете голову и решаете ее, и это понятие появляется.
Конечно, это дает вам ответ только с точностью до знака, но на самом деле это имеет смысл, потому что вводится произвольный выбор знака.
У Гарибальди есть статья, в которой представлен этот и некоторые родственные подходы, озаглавленная « Определитель и характеристический многочлен не являются специальными конструкциями» . (Чтобы формализовать это, вы хотите ввести небольшую теорию колец, чтобы у вас были формальные понятия неопределенности и так далее.)
Постараюсь объяснить это интуитивно. Но сначала вы должны понять некоторые понятия. Рекомендую ролики 3b1b для интуиции в "линейных комбинациях". В любом случае, это не сложная для понимания концепция, я немного представлю ее.
Прежде всего, давайте начнем с примера, а затем попробуем обобщить. Итак, представьте, что у нас есть матрица .
Теперь давайте возьмем векторы-столбцы этой матрицы, и . Линейная комбинация этих векторов — это то, что мы называем пространством столбцов — Col(A) , все возможные комбинации этих векторов:
Графически это выглядит примерно так (для и как целые числа):
Также у нас есть Row Space - Row(A) , тождественно определяемый как линейная комбинация векторов-строк и . Их можно представить графически так же, как с Col(A).
Таким образом, определитель — это площадь, созданная параллелограммом, заданным векторами-строками (вектор-столбец генерирует ту же площадь, но для удобства давайте будем использовать векторы-строки). На изображении он представлен синим параллелограммом. Итак, площадь параллелограмма .
Итак, как мы можем рассчитать эту площадь? Для понимания этой части вы должны иметь базовые знания в «операциях со строками» и «площадях параллелограмма».
Давай позвоним " "первый ряд и" " вторая строка. Одна из основных операций над строками заключается в добавлении к одной строке другой масштабируемой строки. Итак, представьте, что строка работает с как , любое действительное число. Не отчаивайтесь, если вы не понимаете, почему мы работаем на ряду, все сразу станет ясно.
Итак, назовем B новой матрицей, сгенерированной после замены к . Так, с кавычками будет преобразованной версией . Что произойдет с Row(A) и Det(A)? Посмотрите, что произойдет с Row(B) и Det(B), когда мы изменим к с разными значениями для :
Итак, мы можем видеть, что движется параллельно что очевидно, потому что мы добавляем масштабированную версию к .
Предполагая, что у вас есть знания в «областях параллелограмма», вы можете убедиться, что основание и высота не меняются. Это означает, что площадь остается постоянной при добавлении одной строки, масштабируемой к другой строке, потому что мы не меняем высоту и никогда не двигаемся параллельно. Таким образом, Det(A)=Det(B) .
Итак, вот и ВОЛШЕБНАЯ ЧАСТЬ , мы должны найти таким образом, что мы исключаем y-компоненту вектор-строка (y-компонента ). Таким образом, применяя операцию строки с такой, что , преобразованная матрица будет:
Итак, наша матрица B имеет треугольную форму, Row(B) выглядит так:
Теперь у нас есть параллелограмм с длиной основания и высота длина . Таким образом, по определению площади параллелограмма мы имеем, что . Таким образом, определитель — это просто произведение диагональных элементов треугольной матричной формы, которую мы называем ступенчатой формой. МАГИЯ
Мы могли бы найти прямоугольник с той же площадью, что и Det(A), повторив этот процесс, но на этот раз применив операцию строки к так что мы исключаем его x-компоненту (x-компоненту ) таким образом, что мы получаем прямоугольник с площадью Det(B), которая имеет площадь, эквивалентную Det(A), но это совершенно не нужно, так как это не меняет основание и высоту параллелограмма. В любом случае для интуиции этого процесса будет выглядеть так:
Так .
Имеем, что база и высота , поэтому площадь прямоугольника . Определитель — это просто произведение диагональных элементов диагональной матрицы.
Итак, мы видели, что произведение диагональных элементов преобразованной матрицы в треугольную форму дает нам определитель матрицы. Почему треугольной формы? Представлять себе будучи измерение, поэтому каждый вектор-строка в форме эшелона матрицы добавляет новый компонент к измерение, поэтому с точки зрения геометрии он добавляет высоту к измерению.
Преимущество этой техники в том, что ее можно применять к любым n-мерным измерениям и поддерживать интуитивное понимание того, что вы делаете. Я хотел бы представить трехмерное графическое доказательство, но это потребует большой работы, которую, я думаю, вы могли бы сделать, проявив немного воображения. Идея состоит в том, что при добавлении масштабной версии вектора к другому вектору вы двигаетесь параллельно гиперплоскости, в которой лежит этот вектор, поэтому высота не изменяется.
Я пытаюсь сделать интуитивно понятный и геометрический процесс, используя эту Библиографию:
The determinant of a matrix gives the signed volume of the parallelepiped
that is generated by the vectors given by the matrix columns.
Вы можете найти очень педагогическое обсуждение на странице 16
Наглядное введение в дифференциальные формы и исчисление на многообразиях Fortney, JP
ссылка на книгу Google, нажмите «1 справочный материал»
Дан параллелепипед, ребра которого равны . Затем, если вы принимаете эти 3 свойства:
ты можешь показать это - объем параллелепипеда со знаком и что является определителем.
Позволять
быть линейно независимым (и, следовательно, базисным). Итак, для любого
существуют уникальные
с
Но неясно, каковы явные значения
с (с точки зрения
песок
) являются.
Для любой линейной карты
Итак, если мы можем указать (явно) линейную карту
с
и
можно вычислить как
В общем, если мы укажем линейные карты
с
для
и
в
s можно вычислить как
Итак, если мы каким-то образом построим полилинейную карту где я) если любые два аргумента равны, и ii) в любое время линейно независимы, мы закончим
Принимая
Оказывается, такая конструкция возможна и уникальна с точностью до умножения на ненулевые скаляры. С учетом нормализующего ограничения мы получаем уникальную карту, называемую определителем.
Джейми Бэнкс
Бишоф
Бишоф
Джейми Бэнкс
Бишоф
Джейми Бэнкс
пользователь1729
Хью Энтвистл
ДР