Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Теоре́ма Нётер или первая теорема Нётер утверждает, что каждой дифференцируемой симметрии действия для физической системы с консервативными силами соответствует закон сохранения. Теорема была доказана математиком Эмми Нётер в 1915 году и опубликована в 1918 году. Действие для физической системы представляет собой интеграл по времени функции Лагранжа, из которого можно определить поведение системы согласно принципу наименьшего действия. Эта теорема применима только к непрерывным и гладким симметриям над физическим пространством.
Ряд Те́йлора — разложение функции в бесконечную сумму степенных функций. Частный случай разложения в ряд Тейлора в нулевой точке называется рядом Маклорена.
Аналитическое продолжение в комплексном анализе — аналитическая функция, совпадающая с заданной функцией в её исходной области C и определённая при этом в области D, содержащей C — продолжение функции , являющееся аналитическим. Аналитическое продолжение всегда единственно.
Ограниченность в математике — свойство множеств, указывающее на конечность размера в контексте, определяемом категорией пространства.
Вы́чет в комплексном анализе — объект, характеризующий локальные свойства заданной функции или формы.
Каса́тельная пряма́я — прямая, проходящая через точку кривой и совпадающая с ней в этой точке с точностью до первого порядка.
Леммой Гейне — Бореля называется следующий факт, играющий фундаментальную роль в анализе:
- Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также покрывающую этот отрезок.
В теории функций комплексного переменного в честь Ш. Э. Пикара названы две теоремы, традиционно называемые большая и малая теоремы Пикара.
Спонта́нное наруше́ние симме́три́и — способ нарушения симметрии физической системы, при котором исходное состояние и уравнения движения системы инвариантны относительно некоторых преобразований симметрии, но в процессе эволюции система переходит в состояние, для которого инвариантность относительно некоторых преобразований начальной симметрии нарушается. Спонтанное нарушение симметрии всегда связано с вырождением состояния с минимальной энергией, называемого вакуумом. Множество всех вакуумов имеет начальную симметрию, однако каждый вакуум в отдельности — нет. Например, шарик в жёлобе с двумя ямами скатывается из неустойчивого симметричного состояния в устойчивое состояние с минимальной энергией либо влево, либо вправо, разрушая при этом симметрию относительно изменения левого на правое.
Теорема Тейлора даёт приближение к функции, дифференцируемой k раз, вблизи данной точки с помощью многочлена Тейлора k-го порядка. Для аналитических функций многочлен Тейлора в данной точке является частичной суммой их ряда Тейлора, который, в свою очередь, полностью определяет функцию в некоторой окрестности точки. Точное содержание теоремы Тейлора до настоящего времени не согласовано. Конечно, существует несколько версий теоремы, применимых в различных ситуациях, и некоторые из этих версий содержат оценки ошибки, возникающей при приближении функции с помощью многочлена Тейлора.
Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.
Теорема Коши — Ковалевской — теорема о существовании и единственности локального решения задачи Коши для дифференциального уравнения в частных производных. Теорема Ковалевской является одной из основных и наиболее часто используемых теорем в теории уравнений с частными производными: теорема Хольмгрена о единственности решения задачи Коши, теоремы существования решения задачи Коши для гиперболических уравнений, теория разрешимости линейных уравнений используют теорему Ковалевской.
SWIFFT — набор криптографических хеш-функций с доказанной стойкостью. Они основываются на быстром преобразовании Фурье и используют алгоритм LLL-редуцированных базисов. Криптографическая стойкость функций SWIFFT математически доказана при использовании рекомендуемых параметров. Поиск коллизий в SWIFFT в худшем случае требует не меньше временных затрат, чем нахождение коротких векторов в циклических/идеальных решётках. Практическое применение SWIFFT будет ценно именно в тех случаях, когда стойкость к коллизиям особенно важна. Например, цифровые подписи, которые должны оставаться надёжными длительное время.
Когомологии пучков — это результат использования гомологической алгебры для исследования глобальных сечений пучков. Грубо говоря, когомологии пучков описывают препятствия к глобальному решению геометрической проблемы, когда она может быть решена локально.
Множество больших тригонометрических сумм — понятие теории чисел — множество индексов, в которых преобразование Фурье характеристической функции заданного подмножества группы принимает достаточно большие значения.
Групповой анализ дифференциальных уравнений — раздел математики, изучающий свойства симметрии дифференциальных уравнений относительно различных преобразований зависимых и независимых переменных. Включает в себя методы и прикладные аспекты дифференциальной геометрии, теории групп и алгебр Ли, вариационного исчисления и является, в свою очередь, эффективным инструментом исследования в теории ОДУ, ДУЧП и математической физике.
Многозначная аналитическая функция — многозначная комплексная функция, получаемая при помощи аналитического продолжения по всем путям.