Свободные, скользящие и фиксированные векторы

Иногда вместо того, чтобы рассматривать в качестве векторов множество всех равных направленных отрезков, берут только некоторую модификацию этого множества (фактормножество). Так, говорят о «свободных» (когда отождествляются все равные по длине и направлению направленные отрезки, считаясь полностью равными или одним и тем же вектором), «скользящих» (отождествляются между собой все направленные отрезки, равные в смысле свободных векторов, начала и концы которых расположены на одной прямой) и «фиксированных» векторах (по сути дела, просто о направленных отрезках, когда разное начало означает уже неравенство векторов).

Определение. Говорят, что свободные векторы и равны, если найдутся точки E и F такие, что четырёхугольники ABFE и CDFE — параллелограммы.

• Замечание. «Ухищрение» (введение дополнительных точек) в определении равенства касается, прежде всего, случая, когда точки A,B,C,D располагаются на одной прямой. В противном случае определение выглядит проще:

Определение. Говорят, что свободные векторы и , не лежащие на одной прямой, равны, если четырёхугольник ABDC — параллелограмм.

Определение. Говорят, что скользящие векторы и равны, если

• точки A,B,C,D располагаются на одной прямой,
• векторы и равны между собой как свободные векторы.

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

• Замечание. Скользящие векторы особо употребимы в механике. Простейший пример скользящего вектора в механике — сила. Перенос такого начала вектора вдоль прямой, на которой он лежит, не меняет момента силы ни относительно никакой точки; перенос же его на другую прямую, даже если не менять величины и направления вектора, может вызвать изменение его момента (скорее даже почти всегда вызовет): поэтому нельзя рассматривать силу как свободный вектор.

Определение. Говорят, что фиксированные векторы и равны, если попарно совпадают точки A и C, B и D. Вектором в простейшем случае называется направленный отрезок, а в других случаях различные векторы — это разные классы эквивалентности направленных отрезков, определяемые неким конкретным отношением эквивалентности. Причем отношение эквивалентности может быть разным, определяя тип вектора («свободный», «фиксированный» итд). Проще говоря, внутри класса эквивалентности все входящие в него направленные отрезки рассматриваются как совершенно равные, и каждый может равно представлять весь класс.