Геометрия и линейная алгебра

Минимум, чтобы понимать тексты, где описывают пространство признаков как многомерное: что такое координата и ось, размерность, базис, ортогональность, отражение по оси. Без матричной алгебры — только язык и интуиция.

Координаты и оси

Координата — это одно число, описывающее положение чего-то относительно фиксированной точки отсчёта. Чтобы координата работала, нужна ось — прямая с выбранным направлением и единицей измерения.

Простейший пример: температура. Одна ось (градусы Цельсия), одна координата (текущее значение). Этого хватает, чтобы описать, насколько в комнате тепло.

Один параметр = одна ось = одномерное пространство. Положение объекта в нём задаётся одним числом.

Если параметров два — нужны две оси, перпендикулярные друг другу. Любая точка на плоскости задаётся парой чисел: (x, y). Это двумерное пространство (плоскость).

Если параметров три — нужны три оси, попарно перпендикулярные. Точка в трёхмерном пространстве: (x, y, z). Это пространство, в котором живём физически.

Размерность

Размерность пространства = число независимых параметров, нужных, чтобы полностью описать положение точки в нём.

После трёх измерений человеческая интуиция теряет наглядность, но есть полезный мост: добавить ось времени. Тогда четырёхмерное пространство представляется как трёхмерное, меняющееся во времени — это знакомая картина (физическое пространство и его эволюция). Так работает классическая физика: четыре координаты для события (x, y, z, t). Дальше тем же приёмом мысленно «складывают» больше осей, но рисовать перестают и работают формально.

Математика этим не ограничена: можно описать пространство любой размерности.

Пример шестимерного пространства — классическое фазовое пространство одной частицы в физике: три координаты положения и три компоненты скорости — шесть независимых чисел, полностью описывающих её состояние в данный момент.

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

Вектор

Вектор — направленный отрезок: имеет начало, длину и направление. В координатах записывается набором чисел — сколько единиц по каждой оси. Например, (3, 4) на плоскости — вектор, идущий из начала координат в точку (3, 4), длиной 5 (по теореме Пифагора).

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

Ось — частный случай вектора: одно фиксированное направление с единицей измерения. Поэтому строго говоря набор осей пространства — это набор базисных векторов.

Базис и ортогональность

Базис — набор базисных векторов (осей), через которые можно выразить любую точку пространства. В двумерной плоскости базис — это два вектора (обычно вдоль x и y). В трёхмерном — три. В n-мерном — n.

Базисные векторы имеют длину 1, направлены строго вдоль одной оси и не имеют компонент по другим. На плоскости стандартные базисные векторы — это (1, 0) и (0, 1): первый идёт на одну единицу вдоль первой оси и ноль по второй; второй — наоборот. В трёхмерном пространстве: (1, 0, 0), (0, 1, 0), (0, 0, 1). В n-мерном — n таких векторов. Любая точка пространства выражается через них суммой: точка (3, 4) на плоскости — это 3·(1, 0) + 4·(0, 1), то есть три шага по первой оси плюс четыре по второй.

Чтобы базис работал чисто, базисные векторы должны быть независимы: ни один нельзя получить как линейную комбинацию остальных (то есть как сумму остальных, умноженных на любые числа). Если ось z можно записать как z = a·x + b·y для каких-то чисел a и b — она лишняя, размерность пространства на самом деле меньше.

Ортогональные оси — перпендикулярные друг другу. Это самая удобная форма независимости: изменение одной координаты не влияет на другие. В двумерной и трёхмерной геометрии перпендикулярность видна как угол 90°; в пространствах высшей размерности тот же концепт обобщается формально, и оси называются ортогональными, если они полностью независимы.

Если оси не ортогональны, координаты «перетекают» друг в друга: изменение одной автоматически меняет другую. Это запутывает анализ. Поэтому в большинстве моделей стараются выбирать ортогональные оси, даже если данные изначально коррелированы.

Отражение по оси

Отражение по оси — операция, меняющая знак одной координаты на противоположный, остальные оставляющая прежними. Точка (3, 4, -2) после отражения по второй оси становится (3, -4, -2).

Геометрически: представить «зеркало», перпендикулярное оси отражения. В трёхмерном пространстве это плоскость, в двумерном — прямая, в высших размерностях аналогично. Каждая точка отражается через это зеркало, оказываясь на той же дистанции с противоположной стороны.

Это удобный язык, когда нужно описать «противоположное» состояние по одному конкретному аспекту, оставляя остальные неизменными: одна координата сменилась на свою противоположность, другие сохранились.