Матрица (математика)
Ма́трица — математикаҕа объект. Строка уонна столбец холбоһуга, быһа охсуһар быыстарыгар элеменнара бааллар, бэйэтэ көнө муннук таблицаҕа суруллар. Матрица размерын кини строката уонна столбецтара туруораллар.
Матрицалар улаханнык алгебраическай уонна дифференциальнай тэҥнэбили суоттуурга туһалыыллар. Бу түгэҥҥэ матрица строкатын размера тэҥнэбил ахсааныгар тэҥнэһэр, онтон биллибэт элеменнар ахсааннара - столбец ахсаанын. Линейнай тэҥнэбил системата түмүгэр матрицанан суоттанар. Матрицаҕа бу алгебраическай операциялар ананаллар:
- тэҥ кээмэйдээх матрицалар эбсэллэр;
- барсар кээмэйдээх матрицалар төгүллэһиилэрэ;
- ол ахсааныгар матрица векторыгар төгүллээһинэ;
- матрицаны сүрүн кольцо эбэтэр поле элеменыгар төгүллээһинэ;
Дакаастаммыта: хас биир n-мернай пространствоҕа сылдьар линейнай операторга соҕотох n-бэрээдэктээх квадратнай матрицаны туруоран биэриэххэ сөп; уонна инник курдук - хас биир n-бэрээдэктээх квадратнай матрицаҕа соҕотох, бу пространствоҕа үлэлиир линейнай оператор туруоран биэриэххэ сөп. Матрица свойствата линейнай оператор свойстволарыгар сөп түбэһэр. Быстах түбэлтэҕэ матрица чыыһылалара - оператор бэйэтин чыыһылалара буолаллар. Билинейнай форма туһунан эмиэ ити курдук этиэххэ сөп. Математикаҕа матрица элбэх арааһа көрүллэр. Ол курдук: единичнай, симметрическай, кососимметрическай, уо. д. а. матрицалар.
Матрица теориятыгар улахан суолталаах оруолу "нормальные формы" - матрица каноническай арааһа оонньуур.
Устуоруйата
[уларыт | биики-тиэкиһи уларытыы]Матрица аан бастаан былыргы Китайга үөскээбитэ, "аптаах квадрат" диэн ааттанара. Кини туһата диэн - линейнай уравнениелары суоттааһына этэ. Кыратык хойут "аптаах квадрат" араб математиктарыгар баар буолбута, матрица эбсиитин принциба ол бириэмэлэргэ үөскээбитэ. 17 үйэ бүтүүтүгэр определителлэр туһунан теорияны сайыннарбыттарын кэннэ Габриэль Крамер "Крамер быраабылатын" 18 үйэҕэ саҕалаан баран 1751 сылга биллэрбитэ. Бу бириэмэлэргэ "Метод гаусса" үөскээбитэ. 19 үйэҕэ Уильям Гамильтон уонна Артур Кэли матрица теориятын үөскэппиттэрэ. "Матрица" диэн термины Джеймс сильвестр 1850 сылга айбыта.
Киирии
[уларыт | биики-тиэкиһи уларытыы]Матрицалар линейнай тэҥнэбил систематын суоттуурга уонна линейнай кубулуйууга көмө буолаллар.
Линейнай тэҥнэбил системата
[уларыт | биики-тиэкиһи уларытыы]Маннык араас линейнай тэҥнэбил систематын көрүоххэ:
- .
Бу система линейнай тэҥнэбилтэн уонна биллибэттэн турар. Кини бу курдук суруллуон сөп :
- ,
манна
Матрица - линейнай тэҥнэбил систематын коэффициенынан буолар, вектор-столбец — биллибэт вектор, онтон туруору вектор — ханнык эрэ бэриллибит вектор. Система суоттанарын гына, хайаан даҕаны вектор остуолба линейнай комбинациятынан буолуон наада , оччоҕуна вектор — вектор коэффициэннарын ыһыллыыларын муһар матрица столбецтарынан. Матрица тылыгар линейнай тэҥнэбил суоттанарыгар көҥүл усулуобуйата баар теоремы Кронекера-Капелли:
- матрица рангата матрица расширеннай рангатыгар тэҥ,
столбецтан уонна столбецтан турар.
Линейнай кубулуйуулар
[уларыт | биики-тиэкиһи уларытыы]линейнай кубулуйууну көрүөххэ, -мернай векторнай пространства в -мерное векторное пространство :
- .
Матрица форматынан:
- .
матрица - линейнай кубулуйуу коэффициэннарын матрицалара. Если рассмотреть действие линейного преобразования на векторы вида
- ,
составляющие базис пространства , то — это есть j-ый столбец матрицы . Таким образом, матрица полностью описывает линейное преобразование , и, поэтому, называется матрицей линейного преобразования.
Быһаарыы
[уларыт | биики-тиэкиһи уларытыы]Көнө муннук матрица
[уларыт | биики-тиэкиһи уларытыы]Икки конечнай матрциа баар:
- строкалар нүөмэрдэрэ: ;
- столбецтар нүөмэрдэрэ: , манна уонна — натуральнай чыыһылалар.
Матрица размердаах (читается на ) ( - строк, - столбцов) элеменнардаах из некоторого кольца или поля отображение вида . Матрица суруллар.
где элемент матрицы находится на пересечении -й строки и -го столбца.
- -я строка матрицы
- -й столбец матрицы
Манна матрица элеменын ахсаана тэҥнэһэр. В соответствии с этим
- каждую строку матрицы можно интерпретировать как вектор в -мерном координатном пространстве ;
- каждый столбец матрицы — как вектор в -мерном координатном пространстве .
Сама матрица естественным образом интерпретируется как вектор в пространстве , имеющем размерность . Это позволяет ввести покомпонентное сложение матриц и умножение матрицы на число (см. ниже); что касается матричного умножения, то оно существенным образом опирается на прямоугольную структуру матрицы.
Квадратнай матрица
[уларыт | биики-тиэкиһи уларытыы]Өскөтүн матрицаҕа строка ахсаана кини столбеһын ахсаанын кытта тэҥнэһэр буоллаҕына, инник матрица квадратнай диэн ааттанар, онтон квадратнай матрица размерынан эбэтэр бэрээдэгинэн ааттанар.
Строка-вектор уонна столбец-вектор
[уларыт | биики-тиэкиһи уларытыы]Матрицы размера и являются элементами пространств и соответственно:
- матрица размера называется вектор-столбцом и имеет специальное обозначение:
- матрица размера называется вектор-строкой и имеет специальное обозначение:
Матрица элементарнай кубулуйуулара
[уларыт | биики-тиэкиһи уларытыы]Элементарными преобразованиями строк матрицы называются следующие преобразования:
- Умножение строки на число отличное от нуля,
- Прибавление одной строки к другой строке,
- Перестановка местами двух строк.
Элементарные преобразования столбцов матрицы определяются аналогично.
Матрица рангата
[уларыт | биики-тиэкиһи уларытыы]Строки и столбцы матрицы являются элементами соответствующих векторных пространств:
- столбцы матрицы составляют элементы пространства размерности ;
- строки матрицы составляют элементы пространства размерности .
Рангом матрицы называют количество линейно независимых столбцов матрицы (столбцовый ранг матрицы) или количество линейно независимых строк матрицы (строчный ранг матрицы). Этому определению эквивалентно определение ранга матрицы как порядка максимального отличного от нуля минора матрицы. При элементарных преобразованиях ранг матрицы не меняется.
Бэлиэлэрэ
[уларыт | биики-тиэкиһи уларытыы]Матрицаны алфавит улахан буукубатынан суруйаллар: холобур
оччоҕуна — матрица, көнө массив элеменнара поле араас , ханна
- бастакы индекс строка индексын көрдөрөр: ;
- иккис индекс столбец индексын көрдөрөр: ;
маннык гынан, — матрица элемена , -й строка уонна столбец быһа охсуһуутугар сытар. В соответствии с этим принято следующее компактное обозначение для матрицы размера :
или просто
если нужно просто указать обозначение для элементов матрицы.
Иногда, вместо , пишут , чтобы отделить индексы друг от друга и избежать смешения с произведением двух чисел.
Если необходимо дать развёрнутое представление матрицы в виде таблицы, то используют запись вида
Можно встретить как обозначения с круглыми скобками «(…)», так и обозначения с квадратными скобками «[…]». Реже можно встретить обозначения с двойными прямыми линиями «||…||»).
Поскольку матрица состоит из строк и столбцов, для них используются следующие обозначения:
- — это -я строка матрицы ,
а
- — это -й столбец матрицы .
Таким образом, матрица обладает двойственным представлением — по столбцам:
и по строкам:
- .
Такое представление позволяет формулировать свойства матриц в терминах строк или в терминах столбцов.
Транспонированнай матрица
[уларыт | биики-тиэкиһи уларытыы]Хас биир матрицаҕа размера матрица тутуохха сөп размера , у которой для всех и . Маннык матрица транспортированнай диэн ааттанар, уонна маннык суруллар. При транспонировании строки (столбцы) матрицы становятся столбцами (соответственно - строками) матрицы . . Для матриц над кольцом транспонирование является изоморфизмом - модулей матриц, поскольку
- ,
- , для любых .
Диагональнай матрица
[уларыт | биики-тиэкиһи уларытыы]Диагональнай матрица диэн - квадратнай матрица, ол гынан кини элеменнара - нулевые , иногда записывается как:
Единичнай матрица
[уларыт | биики-тиэкиһи уларытыы]Единичнай матрица — матрица, при умножении на которую любая матрица (или вектор) остается неизменной, является диагональной матрицей с единичными (всеми) диагональными элементами:
Для её обозначения чаще всего используется обозначение I или E, а также просто 1 (или 1 специальным шрифтом). Для обозначения её элементов также используется символ Кронекера , определяемый как:
- при
Нулевой матрица
[уларыт | биики-тиэкиһи уларытыы]Для обозначения нулевой матрицы — матрицы, все элементы которой нули (при сложении её с любой матрицей та остается неизменной, а при умножении на любую получается нулевая матрица) — используется обычно просто 0 или 0 специальным шрифтом, или буква, начертанием похожая на ноль, например .
Матрицаны кытта үлэлээһин
[уларыт | биики-тиэкиһи уларытыы]Матрица эбиитэ
[уларыт | биики-тиэкиһи уларытыы]Тэҥ размердаах эрэ матрицалары эбиэххэ сөп. Тэҥ размердаах эрэ матрицалары эбиэххэ сөп. Матрицалар эбсиилэрэ диэн матрицаны булааһын буолар, бары элеменнара попарнай эбсиилэригэр бары элементов матриц и , ол аата хас биир матрица элеменэ тэҥнэһэр
Матрица эбсиитин свойстволара:
- коммутативность: A+B = B+A;
- ассоциативность: (A+B)+C =A+(B+C);
- нулевой матрицаны кытта эбсии: A + Θ = A;
- противоположнай матрица: A + (-A) = Θ;
Бары свойствалар линейных операций аксиомалары хатылыыллар линейного пространства ол иһин маннык теорема баар:
Элбэх тэҥ размердаах матрицалар mxn полеттан P элеменнэрдээх (поля всех действительных эбэтэр комплексных чисел) линейное пространство Р поле үрдүнэн уөскэтэллэр (хас-биир маннык матрица бу эйгэ вектора буолар).
Матрицаны чыыһылаҕа төгүллээһин
[уларыт | биики-тиэкиһи уларытыы]Матрицаны чыыһылаҕа төгүллээһинэ маннык буолар .
Свойства умножения матриц на число:
- умножение на единицу: 1A = A;
- ассоциативность: (λβ)A = λ(βA);
- дистрибутивность: (λ+β)A = λA + βA;
- дистрибутивность: λ(A+B) = λA + λB;
Матрицалар төгүллэрэ
[уларыт | биики-тиэкиһи уларытыы]200px|right Умножение матриц (обозначение: , реже со знаком умножения ) — есть операция вычисления матрицы , каждый элемент которой равен сумме произведений элементов в соответствующей строке первого множителя и столбце второго.
Количество столбцов в матрице должно совпадать с количеством строк в матрице , иными словами, матрица обязана быть согласованной с матрицей . Если матрица имеет размерность , — , то размерность их произведения есть . Свойства умножения матриц:
- ассоциативность: (AB)C = A(BC);
- некоммутативность (в общем случае): AB BA;
- произведение коммутативно в случае умножения с единичной матрицей: AI = IA;
- дистрибутивность: (A+B)C = AC + BC, A(B+C) = AB + AC;
- ассоциативность и коммутативность относительно умножения на число: (λA)B = λ(AB) = A(λB);
Векторы матрицаҕа төгүллээһин
[уларыт | биики-тиэкиһи уларытыы]Матрица быраабылатынан матричнай төгүл матрица хаҥас столбец векторыттан саҕаланар, уонна вектор-строка уҥа матрицаҕа төгуллэнэр. Вектор-столбец уонна вектор-строка элеменнарын биир индексынан суруйуохха сөбүн иһин бу төгүлү маннык суруйуохха сөп: столбец-векторга v (получая новый вектор-столбец Av):
строка-векторга s (получая новый вектор-строку sA):
Вектор-строка, матрица уонна вектор-столбец бэйэ-бэйэлэригэр төгүллэниэхтэрин сөп, скалярнай чыыһыла биэрэллэр:
(Бэрээдэгэ наадалаах: вектор-строка слева, вектор-столбец матрицаттан уҥа).
Бу дьайыылар матричнай представление линейнэй оператордарын уонна координататын линейнэй кубулуйуутун основата буолар.
- При представлении вектора вещественного векторного пространства в ортонормированном базисе (что эквивалентно использованию прямоугольных декартовых координат) соответствующие ему вектор-столбец и вектор-строка, представляющие собой набор компонент вектора, будут совпадать (поэлементно), отличаясь лишь формально своим изображением для корректности матричных операций (то есть один получается из другого просто операцией транспонирования). При использовании же неортонормированных базисов (например, косоугольных координат или хотя бы разных масштабов по осям) вектор-столбец соответствует компонентам вектора в основном базисе, а вектор-строка — в базисе, дуальном основному[1] (Иногда о пространстве векторов-строк говорят также как об особом, дуальном пространству векторов-столбцов, пространстве ковекторов).
Заметим, что обычной мотивировкой введения матриц и определения операции матричного умножения (см.тж.в статье об умножении матриц) является именно введение их, начиная с умножения вектора на матрицу (которое вводится исходя из преобразований базиса или вообще линейных операций над векторами), а уже затем композиции преобразований сопоставляется произведение матриц. Действительно, если новый вектор Av, полученный из исходного вектора v преобразованием, представимым умножением на матрицу A, преобразовать теперь ещё раз, преобразованием, представимым умножением на матрицу B, получив B(Av), то, исходя из правила умножения вектора на матрицу, приведенного в начале этого параграфа (используя ассоциативность умножения чисел и меняя порядок суммирования), нетрудно увидеть в результате формулу, дающую элементы матрицы (BA), представляющую композицию первого и второго преобразований, и совпадающую с обычным определением матричного умножения.
Комплекснай сопряжение
[уларыт | биики-тиэкиһи уларытыы]Өскөтүн матрица элеменнарынан комплекснай чыыһылалар буолар буоллахтарына, комплексно сопряжённай матрица тэҥнэһэр . Манна — чыыһыла, комплексно сопряжённое к .
Транспонирование уонна эрмитово сопряжение
[уларыт | биики-тиэкиһи уларытыы]Транспонирование үөһээ көрүллүбүтэ: өскөтүн , оччоҕуна . Комплекснай матрицаларга быдан барсар эрмитово сопряжение: . Матрицаны операторнай өттүттэн көрдөххө, транспонированнай уонна эрмитово сопряжённай матрица — диэн оператор матрицалара, сопряжённого холоонноох скалярного эбэтэр эрмитова төгүллэр, сөптөөхтүк.
Туттуллубут айымньылар
[уларыт | биики-тиэкиһи уларытыы]- Беллман Р. "Матрица теориятыгар киллэрии" - 1969 с. Москва
- Биркгоф Г. (Garrett Birkhoff), Барти Т. (Thomas C. Bartee) аныгы прикладной алгебра - 1979 с. Москва
- Ван дер Варден Б. Л. (B. L. van der Waerden) Алгебра. (2-е изд.) - 1979 с. Москва
- Гантмахер Ф. Р. Теория матриц.- 5-е изд. - 2004 с. Москва
- Голуб Дж. (Gene H. Golub), Ван Лоун Ч. (Charles F. Van Loan) Матрица суоттааһыннара - 1999 с. Москва
- Курош А. Г. Үрдүк алгебра курса (9-е изд.) - 1968 с. Москва
- Курош А. Г. Уобсай алгебраҕа лекциялар - 1979 с. Москва
- Ланкастер П. (P. Lankaster) Матрица теорията - 1982 с. Москва
- Ленг С. (Serge Lang) Алгебра. - 1968 с. Москва
- Наймарк М. А. Группаны көрдөрүү теорията - 1976 с. Москва
- Соколов Н. П. Пространственнай матрицалар уонна кинини туттуу - 1960 с. Москва
- Хорн Р. (Roger A. Horn), Джонсон Ч. (Charles C. Johnson) Матрица аналиһа - 1989 с. Москва
- Халмош П. Конечномернай векторнай эйгэлэр - 1963 с. Москва
- ↑ Формально в этом определении всё симметрично, и можно было бы поменять «основной» и дуальный базис местами (они оба просто взаимно дуальны), однако принято именно описанное соглашение.