Понятия и определения

По сути, под вектором в математике понимают отрезок с определённой длиной и направлением. Его принято изображать в виде прямой линии, ограниченной двумя точками. Одна из них является началом, а другая концом. Подписывается вектор с помощью двух больших латинских букв или одной маленькой. Числовое значение, соответствующее длине отрезка, является модулем вектора. Изображается модульность двумя вертикальными линиями слева и справа.

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

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

Чтобы два вектора можно было назвать коллинеарными, должно выполняться любое из следующих условий:

• для двух отрезков существует число, при котором выполняется равенство a = c * b, где b может быть любым числом;
• координаты векторов равны.

Ортогональность предполагает выполнение условия, при котором выполняется равенство a = {ax; ay} и b = {bx; by}. При этом справедливо выражение a * b = ax * bx + ay * by = 0.

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

Зависимость векторов и свойства

В линейной алгебре вводится такое понятие, как векторная система. Под ней понимают заданный набор вида a1, a2, …, an. Если в это множество вести свободные коэффициенты, а векторные элементы системы сложить между собой, то получится выражение, являющееся линейной комбинацией рассматриваемого пространства: Ya1 + Ya2 + … + Yan.

Когда все свободные члены системы одновременно равняются нулю, то комбинация называется тривиальной. Но если хотя бы один из коэффициентов отличен от нуля, то множество уже будет нетривиальным. Например, система 0 * a1 + 0 * a2 — тривиальная, a 12 * a1 + 0 * a2 — нетривиальная. Разобравшись в этих терминах, можно дать определение зависимости системы. Так, она может быть двух типов:

• линейно независимая — когда тривиальная комбинация совпадает с нулевым отрезком;
• линейно зависимая — когда одна из нетривиальных комбинаций равняется нулевому отрезку.

Определение зависимости важно в векторной алгебре. Опираясь на него, исследуют размерность и базис пространства. Пусть имеется упорядоченная совокупность действительных или комплексных чисел a1, a2, … ap. Линейная комбинация будет выглядеть следующим образом: u * a1 + u * a2 + … + u * ap. Используя правила сложения и произведения векторов, а также понятие n-мерного массива, справедливо утверждать, что рассматриваемая линейная совокупность будет равняться некому отрезку: u * a1 + u * a2 + … + u * ap = b.

При исследовании системы на зависимость необходимо выполнить её проверку на достаточность признаков. Для этого вначале следует убедиться в том, что число векторов не превышает величины координат (в ином случае делается вывод о линейности), затем проверить систему на содержание нулевых отрезков. Если их нет, то необходимо составить матрицу, строками которой будут уравнения системы. При ранге составленной матрицы меньше p — система линейно зависима.

Свойства зависимых и независимых линейных отрезков:

• Система, содержащая нулевую линию, является линейно зависимой.
• Два одинаковых вектора в системе приводят её к линейной зависимости.
• Если в пространстве существуют два пропорциональных отрезка, то она считается линейно зависимой.
• Система из ограниченных прямых будет только тогда линейно зависимой, когда хотя бы один из отрезков является линейной комбинацией остальных.
• Когда к линейно независимой системе присоединяется отрезок и она превращается в линейно зависимую, то добавляемый вектор можно разложить по существующим прямым системы и только единственным образом.

Операции над отрезками

При нахождении результата в векторной математике часто приходится выполнять различные действия, основанные на свойствах линейных операций над векторами. Самые элементарные из них — это сложение отрезков и умножение их на число.

Пусть имеются две ограниченные линии A и С. Перенеся первую из них к точке O, получится А = AO, а приложив к отрезку A вторую, — С = AC. Соединив две свободные точки, можно построить отрезок OC. Это и будет векторная сумма. Произведение же на число представляет операцию, соответствующую правилу: полученный отрезок, коллинеарный начальному, сонаправлен при n > 0 или противоположно направлен при n < 0, где n — число, на которое выполняется умножение.

Существуют следующие свойства линейных операций:

• Коммутативное сложение. При нём выполняется условие a + b = b + a. То есть перестановка значений отрезков на результат не влияет.
• Ассоциативное сложение. В этом случае будет верным следующее равенство: (a + b) + с = a + (b + c).
• К любому вектору можно прибавить нулевой без изменения ответа: a + 0 = a. Это очевидно, если изобразить на рисунке нулевой отрезок ОА и добавить к нему линию произвольной длины.
• Для любой ограниченной прямой AB имеется такой вектор -AB = BA, при котором сложение приведёт к нулю: AB + (-AB) = 0. То есть AB + BA = AA = 0.
• Произведение отрезка и числа ассоциативно: (mn) * a = m * (an).
• Перемножение вектора и числа является дистрибутивной операцией относительно сложения чисел: (m + n) * a = am * an.
• Умножение на единичный отрезок не изменяет исходного результата: 1 * a = a.

В алгебре работают чаще всего с алгебраическими структурами. По сути, это множества, состоящие из математических объектов с известными для них операциями, не противоречащими системным аксиомам. В качестве примера такой структуры можно привести линейное пространство.

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

Разложение по базису

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

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

Таким образом, существует теорема, которая гласит, что три вектора называются базисом в декартовой системе координат геометрических отрезков P, если любой из них можно выразить в виде выражения x = j * a + k * c + y * n, где j, k, c — координаты вектора икс в базисе векторов.

Базис записывают в виде (a; b). Упорядоченная пара из неколлинеарных прямых y1 и y2 считается базисом при компланарных векторах определённой плоскости. Любой ненулевой отрезок k будет образовывать базис B = (k) в рассматриваемом множестве геометрических отрезков, коллинеарных некому направлению.

Существует три теоремы:

• Если совокупность отрезков принадлежит одному пространству и они соответствуют критерию линейной зависимости векторов, то хотя бы один из них будет являться комбинацией других. Иными словами, любая прямая, имеющая начало и конец, может быть выражена в пространстве с помощью линейных операций. Представление вектора AB как суммы ni + mj + ly называют разложением вектора по базису i, j, y. Коэффициенты, стоящие возле элементов, носят название «составляющие».
• Любой вектор AB всегда можно преобразовать по базису, то есть представить в виде равенства AB = Xi + Yi + Zy. При этом коэффициенты выражения можно определить в виде проекций на оси координат. Три вектора всегда будут базисом пространства, если определитель матрицы, составленный из координат, не будет равняться нулю.
• Вектор AB можно представить как линейную комбинацию AB1, AB2, AB3, то есть разложить по базису AB1, AB2, AB3: AB = iAB1 + jAB2 + yAB3.

Для доказательства этих теорем используют свойства некомпланарных отрезков и определение линейной комбинации, то есть такого набора, при котором линии пространства R являются скалярами: x = c1x1 + c2x2 + … + CxXn.

Решение примеров

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

• В пространстве размещены четыре вектора: a = {7; 9; 0}, b = {-8; 9; 4}, c = {2; 1; 6}, d = {-1; 8; 5}. Нужно проверить их линейную зависимость. Зная определение, можно утверждать, что отрезки будут линейно зависимыми, так как размерность линий не превышает их число.
• Установить линейную зависимость или доказать, что её нет для ограниченных прямых с координатами a = {1; 1; 1}, b = {1; 2; 0}, c = {0; -1; 1}. Чтобы решить это задание, нужно показать соответствие системы на критерии линейности или установить несоответствие. Для этого необходимо вначале найти значения свободных членов, при которых комбинация отрезков будет равняться нулевому вектору. Уравнение следует представить в виде матрицы. Решить ее проще поможет метод Гаусса. После решения матрицы можно будет установить, что система имеет множество корней. Отсюда следует, что имеется ненулевая комбинация коэффициентов, равная нулевому отрезку, например, a — b + c = 0. А это и подтверждает линейную зависимость.
• Проверить отрезки a = {1; -1; 3}, b = 2; -1; 4}, c = {2; 0; 2} на линейную зависимость. Для решения примера из заданных координат необходимо построить матрицу. Её ранг можно вычислить методом Гаусса. В ответе получится, что её размерность равняется двум. Так как 2 < 3, то заданная система соответствует линейности.

Простые школьные задания довольно просто решать самостоятельно. Но на практике часто исследование векторной системы занимает много времени и требует внимательности при анализе. Всё дело в том, что координатами могут быть дробные числа, работать с которыми не всегда удобно. В таких случаях есть резон использовать так называемые онлайн-калькуляторы.

С их помощью можно быстро и безошибочно проверить набор базисов на линейную зависимость. При этом от пользователя никаких особых знаний не требуется. Необходимо лишь иметь устройство с доступом в интернет, на котором установлен веб-обозреватель. Все действия сводятся к заполнению предложенной формы данными из задачи и нажатием кнопки «Проверить».

Из бесплатных популярных сайтов можно отметить onlinemschool, mathforyou, matematikam. Эти сервисы имеют интуитивно понятный интерфейс и предоставляют свои услуги бесплатно.