Понятия со словом «связная»

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

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

«Францу́зский связно́й» (англ. French Connection) — алкогольный коктейль на основе коньяка и миндального ликёра Амаретто. Относится к категории десертный коктейль. Входит в число официальных коктейлей Международной ассоциации барменов (IBA), категория «Современная классика» (англ. Contemporary classics).

Свя́зное двоето́чие, или двоеточие Александрова, — конечное топологическое пространство из двух точек определённого типа,

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

Связное доминирующее множество и остовное дерево с максимальной листвой являются двумя тесно связанными структурами, определёнными на неориентированном графе.

Связный граф — граф, содержащий ровно одну компоненту связности. Это означает, что между любой парой вершин этого графа существует как минимум один путь. Другими словами, нет изолированной вершины ( такой, которая не имеет соответствующих ей рёбер (называется "ребра, инцидентные вершине 1" (или 2) ).

Локально линейно связное пространство ― топологическое пространство, в котором для любой точки и любой её окрестности имеется меньшая линейно связная окрестность. Другими словами, у каждой точки найдётся база окрестностей, состоящая из линейно связных множеств.

Лине́йно свя́зное простра́нство — это топологическое пространство, в котором любые две точки можно соединить непрерывной кривой.

Связанные понятия

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

Изоли́рованная то́чка в общей топологии — это такая точка множества, что пересечение некоторой её окрестности с множеством состоит только из этой точки.

В математике вектором Витта называется бесконечная последовательность элементов коммутативного кольца.

Орграф называется сильно связным (англ. strongly connected), если любые две его вершины сильно связны. Две вершины s и t любого графа сильно связны, если существует ориентированный путь из s в t и ориентированный путь из t в s.

Подробнее: Компонента сильной связности в орграфе

Теорема о промежуточном значении (или Теоре́ма Больца́но — Коши́) утверждает, что если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.

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

Теорема Жордана теорема о конечных линейных группах гарантирует наличие большой коммутативной подгруппы в любой конечной линейной группе.

Хаусдорфово пространство — топологическое пространство, удовлетворяющее сильной аксиоме отделимости T2.

Инвариант конечного типа (или инвариант Васильева) — класс инвариантов узлов, характеризующийся определённым соотношением на все разрешения сингулярного узла с данным числом самопересечений.

Узел в математике — вложение окружности (одномерной сферы) в трёхмерное евклидово пространство, рассматриваемое с точностью до изотопии. Основной предмет изучения теории узлов. Два узла топологически эквивалентны, если один из них можно продеформировать в другой, причём в процессе деформации не должно возникать самопересечений.

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

В математике централизатор подмножества S группы G — это множество элементов G, которые коммутируют с каждым элементом S, а нормализатор S — это множество элементов G, которые коммутируют с S «в целом». Централизатор и нормализатор S являются подгруппами G и могут пролить свет на структуру G.

За́мкнутое мно́жество — подмножество пространства, дополнение к которому открыто.

Бесконечная группа — группа с бесконечным числом элементов, в противоположность конечным группам.

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.

Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — множество слов, которое распознает некоторый конечный автомат. Класс регулярных множеств удобно изучать в целом, а полученные результаты оказываются применимы для достаточно широкого спектра формальных языков.

Точный функтор — функтор, который переводит точные последовательности в точные. Точные функторы удобны для вычислений в гомологической алгебре, поскольку их можно сразу применять к резольвентам объектов. Бо́льшая часть гомологической алгебры была построена для того, чтобы сделать возможной работу с функторами, которые не являются точными, но их отличие от точных поддаётся контролю.

Резольве́нта — один из важных инструментов гомологической алгебры, в частности служащий для вычисления функторов Ext и Tor.

Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...

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

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.

Петля в топологическом пространстве X — это непрерывное отображение f единичного отрезка I = в X, такое что f(0) = f(1). Другими словами, это путь, начальная точка которого совпадает с конечной.

Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны. Понятие алгебры над кольцом является обобщением понятия алгебры над полем, аналогично тому как понятие модуля обобщает понятие векторного пространства.

В математике, в области теории групп, локально конечная группа — это группа определенным образом (как индуктивный предел) конструирующаяся из конечных групп. Как и для конечных групп, для локально конечных групп изучаются подгруппы Силова, подгруппы Картера и т. п.

Грани́ца мно́жества A — множество всех точек, расположенных сколь угодно близко как к точкам во множестве A, так и к точкам вне множества A.

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

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

Подробнее: Полупростой модуль

Симплициальный компле́кс, или симплициальное пространство, — топологическое пространство с заданной на нём триангуляцией, то есть, неформально говоря, склеенное из топологических симплексов по определённым правилам.

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

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

В математике, логике и информатике, рекурсивно перечислимым языком называется тип формального языка, также известный как частично разрешимый или распознаваемый по Тьюрингу. В иерархии Хомского он известен как язык типа 0. Класс всех рекурсивно перечислимых языков называется RE.

Подробнее: Рекурсивно перечислимый язык

Скейн-соотношение (или соотношение типа Конвея) часто используют, чтобы простым способом определить многочлен узла. Неформально говоря, скейн-соотношение задаёт линейную связь значений многочлена узла на трёх зацеплениях, которые отличаются друг от друга лишь в малой области. Для некоторых многочленов, таких как полиномы Конвея, Александера и Джонса, подходящего скейн-соотношения достаточно, чтобы вычислить многочлен рекурсивно. Для других, таких как полином HOMFLY, требуются более сложные алгоритмы...

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

Окре́стность точки — множество, содержащее данную точку, и близкие (в каком-либо смысле) к ней. В разных разделах математики это понятие определяется по-разному.

У определённых функторов можно взять производные функторы чтобы получить другие функторы, тесно связанные с исходными. Данная операция является довольно абстрактной, но объединяет большое количество конструкций в математике.

Подробнее: Производный функтор

Массив Костаса может быть представлен в цифровом виде как массив из n × n чисел, где каждой точке ставится в соответствие 1, а в случае отсутствия точки в массив записывается 0. Если интерпретировать их как двоичные матрицы, эти массивы чисел имеют свойство: каждая строка и столбец имеет только одну точку на нем, поэтому они также являются матрицами перестановок. Таким образом, массивы Костаса для любого n являются подмножеством матриц перестановок порядка n.

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.