Звёздная область

Звёздная область, относительно точки $O$ — подмножество $D$ евклидова пространства, $\mathbb {R} ^{n},$ такое, что отрезок, соединяющий любую точку области $D$ с точкой $O$ , целиком принадлежит этой области. Подмножество называется просто звёздной областью, если существует точка, относительно которой это подмножество звёздное^[1].

Это понятие обобщается также на случай комплексных пространств: область $D$ в пространстве $\mathbb {C} ^{n}$ называется звёздной относительно начала координат, если для любого числа $r\in (0,1]$ выполняется соотношение $rD\subset D$ . Звёздная область относительно произвольной точки $a\in \mathbb {C} ^{n}$ — область вида $a+D$ , где $D$ — звёздная область относительно начала координат^[2].

Свойства

Из определения следует, что любая выпуклая область является звёздной. Более того, область является выпуклой тогда и только тогда, когда она является звёздной относительно любой своей точки.

См. также

Примечания

↑ Humphreys, Alexis. Star convex (англ.) на сайте Wolfram MathWorld.
↑ Боголюбов, 2006, с. 246.

Литература

Боголюбов Н. Н., Логунов А. А., Оксак А. И., Тодоров И. Т. Общие принципы квантовой теории поля / под общ. ред. Суханова А. Д.. — М.: ФИЗМАТЛИТ, 2006. — 744 с. — ISBN 5-9221-0612-0.

Похожие исследовательские статьи

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

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

Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.

<span class="mw-page-title-main">Барицентр</span> среднее арифметическое положений всех точек фигуры

В математике барице́нтр, или геометри́ческий центр, двумерной фигуры — это среднее арифметическое положений всех точек данной фигуры. Определение распространяется на любой объект в n-мерном пространстве. Радиус-вектор барицентра в трёхмерном случае вычисляется как

\text{[math]}

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

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

Си́мплекс или n-ме́рный тетра́эдр — геометрическая фигура, являющаяся n-мерным обобщением треугольника.

Ко́мпле́ксная пло́скость — геометрическое представление множества комплексных чисел $\text{[math]}$ .

Голоморфная функция, иногда называемая регулярной функцией — функция комплексного переменного, определённая на открытом подмножестве комплексной плоскости $\text{[math]}$ и комплексно дифференцируемая в каждой точке.

Плюрисубгармоническая функция — вещественнозначная функция $\text{[math]}$ , от $\text{[math]}$ комплексных переменных $\text{[math]}$ в области $\text{[math]}$ комплексного пространства $\text{[math]}$ , $\text{[math]}$ , удовлетворяющая следующим условиям:

$\text{[math]}$ полунепрерывна сверху всюду в $\text{[math]}$ ;
$\text{[math]}$ есть субгармоническая функция переменного $\text{[math]}$ в каждой связной компоненте открытого множества $\text{[math]}$ для любых фиксированных точек $\text{[math]}$ , $\text{[math]}$ .

Проекти́вное простра́нство над полем $\text{[math]}$ — пространство, состоящее из прямых некоторого линейного пространства $\text{[math]}$ над данным полем. Прямые пространства $\text{[math]}$ называются точками проективного пространства. Это определение поддаётся обобщению на произвольное тело $\text{[math]}$ . Для полей $\text{[math]}$ или $\text{[math]}$ , и тела $\text{[math]}$ соответствующее проективное пространство называется вещественным $\text{[math]}$ , комплексным $\text{[math]}$ или кватернионным $\text{[math]}$ соответственно.

Важное свойство проективной плоскости — «симметрия» ролей, которые играют точки и прямые в определениях и теоремах, и двойственность является формализацией этой концепции. Имеются два подхода к концепции двойственности: один, использующий язык «принципа двойственности», позволяет объявить ряд теорем двойственными друг к другу, при этом двойственная к верной теореме тоже верна; и другой, функциональный подход, основанный на специальном отображении двойственности. Связь между подходами состоит в том, что двойственная теорема получается применением отображения двойственности к каждому объекту исходной. Возможен и координатный подход.

Многообра́зие — локально евклидово пространство.

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

Преобразование Лежандра для заданной функции $\text{[math]}$ — это построение функции $\text{[math]}$ , двойственной ей по Юнгу. Если исходная функция была определена на векторном пространстве $\text{[math]}$ , её преобразованием Лежандра будет функция, определённая на сопряжённом пространстве $\text{[math]}$ , то есть на пространстве линейных функционалов на пространстве $\text{[math]}$ .

Многозначное отображение — разновидность математического понятия отображения (функции). Пусть $\text{[math]}$ и $\text{[math]}$ — произвольные множества, а $\text{[math]}$ — совокупность всех подмножеств множества $\text{[math]}$ Многозначным отображением из множества $\text{[math]}$ в $\text{[math]}$ называется всякое отображение $\text{[math]}$ Обычно областью определения многозначного отображения $\text{[math]}$ является подмножество $\text{[math]}$ , а областью значений — пространство $\text{[math]}$ состоящее из непустых компактных подмножеств множества $\text{[math]}$ то есть $\text{[math]}$

Пример 1. Пусть $\text{[math]}$ . Ставя в соответствие каждому значению $\text{[math]}$ отрезок $\text{[math]}$ мы получаем многозначное отображение $\text{[math]}$

Пример 2. Пусть $\text{[math]}$ — непрерывная функция. Положим $\text{[math]}$ и $\text{[math]}$ Ставя в соответствие каждому значению $\text{[math]}$ множество $\text{[math]}$ мы получаем многозначное отображение $\text{[math]}$

Пример 3. Контингенция и паратингенция.

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

Лемма Шепли — Фолкмана связывает две операции выпуклой геометрии — сложение по Минковскому и выпуклую оболочку. Лемма имеет приложения в ряде дисциплин, в том числе в математической экономике, оптимизации и теории вероятностей. Лемма и связанные с ней результаты позволяют дать утвердительный ответ на вопрос «Близка ли к состоянию выпуклости сумма нескольких множеств?».

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

Пространство Лобачевского, или гиперболическое пространство размерности $\text{[math]}$ — единственное полное односвязное $\text{[math]}$ -мерное риманово многообразие постоянной отрицательной кривизны, равной $\text{[math]}$ . Обычно обозначается $\text{[math]}$ или $\text{[math]}$ . Двумерное пространство Лобачевского $\text{[math]}$ называется плоскостью Лобачевского.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.