ts statement. Let j : C → C be a continuous function with j(0) = 0. In addition, let j satisfy the following hypothesis: for every sufficiently small ε > 0, there exist two continuous, nonnegative functions ϕε and ψε such that |j(a+b)−j(a)| εϕε(a)+ψε(b) (1) for all a, b ∈ C. The followin <...> result has been stated and proved by H. Brezis <...> [Wε,n +εϕε ◦ gn]dµ. Consequently, lim sup In εC. Now let ε→0. Remark 1.1. (i) The conditions (3) and (4) mean that the sequence |j ◦ fn−j ◦ gn| lies eventually in the set [−|j ◦ f|, |j ◦ f|] + 3εC the proof above can be replaced by a mapping J : L0 →L0 satisfying some reasonably mild conditions for keeping the statement of the Brezis–Lieb lemma. words, the sequence j ◦ fn −j ◦ gn is almost order bounded. (ii) The superposition operator Jj : L0 →L0, Jj(f) := j ◦ f induced by the mapping j in (iii) Theorem 1.1 is equivalent to its par <...> )dµ = 0 . (6) Two measure-free versions of the Brezis–Lieb lemma 2. Two variants of the Brezis–Lieb lemma in Riesz spaces short) to x ∈ E if there is a sequence zn in E satisfying zn ↓ 0 and |xn−x| zn for all n ∈ N (we write xn Recall that a sequence xn in a Riesz space E is order convergent (or o-convergent, for o uo-convergent, for short) to x ∈ E if |xn −x| ∧ y o − Here we give two variants of the Brezis–Lieb lemma in Riesz space setting by replacing − − uo a.e.-convergence by uo-convergence, integral functionals by strictly positive functionals and the continuity of the scalar function j (in Theorem 1.1) by the so called σ-unbounded order uo-convergence of sequences is t <...> e same as the almost everywhere convergence (see, for example [5]). Therefore, in order to obtain versions of Brezis–Lieb lemma in Riesz <...> paces, we shall replace the a.e.-convergence by the uo-convergence. A mapping f : E →F between Riesz spaces is said to be σ-unbounded order continuous (in short, σuo-continuous) if xn →x in E implies f(xn) uo is parallel to the we <...> l-k <...>
Владикавказский_математический_журнал_№1_2016.pdf
2 RihpRiq#r sut3VXRiQ T#CVXW#T#FwvirxVXY`C#T#hpRiqVXT#Q RiQyTH %5) %D% RiQP viY`q#rphxP
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#FIT#CVXQ T#Q Y`Q 9badce46$fa g
$&%'(%#)1032546$8759
!#"
f
" "# x
@BADC#EGFI1RRiqPpC#EGFwY`C#T#hpRiqVXT#Q RiQ g
$&%93%#$fb$fadda
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#F
T#CVXQ T#Q Y`Q 9badce46$fa
CVXQ T#Q Y`QHP Q RSHP Q T#W#T
2f%(2f%)103$7 &$b (7
2 T#pT#qVXW`rpviryrpQiRXRiC#T 46$fa
a %#$&%9b$f9b1 t
2 P C#W#Qs1RiQ Riq#pY`q#vSVXW#T#FwvirxVXY`C#T#hpRiqVXT#Q RiQ
9
93%`%#$3(0f4 t
CVXQ T#Q Y`QHP Q RSHP Q T#W#T
9
2 T#pT#qVXW`rpviryrpQiRXRiC#T 46$fa
@BADC#EGFI1RRiqPpC#EGFwY`C#T#hpRiqVXT#Q RiQ g
$&% t %#9b$05&G1a
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#F
T#CVXQ T#Q Y`Q 9badce46$fa
$&%%ad$8f03B759
TIP hpQ rxHP Q T#SP #T#T )dbadc46$fa
CVXQ T#Q Y`QD#q#T#WPC#rpFIHP Q RSHP Q T#W#T
CVXQ T#Q Y`QHP Q RSHP Q T#W#T
2f%) %#9 t
t3 G1a t
9
@BADC#EGF1RRiqPpC#EGFY`C#T#hpRiqVXT#Q RiQ g
2f%'(%(2$f) t
2 T#pT#qVXW`rpviryrpQiRXRiC#T 46$fa
0 C#T#hpRiqVXT#Q RiQ
$ vXP q#hpRp#1rpq#Q Y`vXPT
78% %#' t
0 q#xP CP# 2$
#T#C#rpFViVXW#T#FwY`C#T#hpRiqVXT#Q RiQ
4
t
a
93%'(%4 t dcd)dd
$ ppRiq#QpVXW#T#FY`C#T#hpRiqVXT#Q RiQ
(H rpC#Q rpC ) P CP(P
$&% %#) t $fa t
CVXQ T#Q Y`QHP Q RSHP Q T#W#T
9
@BADC#EGFHP Q RSHP Q T#U#RSVXW#T#F
%(2f%#f0375b
2 T#pT#qVXW`rpviryrpQiRXRiC#T 46$fa
T#CVXQ T#Q Y`Q 9badc46$fa
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#F
93%#$&%) t db$8759
T#CVXQ T#Q Y`Q 9badce46$fa g
$&%3%$fb$
TH % D%x% P C`(PY 46$fa g
CVXQ T#Q Y`QDQ Rirpq#RiQ T#U#RSVXW`rpF1T#iT#W#T
TH % ) %#D% RiQP viY`q#rphxP
2 RihpRiq#r sut3VXRiQ T#CVXW#T#FvirxVXY`C#T#hpRiqVXT#Q RiQ
Y`C#T#hpRiqVXT#Q RiQ TH % 0G%`%#$ T#RihxP
) P qPUP Rihpr s1Riq#W`RSViVXW#T#FDvirxVXYi(P qVXQ hpRiC#C#EGF
@
@BADC#EGFI1RRiqPpC#EGFwY`C#T#hpRiqVXT#Q RiQ g
%(%) t
4
t 75dadd)
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#F
T#CVXQ T#Q Y`Q 9badce46$fa
P viRSVXQP CVXW#T#FwvirxVXYi(P qVXQ hpRiC#C#EGF
% %#$846$ 0yda t
9
#R(P virpviT#U#RSVXW#T#FwY`C#T#hpRiqVXT#Q RiQ g
@BADC#EGFHP Q RSHP Q T#U#RSVXW#T#F
T#CVXQ T#Q Y`Q 9badc46$fa
!( x!# !( x
2 RihpRiq#r sut3VXRiQ T#CVXW#T#FwvirxVXY`C#T#hpRiqVXT#Q RiQyTH %5) %D% RiQP viY`q#rphxP
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#FIT#CVXQ T#Q Y`Q 9badce46$fa g
78%) %#b$f2$8759b$ x!x
p x
b# #b p
Y`q#CPIrxVXC#rphxP ChSpp&v % 9 EbxrST#QyU#RiQ EGq#RdqP SPyh virS
-
@BADC#EGFIHP Q RSHP Q T#U#RSVXW#T#FIT#CVXQ T#Q Y`Q
9badce46$fa #S
Стр.2
9 $ B)B$9 )B$e 2 )BB
4
t
2 2 B 2 )B$e
$)B$ 7
@ ad B$75$b 7b2)dd
aB$ 0
aB
aB$ 0e)
da 2bd03
cB7 aB 4
"! #$ "! % #&
'
( )10
rxH
32
#hpEG#YxVXW
#C#hxP q# HP q#Q# #S
54
6
87@9
BADCFEHG 9
7
CFI
#p"
0 q#E8VXrpCP
" "
PE
`Riq#C#rpvir #q#rxVXQ qP CVXQ hxP )
g
Y " "! "
A
Y
Q
w 5ruh
i
x
rSC#rpq#rSC#Eb#r T#C#rxH rphVXrqP C
# x(
# !x`
x
P
rp#RiqP Q rpqPh
X
R
V1#Riq#RSH RiC#C#rpFVXQ q#Y`W#Q Y`q#rpF
C
Phaiqpsrutwv
6 # x
XC
uB4 e
`
T#SH Riq#TH Ebwrp#RiqP Q rpq#rph
G
RQ
g
wx
ξ
d5
s T#RihpE Td1Riq#RiC##T#q#rphxP C#TCP PviRipqPDrpWPpC#r
TSRyr 5rha
y
cb
%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%
R
RH3u u
ed
f
Xs
RY 5tVXY
RQ
TSRU
x
%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%
a` RSVXQ hprphxP C#T#TxP iTViP h rp#r C#RSH rxH
Q
RiQ R3T#dWPpViViP
d2
C t #q#rSr #AyRiC#T#THPAyrpq#T#q#YpRSH Ebrp#RiqP Q rpq#rph
%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%
#rS#q#rxVXQ qP CVXQ hpR
WV
%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%
5t UPpVXQ T#U#C#r W`rxH P W#Q C#Ebw#rDH Riq#RdC#RirpviqP C#T#U#RiC#C#EbT#C#RiF#C#Eb
L2
%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%
s5e5 5 3
tSP(PU#R3rp#Q THPpC#rpviryY`#qP h RiC#TT#C#RiF#C#rpFIVXTVXQ RSH rpF
%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%
u` TDT#
%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%
P qP W#Q Riq#T#SP #TTH YSQ T#T#WP Q T#hpC#rpRd#q#R(VXQP h RiC#T#R
fC#W#Q C#rxVXQ
%X%i%X%i%X%i%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%X%i%
V
c
yTiTv
`
urutwv
`
e
TSRyTiTv
`
urutwv
`
g
Rw F 3
%X%i%X%i%i%X%i%X%i%X%i%X%i%X%i%X%i%
V
9 PT#WP hpWP
#S
Стр.3