JURNAL MATEMATIKA DAN KOMPUTER

Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518

__________________________________________________________________


EKUIVALENSI INTEGRAL BOCHNER DENGAN INTEGRAL
MCSHANE KUAT UNTUK FUNGSI DENGAN NILAI DI DALAM
RUANG BANACH


Y.D. Sumanto
Jurusan Matematika FMIPA UNDIP


Abstrak


Integral McShane fungsi-fungsi bernilai real ekuivalen dengan
Integral Lebesque, namun untuk fungsi bernilai vektor tidak
selalu demikian. Dapat ditunjukkan bahwa Integral Bochner
(Integral Lebesque untuk fungsi bernilai vektor) ekuivalen
dengan Integral McShane kuat.

Kata kunci : Integral McShane, Integral McShane kuat, Integral
Bochner.


1. PENDAHULUAN


Integral McShane fungsi-fungi dengan nilai di dalam suatu Ruang
Banach didefinisikan sejalan dengan Integral McShane fungsi-fungsi bernilai

real, yaitu dengan menggantikan tanda nilai mutlak

.

dengan tanda

norm

. . Gordon, 1994, menunjukkan bahwa Integral McShane ekuivalen

dengan Integral Lebesque.
Dalam tulisan ini akan didefinisikan Integral McShane Kuat dan
ditunjukkan bahwa Integral Bochner ekuivalen dengan Integral McShane
Kuat.

Dalam tulisan ini
.a, bJ

merupakan interval tertutup di dalam garis

real, X ruang Banach dengan norm

. . Fungsi-fungsi di dalam tulisan

ini dengan domain bilangan real dan dengan nilai di dalam X.

Fungsi
f : .a, bJ Xdikatakankontinu absolut kuat pada .a, bJ jika untuk setiap

bilangan
s > 0 terdapat o > 0 sehingga jika
,.u k , v k J : k = 1, 2, ... , n


113
v f v ) - f u )
f x )v
A = M)





Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________

barisan

interval

tak

saling

tumpang

tindih

di

dalam
.a, bJ

dengan

n

k =1


k

, u k ) berlaku

n

k =1


k k

.
Fungsi f : .a, bJ Xdikatakan terintegral Bochner pada .a, bJ jika
dan hanya jika ada fungsi-fungsi kontinu absolut kuat F pada .a, bJ dengan
F'(x) = f(x) hampir di mana-mana pada .a, bJ.

Dalam hal ini derivatif F

adalah derivatif Frechet.


2. PEMBAHASAN


Berikut ini didefinisikan Integral McShane untuk fungsi bernilai
vektor.


Definisi 1
Fungsi f : .a, bJ Xdikatakan terintegral McShane pada .a, bJ jika
terdapat vektor A X sehingga untuk setiap bilangan s > 0 tedapat fungsi
positif o pada .a, bJ

sehingga jika ,xk , .uk , vk J : k = 1, 2, ... , n

dengan a =
u1 v1 = u 2 v 2 ... u n v n = b dan

berlaku
.u k , v k J x k - x k ), x k + x k ))

n

k =1


k


k

u k ) - A

.


Himpunan


pasangan titik interval

,xk , .u k , vk J


seperti


dalam
Definisi 1 disebut partisi o-fine pada .a, bJ, dan vektor A X dalam

definisi tersebut adalah tunggal dan disebut nilai integral f pada

ditulis

b
f .
a
.a, bJ

dan
Koleksi semua fungsi berniali vektor terintegral McShane pada .a, bJ
ditulis M.a, bJ, X).




114
M)a f + g) = M)a f + M)
Jika f, g M.a, bJ, X)
M)a cf = c M)
M)a f = M) f + M)
M)u
Ft) = M) f .






JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________

Sejalan

dengan

Integral

McShane

fungsi

bernilai

real

dapat
ditunjukkan bahwa :

1.

Jika f, g
M.a, bJ, X), maka f

+

g
M.a, bJ, X)

dan

b b

b
a

g

2.

a
dan c skalar, maka c f M.a, bJ, X) dan

b

b
a

f .

3.

Jika
f M.a, bJ, X), maka f M.c, dJ, X) untuk setiap .c, dJ
.a, bJ.

4.

Jika

f
M.a, bJ, X)

dan

c
.a, bJ,

maka

b

c
a

b
c

f .

Dari 3 dan 4 di atas diperoleh bahwa untuk setiap interval .u, vJ
.a, bJ

terdapat vektor

F(u,v) =

v

f

di dalam X. Dari sini

diperoleh integral tak tentu fungsi f pada
.a, bJ,

yaitu untuk setiap t
.a, bJ

t
a

Fungsi f : .a, bJ Xtersebut disebut fungsi primitif f pada .a, bJ.

Berikut ini didefinisikan Integral McShane Kuat.


Definisi 2

Fungsi
f : .a, bJ Xdikatakanterintegral McShane kuat pada
.a, bJ, jika f M.a, bJ, X) dan untuk setiap bilangan s > 0 terdapat fungsi
positif o pada .a, bJsehingga

n

k =1

f x k )v k - u k ) - Fu k , v k )








115

.a, bJ x k - x k ),
v





Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________
untuk setiap partisi o-fine , x k , .u k , v k J : k =1, 2, ... , n pada .a, bJ.

Dalam hal ini Fu k , v k ) = Fv k ) - Fu k ), k = 1, 2, ..., n.

Koleksi semua fungsi terintegral McShane kuat pada
.a, bJ

ditulis

dengan
S M.a, bJ, X).

Jelas

bahwa

jika

f
S M.a, bJ, X),

maka

f
M.a, bJ, X).

Berikut

ini

akan

ditunjukkan

bahwa

jika

f

S M.a, bJ, X), maka f terintegral Bochner.


Theorema 3
Jika f S M.a, bJ, X) dengan primitif F, maka F kontinu absolut
kuat pada .a, bJ.


Bukti
Diberikan sebarang bilangan s > 0, maka terdapat fungsi positif o
pada .a, bJ sehingga

n

k =1

f x k )vk - u k ) - Fu k , vk )


2

untuk

setiap

partisi
o-fine , xk , .u k , vk J : k =1, 2, ... , n

pada
.a, bJ.
Karena .a, bJ kompak, maka dengan Theorema Heine-Borel terdapat koleksi
berhingga interval terbuka x k - x k ), x k + x k )) k = 1, 2, ..., n,

dengan

x1 x2 . . . n n

sehingga

n

k =1

x k + x k ))
danx k-1 - xk-1, xk-1 xk-1
- x

k+1
-x k+1 ), x k+1 +x k+1 ))

kosong.

Diambil

g1

1
2

min o xk ) : 1 k n) , g 2

2maks,f x k ) :1 k n+ 1)

dan g = ming1 , g2 ). Diambil koleksi interval tak saling tumpang tindih
,.u k , vk J : 1 k

n dengan

n

k =1


k

- u k ) g .

Ada

dua

kemungkinan

hubungan

antara .u k , v k J

dengan
xk - xk ),


116
x k + x k ))
a , b : 1
Fv ) - Fu )
) )
= F b jk ) - F a jk )
) )
F b jk ) - F a jk )
j j

+ f x k ) b jk ) - a jk )
v





JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________

1. ada k sehingga
.uk , vk J

xk - xk ), x k + x k ))
2. ada k dan
c k xk - xk ), xk + xk ))
x

k 1
- x k 1 , x k1 x k1

yang memenuhi .uk , ck J

xk - xk ), x k + x k ))
ck , vk

x k1 - x k1 , x k1 x k1

Jika

k k
j j
j r k menyatakaninterval ,.u k , c k J, .c k , v k Jyang
termuat di dalam x k - x k ), x k + x k )) , maka

Selanjutnya diperoleh

n

k =1


k k



n r k )

k =1 j=1
n r k )

k =1 j=1

- f xk )bk ) - a k )

)
n r k )

k =1 j=1

)

2

+ maks f x k ) : 1 k n)


+
=
2

n

k =1


k

- u k )

Jadi F kontinu absolut kuat.


Theorema 4
Jika f S M.a, bJ, X) dengan primitif F, maka F' (x) = f (x)

hampir di mana-mana pada


Bukti
.a, bJ.
Diambil A himpunan t .a, bJ

sehingga F (t) tidak mempunyai
darivatif atau F' (t) = F (t). Akan ditunjukkan bahwa A) dengan A)
ukuran luar A. Karena f S M.a, bJ, X), maka untuk setiap s < 0


117
xk , .uk , vk Jk =1
f x )v
A n = ,t A : g t) > `
u
u






Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________

terdapat fungsi positif

o pada
.a, bJ

sehingga jika
,

n

partisi
o-fine pada .a, bJ

berlaku

n

k =1


k


k

- uk ) - Fu k - vk )



Tanpa

mengurangi

sifat

umum

diambil k t) t)

dan
lim t) = 0 untuk t
k
.a, bJ. Diambil t A, maka ada t) > 0
sehingga untuk setiap k t) terdapat u k t, t + k t)) sehingga
Fu k ) - Ft) - f t)u k - t) > t)u k - t)
atau terdapat v k t - k t), t) sehingga
Ft) - Fv k ) - f t)t - v k ) > t)t - v k )

Namakan
| 1
| n )

n = 1, 2,

,

maka

A
n =1


n

= A .

Diperoleh

bahwa

t, u k )

dan
vk , t) k =1, 2, merupakan liput Vitali dari An , maka untuk s > 0 di

atas

terdapat
,.vk , uk Jrk=1

sehingga

An )

r

k =1


k

, v k ) + ,
dengan u k = a k atau v k = a k dan a k = A n . Karena u k v k a k )

maka

Jadi
,ak , .vk , ak J): 1 k r merupakan partisi o-fine.

An )

r

k =1


k

- v k ) +

r

k=1
Fu k ) - Fuk ) - f a n )uk - vk )
an )

+
n +

Jadi


118
A n ) = 0 , yang berarti A) = 0.
n


n


W a
w x), n
u





JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________

Dari

kedua

theorema

di

depan

diperoleh

bahwa

jika

f

S M.a, bJ, X), maka f terintegral Bochner pada .a, bJ.
Fungsi f : .a, bJ Xterintegral Bochner pada .a, bJ jika terdapat

fungsi sederhana w n x) pada .a, bJ sehingga lim w n x) = f x) h.d. pada

.a, bJ


dan lim
n

b
a

f x) - w n x) = 0 . Integral Bochner f pada .a, bJ adalah

b
a

f = lim
n

b
a

w n

Berikut ini akan ditunjukkan bahwa jika f terintegral Bochner maka f
terintegral McShane kuat.


Theorema 5




Bukti

Jika f terintegral Bochner pada
.a, bJ, maka f S M.a, bJ, X).

Diketahui f terintegral Bochner pada
.a, bJ,

maka terdapat barisan

fungsi sederhana w n x) pada .a, bJ

sehingga lim w n x) = f x) h.d.


pada

.a, bJ


dan


lim
n

b
a

f x) - w n x) = 0 . Mudah ditunjukkan bahwa
untuk setiap bilangan s > 0 terdapat bilangan asli N1 sehingga jika n, m >

N1 berlaku

b
a
w n x) - w m x) .
Untuk s > 0 tersebut terdapat barisan berhingga interval tak saling

tumpang

tindih ,.ak , bk J: 1 k r

dengan
a = a1 b1 a 2 b 2 . . . a r b r = b sehingga

r

k =1


n


k

, b k ) - Wm a k , b k )

dengan
Wn u, v) =

v


n

= 1, 2 , . . . .





119
n
w x )b
W a
f x )b
f xk )bk - ak ) - wn xk )bk - ak ) + wn xk )bk - ak ) - Wn ak , bk ) +
W a
f x k ) - wn xk ) bk - a k ) + +





Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________

Karena
lim w n x) = f x)

h.d. pada
.a, bJ,

maka tanpa mengurangi arti

untuk setiap x
.a, bJ

dan untuk

bilangan

s > 0 di depan terdapat
bilangan asli N, sehingga jika n > N 2 , maka berlaku
w n x) - f x)

Dapat ditunjukkan bahwa setiap fungsi sederhana terintegral McShane kuat.

Oleh karena itu, untuk
s > 0
di atas terdapat fungsi positif n pada
.a, bJ,

sehingga jika ,(x k ,.a k , b k J: 1 k r partisi n -fine pada .a, bJ

berlaku

r

k =1


n k


k

- ak

)-

Wn a k , b k )

Untuk setiap n = 1, 2, . . . n x) n1x) x) .a, bJ.

Dari sini diperoleh
bahwa untuk setiap n > N berlaku

r

k =1


n


k

, b k ) - Fa k , bk )


Selanjutnya diambil n > N dan
x) = n x) pada .a, bJ, maka untuk
partisi o-fine
,(x k ,.a k , b k J: 1 k r pada .a, bJ

diperoleh

r

k =1


k


k

- a k ) - Fak , bk )

r r

k =1 k =1

r

k =1


n


k

, b k ) - Fak , bk )

r

k =1
b - a ) + 2 = '
Jadi f S M.a, bJ, X).

Dari Theorema 3, 4, dan 5 diperoleh bahwa f S M.a, bJ, X), jika

dan hanya jika f terintegral Bochner pada


120
.a, bJ.





JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________

DAFTAR PUSTAKA


1. Congxin, W U dan Xiaobo Yao, A Riemann-Type Definition of the
Bochner Integra, Journal of Mathematical Study : Xiamen, China, 1994.


2. Gordon, Russell A, The Integrals of Lebesque, Denjoy, Perron, and
Henstock, American Mathematical Society, USA, 1994...





















































121