От направленного отрезка к вектору

Обозначения:

En – прямая при n = 1, плоскость при n = 2, пространство при n = 3 (с евклидовой геометрией)

Rn = От направленного отрезка к вектору - student2.ru

От направленного отрезка к вектору - student2.ru Î Rn – упорядоченный столбец n×1

A ( От направленного отрезка к вектору - student2.ru ) – координаты точки A в декартовой системе координат в En

Определение.Направленным отрезком в En будем назвать отрезок, у которого упорядочены концы (то есть один конец отрезка – первый, другой – второй)

Обозначение направленного отрезка:

A
От направленного отрезка к вектору - student2.ru - направленный отрезок AB, у которого первый конец (начало) – точка A, второй конец (конец) – точка B.

От направленного отрезка к вектору - student2.ru Изображение направленного отрезка От направленного отрезка к вектору - student2.ru : (точка A – начало, точка B - конец) РИС. 19
B

Вырожденный отрезок, у которого оба конца совпадают, будем понимать как направленный отрезок, начало и конец которого совпадают. Например, направленный отрезок От направленного отрезка к вектору - student2.ru

Определение. Длиной направленного отрезка называется расстояние между его началом и концом.

Обозначение: | От направленного отрезка к вектору - student2.ru | - длина направленного отрезка От направленного отрезка к вектору - student2.ru .

Пусть в En введена некоторая декартова система координат w.

Определение. Координаты направленного отрезка в системе координат w – это разность координат конца направленного отрезка и начала.

То есть если A( От направленного отрезка к вектору - student2.ru a), B( От направленного отрезка к вектору - student2.ru b), то координаты От направленного отрезка к вектору - student2.ru = ( От направленного отрезка к вектору - student2.ru b- От направленного отрезка к вектору - student2.ru a).

Замечание. Вычисление длины направленного отрезка в декартовой системе координат осуществляется по той же формуле, что и расстояние между точками. Если же координаты направленного отрезка уже известны, то квадрат его длины равен сумме квадратов координат этого отрезка.

Наблюдение. Все координаты направленного отрезка, у которого начало и конец совпадают, в любой декартовой системе координат равны нулю. Более того, если все координаты некоторого направленного отрезка в некоторой системе координат равны нулю, то начало и конец этого отрезка совпадают.

Пусть От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru – направленные отрезки в En.

Определение. Будем говорить, что направленный отрезок От направленного отрезка к вектору - student2.ru равен направленному отрезку От направленного отрезка к вектору - student2.ru , если в системе координат w координаты отрезка От направленного отрезка к вектору - student2.ru равны координатам отрезка От направленного отрезка к вектору - student2.ru .

Обозначение равенства направленных отрезков: От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru .

Замечания.

1)В вышеизложенном определении равенство направленных отрезков зависит от системы координат w. Естественно возникает вопрос, возможно ли, что направленные отрезки равны в одной декартовой системе координат и не равны в другой системе координат? (То есть возникает вопрос о корректности определения).

2)Для любых двух точек A,B ÎEn в любой системе координат От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru .

Лемма. Пусть От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru – направленные отрезки в En, и пусть в En введена некоторая декартова система координат w. От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru тогда, и только тогда когда середины отрезков AD и BC совпадают (то есть отрезки AD и BC имеют общую середину).

Доказательство:

От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru Û От направленного отрезка к вектору - student2.ru b- От направленного отрезка к вектору - student2.ru a= От направленного отрезка к вектору - student2.ru d - От направленного отрезка к вектору - student2.ru c Û От направленного отрезка к вектору - student2.ru b+ От направленного отрезка к вектору - student2.ru c= От направленного отрезка к вектору - student2.ru a+ От направленного отрезка к вектору - student2.ru d Û 1/2( От направленного отрезка к вектору - student2.ru b+ От направленного отрезка к вектору - student2.ru c ) = 1/2 ( От направленного отрезка к вектору - student2.ru a+ От направленного отрезка к вектору - student2.ru d) Û середины отрезков AD и BC совпадают.

Корректность определения равенства направленных отрезков:Так как понятие середины отрезка и совпадение точек не зависит от выбора системы координат, то согласно доказанной лемме и равенство направленных отрезков тоже не зависит от выбора системы координат.

Следствие. (геометрический смысл равенства направленных отрезков).

Пусть точки A,B,C, D Î En такие, что A,B и С не лежат на одной прямой.. Тогда для того, чтобы выполнялось равенство От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru необходимо и достаточного, чтобы четырехугольник ABDC был параллелограммом.

Теорема.Отношение равенства на множестве всех направленных отрезков в En является отношением эквивалентности.

Доказательство:

Проверим, что отношение равенства направленных отрезков обладает свойствами рефлективности, симметричности и транзитивности.

1) Рефлективность. Для любых двух точек A,B Î En От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru , так как От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru

2) Симметричность. Для любых точек A,B,C,D Î En если От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru , то От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru , то есть От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru

3) Транзитивность Для любых точек A,B,C,D,E,F Î En если От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru , то От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru , то есть От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru и От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru

Итак, множество всех направленных отрезков в En разбивается на классы эквивалентности по данному отношению равенства.

Определение. Вектором (в En) будем назвать класс эквивалентности равных направленных отрезков (в En).

Направленный отрезок, принадлежащий данному классу (вектору), будем называть представителем этого вектора.

Обозначения.

Вектор будем обозначать маленькой латинской буквой с чертой: От направленного отрезка к вектору - student2.ru - «вектор a».

Формально запись того, что направленный отрезок От направленного отрезка к вектору - student2.ru является представителем вектора От направленного отрезка к вектору - student2.ru должна выглядеть следующим образом: От направленного отрезка к вектору - student2.ru Î От направленного отрезка к вектору - student2.ru , но принято менее формальное обозначение : От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru .

Определение. Вектор, представителем которого является направленный отрезок с совпадающими началом и концом (то есть отрезок вида От направленного отрезка к вектору - student2.ru ), будем называть нулевым вектором (нуль-вектором).

Обозначение: q - нулевой вектор.

Ясно, что если один из представителей вектора – отрезок вида, то и все остальные представители этого вектора – это отрезки такого же вида (то есть с совпадающими началом и концом).

Определение. Будем говорить, что два вектора равны, если они совпадают как классы эквивалентности (то есть представитель одного вектора равен представителю другого вектора).

Определение. Координатами вектора будем называть координаты любого его представителя.

Замечания.

1) Ясно, что вектор является нулевым тогда, и только тогда, когда все его координаты равны нулю (в любой системе координат).

2) Два вектора равны тогда, и только тогда когда равны их координаты в некоторой системе координат.

Определение.Длиной вектора будем называть длину любого его представителя.

Обозначение: | От направленного отрезка к вектору - student2.ru | - длина вектора a.

Ясно, что у всех представителей одно и того же вектора длины одинаковые (см. вычисление длины направленного отрезка в декартовой системе координат).

Обозначение: Множество всех векторов, представителями которых являются направленные отрезки в En, обозначим как Vn.

Определение. Будем говорить, что вектор От направленного отрезка к вектору - student2.ru Î Vn отложен от точки A Î En, если нашлась точка B Î En такая, что От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru .

Теорема. Любой вектор из Vn можно отложить от любой точки в En , и при этом единственным образом (то есть для любого вектора От направленного отрезка к вектору - student2.ru Î Vn и для любой точки AÎ En существует и при том только одна точка BÎ En такая, что От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru ).

Доказательство.

Введем в декартову систему координат. Пусть От направленного отрезка к вектору - student2.ru = ( От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru ), A ( От направленного отрезка к вектору - student2.ru A).

Существование точки B. Возьмем точку B с координатами От направленного отрезка к вектору - student2.ru B = ( От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru + От направленного отрезка к вектору - student2.ru A ) (такая точка существует и притом только одна, так как декартова система координат определяет биекцию между En и Rn). Тогда координаты направленного отрезка От направленного отрезка к вектору - student2.ru будет равны От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru + От направленного отрезка к вектору - student2.ru A - От направленного отрезка к вектору - student2.ru A = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru , то есть От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru .

Единственность точки B. Пусть точка B’ такая, что От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru . Найдем координаты точки B’: От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru = От направленного отрезка к вектору - student2.ru B - От направленного отрезка к вектору - student2.ru A , то есть От направленного отрезка к вектору - student2.ru B = От направленного отрезка к вектору - student2.ru От направленного отрезка к вектору - student2.ru + От направленного отрезка к вектору - student2.ru A, следовательно От направленного отрезка к вектору - student2.ru B = От направленного отрезка к вектору - student2.ru B и точки B и B’ совпадают.

Упражнения.

1) Постройте направленный отрезок От направленного отрезка к вектору - student2.ru , найдите его координаты и длину, если

На прямой M (-1), N(2)
M(0), N(-5)
M (-2), N(1)
На плоскости M (1, -3), N(2,4)
M (0,5), N(2,0)
M (-3,-4), N(7,-1)
В пространстве M (-2,4,0), N(-2,4,3)
M (3,-2,1), N(1,1,1)
M (5,2,-1), N(0,0,0)

2) Вычислите длину вектора От направленного отрезка к вектору - student2.ru , отложите этот вектор от точек M,N и O, найдите координаты концов построенных направленных отрезков

На прямой От направленного отрезка к вектору - student2.ru = (2), M(1), N(-4), O(0)
От направленного отрезка к вектору - student2.ru = (-3), M(-2), N(2), O(0)
На плоскости От направленного отрезка к вектору - student2.ru = (-1,1), M(1,-3), N(2,2), O(0,0)
От направленного отрезка к вектору - student2.ru = (0,5), M(1,4), N(4,-2), O(0,0)
От направленного отрезка к вектору - student2.ru = (3,-2), M(-3,-2), N(2,1), O(0,0)
В пространстве От направленного отрезка к вектору - student2.ru = (1,2,1), M(5,5,-1), N(4,-3,2), O(0,0,0)
От направленного отрезка к вектору - student2.ru = (2,2,0), M(1,-3,0), N(0,1,4), O(0,0,0)

3) Является ли данное отношение r на множестве X отношением эквивалентности?

X – множество натуральных чисел, a От направленного отрезка к вектору - student2.ru b, если a < b
X – множество действительных чисел, a От направленного отрезка к вектору - student2.ru b, если a ≤ b
X – множество прямых на плоскости, a От направленного отрезка к вектору - student2.ru b, если a | | b.
X – множество целых чисел, a От направленного отрезка к вектору - student2.ru b, если (a - b) делится на 2

Наши рекомендации