- •Тема 3. Системы линейных алгебраических уравнений.
- •1. Системы линейных алгебраических уравнений.
- •2. Системы с невырожденной квадратной матрицей.
- •3. Критерий совместности системы. Общее решение. Критерий единственности решения.
- •4. Геометрическая интерпретация множества решений.
- •5. Метод Гаусса.
- •Тема 4. Евклидовы и нормированные пространства.
- •1. Скалярное произведение и евклидова норма.
- •2. Унитарное пространство.
- •3. Ортогональность.
- •4. Объем многомерного параллелепипеда.
- •5. Метрические пространства.
- •6. Линейные нормированные пространства.
4. Объем многомерного параллелепипеда.
Найдем площадь параллелограмма, образованного двумя направленными отрезками и с общим началом в точке – начале координат. Для этого разложим, например, : . Искомая площадь равна . Назовем эту площадь «двумерным объемом» или объемом системы векторов ,; обозначение: . Очевидно, что в том и только в том случае, если и коллинеарны.
Найдем объем параллелепипеда, образованного тремя направленными отрезками ,, с общим началом в точке – начале координат. Для этого используем, например, разложения и . Искомый объем равен . Очевидно, что в том и только в том случае, если ,, лежат в одной плоскости (такие направленные отрезки называют компланарными).
Вообще, пусть – элементы евклидова пространства , . Снова будем пользоваться обозначениями , причем под будем подразумевать нулевое подпространство пространства . Ясно, что в разложении . Назовем объемом -мерного параллелепипеда, образованного векторами , произведение чисел: . Очевидно, что в том и только в том случае, если система векторов линейно зависима.
5. Метрические пространства.
Наличие скалярного произведения в линейном пространстве позволяет ввести в нем евклидову норму (длину) вектора и евклидово расстояние между точками. Однако, часто требуется измерять длины и расстояния по-другому, в ином смысле. Рассмотрим наиболее общий подход к измерению расстояний между точками.
Пусть – произвольное множество, не обязательно линейное пространство. Говорят, что в введено расстояние между его элементами ( точками), если каждой паре элементов поставлено в соответствие действительное число , причем выполнены следующие аксиомы:
1. для любых .
2. , если ; если .
3. для любых .
Такая функция двух переменных называется расстоянием или метрикой. Множество с метрикой называется метрическим пространством.
Примеры метрических пространств.
1. , .
2. – произвольное множество, Такое метрическое пространство называется пространством изолированных точек.
3. , .
4. , но расстояние введено отличным от примера 3 способом: .
5. , .
6. , но расстояние введено отличным от примера 5 способом: .
Задача. Проверьте, что в приведенных примерах выполнены аксиомы метрики.¨
Наличие метрики во множестве позволяет ввести понятие предела последовательности элементов этого множества.
Определение. Пусть – бесконечная последовательность элементов множества . Элемент называется пределом последовательности , если для любого действительного числа найдется такой номер, что при всех выполнены неравенства .
Задача. Сформулируйте определение фундаментальной последовательности элементов метрического пространства.
Замечание. Критерий Коши справедлив не во всех метрических пространствах!
Одна и та же последовательность может быть сходящейся в одной метрике и расходящейся в другой метрике. Например, если , , то в метрике примера 1 эта последовательность сходится к числу . Но в метрике примера 2 такая последовательность не имеет предела, поскольку она состоит из попарно различных элементов.
Множество всех элементов метрического пространства, которые удовлетворяют неравенству ( – некоторый фиксированный элемент), называется открытым шаром радиуса с центром . Множество всех элементов , удовлетворяющих неравенству , называется замкнутым шаром. Множество метрического пространства называется ограниченным, если оно целиком содержится в некотором шаре конечного радиуса (т.е. существуют такой элемент и такое число , что для всех выполнено неравенство ).
Задача. Функция задана на метрическом пространстве (). Сформулируйте определение непрерывности этой функции в точке в смысле метрики .