Заряд (теория меры)

Шаблон:Значения Заряд — вещественнозначная конечно-аддитивная функция множества, определённая на некоторой $\sigma$-алгебре, (например, борелевских подмножеств).

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

Множество всех зарядов над произвольным множеством $X$ c сигма-алгеброй $\mathrm{\Sigma }$ принято обозначать $\mathrm{ba}(X,\mathrm{\Sigma })$.

Связанные определения

• Положительный заряд $\nu \in \mathrm{ba}(X,\mathrm{\Sigma })$ называется чисто конечно аддитивным, если для любой неотрицательной счётно-аддитивной меры $\mu$ из $0⩽\mu ⩽\nu$ вытекает, что $\mu =0$.
  • Произвольный заряд чисто конечно аддитивен, если таковы заряды ${\nu }^{+}$ и ${\nu }^{-}$.
• Заряд $\lambda$ абсолютно непрерывен относительно меры $\mu$, если $(\mathrm{\forall }A\in \mathrm{\Sigma })(\mu (A)=0\to \lambda (A)=0).$

Свойства

• Множество всех зарядов образует нормированную решётку и даже, более того, $K$-пространство.
• Для любого заряда $\nu$ имеется положительная часть ${\nu }^{+}⩾0$ и отрицательная часть ${\nu }^{-}⩽0$. Имеет место разложение Хана — Жордана $\nu ={\nu }^{+}+{\nu }^{-}$, в силу которого свойства зарядов могут быть выражены в терминах теории меры.
• Пусть $\mu \in \mathrm{ba}(X,\mathrm{\Sigma })$.
  Любой заряд $\nu$ единственным образом представим в виде суммы $\nu ={\nu }_1+{\nu }_2$, где ${\nu }_1$ абсолютно непрерывна относительно $\mu$ и ${\nu }_2$ дизъюнктна $\mu$. Такое представление меры $\nu$ принято назвать разложением по Лебегу.
• Любой заряд $\nu \in \mathrm{ba}(X,\mathrm{\Sigma })$ единственным образом представим в виде суммы $\nu ={\nu }_{ca}+{\nu }_{pfa}$, где ${\nu }_{ca}$ — произвольная счётно-аддитивная мера, а ${\nu }_{pfa}$ — произвольный чисто конечно-аддитивный заряд. Такое разложение иногда называют разложением Иосиды — Хьюита.
• Пространство $\mathrm{ba}(X,\mathrm{\Sigma })$ является топологически сопряжённым к пространству измеримых и ограниченных функций, заданных над данным измеримым пространством.

История

Термин «заряд» был впервые введён А. Д. Александровым. Изучение заряда послужило толчком для развития конечно-аддитивной теории меры (1940-е годы).

См. также

• Шаблон:Не переведено

Литература

• Данфорд Н., Шварц Дж. Линейные операторы. Общая теория. — Шаблон:М: ИЛ, 1962.
• Ландкоф Н. С. Основы современной теории потенциалов. — Шаблон:М, 1966.
• Халмош П. Теория меры. // Пер. с англ. — Шаблон:М, 1953.
• Alexandroff A. D. Additive set-functions in abstract spaces I // Матем. сборник 1940. V.8(50), N 2. P.307-348.
• Alexandroff A. D. Additive set-functions in abstract spaces II // Матем. сборник 1941. V.9(51), N 3. P.563-628.
• Alexandroff A. D. Additive set-functions in abstract spaces III // Матем. сборник 1943. V.13(55), N 2. P.169-293.
• Yosida K., Hewitt E. Finitely additive mesures // Trans. Amer. Math. Soc. 1952. v. 72, N 1. P. 46—66.