Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
Ве́кторное простра́нство — математическая структура, представляющая собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трёхмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил. При этом вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка. Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы.
Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.
Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Краевая задача — задача о нахождении решения заданного дифференциального уравнения, удовлетворяющего краевым (граничным) условиям в концах интервала или на границе области. Краевые задачи для гиперболических и параболических уравнений часто называют начально-краевыми или смешанными, потому что в них задаются не только граничные, но и начальные условия.
Жорданова матрица — квадратная блочно-диагональная матрица над полем 
, с блоками вида
Поворо́т (враще́ние) — движение плоскости или пространства, при котором по крайней мере одна точка остаётся неподвижной.
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная матрица, поэтому собственные векторы и собственные значения часто определяются в контексте использования таких матриц.
Пусть 
есть векторное пространство над полем 
.
Пло́скость — одно из фундаментальных понятий в геометрии. При систематическом изложении геометрии понятие плоскости обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами геометрии. В тесной связи с плоскостью принято рассматривать принадлежащие ей точки и прямые; они также, как правило, вводятся как неопределяемые понятия, свойства которых задаются аксиоматически.
Двойственная кривая к заданной кривой на проективной плоскости — это кривая на двойственной проективной плоскости, состоящая из касательных к заданной гладкой кривой. В этом случае кривые называются взаимно двойственными (дуальными). Понятие может быть обобщено для негладких кривых и на многомерное пространство.
Функциональное уравнение Коши для функции 
имеет вид
.
Эклиптическая система координат, или эклиптикальные координаты — это система небесных координат, в которой основной плоскостью является плоскость эклиптики, а полюсом — полюс эклиптики. Она применяется при наблюдениях за движением небесных тел Солнечной системы, плоскости орбит многих из которых, как известно, близки к плоскости эклиптики, а также при наблюдениях за видимым перемещением Солнца по небу за год.
Теория Эйнштейна — Картана (ЭК) была разработана как расширение общей теории относительности, внутренне включающее в себя описание воздействия на пространство-время кроме энергии-импульса также и спина материальных полей. В теории ЭК вводится аффинное кручение, а вместо псевдоримановой геометрии для пространства-времени используется геометрия Римана — Картана. В результате от метрической теории переходят к аффинной теории пространства-времени. Результирующие уравнения для описания пространства-времени распадаются на два класса. Один из них аналогичен общей теории относительности, с тем отличием, что в тензор кривизны включены компоненты с аффинным кручением. Второй класс уравнений задаёт связь тензора кручения и тензора спина материи и излучения. Получаемые поправки к общей теории относительности в условиях современной Вселенной настолько малы, что пока не видно даже гипотетических путей для их измерения.
Система F — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами. Эту систему разработал в 1972 году Жан-Ив Жирар в контексте теории доказательств в логике. Независимо от него подобную систему предложил в 1974 году Джон Рейнольдс. Система F позволяет формализовать концепцию параметрического полиморфизма в языках программирования и служит теоретической основой для таких языков программирования как Haskell и ML.
Выпуклый конус в линейной алгебре — подмножество векторного пространства над упорядоченным полем, которое замкнуто относительно линейных комбинаций с положительными коэффициентами.
Группа Лоренца является группой Ли симметрий пространства-времени в специальной теории относительности. Эта группа может быть реализована как набор матриц, линейных преобразований или унитарных операторов на некотором гильбертовом пространстве. Группа имеет различные представления. В любой релятивистски инвариантной физической теории эти представления как-то должны быть отражены. Сама физика должна быть сделана на их основе. Более того, специальная теория относительности вместе с квантовой механикой являются двумя физическими теориями, которые тщательно проверены и объединение этих двух теорий сводится к изучению бесконечномерных унитарных представлений группы Лоренца. Это имеет как историческую важность в основном течении в теоретической физике, так и связи с более спекулятивными теориями настоящего времени.
Коса в математике — идеализированная абстракция знакомого из повседневности переплетения нитей. Является фундаментальным понятием теории кос.
В этом глоссарии приведены определения основных терминов, использующихся в теории кос. См. также глоссарий теории узлов. Курсивом выделены ссылки внутри глоссария.
