- •Розділ II.
- •§8. Системи лінійних рівнянь і n-вимірні вектори.
- •8.1. Поняття системи лінійних рівнянь, системи лінійних нерівностей та їх розв’язків.
- •8.2. Поняття n-вимірного вектора і n-вимірного лінійного векторного простору.
- •8.3. Загальні теореми про множину розв’язків систем лінійних рівнянь.
- •8.4. Теорема Крамера для квадратних слр.
- •§9. Лінійні векторні простори.
- •9.1. Загальне поняття лінійного векторного простору.
- •9.2. Підпростори лінійних векторних просторів.
- •9.3. Геометрія лінійних векторних просторів.
- •9.4. Опуклі множини в п-вимірному просторі.
- •§10. Метод Гауса розв’язання систем лінійних рівнянь.
- •10.1. Загальна ідея методу Гауса.
- •10.2. Поняття загального розв’язку слр.
- •10.3. Елементарні перетворення слр .
- •Позначення: ;
- •Позначення: .
- •10.4. Перетворення виключення.
- •10.5. Умова несумісності слр.
- •10.6. Вилучення залежних рівнянь.
- •10.7. Алгоритм методу Гауса.
- •10.8. Матрична форма методу Гауса.
- •§11. Елементи матричної алгебри.
- •11.1. Вступ до матричної алгебри.
- •11.2. Арифметичні операції над матрицями.
- •11.3. Економічне тлумачення операції матричного множення.
- •11.4. Властивості операцій над матрицями.
- •11.5. Мультиплікативна форма методу Гауса
- •11.6.Обернена матриця, її обчислення і застосування.
- •11.7. Застосування оберненої матриці до розв’язання систем лінійних рівнянь.
- •§12. Визначники n-го порядку, їх обчислення та застосування.
- •12.1. Аналіз спільних властивостей визначників 2-го та 3-го порядку.
- •12.2. Поняття визначника n-го порядку.
- •12.3. Обчислення визначників n-го порядку за означенням.
- •Спосіб генерування всіх перестановок чисел 1, 2, …..., n.
- •Перестановки чисел 1, 2, 3, 4
- •Формула для обчислення визначника 4-го порядку
- •12.4. Метод Гауса обчислення визначників.
- •12.5. Розкладення визначника за елементами рядка (або стовпчика).
- •12.6. Детермінантна формула для оберненої матриці.
- •12.7. Властивості визначників.
- •12.8. Теорема Крамера (загальний випадок).
- •12.9. Інтерполяційний многочлен.
- •§13. Лінійна залежність і незалежність n-вимірних векторів.
- •13.1. На підходах до поняття лінійної залежності і незалежності.
- •13.2. Загальне поняття лінійної залежності і незалежності.
- •13.3. Лінійна залежність в ℝ2 і ℝ3.
- •13.4. Властивості лінійно залежних і лінійно незалежних систем n-вимірних векторів.
- •13.5. Базиси n-вимірних векторних просторів.
- •13.6. Фундаментальна система розв’язків системи лінійних рівнянь.
- •Якщо скористатися результатом роботи методу Гаусса
- •13.7. Критерій сумісності систем лінійних рівнянь.
8.4. Теорема Крамера для квадратних слр.
У §2 при розгляді питання про перетин прямих ліній і площин були виведені детермінантні формули для знаходження значень невідомих квадратних СЛР 2-го і 3-го порядку. Нагадаємо ці формули.
Для СЛР розмірів 2х2:
, ,
де , , ,
тобто
, .
Приклад. Нехай маємо СЛР .
Основний та допоміжні визначники: ,
, ;
Розв’язок (значення змінних):
, .
Перевірка:
Для СЛР розмірів 3х3:
,
де
Як бачимо, правило Крамера однакове за формулюванням як для СЛР 2х2, так і для СЛР 3х3; тТак само однаково, за принципом побудови виглядають основний і допоміжні визначники СЛР:
якщо основний визначник СЛР відмінний від нуля,
то СЛР має, і до того ж єдиний, розв’язок;
значення невідомих дорівнюють відношенню
відповідного допоміжного визначника до
основного визначника СЛР;
основний визначник утворений з коефіцієнтів
при невідомих, допоміжні визначники утворені
з основного заміною в ньому стовпчика
коефіцієнтів при відповідній змінній
на стовпчик вільних членів.
Цю закономірність вперше побачив у 1750р. швейцарський математик Габріель Крамер (1704 – 1752), що підштовхнуло його до ідеї про поняття визначника як певної складної операції, яка виконується над елементами матриці і результатом якої є число. Природньо постало питання про узагальнення отриманих формул на випадок довільної квадратної СЛР. Для того, щоб узагальнити теорему і правило Крамера на випадок СЛР довільного розміру треба узагальнити поняття визначника. Це узагальнення було здійснене не одразу. Лише у 1840 р. після публікації роботи німецького математика Якобі „Про побудову і властивості визначників” визначники увійшли у загальне користування математиків. У посібнику цьому присвячений §12 “Визначники -го порядку, їх обчислення та застосування”.
§9. Лінійні векторні простори.
Загальне поняття лінійного векторного простору та його підпросторів. Приклади (простір многочленів, простір матриць, простір функцій). Ізоморфізм векторних просторів. Арифметичний лінійний -вимірний векторний простір та його геометрія (норма -вимірного вектора; гіперколо, гіперсфера, гіперплощина, гіперпряма, півпростір; нерівність Коші-Буняковського, нерівність трикутника, кут між -вимірними векторами; опуклі множини, опуклі многогранники).
9.1. Загальне поняття лінійного векторного простору.
Введення абстрактного поняття -вимірного вектора, здійснене в §8, узагальнює й об’єднує різні математичні об’єкти (конструкції), які інформаційно визначаються упорядкованими наборами (послідовностями) чисел, як, наприклад, розв’язки систем лінійних рівнянь. Природньо і логічно розглядати множину усіх -вимірних векторів, та ще й з урахуванням того, що над такими векторами можна виконувати арифметичні операції. Сам термін „вектор” бере походження з аналітичної геометрії, де геометричному поняттю вектора через посередництво системи координат поставлений у взаємно однозначну відповідність набір чисел – координат вектора. Координатне подання операцій над „звичайними” векторами, яке ми виводимо з означення операцій логічно і природньо веде до означення арифметичних операцій над -вимірними векторами (воно береться за означення): помножити вектор на число означає помножити на це число кожну координату, додати або відняти два вектора означає додати або відняти їх відповідні (одноіменні) координати, перемножити скалярно два вектори означає утворити суму добутків відповідних координат. Ці поняття не є „узагальненням заради узагальнення”, вони одразу ж починають „працювати” і дають загальний погляд на системи лінійних рівнянь (СЛР) та їх розв’язки, суттєво полегшують аналіз і спрощують доведення властивостей СЛР, зокрема, доведення основних теорем про розв’язки СЛР (див. §8).
Знову ж таки, цілком природньо виникає загальне поняття лінійного векторного простору без атрибуту -вимірний. І знову ж таки, як ми побачимо, це поняття не є „голою абстракцією”.
Означення (загальне означення лінійного векторного простору).
Лінійним векторним простором називається множина , на якій визначені дві операції: 1) множення елементів з на числа та 2)додавання будь-яких двох елементів з , причому ці операції мають властивості:
,
,
,
,
,
.
Дане означення здійснює так зване аксіоматичне задання лінійного векторного простору як абстрактного математичного об’єкту. Далі ми розглянемо декілька конкретних прикладів лінійних векторних просторів.
Нехай m і n – деякі довільні фіксовані натуральні числа. Позначимо Mmn множину усіх прямокутних матриць розмірів m х n, тобто матриць виду:
.
У §11 розглядаються елементи матричної алгебри і, зокрема, вводяться операції множення матриць на число та додавання матриць:
, ,
.
Як бачимо, множення матриці на число і додавання матриць — повний аналог відповідних операцій над n–вимірними векторами. При цьому можна подумки „розтягнути” матрицю в один рядок, записавши її рядки один за одним:
Матриця – прямокутна таблиця – „перетворилась” у -вимірний вектор. Таким чином, можна сказати, що множина Mmn усіх прямокутних матриць розмірів m х n є лінійним -вимірним векторним простором.
Розглянемо множину Fn усіх алгебраїчних многочленів степеня не вище n з дійсними коефіцієнтами:
Абсолютно очевидно, що Fn є лінійним векторним простором і, оскільки многочлен визначається своїми коефіцієнтами (яких є n+1)
,
то Fn є (n+1) -вимірним лінійним векторним простором.
Так само абсолютно очевидно, що лінійним векторним простором є множина всіх функцій. Тільки цей векторний простір вже не є скінченно вимірним. Строге означення поняття розмірності пов’язане з поняттям базису векторного простору і розглядається в §13. Але й нескладні інтуїтивні міркування дають підставу для висновку про нескінченновимірність простору усіх функцій: адже цьому простору належать, зокрема, многочлени будь-яких степенів, що не дозволяє обмежитись якоюсь фіксованою кількістю чисел для подання наборами таких чисел усіх многочленів, а отже, й усіх функцій.
Отже, можна розглядати багатовимірні векторні простори, елементи яких можуть мати різну природу, але з точки зору алгебри такі різні простори будуть абсолютно однаковими. В такій ситуації говорять про ізоморфізм відповідних об’єктів.