Геминепрерывность - Википедия - Hemicontinuity

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

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

Верхняя гемиконтинуальность

Это соответствие всюду полунепрерывно вверху, но не полунепрерывно внизу в Икс: для последовательности точек {Иксм} что сходится к Икс, у нас есть у (у в f (x)) такая, что никакая последовательность {yм} сходится к у где каждый ум в f (xм).

Соответствие Γ: АB как говорят верхний полунепрерывный в момент а если для любого открытого района V группы Γ (а) существует окрестность U из а такой, что для всех Икс в U, Γ (Икс) является подмножеством V.

Последовательная характеристика

Для соответствия Γ: АB с замкнутыми значениями, если Γ: АB верхняя полунепрерывная на тогда , и

Если B компактно, верно и обратное.

Теорема о замкнутом графике

График соответствия Γ: АB множество, определяемое .

Если Γ: АB является полунепрерывным сверху соответствием с замкнутой областью (т. е. множеством точек аА где Γ (а) не является пустым множеством замкнутым) и замкнутыми значениями (т.е. Γ (а) закрыто для всех а в А), то Gr (Γ) замкнуто. Если B компактно, то верно и обратное.[1]

Более низкая геминепрерывность

Это соответствие всюду полунепрерывно снизу, но не полунепрерывно сверху в Икс, потому что граф (множество) не замкнут.

Соответствие Γ: АB как говорят нижняя полунепрерывная в момент а если для любого открытого набора V пересекающие Γ (а) существует окрестность U из а такое, что Γ (Икс) пересекает V для всех Икс в U. (Здесь V пересекает S означает непустое пересечение ).

Последовательная характеристика

Γ: АB нижняя полунепрерывная на а если и только если

последовательность

Теорема открытого графа

Соответствие Γ: АB имеют открытые нижние секции если набор открыт в А для каждого бB. Если значения Γ - все открытые множества в B, то говорят, что Γ имеет открытые верхние секции.

Если Γ имеет открытый граф Gr(Γ), то Γ имеет открытые верхнее и нижнее сечения, а если Γ имеет открытые нижние сечения, то он полунепрерывен снизу.[2]

Теорема об открытом графике утверждает, что если Γ: А → P (рп) - выпуклозначное соответствие с открытыми верхними сечениями, то Γ имеет открытый граф в А × рп тогда и только тогда, когда Γ полунепрерывна снизу.[2]

Характеристики

Теоретико-множественные, алгебраические и топологические операции над многозначными отображениями (например, объединение, композиция, сумма, выпуклая оболочка, замыкание) обычно сохраняют тип непрерывности. Но к этому следует подходить с должной осторожностью, поскольку, например, существует пара полунепрерывных снизу соответствий, пересечение которых не является полунепрерывным снизу. Это можно исправить, усилив свойства непрерывности: если одна из этих полунепрерывных снизу мультифункций имеет открытый граф, то их пересечение снова будет полунепрерывным снизу.

Решающее значение для многозначного анализа (с точки зрения приложений) имеет исследование однозначного выбор и приближения к многозначным отображениям. Обычно нижние полунепрерывные соответствия допускают однозначный выбор (Теорема Майкла о выборе, Теорема Брессана – Коломбо о непрерывном выборе по направлениям, Выбор разложимых отображений Фрышковского). Точно так же полунепрерывные сверху отображения допускают приближения (например, теорема Анселя – Гранаса – Горневича – Крышевского).

Последствия для преемственности

Если соответствие одновременно верхнее полунепрерывное и нижнее полунепрерывное, оно называется непрерывным. Непрерывная функция во всех случаях является полунепрерывной как верхней, так и нижней полунепрерывной.

Другие концепции непрерывности

Верхнюю и нижнюю полунепрерывность можно рассматривать как обычную непрерывность:

Γ: АB ниже [соотв. верхний] полунепрерывно тогда и только тогда, когда отображение Γ: АP (B) непрерывна, где гиперпространство P (B) был наделен нижним [соотв. верхний] Топология Виеториса.

(Для понятия гиперпространства сравните также набор мощности и функциональное пространство ).

Использование нижнего и верхнего Хаусдорфа единообразие мы также можем определить так называемые верхний и полунепрерывные снизу отображения по Хаусдорфу (также известный как метрически полунепрерывные снизу / верхние карты).

Смотрите также

Примечания

  1. ^ Предложение 1.4.8 Обен, Жан-Пьер; Франковская, Элен (1990). Установленный анализ. Базель: Биркхойзер. ISBN  3-7643-3478-9.
  2. ^ а б Чжоу, J.X. (август 1995 г.). «О существовании равновесия для абстрактных экономик». Журнал математического анализа и приложений. 193 (3): 839–858. Дои:10.1006 / jmaa.1995.1271.

Рекомендации