2

1975 - 1976

1976

/ ,

ci

"",

ii

"".

"".

"",

( , ),

[8].

""

,i

l.

- -

180
u

Borel 1 o

""

&

~ ~ u"u"

.u

(,)

(,$)

, ~ 2, $ ; 2

(,

f
,

-+

(,$)

( ) f- 1 (B)

-$ ~

$.

f .

f (, ) ~ _ 2.
~

f f

(pavings)

(capacities)

(,

Choquet,

);

(,)

~u

_ 2, n

(paving)

~u

[7], [2],[14].

fj f (, ) , 'f

181
~

~(

(F,~)
n)

Choquet

,
~

~ [

~-

BS.A::::::::?

(i)

()

<

()

(ii) ~ ~ {}= l ~ 2F,

00

(U)
= l

(iii) ~ {}~= l 2F,

00

( )= if
= l

pacitable)

()

(c~

()

supi(B)

~ [
,

S.

f'j~ ~ ~

~ = ~ ( n ).

~ ,

~
,

(i)

Choquet

~ .

~ ~ ,

182
( ii)

fi

.,

Radon,

a priori,

R.adon

. .:.

Lebesque

fi

(i)

Borel,

fi

Borel

'

' f:

Hausdorff,

fi

(image measu-

re catastrophe) ,
(ii)

( , ,)

-+

(JR,S,Pf)

{ JR:

f-

1 () }

1
P(f- ()),

183
fj;;

. Ff.

Lebesque-Stiltjes

sf

"

;; ;;

sf ,;.

r !; :
r

JR , f -

- r

()

. ", f- (f()) = r -,
1

f()

f-,

fi;; ~

f().

;;

;;

{{J} {~ }

;;

'

(Per

Kol-

;; ;;

{~}

~.

Gnedenko

;;,

Radon,

(;; ;;),

;;.

,
;;,

;;

{~ ~ }

;; fj;; ;; ,

;;

(separable)

f,

;;

;;,

mogorov

[12], . 30. Sf = S,

fect measures).

;;

;;

;;

;;

;; ;;

;;,

;;

184

[1], [9],[14]

u u

[3],[4],[9],[13],t

[14], [9] ,[1], [7),

[3), [4], [13].

' fi ;

u L.Schwartz

fj,

[12],

[12]

fj ; .

fj

[8], t

2.

10

fj

fj fj; ;.

2.1.

fj

;.

1)

u
0

()

, ,

185
.
V ~ ~ .

2)

00

= [j
n=1

&
n=1,2, ...

~ ~
,

" r

~ ~,

&

~ ~.

3) " J 2. J (ideal),
(i)

&

( ii)

&

==}

==?

U EJ

J.

(iii)(ZJ

" :;-_ 2, :F ,
.

( i )*

~ & 2

(ii)* :f"

&

==} j"
n j"

!f" ==}

(iii)*(ZJ ~ :F
"

(ii)

-.

2.1 . 1. ' ~

&

~.

2. 1. 2.

2.1.3.

J1

-.

~.

: -~

" Jf -

~ ~

& &~ ,

(,.i',

).

Jfr

186

!:,

G ,

""

"",

!:

&,

""

2.1.4.

&

&

w-

'.

[8] , . 4

&

&.

""

fj

-,

Ac [ , -.

-r

, wr

187

2.2.

Baire,

G G '

Baire

. . , :

F Q,

2.2.1.

Baire,

-d.

{:f

Baire,

~ -d-

J }
1

. . [8] , . 19.

2.2.2.

Baire.

--'
~

II

2. 3.

[8],

24,

188
Baire),

f-+ f,

...
v

Baire.

f(x)

Dirichlet

rF- Q

= {

~,

2.3.1.
f

()

lim
m

lim

(cosm~

. . [a], . 32.
2.4.

"

=.(,,

= $

Lusi

f:

(JR,A)

$ ~r

-+ (JR, $)

-$

Borel.

Lebesque

f ,_r;ebesque .
-

Baire,

Baire.

.(, - .

Eqoroff

Baire CJ:..N t $

-$.

189

; " .

Lusin

"

".

L.. 4. l (Lu'sin) f: (, b]
, v,

>,

"-

-+ R

m(E) <, w ; fj; f Ec

.,
'-

, ~

; : (, b]-+ R
m{ :

f ( )

rf ( ) }

<

fj; ; aire,

2. 4. 2.

f: (, b]

Baire v

-+ R

;, ~ ; fj; f pc
;

. .

[8],

36.

re.

2.5.

Lusin

Egoroff

fj; ;

[8],

Bai-

38.

; ;

~ {h:I -+ Ilh ; ;,

= [,

l] }
n .

1,

190
2. 5. 1.
;,

.
;

{J n _ [, 1]

; ;

h(A}

(,)

r
[

(g,h)=

\g () -h ()\

max

. .

[8],

50.

{J ~

;,

~;

[; .

2.5.2.

;, v

; ;

h(A)

:rn.

' ~

h::ffi.-+m,

. . [8] ,. 51.
3.

; [

Baire.

; ;

Sierpinski-

Erdos.

~;

;,

{J ~

; ;

; ~; ;

,
; ;

~.

191

(i)

(:)

- -

(i)*

-
n :.

( ii)*

:.

(ii)

(iv)*

Lusin. - (v)*

f:[a,b]

r-

Baire.
f :[a, b]~ :IR

t (
) >
,

, q:;

g;,

()

fiP

< ,

(vi)

n
Baire.
u

(v)

;.

-- (iii) -

(iii)-
.

(iv)

!;u '

fiEC

;,

r ;;.

:.

Fubini.

Baire

JR 2, (vl' >*
-

Kuvatowski-

E!OiR2 (
;

Ulam.

={y: (,y)}

~ fi:

fj; R,
; ~ ;. -

R; :
, ;
;
:
;.

(vii) (Sierpinski,1924). (vii)*

:R -

914).

(Lusi,

R. ,
; ;

u !;u ,
c, :,
t -~

!; .

~
c,
,

u r

;.

(viii) .

1-1

(viii)*

f:m~:m.

, f()

!; ,

1-1 r

:R+JR

f(E)

-.

r
r

192

(ix) . E9R.

(ix)*

" ~.

, ~
t u Baire,

. ,
.

~
.

-,

;.

(i)

(ii) u u

c.

(iii) 2c ( -

(iv)

()

(vi)

c).

~; ;

m.

r. ; ; ;

(vii)

(iix)

Borel

?-

; .

}
( )

ei<?.

nu u

c.

(i) r

(ii)

~ G -

193
,

~ ~ -

': F ~ ~.

(iii)
"

r~ ~

~.

~ '~ ~,

Sierpinski,

1934

3.1.

: ,

1943

Erdos.

(Sierpinski-Erdos)

~ ~,

~~

1-1

f:R-+

JR

(i)

(ii)

f(E)

: ~ r

~ ~. ('

f(E)

r ~ ~~ r ).

'. . [8]

. 74-77.

~ r

(Duality Principle).

~",

~"

~.

~,

#.

13

~~

"

, -

"

" ~ ~"

~~

" ~ ~"

~ ~.

'

~ ~~:

' ~~ ~

~,

194
p

, (.

78-81)

(i)

~J.,-

!
,

c,

(Lusin,

...,.

1-1

f:JR-+JR,

r '

(iii).

~IR

c,

(ii) *

(Sierpinski 1924).

f:JR-+JR,

1-1

f(E)

-.

;;. JR,

c,

1914).

f(E)

*.

--

(ii).

(i)

Wl

(iii)

:& n ~IR, -

c~

.
'

"

fj

"

..

(iv) :m.R -\(iv)*

"

Baire"

fj

" "

" r

R R.

195
aire, , " r

"

f(E)

f: R -+R,

1-1

f ()

aire

v r r:.&

" .

w,

2.1.4.

6,

(Szpilrajn, Fund.Math. 22,

303-311,1934) [ .
,

r
. n::l

r ~ ,

~ ~ ~
,
r

0-1

Kolmogorov.

196

" d"

(tail set).

{ f=l &

''

: (, ,)
{

(IR,$,Pxn), =l,2, .....

} -

C=_{ ():

1 ,

,}

_ ,

&

$, =l,

1 , . . . . ,ik}

(11 ,i~, ... ik)

2, ... }. -

. ,},.-

(1 ,2, ... ),

- ~

- d.

. f'j

~ d.
n

0-1

Kolmogorov.

(v} ~, fi ()= fiP(E)= (vJ 5"'

aire,

E 1 fi

1fi r

(residual set),

r-

0-1

&

[8],

85.

& f'j
,

f'j

197
4.

; ; ; u ,

; ; ;;

; ;

; ; w;

=, t

- $'

; ;,

Baire.A

()=

(,$ ,)

(regular)

>

4 .1.

Baire

(G)-,

F,

F c G

F c G

(G)<

> ,

(F)

(F)>

+.

. . [ 8] . 8 6 .

4.2.

:; ;

; ;

(j);_ aire

. . [8], . 87.

4.3.

: ,

19 8

Baire

Baire,

()

()

c-c

inf{l-(G): c G, G }
()

sup{(F):

=>

F, F

. . [ 8] , . 8 7.

(i)

(ii)

(, ,)

"",

"' =?()
()

(iv)

(v)

-+

(B- A)l

~.

() =

{)

()

:=:::} ()

()

()

.'

"-'

[<-)

()

- .

( iii) ( ) = \(j

'

~ .

:
-

~.

~ w

t
,

,~ -

199
w

={()

4.4.

-:

[8], . 88.

.'}

r .

."

von Newmann

Maharam .

4.5.

(von Newmann - Maharam).

. . [6] , chap. IV.

4.6.

~ ..'.

Baire

4.7.

'.

[8]

[8]

r-

89.

J{;.
.

89 .

[6], .

5.

.
'.

u ~

r:

200

l)

c.

Goffma ad

Waterma:

D.

Proc. of AMS, 12,

trasformatios.

2) C.

Goffma,

C.J. Neugebauer,

topology

ad

approximate

(1961).
Desity

Nishiura:

cotiuity.

Duke Math.

geerate

a complete

28, 497-505 (1961).

J.

3) S.

cotiuous

Approximately

Scheiberg.Topologies

measure Algebra.

which

Advaces

Math., 7, 231-239

( 1971) .

(JR

,m)

Lebesque . .

Lebesgue $

Q(p;B)

lim
-+

1
n'

. f{m(B n Q)
l~
m (Q)

m Q <

Lebesgue

Q}

$ p . ;

D(p;B)
D(p,B) =

D(p;B)

sup{rn ( n Q) m Q < 1

lim

m (Q)

D(p;B), ,

D (p;B)

Lebesgue

p.

$ , JR. D(x,B)

p Q}

n'

-+

201

() ={ :IRn :D (.; Bl _ . =.1}

'

4. 8. .

[8],

16-18.

,
,

f.

,.'

(cornpletely regular)

(Norrnal).

r~l,

:IRn, ~

.
D(x,A)= 1

Lebesg:ue.

Lebesaue

~'
?

~'

Lebesque

(approxirnately

continuous

functions) .

.

n ,

f(p),

p,

f::IR
n +,

-1

f-

D (p ; f

...

EC1b -

(G)

p,-

( G) ) = 1

,
,

f(x) = {

</; Q

 .,

n~; , <;>_ C

p9-

4. 9.

f JRn r a
. ..

. ~

~'

Lebesque

-r

~-Borel

, -,

maximal ~-.
-

U-

,
..

~ a

u,

D(O,B)=l . ~

aJ
'

:;-

' 'U,

Zorn) .

T'LL

JR,

'"l

203

~ . Bc (,

(ii}

(iii)

'lL 0

'\1 ==} n 'LL 0

0

(iv)

"

()

" .(,

'LL

"

(vi)

D(O,A)=l

'\1

D(O,A) = O

(, \;j '\1

=f

" '\1t

0 .~

jt'\1

'\1

'\1
0

G r
I

'lL

--

k:

'LLt.

rel

':

,),

(i)

Lebesque

(,

: J -+
(

(ii)

r:

r .r

Von Newmann-Maharam) .

Jf ~

(..

= { ()

~
Jf).

(iii) k: : :

: J , Jf}

204

1 ]

. Billingsley: Convergence of Probabillty

measu-

res. Wiley, 1968.

[ 2]

J.P.R. Christensen: Topology and Borel

structure.

North-Holland, 1974.
[ 3]

J. L. Doob: Stochastic processes. Wiley.

[4]

. Gihman-A. V. Skorohod: The Theory

stic Processes, vol.

[s]

of

Stocha-

springer 1974.

Hoffmann-Jorgensen: The Theory of Analytic Spaces,

Various Publications series no. 10, Matematisk Institut,Adrthus Univer., 1970.

[6]

. & C., Ionescu-Tulcea: Topics in the Theory

of

lifting, Springer, 1969.

[7]

. . Meyer: Probability and Potentials. Blaisdell,

1966.

[*s]

J.C. Oxtoby: Measure and Category. Springer,1971.

[9]

R. Parthasarathy: Probability measures on

Metric

spaces. Academic press. 1967.

J. Pfanzagl - W.Pierlo: Compact systems of sets.
Springer 1966.
[ 11 ]

C.A. Rogers: Hausdorff Heasures. Cambridge, 1970.

[*12]

L. Schwartz: Radon Measures on Arbitrary Topologi1

cal Spaces and Cylidrical Medsures. Oxford, 1973.

[13]

A.V. Skorohod; Integration in Hilbest space. Sprlir

ger, :1974.
F. Topsoe: Topology and Measure. Springer, 1970.