Реальная плоская кривая – Arc.Ask3.Ru
Реальная плоская кривая Вещественная плоская кривая Вещественная плоская кривая определяется в вещественной проективной плоскости Вещественные точки кривой образуют овалы, топологически […]
Реальная плоская кривая Вещественная плоская кривая Вещественная плоская кривая определяется в вещественной проективной плоскости Вещественные точки кривой образуют овалы, топологически […]
О-минимальная теория Определение o-минимальных структур Структура (M,<,…) называется o-минимальной, если каждое определяемое подмножество X ∈ M является конечным объединением интервалов
Субаналитический набор Определение полуаналитических множеств Полуаналитические множества определяются условиями, требующими, чтобы действительные степенные ряды были положительными. Для полуаналитических множеств не
Субаналитический набор Определение полуаналитических множеств Полуаналитические множества определяются условиями, требующими, чтобы действительные степенные ряды были положительными. Для полуаналитических множеств не
Архимедово свойство Архимедово свойство Архимедово свойство утверждает, что для любых двух положительных чисел x и y существует целое число n
Моментальная проблема Определение и существование меры В математике мера μ определяет отображение от пространства к последовательности моментов. Классическая задача о
О-минимальная теория Определение и свойства o-минимальных структур o-минимальная структура – это упорядоченная структура, в которой каждое определяемое подмножество является конечным
Полуалгебраическое множество Определение полуалгебраического множества Полуалгебраическое множество определяется через полиномиальные равенства и неравенства. Полуалгебраическое множество является конечным объединением базовых полуалгебраических
О-минимальная теория Определение и свойства o-минимальных структур o-минимальная структура – это упорядоченная структура, в которой каждое определяемое подмножество является конечным
Субаналитический набор Определение поданалитических множеств Поданалитические множества определяются более широко, чем полуаналитические множества. Полуаналитические множества удовлетворяют условиям, при которых определенные
Полуопределенное программирование Основы полуопределенного программирования Полуопределенное программирование (SDP) – это класс задач оптимизации, в которых целевая функция и ограничения являются
О-минимальная теория Определение и свойства o-минимальных структур o-минимальная структура – это упорядоченная структура, в которой каждое определяемое подмножество является конечным
Полуалгебраическое множество Полуалгебраическое множество определяется полиномиальными равенствами и неравенствами. Полуалгебраическая функция имеет полуалгебраический граф. Полуалгебраические множества и функции изучаются в
Функции Нэша Функция Нэша на открытом полуалгебраическом подмножестве Rn является аналитической функцией, удовлетворяющей нетривиальному полиномиальному уравнению. Некоторые примеры функций Нэша
Разрешимость теорий действительных чисел первого порядка Математическая логика использует язык вещественных чисел первого порядка для формирования предложений. Теории первого порядка
Неархимедово упорядоченное поле Неархимедово упорядоченное поле – упорядоченное поле, не удовлетворяющее свойству Архимеда. Такие поля содержат бесконечно малые и бесконечно
Реальное замкнутое поле Реальные замкнутые поля являются обобщением вещественных чисел и имеют двойную экспоненциальную сложность. Архимедово свойство является важным свойством
Архимедово свойство Архимедово упорядоченное поле – это поле с абсолютными значениями, в котором каждое число меньше или равно любому другому
Заказанное кольцо Упорядоченное кольцо – коммутативное кольцо с общим порядком ≤, удовлетворяющим определенным условиям. Примеры упорядоченных колец включают целые, рациональные
Квадратичная форма Квадратичная форма – это функция, которая отображает векторное пространство на поле вещественных чисел. Квадратичная форма может быть определена
Цилиндрическое алгебраическое разложение Цилиндрическая алгебраическая декомпозиция (CAD) является фундаментальным понятием в компьютерной алгебре и реальной алгебраической геометрии. CAD представляет разложение