Точечно-векторное аффинное пространство

Определение. Пусть некоторое множество состоит из элементов двух типов, которые будем называть «точками» и «векторами». Пусть при этом множество векторов образует n -мерное линейное пространство, а множество точек не пусто.

Множество называется точечно-векторным аффинным пространством, если:

1. Каждая пара точек А ₁ и A ₂, заданных в определенном порядке, определяет единственный вектор .

2. Для каждой точки А ₁, и каждого вектора существует единственная точка A ₂, такая, что .

3. Если и , то .

Пространство называется n -мерным, если n -мерно соответствующее линейное пространство.

Пример. Данному определению удовлетворяет, очевидно, обыч­ное геометрическое пространство, в котором векторы вводятся как упорядоченные пары точек. Вторая аксиома соответствует возможности отложить любой вектор из произвольной точки, а третья аксиома со­ответствует определению сложения векторов.

4.1. Система координат в пространстве

Если в пространстве V_n зафиксировать некоторую точку O, то в силу свойств 1 и 2 между всеми остальными точками и векторами устанавливается взаимно однозначное соответствие. Вектор назы­вается радиус-вектором точки А относительно точки O.

Определение. Системой координат в пространстве V_n, называется совокупность фиксированной точки O и некоторого базиса в V_n.

Координатами вектора в заданной сис­теме координат пространства V_n называются координаты вектора относительно базиса .

Координатами точки А в данной системе ко-
ординат пространства V_n называются координаты радиус-вектора точки относительно базиса.

Всякие два базиса пространства V_n и связаны между собой формулами перехода

где вектор-столбцы матриц перехода и состоят из координат векторов и соответственно в базисах и .

Если даны две системы координат O, и , , то координаты любой точки и относительно этих систем координат связаны соотношениями

,

где – координаты точки в – матрица перехода.

4.2.Прямая и плоскость в V_n

Определение. Пусть в аффинном пространстве V_n заданы собственное подпространство L и фиксированный вектор .Множество

называется плоскостью в V_n. Размерностью плоскости X называется размерность соответствующего подпространства .

Одномерная плоскость пространства V_n называется прямой линией.

Плоскость размерности называется гиперплоскостью.

Две плоскости называются совпадающими, если они состоят из одних и тех же точек (векторов) пространства; в противном случае они называются несовпадающими.

Множество точек n -мерного пространства, принадлежащих как плоскости X ₁, так и плоскости X ₂, называется их пересечением, а сами плоскости X ₁ и X ₂ пересекающимися, если .

Две несовпадающие плоскости и , полученные сдвигом одного и того же подпространства L, называются параллельными.

Из определения плоскости следует, что всякая плоскость является линейным многообразием.

Всякая k -мерная плоскость может быть задана либо параметрическим уравнением

,

где — базис в L, — произвольные числа, либо как линейное многообразие системой линейных неоднородных уравнений

ранга n - k, где — координаты вектора .

В частности, всякая прямая задается либо системой линейных уравнений ранга , либо параметрическим уравнением

где — направляющий вектор прямой, λ — параметр. Если и — радиус-векторы двух точек прямой, то можно записать уравнение прямой, проходящей через две данные точки

,

Наконец, в координатной форме можно записать каноническое уравнение прямой

,

где — координаты точки , — координаты некоторой фиксированной точки прямой; -координаты направляющего вектора прямой.

Всякая гиперплоскость задается одним линейным уравнением