ABSTRACT

advertisement
Internat. J. Math. & Math. Sci
VOL. 15 NO. 4 (1992) 70|-718
701
MEASURES ON COALLOCATION AND NORMAL LATTICES
JACK-KANG CHAN
Norden Systems
75 Maxess Road
Melville, New York 11747, U.S.A.
and in revised form April 15, 1991
Received January 29, 1991
ABSTRACT
Let
1
and
2
be lattices of subsets of a
nonempty
X.
set
is a subset of 2" We show that
suppose 2 coallocates I and
any ,-regular finitely additive measure on the algebra generated
be uniquely extended to an
can
by
algebra
by
generated
in
contained
,
2"
-regular
The case when
,
measure
is
not
as well as the measure enlargement
on
the
necessary
problem
are
Furthermore, some discussions on normal lattices
considered.
and
separation of lattices are also given.
KEY
lattices, normal lattices, coallocation lattices,
WORDS
semi-separated lattices, regular finitely additive
measures, u-smooth measures, measure extension,
measure enlargement.
1980 MATHEMATICS SUBJECT CLASSIFICATION
INTRODUCTION
1.
Let
of
28C15, 28A12.
X.
X
be an arbitrary set and
If
,c ,
additive
finitely
and if
land 2are lattices
then any
coallocates
,,
measure on the algebra generated by
of subsets
,-regular
,
can
be
uniquely extended to an -regular measure on the algebra generated
by
This situation has been investigated by J. Camacho in
2.
We extend his results in several directions in this paper.
consider
the
case where
lis
below
for
We will
not necessary contained in
Theorem 3.1) and show that under suitable conditions any
definitions) gives rise to a
v6
MR().
(see
peMR()
We
[2].
will
(see
also
702
J.K. CHAN
measure
enlargement
consider
besides measure extension problems,
problems
(see e.g. Theorem 3.3) and will finally apply these
to the case of a single lattice
[8]
Szeto
,
results
M.
thereby extending results of
for measures on normal lattices.
We begin by giving some standard lattice and measure theoretic
Section
background
in
consistent
with
[1,4,6,7,9].
is
terminology
and
notation
Our
2.
In Section 3, we consider
the
coallocation theorem and a variety of consequences of it.
general
Section
is devoted to a more detailed discussion of normal lattices
4
to
that
[3].
of G. Eid
2.
This work extends to some extent
separation of lattices.
and
BACKGROUND AND TERMINOLOGY
section,
this
In
theoretic
we
some
summarize
notions and notations.
lattice
and
measure
This is all fairly standard
and
as previously mentioned is consistent with standard references.
2.1
Definition
X
Let
be a nonempty set and
e(X)
is a collection of subsets of
lattice
is the power set of
X,
, .
which is
X
finite unions and finite intersections, and
-=
’
L’
e
closed
’
Let
is a lattice if
DeHnHon 2.2
,I
and
2be
(i)
is
(2)
is a complement generated (e.g.) lattice
if it is closed under countable intersections.
e
YLe., HL1,L
(3)
such that
is a normal lattice
VL
(4)
L.6ff,
LIL=
L
if
Iln=xLn’.
if
=
is a countaly paraoompact (c.p.) lattice
V
L,L.
e, LIDL2D...
I’ I’’’"
3
(5) S
X.
any lattices of subsets of
is
6
s.t.
limn_L.= (Lni{)
Yn, L
nC.’
and
.
if
=
.’I
Sl-countably-paracompact (SI-c.p.)
if
A
under
Le
where L’ denotes the complement of L.
Let
X.
is.
MEASURES ON COALLOCATION AND NORMAL LATTICES
B 2,
eZ2
9AI,A2,...
s.t.
semi-separates
if
AB=
B
A6, Be2,
separates
s.t.
Vn,
,6,
BnCA
s,
if
L, cLuL,
where
function defined on the algebra
v AeA(Z), #(A) >
A
BcIand
s.t.
,eS
A finitely additive (f.a.) measure
ACB=O =
A’
2.3
Definition
(I)
and
if
oalloat.
L,eS,
Bn
BIDB2D...
6
703
(2)
0,
#()
is a finite nonnegative
generated by
,
such that
0, and (3)[finite additivity]
/.(A) +
p(AUa)
measure
0-I
A()
p
is a two-valued
taking value either 0 or i.
Usually,
simply refer # to as a measure on a lattice
we
that # is a finitely additive measure defined on the
A f.a. measure # defined on the algebra
(i)
-regular iff
o-smooth on
v A,A
(3)
e
A(),
o-smooth on
V
L:,L
The
A()
M()
MR(
M ()
Mu(
6
,
inf
,(A)
Or, equivalently,
(2)
v A e A(),
A(.),
,(A)
(’)
-
m
,6M(w)
algebra
mean
A(.).
is
,(L)
LcA, Le ).
’DA, {.6
).
.(A)O
as n--=
(Ln)0
as noo
notations for the collections of
will be used throughout
, ,
to
iff
L:DL.D..., (Ln)
following
.
iff
ADA,D..., (A)
,
A()
sup
measure
additive
finitely
.
f.a. measure on
A()
-regular
(pEM(S)
p
o-smooth on
(,eM()
,
u-smooth on
A()
measures
on
J.K. CHAN
704
we
Similarly,
IRo()
,
(.EM(.)
M (s)
A (s) and S-regular
I(s), I.(s), I(), Io(s),
o-smooth on
define
also
and
for non-trivial 0-i measures.
implies o-smoothness
If p is S-regular, then o-smoothness on
A(.). Thus, M(.) M.()Mo(.’) M(.’)M(s).
A(), we have M(s’) M(s) and I(S’) I(S).
Since A(’)
is o-smootho. A(e) (,eM()) iff, is cou.tablyadditive.
Furthermore,
on
,
.
.
i,2 e
Let
M(s).
(1)
i<
(2)
I< 2
and
,,.EM(s,).
of
"2t A
I:
Denote
I
A(I)
from
if
i
measure
from
#21
,(L’)
-<
_< .(L’)
21
on
i
and
Definition
X
such that
to mean the restriction
A(sl), then .is called
A(2) (or, less precisely,
on
to
2);
,21)
(or simply
a measure extension of
from
it
.);
and
a
2 e M R(s2)
I(X)
2(X),
A(I)
enlargement of i from
I to
YLe,
lattices of subsets of
regular measure extension, if
If
I(L) < .(L)
YLE,
if
on if,
Ic 2are
Suppose
"I
I(A) < .(A)
2.4
Definition
If
AEA(),
if
on ’,
p1<_
(3)
Define
to
2is
then
A()
(or, less
and a regular measure enlargement, if
a
called
precisely,
2E
M.().
2.5
e(X)[0,),
A real-valued function
is called a
finitely
supera4itive inner measure, if
, (()
()
o
(2) [no.decreasing]
V ACB C
X
A.B c X,
(3) [/inite superadditivity]
/ (A) _< /z (B)
AFB=
that is,
/ (AuB) >_ /z (A) + / (B)
e(X)[0,m),
A real-valued function
/T
is called a finitely
subaItive outer measure, if it satisfies (1), (2)and
(Y) [iqnite subadditivity]
Let
set E c
X
A.B c X,
AFB=
/ (AUB)
be a finitely subadditive outer
-measurable,
p=(TE) + (TnE’),
is said to be
#=(T)
/ (A) + / (B)
measure on (X,). A
if
YTc
X
_<
MEASURES ON COALLOCATION AND NORMAL LATTICES
705
We have the following theorem characterizing a normal
as a special case of the
lattice
coallocatio, property
THEOREM Z. 1
YL6 Sot. LC
is normal
L;uL’,
where
L1,L 2
=
Proof:
II
II
Suppose
LI,L2eff
LInL2=..’.X=LuL.
and
LIL,:, LIcI, L,c,
Thus, when
Let Le and
LcLuL
where
ave
we
L,L.
(LL)(LL)
L(L;UL
are disjoint.
By noality,
(L-L)C
:=,
Bl,ze
(L-L:)(L-L{
and
,u,=
Then
(L,)o(L,)
== LC
and
or
:=.
Consider
#.
such that
,u=X.
Define
L(ilu,)
LX
LO(L’UL?)
(LL’)U(LL)
LCL(L’uL)
(LL’)u(LL)
assumption,
Then by
L.
-
is normal.
L-L and L-L,
L-L: aria L-L
(L-L?)c,
Now,
(LnL?)
(LoL)
L?
cL
C
The following results are obvious
(1)
ff is normal
(2)
1
,
le coallocates itself
=
separates
Furthermore,
,
Ie semi-separates
ff coseparates
itself.
2"
we have the following measure theoretic
terization of a normal lattice
THEOREM 2.2
ff
iff
is normal
THEOREM Z. 3
Suppose
c
LP.
Then
z coseparates
ff =
ff2
coallocates
Proo/:
Suppose
L,C IuI,
where
LeZ,,
,eZ.
Then,
charac-
J.K. CHAN
706
;-L,n{., and ;-L,n,,
Define
= LI
. .
;,1"e,.
And
L{L)
LI{LI)’
C
C
Thus,
hence
;c
Similarly,
Hence
THEORES 2.4
H 0(’)
countablyparacompact
c
o()
Proof:
Suppose
E.sw,
c.p.
L.
NOW
,
t
L
s.t.
.(L.)
L
L.c,
, SO().
0
M(’)
Hence,
M O().
c
MEASURES ON COALLOCATION LATTICES
3.
In
this section we extend some of the work of
unique
the
e
n
MR(2)
that
it
belongs
extendability
,
where
and
the
are lattices of subsets of
=oallocatlon
lattices in order for the
and
to
a
MR(,)
of a measure # e
is not always necessary to assume that
to
[$]
c
main
theorem to hold (see Theorem 3.1).
X.
[2]
measure
we
nor
on
note
that
results
X
of
the
We first define
two
functions which form an inner-outer measure pair.
.
Definition 3.1
,
Suppose
For all
EcX,
and
are lattices of subsets of
#.
(E)
A(E)
We have the following
Let
e
M(I).
,
and
# e
define
and
THEOREM 3.1
X
m
EDL1, L,e,
SUp
/(LI)
inf
(.(L)
[Coallocatio. t%eorem]
and
We have
be lattices of subsets of
X
EcL
.
L,eff,
suppose
M().
(1)
(2)
(3)
MEASURES ON COALLOCATION AND NORMAL LATTICES
..
707
is a finltely superaddltlve inner measure
=
2coallocates "I
ff2coallocates ffl
.
(4)
I. is finitely additive on
."
o,,
X
In particular, if
e,
a.d
then
(X)
.(X)
(X)
o,,
s
(5)[a]
’
is a fintely saddtive outer measure
(6)
suppose
coailoces
(7)
suppose
coailocates
If either [a]
z
is -geasuEle
c
or [b]
z
semi-separates
then
eve
[1"]
X
Ec
I
[2"
is
element of
-measurable
is a fl.itely additive measure on
()
" efl().
"
is
3"
[4"]
Proof:
-regular on
() The proof is standard and is therefore omitted.
Let
(2)
A,B2 e
M2 coallocates
B
A, ,B e
(L,)
(AlUB 1)
(A 1) + (S 1)
S
sup{
M(AI)
AD A,
+ SUp{ M(B1)
BDB,
Taking sup on the left hand side,
sup(
.
.
is finitely subadditive on
additve on
S.
Together with (I), #. is finitely
(3)
The proof is also standard and is omitted.
(4)
Let
Le
,’(L’)
_<
,. (LI)
[i]
708
J.K. CHAN
Ae
Now if
.
_<
(L’)
Lc A,
and
.
inf
(A’)
then by monotonicity of
L’c A’,
A).e
.
sup{
-"
z
[i] and [ii]
If
X esl,
e, X=’
If
L,I
Let
..(A)
"
Suppose
.’. if
iI
ic 2,
Ac A,
L, c
.
eMR(Z,)
.’.
Now,
V
inf
(L,)
_<
inf
inf
<
.’.
(6)
""
on
then
,."
’(T)
TC
I,
X,
where
L,c
A’
A, A 6
(LI)
..
Ae Z,
(A)
(A,’)
Ae,
inf
Tc
.(A)
hence
L,cA, A..
LIcA’, AI
ACAI)
(*.*
L,cA:,
and (5)[a]=
s.t.
()
_< / on
,, "
Ec
we have
on
,.
X,
A, Ae
TcA, A,eS,
(4)
..(At)
Taking inf,
.’(At)
Z ’(AE) + ’(AE’)
z .’(TE) + .’(TE’)
"
(T)
_>
"
(TE) +
is finitely subadditive
/’(T)
(X)
A, e S,
sup
(,(A,’)
Suppose
Suppose
Now
L c
(A)
(A)
(A)
"
.
’(X)
(X).
,(X).
(A)
,()
then
Suppose
#
[ii]
XDLIe-I)
(L,)
on
s.t.
A,
(L’)
(L,)
(5)[b]
But
(X)
.
inf
Taking inf,
i.e.
and
and
sup
.(X)
,. "
e
A(X)
consequently,
(5)Is]
LI= X,
take
.
’(Tr(EuE’))
<
"
(by assumption)
(’" TeAl,
(TE’)
A(TE) + ’(TrnE’)
."
T)
[iiil
[iv]
MEASURES ON COALLOCATION AND NORMAL LATTICES
#" (THE) + #A (THE’)
#A (T)
[iii] and [iv]
which is the definition of
(6)
""
But
/(TnE)
’(TnE’)
/
X,
A-measurable.
E to be A-measurable, we have
By the definition of
’(T)
YTc
X,
is finitely subadditive, the above is equivalent to
>
(T)
(TnE)
In particular, take
(7)
E to be
Tc
709
t
Le
T
s coallocates
suppose
Le S.
YTcX,
(TnE’)
/
,
we have
S,.
To prove that
L is
’-measurable, we have to show,
by (6), that
VA62,
let
P,Q6
AL
P c
A
(.’. Q6) s.t.
Thus,
Pc
Now,
PuQ
and
PnQ c Pn (AoP.)
a
Qc
and
(AOL)
C
U
A P’
Q c
and
A
(AnP’)
sup ((Q)
A
.(P) + ,(Q)
D
C
A
PuQ e S
PnQ=#
,* (A)
.(P) +
.(A)
(7)[a]
Z
..(AInP’)
.(P) + ,.(AnP’)
Suppose
[v]
c
If
AP’
(AzUP)
(P) +
(A)
Z
(AnLz)
sup ((P)
B’(AL) +
We conclude, from (6), that
A()
A()
c
AL
(PcL)
DPe) + (AL)
"(A L)
eve
VAeM1
element of
,-murable se ).
"
.
on
)
is -measurable.
By a standard
Carathodory
710
J.K. CHAN
argument,
/’I/,
..
Suppose
L2 e
.(L)
is a finitely additive measure on
2
(L)
by (4))
sup ((L,)
S
But
L
L,c
sup
Hence,
L,c L, L, eS
(L I)
L,c L, L, eS,
’(L,)S ’(L), taking sup
(’(L) L. cL, LeS)
sup (’(L,)
’(L)
L, cL,
sup
"
which means that
S-regular
on
S.
is
Suppose
o.
Now any element of
Ui, (Ai n Bi’
Conseently,
S,-regular
"
e
A
S e
.
A(S)
A(,
.’[,
argument,
"2 semi-separates if,.
c
/’-me.asurable sets ).
-< ."
L]6]}
_< sup{
]
is #’-measurable.
By a standard
is a finitely additive measure on
.’(,)
/(L,):LICL2’
is also
MR(S,).
Taking sup,
sup(
"
S,
and
_<
SIc
is, of the fo
Caratheodory
A
L E "1
.(L.)
’(L)
Since
We conclude, from (6), that every element of
A(,)
by (5)[a])
"
semi-separates
# on
a’,
.
MEASURES ON COALLOCATION AND NORMAL LATTICES
B" (L z’)
But
is
Note
If
(LI). LICL
sup{
-regular
eace.,
-
.
then
then
,,
,
and
coa//ocates itse//,
is finitelyaddit, ve
and
^(x)
X
2=
(1)
A
(2)
," (L) +
Proof:
and conseently,
trivially semi-separates
Corollar.y 3.1
Suppose
Hence,
L,eS
-reguIar on S,
and
o,
’
e
711
.
(7)[a]
is norrnal).
(.
(X)
(7)[b].
(X)
(I) Direct consequences of Theorem 3.1.
(2) From Theorem 3.1(4),
Now
But
^’(X)
is finitely additive,
’(LuL’)
,. (X)
(X)
.
A(L) + ’(L’)
(X),
.’.
,’(L) +
^(L) +
(X).
(L’)
The coallocation theorem leads to the following direct
conse-
quences whose proofs are omitted.
THEOREM 3.
Suppose
e c e.
there exists a unique
.
Furtheore,
TBOR[M
u
MR(S,),
s.t.
Suppose
MR(e),
e MR
MR(,)
s.t.
is S-regular on
S, c S
THEOREM 3.4
u6
6
(el).
and
If
on
S.
I,
coallocates
,
then
ul16 MR(I).
IS
Note that
Regular measure enlargement on coallocation lattices
Suppose
ue
."
Regular measure extension on coallocation lattices
and
6
S u on
S(s,).
S
and
If
(X)
s coallocates
s
then
P(X).
[Regular measure enlargement on a normal lattice]
is normal and
eM().
< u on le and
s.t.
Furthermore,
Then there exists a unique
(X)
u(X).
if we impose a o-smoothness condition on
obtain the following
THEOREM 3.5
Suppose
e c
e
and
!e.
coallocates
e,
and
,
M (e,),
,
we
712
J.K. CHAN
MR(2)
v
.
v is the regular measure extension of
where
Then
Proo/:
,
"
.
"
, ,
on
A.c B
,
Since
A. lO.
Tus,
(A.)
Hence,
"
conseently,
fl is
.
regular measure extension of
A.c,
A.,
-regular
[Theorem 3.1(5)[b]]
suoe
[
--0
a
V
"
(B)
S,= S=
regular measure enlargement of
B
V
0
.., na
ts
is o-smooth on
may
assume
S,
<
(B)
3.5
.
V> O,
without the loss of generality, we
In particular, if
Corollary
unite
a(A.) + /2
<
[i]
hence by Theorem 3.2,
-regular on
1, since
a’(s:)
MR()
6
is the
is
Theorem 3.(7)
v
,
M(,)
S, 6 MR(S,)
is
e
S
noal, we
ave
,(). .(),
,
S v on
,
fl (X)
ts ehe
u(X)
Then,
(’).
Suppose
,
is
ve
MR()
$1 C $
and
coallocales
o.., o=, ..d .o.
where
v is the
unite
1
and
Suppose
e
.(,),
and
regular measure extension of ft.
(e.).
hen,
Prool:
Thom3.
.’. v
eo(), (fi:)
is o-smooth on
We
S,
--0
and since
(S.)
--0
is regular on
now give two applications of the results
lattices to topological spaces.
VS.e.
S, ve M(S).
on
coallocation
713
MEASURES ON COALLOCATION AND NORMAL LATTICES
1)
MEASURES ON A LOCALLY COMPACT HAUSDROFF SPACE
Let
X
all compact
of
tion
be a locally compact
X
K 0 or K, unless
cause
while
is compact.
K coallocates
that
6-sets,
K 0 is compact.
Thus,
collection
of all
does not belong to
either
Then K 0 c K
For any
K0
X
6
the collec-
K o is
is the
K
2
Note that in this case,
compact sets.
,=
Hausdroff space and
M R(K0)
, 6M(K0).
coallocation
the
which is
uniquely to a regular measure v
theorem, we can extend
be-
o-smooth,
is
By
be shown
can
and it
also o-smooth, because K is compact. Hence, v 6 O(K).
2) MEASURE ENLARGEMENT FROM ZERO SETS TO CLOSED SETS
MR
X
Suppose
Let
z
is a countably paracompact and normal topological
3 (zero sets) and
,
normal.
3 c
disjoint
closed
,
e2
because all zero sets are
sets
can be separated
3 is c.p. and normal.
Therefore,
, coallocates 3 [Theorem 2.3].
Let
MR(3
,
That is,
(closed sets)
closed
by
is
6-sets,
disjoint
Thus, 3 coseparates
zero
,.
extension
sets is
3-regular.
MR(,)
e
Theorem 3.1(7)[a] implies
c.p.
and
sets.
Hence
Then by Theorem 3.2, there exists a unique
measure
space.
on all
regular
open
MRs(3). By Theorem 3.5, the unique regular measure
extension is 6 MR(, nSa(,’). Now , is c.p., hence
[Theorem 2.4]. Then, v MR(,). This is the result of Marik [5].
Suppose
4.
6
NORHAL LATTICES
In
lattices
this section, we give further characterization
and
further consequences of a lattice
being
terms of associated measures on the generalized algebra.
Def n t on 4.1
Let
Ec
X,
be a lattice of subsets of
X,
and
p
M().
define
inf
,’(E)
inf
/"(E)
p.(E)
m
sup
y’(E)
-=
inf
It is clear that if
Ec’, 6
--z/(E.’) Ec U.__,ln, {....
,(’)
, MR(),
then
,
,’ on
A().
of
normal
normal
in
714
J.K. CHAN
THEOREM 4.1
,,u e
Let
.
M(s),
/z < u on
Proof:
Iz < u < u’<
< u on
It is obvious that
Ec’
u(’)
E,
.’.
I"
u
’on
on
<
on ’.
inf(,(’)
’e’
In particular, E e
u’S
S
THEOREM 4.2
I (),
e
Suppose
’(LI)
L 1,L e
Let E c
X
s.t.
),
’
on
.
Hence,
.,
I
’(L2)
and
i
Then
Taking inf
.
u’(E) S ’(E).
S u S u’S
,(’)
<
’e’
inf(u(’)
u(X)
,(X)
such that
’(LnL)
1
is .ormal.
Then,
Proof:
is not normal.
Suppose
I (s),
3,
.’. 3
Li,L2e
,
,(Lz)
NOW if
<
l,,e
LlcL
%(L,)
1
L,C ;’,
u, on
u
Similarly,
,
I.(),
<
u,()
,
,,
ul(L-)
and
then
on
u
({,’)
{,
S, then
’(L=)
gives a contradiction.
’ (L;nL=)
But
i.
u.
,
on
%(L)
but
u,
1
’ (LI)
, ’ (L;L=)
1
i.
I.
L;nL2
.’.
is normal.
Consequently,
THEOREM 4.3
uM(), ,oM(),
Let
’
on
< p 6
u_
(1)
p < u
(2)
is
u’
MR (’
_< p’
normal
p’ on
u= u’
Proof:
u_< p on
(I)
’
by Theorem 4.1,
(2)
Suppose
p < u on
p < u
,
u’< p’ on
.
is normal and
and
.
u
MR()
3 L s.t.
(
.’.
u({’)
By normality,
< u(L) + z
3
L.,L b,
and
Then
on
=
p(X)
u(X)
s.t.
and
s.t.
u=
u(L)
+
u’.
<
>
L
Lc
L;,
,.
Since
I.
we have
Then, by assumption,
<
0
on ’,
L.c
if
,<
s.t.
0
{, S,
Then
c L{,
L;CL{=
Hence
p’(L).
=0
__
MEASURES ON COALLOCATION AND NORMAL LATTICES
L
.’.
L’
C
LB
C
’
C
p(m.’) _< P(Lb)
p’ (L) _< p’ (n’)
(n) <
p’(L) < u(L)
(I’
(Lb)
gives a contradiction.
u’
/
and
e
u
715
< u(L) +
on S.
THEOREM 4.4
Let
<- IZ"
(I)
I
(2)
’=
X,
S be a lattice of subsets of
Mo(s
Then,
erywhere
on S’
",,(X)
<
(3)
<
(4)
(X)
(5)
.(L’) +
(6)
If
S is
(7)
If
S is 6-normal, then
/’ on
S
’(X)
(X),
’(L)
<
normal, then
e
The condition
NOT
YLeS
"
<
" ’
So(S
’=
onS.
is imposed, because when
is not o-smooth, then
measure and if
on S
Proo/:
"
is a
0-i
m 0.
(I) By definition of ", the inf encompasses more sets than that of
’
" ’
<
hence
’
(2) Take E
,
(X).
and
’(X)
Taking the
"(X)
#"(X) _< (X).
X
,(Li’) < ,(X), but
’
inf
and
,
U,,Li’,
,,(Li’
L’; X,
or
of the above, we have
" (X)
B LES,
In particular,
(X)
For suppose
consequently,
Now suppose
on S’
we have
U, L’ e
Since
’=
eS’
(3) From (I)and [i],
"(X)
everywhere.
pairwise disjoint Li, E,
lim,=,,(,)
LI
(X)
,
6
u()
[ii]
B(L) > #"(L),
p"(L) + 9(L’)
(X)
"
also
"(X) a (X).
(v "_< on S’)
< /(L) + p(L’)
<
,
"(LuL’) < "(L) + "(L’)
-<
.’.
We now show that
on S.
(4) [iland [ii]
by assumption)
contradicting [ii]
Together with (I), we have
/(X)
/z"(X)
/’(X).
<
" ’
<
on S.
716
.
Ye > 0,
(5)
J.K. CHAN
()
<
(L’)
L’
where
e-%,,
D
(X)
Taking inf, we have
/(X)
D.,
L’
If
>
.(L’)
(X)
/z.(L’) >
/()
>
/(L’)
since
< / on 2’’
/.
(’)
()
(X)
<_
.(L’)
[iii]
/F(L)
Taking inf, we have
/(X)
/.
[iii]and [iv]
=
<
(L’)
/(X)
inf
(#(’)
E -%’,
.
/’(L)
(6) L is normal, then Corollary 3.1(2) and (5) imply
,= A
Now
" ’
LcUn=IL.* L.2".
<
(7) From (I),
Then
Let
Di
_<
on 2", and from (3),
IL.,
.
LnD=
A
_< #.=
on 2".
"
2"is
-%’,
is normal
L2".
/F(L)
3 L e 2", s.t.
Suppose
everywhere.
[iv]
#’(L)
J
VLE2".
/F(L)
/z.(L’)
’
LC
(L) < #’(L)
3A,BE2", s.t.
LEA’, D cB’, A’nB’
/’ (L) <
/F(A’
<
/z(A’
<
/(S)
/" (B)
fmm
Lc
Taking inf, and since
/F(L) < inf{
__l/z(L)
gives a contradiction.
U._-I L.*,
LC__IL, L.2"
J
#’(L), or
"(L)
#"(L)
#’ on 2".
#"
I
THEOREM 4.5
Let
a lattice of subsets of
-%’, be
_<
s.t.
If
on
-%’,
is
Let
L
c.p.
-%’,
normal
or,
L.
-%’,,
LocA.’e.c.’e,
on -%,,’;
B
ne
Proof:
""
Suppose
-%’i c -%’,2,
-%’1 normal
(.)
_<
(A.’) _< (^.’)
eo(2"))
and
-%’i
and
M(2"),
M o (-%,,).
p
Vn
p(Ln)
THEOREM 4.6
Suppose
p
(X).
(one may assume, with the loss of generallty,
(’." p_<
Mo(2"),
and let
countably paracompact and normal, then
Proof:
-%’,’
;,(X)
2",
X,
-%’I
separates
-%’,2
normal.
is normal.
-%’,2
Then,
_<
Bnl
0,
.(e.)
0
).
or
peso(2").
I
MEASURES ON COALLOCATION AND NORMAL LATTICES
Let
u[
Extend
,
and
separates
.,
""
to
Since
.,
.’. 1
(L,)
For
%(L)
B
But
THEOREM 4.7
sppoe
p(X)
_
1
L,,
separates
IR()
but
1
s.t.
.(L)
Since
H.(..),
u is l-regular on
2
V L; e, u(L;)
sup(
is
u(LI)
Sl-regular on
sup(.(.)
S
L In
LI
O.
,LI, %(,)=
and
Taking sup,
A S fb on
,.(n,)
S:.
S, separates S
el, s.t.
LICL, ,C,,
onx.
LcLxcL
u.(L,)
rbon
Then
uEMR(),
= ,,
S
Similarly,
p
%, "b e
and
LxE,, s.t.
,
.
A S f. on
e,
’,., .d
.on.,
to
Ub
A(L)
A(L,) -,(L,)
(X),
Proof:
i.e.
and
B
unite.
.. .
Le s.t.
%eIs(,),
.
noal,
ub
the extension is
separates
.on S:.
.’.
u.=
to
We now show that
suppose
bn
[Theorem 2.2].
., I.(.),
.,
I(),
AE
.on :e,,
# _<
s.t.
Ub
is noal.
respectively.
B
,
I(.),
Extend
Ix(:e,),
v,I
Ub[
Suppose
t
L
%
x" 1 noal
on
"."
.,
I(e,.),
#
717
D.ES.
S:
S
is noal,
Then
718
J.K. CHAN
ACKNOWLEDGEHENT
I express my gratitude to my teacher and dissertation advisor,
Professor George Bachman of Polytechnic University
for
I
(Brooklyn, NY),
his guidance, encouragement, and proof reading of this
would
also like to thank the two Referees
for
their
paper.
valuable
comments.
REFERENCES
[1] A.D. Alexandroff, Additive set/unctions
i,
abstract spaces, Mat. Sb. (N.S.), 9($1), (1941),
563-628.
[2] J. Camacho, Jr., Extensions of lattice regular measures with applications, J. Indian Math. SO.,
54, (1989), 233-244.
[3] G. Eid, On normal lattices
a,d ;Vallman spaces,
Internat. J. Math. & Math. Sci., 13,
No.l, (1990), 31-38.
[4] P. Grassi, On subspaces of replete and measure replete spaces, Canad. Math. Bull., 27, (1984),
58-64.
[5] J. Marik, The Baire and Borel measures, Czech. J. Math., 7, (1957), 248-253.
[6] G.
Nbelin8, Grundlage, der A,alytische, Topologie, Springer-Verla$, Berlin,
1954.
[7] M. Szeto, Measure replete,ess and mapping preservations, J. Indian Math. Sou., 43, (1979),
35-52.
[8] M. Szeto,
0, maximal measures with respect to a lattice,
Measure Theory and Applications,
Proceedings of the 1980 Conference, Northern Illinois University, (1981), 277-282.
[9] H. Wallman, Lattices and topological spaces, Ann. of Math., 39, No.l, (1938), 112-126.
Download