Z Wikipedii, wolnej encyklopedii
Ścisła addytywność – własność miar wektorowych o wartościach w przestrzeniach Banacha .
Niech
F
{\displaystyle {\mathcal {F}}}
będzie ciałem podzbiorów zbioru
M
{\displaystyle M}
oraz
E
{\displaystyle E}
będzie przestrzenią Banacha i niech
ν
:
F
→
E
{\displaystyle \nu \colon {\mathcal {F}}\to E}
będzie miarą wektorową . Mówimy, że
ν
{\displaystyle \nu }
jest ściśle addytywna , gdy dla każdego ciągu
(
A
n
)
n
∈
N
{\displaystyle (A_{n})_{n\in \mathbb {N} }}
zbiorów parami rozłącznych z ciała
F
{\displaystyle {\mathcal {F}}}
szereg
∑
n
=
1
∞
ν
(
A
n
)
{\displaystyle \sum _{n=1}^{\infty }\nu (A_{n})}
jest zbieżny według normy .
Mówimy, że rodzina
{
ν
t
:
F
→
E
:
t
∈
T
}
{\displaystyle \{\nu _{t}\colon {\mathcal {F}}\to E:t\in T\}}
ściśle addytywnych miar wektorowych jest jednostajnie ściśle addytywna , gdy dla każdego ciągu
(
A
n
)
n
∈
N
{\displaystyle (A_{n})_{n\in \mathbb {N} }}
zbiorów parami rozłącznych z ciała
F
{\displaystyle {\mathcal {F}}}
granica
lim
n
→
∞
‖
∑
m
=
n
∞
ν
t
(
A
m
)
‖
=
0
{\displaystyle \lim _{n\to \infty }\|\sum _{m=n}^{\infty }\nu _{t}(A_{m})\|=0}
jednostajnie dla każdego
t
∈
T
.
{\displaystyle t\in T.}
Miara wektorowa o skończonym wahaniu jest ściśle addytywna.
Ściśle addytywna miara wektorowa, określona na ciele zbiorów, jest ograniczona.
Jeśli
{
ν
t
:
F
→
E
:
t
∈
T
}
{\displaystyle \{\nu _{t}\colon {\mathcal {F}}\to E:t\in T\}}
jest rodziną miar wektorowych, wtedy następujące warunki są równoważne:
{
ν
t
:
t
∈
T
}
{\displaystyle \{\nu _{t}\colon t\in T\}}
jest rodziną jednostajnie ściśle addytywną.
{
x
⋆
ν
t
:
t
∈
T
x
⋆
∈
E
⋆
,
‖
x
⋆
‖
⩽
1
}
{\displaystyle \{x^{\star }\nu _{t}\colon t\in T\,x^{\star }\in E^{\star },\|x^{\star }\|\leqslant 1\}}
jest rodziną jednostajnie ściśle addytywną.
Jeśli
(
A
n
)
n
∈
N
{\displaystyle (A_{n})_{n\in \mathbb {N} }}
jest ciągiem zbiorów parami rozłącznych z ciała
F
,
{\displaystyle {\mathcal {F}},}
wtedy
lim
n
→
∞
‖
ν
t
(
A
n
)
‖
=
0
{\displaystyle \lim _{n\to \infty }\|\nu _{t}(A_{n})\|=0}
jednostajnie dla każdego
t
∈
T
.
{\displaystyle t\in T.}
Jeśli
(
A
n
)
n
∈
N
{\displaystyle (A_{n})_{n\in \mathbb {N} }}
jest ciągiem zbiorów parami rozłącznych z ciała
F
,
{\displaystyle {\mathcal {F}},}
wtedy
lim
n
→
∞
‖
ν
t
‖
(
A
n
)
=
0
{\displaystyle \lim _{n\to \infty }\|\nu _{t}\|(A_{n})=0}
jednostajnie dla każdego
t
∈
T
.
{\displaystyle t\in T.}
{
|
x
⋆
ν
t
|
:
t
∈
T
x
⋆
∈
E
⋆
,
‖
x
⋆
‖
⩽
1
}
{\displaystyle \{|x^{\star }\nu _{t}|\colon t\in T\,x^{\star }\in E^{\star },\|x^{\star }\|\leqslant 1\}}
jest rodziną jednostajnie ściśle addytywną[1] .
↑ Diestel J., Uhl J.J: Vector Measures . Rhode Island: American Mathematical Society, 1977, s. 27–29.