Как понять матрицы интуитивно (машины, которые преобразуют путешествия)

Матрицы это тема, из-за которой способные ученики вдруг чувствуют себя глупыми. До этой точки у каждой операции была картинка. Сложение это соединение. Умножение это масштабирование. Даже операции с векторами из статьи прошлой недели были путешествиями, которые можно пройти пешком. Потом кто-то рисует две сетки чисел, объявляет, что умножать их надо «строка на столбец», и картинка пропадает. Правило работает. Никто не может сказать, что оно делает.

В итоге получается второе двойное зрение, брат того, что было в статье о векторах. На уроке алгебры матрица это коробка с числами. На следующих курсах это «линейное преобразование», фраза, которая звучит как ответ и ничего не объясняет. Эта статья и есть мост: матрица это машина, которая берёт путешествие и возвращает путешествие, каждый столбец сетки это запись, куда попала одна ось, а правило умножения это просто бухгалтерия запуска двух машин подряд.

Машина, которая преобразует путешествия

Эта серия снова и снова возвращается к одной идее: числа указывают. Отрицательное число это обычное число, направленное назад. Мнимое число это число, направленное вбок, прочь с прямой и в плоскость. Вектор это та же идея на свободе, величина, которая несёт любое направление. Как только есть путешествия, следующий вопрос почти неизбежен. Что действует на путешествие? Что берёт «3 на восток, 4 на север» и превращает его в другое путешествие?

Этот механизм и есть матрица.

Представьте машину с настройкой, которая может растянуть, сжать, повернуть или перевернуть всё, что вы ей подадите. Вы даёте ей путешествие, она возвращает путешествие. Матрица 2 на 2 это полная инструкция для такой машины, действующей на плоскости. Матрица 3 на 3 это та же идея в пространстве. Сетка чисел это не объект. Сетка это инструкция.

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

Столбцы это то, куда попали оси

Вот факт, от которого весь предмет становится читаемым. Вам не нужно знать, что матрица делает с каждым возможным путешествием. Достаточно знать, что она делает с двумя из них: с одним шагом на восток и с одним шагом на север. Любое другое путешествие это комбинация этих двух, поэтому действие машины на любое путешествие это та же комбинация её действий на оси.

Запишите эти два результата как столбцы, и вы получите матрицу.

Допустим, машина отправляет один шаг на восток в (2, 1), а один шаг на север в (0, 3). Матрица это сетка 2 на 2, у которой первый столбец это 2, 1, а второй это 0, 3. Подайте ей путешествие (3, 4), то есть «3 на восток, затем 4 на север», и на выходе будет 3 копии первого столбца плюс 4 копии второго: 3 раза (2, 1) плюс 4 раза (0, 3), то есть (6, 3) плюс (0, 12), то есть (6, 15). Это и есть умножение матрицы на вектор. Ритуал «строка на столбец» в учебнике это та же сумма, записанная так, чтобы компьютер мог её посчитать без стрелок.

Читатели статьи о векторах узнают сумму: вы складываете масштабированные путешествия. Матрица не изобретает новый вид арифметики. Она заново использует арифметику путешествий, по разу на каждый столбец.

Единичная матрица это машина, которая ничего не делает. Один шаг на восток остаётся одним шагом на восток, один шаг на север остаётся одним шагом на север, поэтому её столбцы это в точности два осевых путешествия. Подайте ей что угодно, и получите то же самое обратно. Это копир, выставленный на 100 процентов, без поворота, и именно поэтому у числа 1 есть двойник в этом предмете.

Умножение значит сначала это, потом то

Правило, которое кажется выдуманным, умножение двух матриц, это композиция функций, только в сетке. Умножить A на B значит собрать одну машину, которая сначала делает B, а потом A. Вы подаёте путешествие в B, берёте то, что вышло, и подаёте это в A. Произведение AB это инструкция этой составной машины.

Вот почему важен порядок, и почему он кажется перевёрнутым. AB это не BA, по той же причине, по какой сначала носки, потом ботинки это не сначала ботинки, потом носки. Правая машина действует первой, потому что так мы уже пишем функции: f(g(x)) сначала применяет g. Умножение матриц унаследовало ту же договорённость.

Вот почему существует рецепт «строка на столбец». Столбцы AB это то, что составная машина делает с осями, а значит это A, применённая к столбцам B. Каждый из них это произведение матрицы на вектор, а каждое такое произведение это стопка скалярных произведений. Ритуал учебника это три слоя одной идеи, сжатые в одну памятку.

Полезное следствие: можно перестать заучивать, когда две матрицы разрешено умножать. Они умножаются, когда путешествия на выходе первой машины нужного размера, чтобы войти во вторую. Матрица 2 на 3 ест трёхмерные путешествия и возвращает двумерные. Она может стоять справа от матрицы 2 на 2, которая ест двумерные путешествия, и слева от матрицы 3 на 4, которая возвращает трёхмерные. Внутренние размеры должны совпасть, потому что это один коридор.

Определитель это сколько площади выживает

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

Если определитель равен 2, машина удваивает площади. Если равен 1/2, уменьшает их вдвое. Если равен 0, параллелограмм схлопнулся в отрезок или точку: машина сплющила плоскость, два разных путешествия могут попасть в одно место, и информация выброшена. Если он отрицательный, машина перевернула ориентацию, превратив квадрат против часовой стрелки в квадрат по часовой, тот же разворот, который отрицательные числа делают на прямой.

Вычислительные рецепты, ad минус bc для матрицы 2 на 2, потом разложение по алгебраическим дополнениям, это способы посчитать эту площадь. Они не смысл. Как только вы видите параллелограмм, фраза «определитель равен нулю» перестаёт быть загадочным сбоем и становится картинкой: два столбца смотрят вдоль одной прямой, поэтому они не натягивают площадь, поэтому машину нельзя отличить от проекции на эту прямую.

Именно поэтому нулевой определитель запрещает обратную матрицу, а в этом весь смысл следующего раздела.

Обратная матрица значит отменить

Обратная матрица это кнопка отмены. Если A отправляет путешествие v в путешествие w, то обратная к A отправляет w обратно в v. Запустить машину, а затем её обратную, значит получить единичную матрицу: вы оказываетесь там, откуда начали, будто ничего не было.

Машину можно отменить ровно тогда, когда она ничего не выбросила. Это снова проверка определителем. Если два разных входных путешествия могут дать один выход, нет честного способа сказать, из какого входа вышел данный выход, и обратной матрицы нет. Если каждый выход пришёл ровно из одного входа, машина отмены существует и единственна.

В школе это приходит как формула с единицей, делённой на определитель, и перетасованной сеткой элементов. Формула настоящая, и её стоит отрабатывать, но она следствие. Идея это «прокрутить плёнку назад», и она работает только когда плёнка не сплющила сцену.

Системы линейных уравнений это та же идея в костюме. Алгебра учила решать два уравнения с двумя неизвестными методом исключения. Эти два уравнения это матрица, действующая на неизвестное путешествие и приравненная к известному. Решить систему значит применить обратную матрицу. Когда у системы нет решения или решений бесконечно много, определитель равен нулю: машина сплющила плоскость, и правая часть либо промахнулась мимо оставшейся прямой, либо попала на неё бесконечно многими способами. Случаи, которые вы заучили как «несовместная» и «неопределённая», это два способа, которыми схлопывающаяся машина может не иметь одной отмены.

Собственные векторы отказываются поворачивать

Большинство путешествий входят в машину и выходят, указывая в новую сторону. Несколько особых выходят, указывая туда же, куда входили, только длиннее или короче. Эти путешествия и есть собственные векторы, а коэффициент растяжения есть собственное значение.

Картинка это аэродинамическая труба. Большинство стрелок сбивает вбок. Собственные векторы это стрелки, которые ветер только удлиняет или укорачивает. Если коэффициент равен 2, машина удваивает это путешествие. Если равен 1, оставляет его в покое. Если равен 0, сминает его в ничто, и это сплющивание из двух прошлых разделов, увиденное вдоль одного направления. Если коэффициент отрицательный, путешествие ещё и разворачивается, а не только растягивается.

Это единственная идея поздних глав, которая выглядит продвинутой и не является ею. Искать собственные векторы значит спрашивать: вдоль каких направлений эта машина действует как обычное умножение на число? Как только эти направления есть, машина становится простой в этой системе координат, и поэтому каждая область, которая пользуется матрицами, от дифференциальных уравнений до ранжирования веб-страниц, сразу начинает их искать.

Откуда берутся ошибки

Ошибки с матрицами скапливаются в трёх местах, и каждое это картинка, которую так и не нарисовали.

Первая: умножать клетку на клетку. Ученики видят две сетки одного размера и спаривают числа, как при сложении матриц, которое и правда идёт по клеткам. Умножение это не сложение. Это запуск одной машины, а затем другой. Две матрицы 2 на 2 дают снова матрицу 2 на 2, но каждый выходной столбец это A, применённая к столбцу B, а не четыре пары совпадающих клеток, перемноженные.

Вторая: игнорировать порядок. AB и BA это разные машины всякий раз, когда A и B делают разное, то есть почти всегда. Писать множители в том порядке, в каком вы с ними встретились, а не в том, в каком они действуют, это ошибка с носками и ботинками, и это самая частая алгебраическая осечка во всей главе.

Третья: считать нулевой определитель сломанным калькулятором, а не сплющенным параллелограммом. Машина всё ещё что-то делает: она отправляет каждое путешествие на прямую или в начало координат. Её просто нельзя отменить. «Нет обратной матрицы» это не отказ вселенной. Это описание машины, которая потеряла измерение.

Где вписывается Math Zen

Матрицы стоят на векторном этаже, и шаткость там проявляется сразу. Сложение столбцов это сложение векторов. Шаг «строка на столбец» это скалярное произведение. Определитель матрицы 2 на 2 это ориентированная площадь параллелограмма, та же геометрия, которой статья о векторах пользовалась для правила параллелограмма. Если эти операции всё ещё словесные, а не зрительные, каждое матричное вычисление становится ритуалом.

Прогрессия корзин в Math Zen держит этажи в порядке. Ранние корзины отрабатывают арифметику со знаками и единичную окружность. Корзины по векторам затем делают сложение, масштабирование и скалярное произведение рефлексом. Корзины по матрицам принимают это как данное и отрабатывают новые операции: умножение, определители, обращение, решение систем и поиск собственных значений, то есть ровно список картинок этой статьи, превращённый в короткие задачи, которые можно решать каждый день. Интервальные повторения превращают фразу «столбцы это то, куда попали оси» из предложения, которое когда-то показалось убедительным, в рефлекс, которым вы пользуетесь на второй строке экзаменационной задачи.

Итог

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

Собранный так, предмет содержит одну идею, применённую к всё большим машинам. Двойное зрение двух кабинетов исчезает в тот момент, когда вы перестаёте спрашивать, матрица на самом деле сетка или на самом деле преобразование. На самом деле это машина, а сетка это просто список, куда ушли оси.