Поддержка (математика)

редактировать

В математике, то поддержка из вещественной функции является подмножеством из области, содержащей элементы, которые не отображенная к нулю. Если домен является топологическим пространством, опора вместо этого определяется как наименьшее замкнутое множество, содержащее все точки, не отображенные в ноль. Это понятие очень широко используется в математическом анализе. ж {\ displaystyle f} ж {\ displaystyle f} ж {\ displaystyle f}

СОДЕРЖАНИЕ

  • 1 Состав
  • 2 Закрытая поддержка
  • 3 Компактная опора
  • 4 Основная поддержка
  • 5 Обобщение
  • 6 В теории вероятностей и меры
  • 7 Поддержка раздачи
  • 8 Исключительная поддержка
  • 9 Семейство опор
  • 10 См. Также
  • 11 цитат
  • 12 Ссылки

Формулировка

Предположим, что это вещественная функция, область определения которой - произвольное множество. ж : Икс р {\ displaystyle f: X \ to \ mathbb {R}} Икс . {\ displaystyle X.} Теоретико-множественная поддержка внаписанноместь множество точекгдене равно нуль: ж , {\ displaystyle f,} суп ( ж ) , {\ displaystyle \ operatorname {supp} (f),} Икс {\ displaystyle X} ж {\ displaystyle f}

суп ( ж ) знак равно { Икс Икс : ж ( Икс ) 0 } . {\ displaystyle \ operatorname {supp} (f) = \ {x \ in X \,: \, f (x) \ neq 0 \}.}

Поддержка - это наименьшее подмножество со свойством, равным нулю на дополнении подмножества. Если для всех точек, кроме конечного, то говорят, что ж {\ displaystyle f} Икс {\ displaystyle X} ж {\ displaystyle f} ж ( Икс ) знак равно 0 {\ displaystyle f (x) = 0} Икс Икс , {\ displaystyle x \ in X,} ж {\ displaystyle f}конечная опора.

Если набор имеет дополнительную структуру (например, топологию), то носитель определяется аналогичным образом как наименьшее подмножество соответствующего типа, которое исчезает в соответствующем смысле на своем дополнении. Понятие поддержки также естественным образом распространяется на функции, принимающие значения в более общих наборах, чем на другие объекты, такие как меры или распределения. Икс {\ displaystyle X} ж {\ displaystyle f} Икс {\ displaystyle X} ж {\ displaystyle f} р {\ Displaystyle \ mathbb {R}}

Закрытая поддержка

Наиболее часто встречается ситуация, когда это топологическое пространство (например, прямой или n - мерном евклидовом пространстве ) и является непрерывным вещественным (или комплекс ) значной функции. В этом случае Икс {\ displaystyle X} п {\ displaystyle n} ж : Икс р {\ displaystyle f: X \ to \ mathbb {R}} поддержка из ж {\ displaystyle f}определяется как топологически закрытия (взятого в) поднаборагдене равен нулюто есть Икс {\ displaystyle X} Икс {\ displaystyle X} ж {\ displaystyle f}

суп ( ж ) знак равно cl Икс ( { Икс Икс : ж ( Икс ) 0 } ) знак равно ж - 1 ( { 0 } c ) ¯ . {\ displaystyle \ operatorname {supp} (f): = \ operatorname {cl} _ {X} \ left (\ {x \ in X \,: \, f (x) \ neq 0 \} \ right) = { \ overline {f ^ {- 1} \ left (\ {0 \} ^ {c} \ right)}}.}

Поскольку пересечение замкнутых множеств замкнуто, это пересечение всех замкнутых множеств, содержащих теоретико-множественный носитель суп ( ж ) {\ displaystyle \ operatorname {supp} (f)} ж . {\ displaystyle f.}

Например, если функция определяется как ж : р р {\ displaystyle f: \ mathbb {R} \ to \ mathbb {R}}

ж ( Икс ) знак равно { 1 - Икс 2  если  | Икс | lt; 1 0  если  | Икс | 1 {\ displaystyle f (x) = {\ begin {cases} 1-x ^ {2} amp; {\ text {if}} | x | lt;1 \\ 0 amp; {\ text {if}} | x | \ geq 1 \ end {case}}} тогда опорой является замкнутый интервал, так как он не равен нулю на открытом интервале, и замыкание этого множества равно ж {\ displaystyle f} [ - 1 , 1 ] , {\ displaystyle [-1,1],} ж {\ displaystyle f} ( - 1 , 1 ) {\ displaystyle (-1,1)} [ - 1 , 1 ] . {\ displaystyle [-1,1].}

Понятие замкнутой опоры обычно применяется к непрерывным функциям, но определение имеет смысл для произвольных действительных или комплекснозначных функций на топологическом пространстве, и некоторые авторы не требуют, чтобы (или) были непрерывными. ж : Икс р {\ displaystyle f: X \ to \ mathbb {R}} ж : Икс C {\ displaystyle f: X \ to \ mathbb {C}}

Компактная опора

Функции с компактные носители в топологическом пространстве- это те, чей замкнутый носитель является компактным подмножествомЕсли- вещественная прямая, или-мерное евклидово пространство, то функция имеет компактный носитель тогда и только тогда, когда она имеет Икс {\ displaystyle X} Икс . {\ displaystyle X.} Икс {\ displaystyle X} п {\ displaystyle n}ограниченный носитель, поскольку подмножествокомпактно тогда и только тогда, когда оно замкнуто и ограничено. р п {\ Displaystyle \ mathbb {R} ^ {п}}

Например, функция, определенная выше, является непрерывной функцией с компактным носителем. Если является гладкой функцией, то, поскольку она тождественно на открытом подмножестве, все частные производные всех порядков пользователя также одинаково на ж : р р {\ displaystyle f: \ mathbb {R} \ to \ mathbb {R}} [ - 1 , 1 ] . {\ displaystyle [-1,1].} ж : р п р {\ displaystyle f: \ mathbb {R} ^ {n} \ to \ mathbb {R}} ж {\ displaystyle f} 0 {\ displaystyle 0} р п суп ( ж ) , {\ displaystyle \ mathbb {R} ^ {n} \ setminus \ operatorname {supp} (f),} ж {\ displaystyle f} 0 {\ displaystyle 0} р п суп ( ж ) . {\ displaystyle \ mathbb {R} ^ {n} \ setminus \ operatorname {supp} (f).}

Условие компактного носителя сильнее условия обращения в нуль на бесконечности. Например, функция, определяемая ж : р р {\ displaystyle f: \ mathbb {R} \ to \ mathbb {R}}

ж ( Икс ) знак равно 1 1 + Икс 2 {\ displaystyle f (x) = {\ frac {1} {1 + x ^ {2}}}} обращается в нуль на бесконечности, поскольку as, но его носитель не компактен. ж ( Икс ) 0 {\ Displaystyle е (х) \ к 0} | Икс | , {\ Displaystyle | х | \ к \ infty,} р {\ Displaystyle \ mathbb {R}}

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

В хороших случаях функции с компактным носителем плотны в пространстве функций, обращающихся в нуль на бесконечности, но это свойство требует некоторой технической работы для обоснования в данном примере. В качестве интуиции для более сложных примеров, и на языке ограничений, для любой любой функции на вещественной оси, которая обращается в нуль на бесконечности можно аппроксимировать, выбрав соответствующую компактное подмножество из таких, что ε gt; 0 , {\ displaystyle \ varepsilongt; 0,} ж {\ displaystyle f} р {\ Displaystyle \ mathbb {R}} C {\ displaystyle C} р {\ Displaystyle \ mathbb {R}}

| ж ( Икс ) - я C ( Икс ) ж ( Икс ) | lt; ε {\ Displaystyle \ влево | е (х) -I_ {C} (х) е (х) \ вправо | lt;\ varepsilon} для всех, где есть индикаторная функция от каждой непрерывной функции на компактном топологическом пространстве имеет компактный носитель, так как каждое замкнутое подмножество компактного пространства действительно компактно. Икс Икс , {\ displaystyle x \ in X,} я C {\ displaystyle I_ {C}} C . {\ displaystyle C.}

Основная поддержка

Если это

пространство с топологической мерой с мерой Бореля (например, или измеримое по Лебегу подмножество, снабженное мерой Лебега), то обычно идентифицируются функции, которые равны -почти везде. В этом случае Икс {\ displaystyle X} μ {\ displaystyle \ mu} р п , {\ displaystyle \ mathbb {R} ^ {n},} р п , {\ displaystyle \ mathbb {R} ^ {n},} μ {\ displaystyle \ mu}существенная поддержка измеримой функцииписьменногоопределяется как наименьшее замкнутое подмножествоизтакихчтопочти всюду внеЭквивалентно,является дополнением крупнейшего открытого множества на которомпочти всюду ж : Икс р {\ displaystyle f: X \ to \ mathbb {R}} е s s s ты п п ( ж ) , {\ displaystyle \ operatorname {ess \, supp} (f),} F {\ displaystyle F} Икс {\ displaystyle X} ж знак равно 0 {\ displaystyle f = 0} μ {\ displaystyle \ mu} F . {\ displaystyle F.} е s s s ты п п ( ж ) {\ displaystyle \ operatorname {ess \, supp} (f)} ж знак равно 0 {\ displaystyle f = 0} μ {\ displaystyle \ mu} е s s s ты п п ( ж ) знак равно Икс { Ω Икс : Ω  открыт и  ж знак равно 0 μ -почти везде в  Ω } . {\ displaystyle \ operatorname {ess \, supp} (f): = X \ setminus \ bigcup \ left \ {\ Omega \ substeq X: \ Omega {\ text {открыт и}} f = 0 \, \ mu { \ text {-почти везде в}} \ Omega \ right \}.}

Существенная поддержка функции зависит не только от

меры, но и может быть строго меньше, чем закрытая поддержка. Например, если - функция Дирихле, которая существует на иррациональных числах и на рациональных числах, и снабжена мерой Лебега, то носителем является весь интервал, но существенный носитель пуст, поскольку равен почти всюду нулевой функции. ж {\ displaystyle f} μ {\ displaystyle \ mu} ж , {\ displaystyle f,} ж : [ 0 , 1 ] р {\ displaystyle f: [0,1] \ to \ mathbb {R}} 0 {\ displaystyle 0} 1 {\ displaystyle 1} [ 0 , 1 ] {\ displaystyle [0,1]} ж {\ displaystyle f} [ 0 , 1 ] , {\ displaystyle [0,1],} ж {\ displaystyle f} ж {\ displaystyle f}

В анализе почти всегда требуется использовать существенную поддержку функции, а не ее закрытую поддержку, когда два набора различны, поэтому часто пишется просто как и упоминается как поддержка. е s s s ты п п ( ж ) {\ displaystyle \ operatorname {ess \, supp} (f)} суп ( ж ) {\ displaystyle \ operatorname {supp} (f)}

Обобщение

Если - произвольное множество, содержащее ноль, понятие опоры можно сразу обобщить на функции. Опора также может быть определена для любой

алгебраической структуры с тождеством (такой как группа, моноид или композиционная алгебра ), в которой единичный элемент принимает на себя роль нуль. Например, семейство функций от натуральных чисел до целых - это бесчисленное множество целочисленных последовательностей. Подсемейство - это счетное множество всех целочисленных последовательностей, которые имеют только конечное число ненулевых элементов. M {\ displaystyle M} ж : Икс M . {\ displaystyle f: X \ to M.} Z N {\ Displaystyle \ mathbb {Z} ^ {\ mathbb {N}}} { ж Z N : ж  имеет конечную поддержку  } {\ displaystyle \ left \ {f \ in \ mathbb {Z} ^ {\ mathbb {N}}: f {\ text {имеет конечную поддержку}} \ right \}}

Функции конечного носителя используются при определении алгебраических структур, таких как групповые кольца и свободные абелевы группы.

В теории вероятностей и меры

Дополнительная информация: поддержка (теория меры)

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

Более формально, если - случайная величина, то опорой является наименьшее замкнутое множество, такое что Икс : Ω р {\ Displaystyle X: \ Omega \ to \ mathbb {R}} ( Ω , F , п ) {\ displaystyle (\ Omega, {\ mathcal {F}}, P)} Икс {\ displaystyle X} р Икс р {\ Displaystyle R_ {X} \ substeq \ mathbb {R}} п ( Икс р Икс ) знак равно 1. {\ displaystyle P \ left (X \ in R_ {X} \ right) = 1.}

На практике, однако, носитель из дискретной случайной величины часто определяются как набор и поддержка

непрерывной случайной величины определяются как набор, где является функцией плотности вероятности из (в теоретико-множественной поддержки). Икс {\ displaystyle X} р Икс знак равно { Икс р : п ( Икс знак равно Икс ) gt; 0 } {\ Displaystyle R_ {X} = \ {х \ in \ mathbb {R}: P (X = x)gt; 0 \}} Икс {\ displaystyle X} р Икс знак равно { Икс р : ж Икс ( Икс ) gt; 0 } {\ displaystyle R_ {X} = \ {x \ in \ mathbb {R}: f_ {X} (x)gt; 0 \}} ж Икс ( Икс ) {\ displaystyle f_ {X} (x)} Икс {\ displaystyle X}

Обратите внимание, что слово поддержки может обратиться к логарифму от вероятности функции плотности вероятности.

Поддержка раздачи

Можно также говорить о поддержке такого распределения, как дельта-функция Дирака на реальной прямой. В этом примере мы можем рассмотреть тестовые функции, которые являются

гладкими функциями с поддержкой не включая точку С (распределения применяется как линейный функционал к) является для таких функций, мы можем сказать, что поддержка является только. Поскольку меры (включая вероятностные ) на вещественной прямой являются частными случаями распределений, мы можем точно так же говорить о поддержке меры. δ ( Икс ) {\ Displaystyle \ дельта (х)} F , {\ displaystyle F,} 0. {\ displaystyle 0.} δ ( F ) {\ displaystyle \ delta (F)} δ {\ displaystyle \ delta} F {\ displaystyle F} 0 {\ displaystyle 0} δ {\ displaystyle \ delta} { 0 } {\ displaystyle \ {0 \}}

Предположим, что это распределение, и это открытое множество в евклидовом пространстве такое, что для всех пробных функций, носитель которых содержится в Then, говорят, что он обращается в нуль на Now, если обращается в нуль на произвольном семействе открытых множеств, то для любая тестовая функция, поддерживаемая простым аргументом, основанным на компактности носителя и разбиении единицы, также показывает это. Таким образом, мы можем определить

поддержку в качестве дополнения наибольшего открытого множества, на котором исчезает. Например, поддержка дельты Дирака равна ж {\ displaystyle f} U {\ displaystyle U} ϕ {\ displaystyle \ phi} ϕ {\ displaystyle \ phi} U , {\ displaystyle U,} ж ( ϕ ) знак равно 0. {\ displaystyle f (\ phi) = 0.} ж {\ displaystyle f} U . {\ displaystyle U.} ж {\ displaystyle f} U α {\ displaystyle U _ {\ alpha}} ϕ {\ displaystyle \ phi} U α , {\ displaystyle \ bigcup U _ {\ alpha},} ϕ {\ displaystyle \ phi} ж ( ϕ ) знак равно 0 {\ Displaystyle е (\ фи) = 0} ж {\ displaystyle f} ж {\ displaystyle f} { 0 } . {\ displaystyle \ {0 \}.}

Исключительная поддержка

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

Например, преобразование Фурье от ступенчатой функции Хевисайда может, с точностью до постоянных факторов, считается (функция), за

исключением в то время как, очевидно, особая точка, это является более точным, чтобы сказать, что преобразование распределения имеет особую поддержку: он не может быть точно выражен как функция по отношению к тестовым функциям с поддержкой, включая его. Его можно выразить как применение несобственного интеграла Коши с главным значением. 1 / Икс {\ displaystyle 1 / x} Икс знак равно 0. {\ displaystyle x = 0.} Икс знак равно 0 {\ displaystyle x = 0} { 0 } {\ displaystyle \ {0 \}} 0. {\ displaystyle 0.}

Для распределений нескольких переменных особые опоры позволяют определять множества волновых фронтов и понимать принцип Гюйгенса с точки зрения математического анализа. Особые опоры также могут использоваться для понимания явлений, специфичных для теории распределений, таких как попытки «умножить» распределения (возведение в квадрат дельта-функции Дирака не удается - по существу, потому, что особые носители умножаемых распределений должны быть непересекающимися).

Семья опор

Абстрактное понятие Семейство носителей на топологическом пространстве, пригодном для

теории пучков, было определено Анри Картаном. При распространении двойственности Пуанкаре нанекомпактные многообразия идея «компактного носителя» естественным образом входит по одну сторону двойственности; см., например, когомологии Александера – Спаниера. Икс , {\ displaystyle X,}

Bredon, Sheaf Theory (2-е издание, 1997 г.) дает эти определения. Семейство замкнутых подмножеств - это

семейство опор, если оно замкнуто вниз и замкнуто относительно конечного объединения. Его протяженность является объединение по А паракомпактифицируемости семейства опор, что удовлетворяет далее, что любой в есть, с топологией подпространства, в паракомпакта ; и некоторые из них находятся по соседству. Если - локально компактное пространство, то в предположении Хаусдорфа семейство всех компактных подмножеств удовлетворяет дальнейшим условиям, что делает его паракомпактифицирующим. Φ {\ displaystyle \ Phi} Икс {\ displaystyle X} Φ . {\ displaystyle \ Phi.} Y {\ displaystyle Y} Φ {\ displaystyle \ Phi} Z {\ displaystyle Z} Φ {\ displaystyle \ Phi} Икс {\ displaystyle X}

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

Цитаты

использованная литература

Последняя правка сделана 2023-03-31 09:19:25
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте