Многомерная геометрия 2 (стр. 1 из 9)
Министерство образования и науки Российской федерации
Федеральное агентство по образованию
Московский государственный гуманитарный университет
им. М.А. Шолохова
Егорьевский филиал
Кафедра экономики и управления.
Курсовая работа по математике
Тема:
«Многомерная геометрия».
Студентки II курса Очного отделения
факультета информатики и математики
группы 21
Волковой Марии Вячеславовны
Работу проверила
Научный руководитель
Бармакова Татьяна Владимировна
Егорьевск 2008
Оглавление:
Введение…………………………………………………………………3
Глава I. Пространства с квадратичной метрикой……….……………………..5
1.1. Скалярное произведение……………………………………………..5
1.2. Норма вектора…………………………………………………………8
1.3. Ортонормированные базисы……………………………………….11
1.4. Ортогональная проекция. Ортогонализация……………………...13
Глава II. Аффинные преобразования ……………………………………….20
2.1. Аффинные преобразования на плоскости…………………...….20
2.2. Однородные координаты точки…………………………………….23
2.3.Аффинные преобразования в пространстве………………………..32
2.4. Формула обратного преобразования………………………………41
2.5. Основнаятеорема теории аффинных преобразований…………...42
Глава III.Частные виды аффинных преобразований в сопряжённых комплексных координатах…………………………………………………….43
3.1. Преобразование подобия……………………………………….......43
3.2.Преобразование родства……………………………………………45
3.2.1. Понятие преобразования родства……………………………45
3.2.2.Сжатие и его частные виды………………………………….47
Список литературы…………………………………………………...49
Введение
В математике и в ее приложениях часто приходиться рассматривать некоторые множества объектов, для которых установлены так называемые линейные операции: сложение и умножение на число. Например, в механике рассматривают также сложение скоростей и умножение скорости на число; рассматривают сложение ускорений и умножение ускорения на число. Силы, скорости и ускорения различны по своей физической природе. Однако линейные операции, которые производятся над ними, единообразны с геометрической точки зрения. Рассмотрим, например, множество всех функций, непрерывных на числовой оси, или множество всех периодических функций с данным периодом, или множество всех алгебраических многочленов. В каждом из этих множеств мы можем естественным образом рассматривать линейные операции. Объекты, о которых мы сейчас говорим, не похожи на силы, скорости и ускорения или на геометрические векторы. Линейные операции над ними также не похожи на линейные операции над векторными величинами механики или над геометрическими векторами.
Линейное пространство не будет содержать каких-либо описаний элементов рассматриваемых множеств или производимых линейных операций, общие для всех частных случаев. Эти требования выражаются аксиомами линейного пространства. Следует заметить, что требования, которые выражены в аксиомах, весьма немногочисленны, и остается возможность добавлять к ним новые предположения. Поэтому в общем понятии линейного пространства возникает некоторая классификация, так что все-таки приходится иметь дело не с единым линейным пространством, а с различными классами линейных пространств, и теория, основанная на аксиомах линейного пространства, разветвляется.
Прежде всего, все линейные пространства разделяются на конечномерные и бесконечномерные. К числу конечномерных пространств принадлежит трехмерное пространство геометрических векторов. Это пространство содержит в себе бесконечно много двумерных и одномерных пространств, называемых подпространствами. Таким образом. Для одномерных, двумерных и трехмерных линейных пространств мы имеем геометрические модели, с которыми естественно связаны наши наглядные представления о векторах. При переходе к многомерным пространствам наглядность частично теряется, но теория этих пространств сохраняет геометрический характер. Вместе с тем линейные пространства называют также векторными пространствами. Геометричность терминологии и основных понятий линейной алгебры помогает ее контактам с геометрией.
Мы имеем в виду здесь аналитическую геометрию, причем многомерную, т.е. многомерный аналог обычной (трехмерной) аналитической геометрии. Более того, линейная алгебра и аналитическая геометрия настолько тесно связаны, что между ними трудно провести четкую грань. И не будем к этому стремиться. Можно сказать, что предметом линейной алгебры является многомерная аналитическая геометрия.
Глава I. Пространства с квадратичной метрикой
1.1. Скалярное произведение
1. Пусть L – действительное линейное пространство. Введем
в пространстве L новую операцию – скалярное умножение векторов.
Действие скалярного умножения ставит в соответствие каждой паре векторов x, y изLдействительное число, которое обозначается (x, y) и называется скалярнымпроизведением вектора x на вектор y.
По аналогии с элементарной аналитической геометрией потребуем соблюдения следующих свойств:
1) Коммутативность: (x,y) = (x, y).
2) Распределительность (дистрибутивность): (x1 + x2, y) = (x1,y) +
+ (x2, y).
3) Однородность: (ax, y)=а (x, y) для любого действительного числа а.
4) Невыдержанность: если (x, y) = 0 при фиксированном x и любому y изL, то x = 0.
Здесь всюду x, y, x1, x2 – произвольные векторы пространства L.
2. Обратим внимание на то, что в элементарной аналитической геометрии перечисленные выше свойства скалярного произведения доказываются как теоремы, а здесь мы рассматриваем эти свойства как аксиомы, включая их в определение скалярного произведения.
3. Второе и третье свойства вместе означают линейность скалярного произведения по первому аргументу.
Итак скалярное произведение(x, y) представляют собой билинейную форму, симметричную согласно первому свойству и невырожденную вследствие четвертого свойства. Действительно, четвертое свойство означает, что нулевое подпространство билинейной формы (x, y) нульмерно, откуда и вытекает ее невырожденность.
4. Очевидно, справедливо и обратное утверждение:
Каждую невырожденную симметричную билинейную форму g(x, y), заданную в пространстве L, можно принять в качестве скалярного произведения, положив
(x, y) = g(x, y)
Для любых x, y 
L.
Замечание. Разумеется скалярное произведение зависит от выбора формы g(x, y). Если в качестве скалярного произведения выбирать разные формы, то для данной пары векторов x, yпространстваL скалярное произведение будет получать, разные численные значения.
5. Пусть в пространстве L введено скалярное произведение (x, y) =
=g(x, y).
Предполагая пространство n – мерным, возьмем в нем произвольный базис e1, . . . ,en. Если x = 
eI, y = 
ek, то скалярное произведение запишется в координатах так:
(x, y) = g(x, y) = 
xiy k. (1)
где gIk–коэффициенты билинейной формы g(x, y) в данном базисеe1…,en. Они являются значениями этой формы на базисных векторах, то есть их скалярным произведением.
Таким образом,
(e I , e k) = g I k. (2)
Причем gIk = gki. Равенства (2) составляют таблицу умножения базисных векторов.
Если правые части таблицы (2) даны, то тем самым однозначно определено скалярное произведение любой пары векторов x, у согласно равенству (1).
6.Определение 1. Векторы x, у называются ортогональными, если
(x, у) = 0.
В координатах условие ортогональности векторов x, у имеет вид
Ikxixk = 0.Определение 2. Вектор x ортогонален подпространству 
, если
(x, у) = 0 для любого у .
Заметим, что если имеет размерность k, то для ортогональности вектора xподпространству достаточно, чтобы xбыл ортогонален к каким – нибудь независимым векторам в числе k, лежащим в . В самом деле, если независимые вектора а1,…,аkлежат в и если (x, a1) = 0,…,(x, ak) = 0, то для любого y Lимеем y = 
a1 + …+ 
ak, откуда