Координаты точки и уравнение прямой в пространстве

Рассмотрим п –мерное проективное пространство P_п.

Определение: Е₁ , Е₂,…, Е_п+1, Е - упорядоченная система различных точек среди которых никакие три не лежат на одной прямой (Р₁), никакие четыре не лежат на одной плоскости (Р₂), никакие пять не принадлежат (Р₃), и т.д. называется проективным репером в пространстве P_п.

Обозначение: R (Е₁, Е₂, …, Е_п+1, Е) - проективный репер на прямой.

Названия: Е₁, Е₂,…, Е_п+1 - вершины репера или базисные точки,

Е - единичная точка,

(Е₁Е₂), (Е₁Е₃), …, (Е_пЕ_п+1) - координатные прямые.

Проективное пространство P_п порождается V_п+1.

Пусть Е₁, Е₂,…, Е_п+1, Е порождаются - ē₁, ē₂,…, ē_п+1, ē V_п+1.

Векторы ē₁, ē₂,…, ē_п+1 – линейно независимы (почему?), а значит могут быть базисом в V_п+1.

Определение: Система векторов ē₁, ē₂,,…, ē_п+1, ē - называется согласованной,

если ē₁+ē₂ +…+ ē_п+1 =ē.

Пусть ē₁, ē₂,,…, ē_п+1, ē - согласованная система векторов и пусть точка М P_п порождается вектором , тогда = х₁∙ē₁+ х₂∙ē₂ +…+ х_п+1 ∙ē_п+1

Определение:Набор чисел (х₁ : х₂: …: х_п+1) называется координатами точки в данном репере.

По аналогии с проективной прямой и проективной плоскостью, координаты точки в P_п определяются с точностью до пропорциональности.

Точки могут лежать на одной прямой или не лежать на одной прямой.

1. А, В, С P₁, тогда векторы , , L₂ , , - линейно-зависимы α, β такие, что = α∙ā + β∙

=α∙ + β∙ , или rg = 2.

2. А, В P₁ и С P₁, тогда векторы , , L₂

, , - линейно- не зависимы ≠ α ∙ + β ∙

≠α∙ + β∙ , или rg ≠ 2.

Пусть даны две различные точки А и В , по свойствам Р_п через две различные точки проходит одна и только одна прямая - (АВ).

Пусть точка Х (АВ), тогда = λ ∙ + μ ∙ или Х=λ ∙ А+ μ ∙ В – параметрическое уравнение прямой в пространстве.

Замечание: В проективном пространстве прямая может задаваться только параметрическим уравнением (сравнить с заданием прямой в евклидовом пространстве).

Однородное уравнение вида и₁ х₁+ и₂ х₂+ …+ и_п+1 х_п+1 = 0 не будет задавать прямую.

Дата добавления: 2015-07-26