JURNAL MATEMATIKA DAN KOMPUTER

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

__________________________________________________________________
113
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 | | b a, 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 : | | b a, X dikatakan kontinu absolut kuat pada | | b a, jika untuk setiap
bilangan c > 0 terdapat o > 0 sehingga jika | | { } n , ... 2, 1, k : v , u
k k
=
Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________
114
barisan interval tak saling tumpang tindih di dalam | | b a, dengan
( ) u , v
n
1 k
k k
<

=
berlaku ( ) ( ) u f - v f
n
1 k
k k
<

=
.
Fungsi f : | | b a, X dikatakan terintegral Bochner pada | | b a, jika
dan hanya jika ada fungsi-fungsi kontinu absolut kuat F pada | | b a, dengan
F'(x) = f(x) hampir di mana-mana pada | | b a, . Dalam hal ini derivatif F
adalah derivatif Frechet.
2. PEMBAHASAN
Berikut ini didefinisikan Integral McShane untuk fungsi bernilai
vektor.
Definisi 1
Fungsi f : | | b a, X dikatakan terintegral McShane pada | | b a, jika
terdapat vektor A e X sehingga untuk setiap bilangan c > 0 tedapat fungsi
positif o pada | | b a, sehingga jika | | { } n , ... 2, 1, k : v , u , x
k k k
= dengan a =
b v u ... v u v u
n n 2 2 1 1
= < < = < dan | | ( ) ( ) ( )
k k k k k k
x x , x - x v , u + c
berlaku
( )( ) A - u v x f
n
1 k
k k k
<

=
.
Himpunan pasangan titik interval | | { } v , u , x
k k k
seperti dalam
Definisi 1 disebut partisi o-fine pada | | b a, , dan vektor A e X dalam
definisi tersebut adalah tunggal dan disebut nilai integral f pada | | b a, dan
ditulis
( )
}
=
b
a
f M A .
Koleksi semua fungsi berniali vektor terintegral McShane pada | | b a,
ditulis | | ( ) X , b , M a .

JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________
115
Sejalan dengan Integral McShane fungsi bernilai real dapat
ditunjukkan bahwa :
1. Jika f, g e | | ( ) X , b , M a , maka f + g e | | ( ) X , b , M a dan
( ) ( ) ( ) ( )
} } }
+ = +
b
a
b
a
b
a
g M f M g f M
2. Jika f, g e | | ( )
a
X , b , M a dan c skalar, maka c f e | | ( ) X , b , M a dan
( ) ( ) . f M c cf M
b
a
b
a
} }
=
3. Jika f e | | ( ) X , b , M a , maka f e | | ( ) X , d , c M untuk setiap | | d c, c
| | b a, .
4. Jika f e | | ( ) X , b , M a dan c e | | b a, , maka
( ) ( ) ( ) . f M f M f M
c
a
b
c
b
a
} } }
+ =
Dari 3 dan 4 di atas diperoleh bahwa untuk setiap interval | | v u, c
| | b a, terdapat vektor F(u,v) = ( )
}
v
u
f M di dalam X. Dari sini
diperoleh integral tak tentu fungsi f pada | | b a, , yaitu untuk setiap t e
| | b a,
( ) ( ) . f M t F
t
a
}
=
Fungsi f : | | b a, X tersebut disebut fungsi primitif f pada | | b a, .
Berikut ini didefinisikan Integral McShane Kuat.
Definisi 2
Fungsi f : | | b a, X dikatakan terintegral McShane kuat pada
| | b a, , jika f e | | ( ) X , b , M a dan untuk setiap bilangan c > 0 terdapat fungsi
positif o pada | | b a, sehingga
( )( ) ( ) v , u F - u - v x f
n
1 k
k k k k k
<

=

Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________
116
untuk setiap partisi o-fine ( | | { } n , ... 2, 1, k : v , u , x
k k k
= pada | | b a, .
Dalam hal ini ( ) ( ) ( ) n. ..., 2, 1, k , u F - v F v , u F
k k k k
= =
Koleksi semua fungsi terintegral McShane kuat pada | | b a, ditulis
dengan S | | ( ) X , b , M a . Jelas bahwa jika f e S | | ( ) X , b , M a , maka
f e | | ( ) X , b , M a . Berikut ini akan ditunjukkan bahwa jika f e
S | | ( ) X , b , M a , maka f terintegral Bochner.
Theorema 3
Jika f e S | | ( ) X , b , M a dengan primitif F, maka F kontinu absolut
kuat pada | | b a, .
Bukti
Diberikan sebarang bilangan c > 0, maka terdapat fungsi positif o
pada | | b a, sehingga
( )( ) ( )
2

v , u F - u - v x f
n
1 k
k k k k k
<

=

untuk setiap partisi o-fine ( | | { } n , ... 2, 1, k : v , u , x
k k k
= pada | | b a, .
Karena | | b a, kompak, maka dengan Theorema Heine-Borel terdapat koleksi
berhingga interval terbuka ( ) ( ) ( ) n, ..., 2, 1, k x x , x - x
k k k k
= +
dengan
n 2 1
n . . . < < < x x sehingga | | ( ) ( ) ( ) x x , x - x b a,
n
1 k
k k k k
=
+ c
( ) ( ) ( )

x x , x - x dan
1 - k 1 - k 1 - k 1 - k
+ ( ) ( ) ( ) x x , x - x
1 k 1 k 1 k 1 k + + + +
+ kosong.
Diambil ( ) ( ) n k 1 : x min
2
1

k 1
s s < o q ,
( ) { } ( ) 1 n k 1 : x f maks 2

k
2
+ s s
< q
dan ( )
2 1
, min q q q = . Diambil koleksi interval tak saling tumpang tindih
| | { } n k 1 : v , u
k k
s s dengan ( ) q u - v
n
1
k k
<

= k
.
Ada dua kemungkinan hubungan antara | |
k k
v , u dengan
( ) ( ) ( ) x x , x - x
k k k k
+
JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________
117
1. ada k sehingga | | c v , u
k k
( ) ( ) ( ) x x , x - x
k k k k
+
2. ada k dan
c
k
e ( ) ( ) ( ) x x , x - x
k k k k
+

( ) ( ) ( ) x x , x - x
1 k 1 k 1 k 1 k + + + +
+
yang memenuhi | | c c , u
k k
( ) ( ) ( ) x x , x - x
k k k k
+
| | c v , c
k k
( ) ( ) ( ) x x , x - x
1 k 1 k 1 k 1 k + + + +
+
Jika
( ) ( )
| | ( ) { } k r j 1 : b , a
k
j
k
j
s s menyatakan interval | | | | { } v , c , c , u
k k k k
yang
termuat di dalam ( ) ( ) ( ) x x , x - x
k k k k
+ , maka
Selanjutnya diperoleh
( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) ( )
( ) ( )
( )
( )
( )
( )
( ) ( )
( )
( ) ( ) ( )


2

u - v n k 1 : x f maks
2

a - b x f

a - b x f - a F - b F
a F - b F
u F - v F
n
1 k
k k k
k
j
k
j
n
1 k
r
1 j
k
n
1 k
r
1 j
k
j
k
j k
k
j
k
j
n
1 k
r
1 j
k
j
k
j
n
1 k
k k
k
k
k
= + <
s s + <
+
s
=

=
= =
= =
= =
=

Jadi F kontinu absolut kuat.
Theorema 4
Jika f e S | | ( ) X , b , M a dengan primitif F, maka F' (x) = f (x)
hampir di mana-mana pada | | b a, .
Bukti
Diambil A himpunan t e | | b a, sehingga F (t) tidak mempunyai
darivatif atau F' (t) = F (t). Akan ditunjukkan bahwa ( ) A dengan ( ) A
ukuran luar A. Karena f e S | | ( ) X , b , M a , maka untuk setiap c < 0
Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________
118
terdapat fungsi positif o pada | | b a, sehingga jika ( | | { }
n
1 k k k k
v , u , x
=

partisi o-fine pada | | b a, berlaku
( )( ) ( ) v - u F - u - v x f
n
1 k
k k k k k
<

=

Tanpa mengurangi sifat umum diambil ( ) ( ) t t
k
s dan
( ) 0 t lim
k
=

untuk t e | | b a, . Diambil t e A, maka ada ( ) 0 t >
sehingga untuk setiap ( ) t
k
terdapat ( ) ( ) t t t, u
k k
+ e sehingga
( ) ( ) ( )( ) ( )( ) t - u t t - u t f - t F - u F
k k k
>
atau terdapat ( ) ( ) t , t - t v
k k
e sehingga
( ) ( ) ( )( ) ( )( )
k k k
v - t t v - t t f - v F - t F >
Namakan
( )
)
`

> e =
n
1
t : A t A
n
q
n = 1, 2, , maka A A
1 n
n
=

. Diperoleh bahwa ( )
k
u t, dan
( ) t , v
k
k =1, 2, merupakan liput Vitali dari
n
A , maka untuk c > 0 di
atas terdapat | | { }
r
1 k k k
u , v
=
sehingga
( ) ( ) v , u A
r
1 k
k k n
+ s

=
,
dengan
k k
a u = atau
k k
a v = dan . A a
n k
= Karena ( )
k k k
a v u <
maka | | ( ) { } r k 1 : a , v , a
k k k
s s merupakan partisi o-fine.
Jadi

( ) ( )
( ) ( ) ( )( )
( )
n

a
v - u a f - u F - u F

v - u A
r
1 k n
k k n k k
r
1 k
k k n
+ <
+ s
+ s

=
=

Jadi ( ) 0 A
n
= , yang berarti ( ) 0. A =
JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________
119
Dari kedua theorema di depan diperoleh bahwa jika f e
S | | ( ) X , b , M a , maka f terintegral Bochner pada | | b a, .
Fungsi f : | | b a, X terintegral Bochner pada | | b a, jika terdapat
fungsi sederhana ( ) x w
n
pada | | b a, sehingga ( ) ( ) x f x w lim
n
n
=

h.d. pada
| | b a, dan ( ) ( ) 0 w - x f lim
b
a
n
n
=
}

x . Integral Bochner f pada | | b a, adalah
} }

=
b
a
n
b
a n
w lim f
Berikut ini akan ditunjukkan bahwa jika f terintegral Bochner maka f
terintegral McShane kuat.
Theorema 5
Jika f terintegral Bochner pada | | b a, , maka f e S | | ( ) X , b , M a .
Bukti
Diketahui f terintegral Bochner pada | | b a, , maka terdapat barisan
fungsi sederhana ( ) x w
n
pada | | b a, sehingga ( ) ( ) x f x w lim
n
n
=

h.d.
pada | | b a, dan ( ) ( ) 0 w - x f lim
b
a
n
n
=
}

x . Mudah ditunjukkan bahwa
untuk setiap bilangan c > 0 terdapat bilangan asli
1
N sehingga jika n, m >
1
N berlaku
( ) ( ) x w - x w
b
a
m n
<
}
.
Untuk c > 0 tersebut terdapat barisan berhingga interval tak saling
tumpang tindih | | { } r k 1 : b , a
k k
s s dengan
b b a . . . b a b a
r r 2 2 1 1
= s s s s s s = a sehingga
( ) ( ) b , a W - b , a W
r
1 k
k k m k k n
<

=

dengan ( ) ( ) . . . . , 2 1, n , x w v u, W
v
u
n n
= =
}

Ekuivalensi Integral Bochner (Y. D. Sumanto)

__________________________________________________________________
120
Karena ( ) ( ) x f x w lim
n
n
=

h.d. pada | | b a, , maka tanpa mengurangi arti
untuk setiap x e | | b a, dan untuk bilangan c > 0 di depan terdapat
bilangan asli N, sehingga jika
2
N n > , maka berlaku
( ) ( ) x f - x w
n
<
Dapat ditunjukkan bahwa setiap fungsi sederhana terintegral McShane kuat.
Oleh karena itu, untuk c > 0 di atas terdapat fungsi positif
n
pada
| | b a, , sehingga jika | | { } r k 1 : b , a , (x
k k k
s s partisi
n
-fine pada | | b a,
berlaku
( )( ) ( ) b , a W - a - b x w
r
1 k
k k n k k k n
<

=

Untuk setiap n = 1, 2, . . . ( ) ( ) ( ) | | b a, x x x
1 n n
e s

. Dari sini diperoleh
bahwa untuk setiap n > N berlaku
( ) ( ) b , a F - b , a W
r
1 k
k k k k n
<

=

Selanjutnya diambil n > N dan ( ) ( ) x x
n
= pada | | b a, , maka untuk
partisi o-fine | | { } r k 1 : b , a , (x
k k k
s s pada | | b a, diperoleh
( )( ) ( )
( )( ) ( )( ) ( )( ) ( )
( ) ( )
( ) ( ) ( )
( ) 2 a - b
a - b x w - x f
b , a F - b , a W

b , a W - a - b x w a - b x w - a - b x f
b , a F - a - b x f
k k
r
1 k
k n k
r
1 k
k k k k n
r
1 k
k k n k k k n
r
1 k
k k k n k k k
r
1 k
k k k k k
' = + <
+ + <
+ + s

=
=
= =
=

Jadi f e S | | ( ) X , b , M a .
Dari Theorema 3, 4, dan 5 diperoleh bahwa f e S | | ( ) X , b , M a , jika
dan hanya jika f terintegral Bochner pada | | b a, .
JURNAL MATEMATIKA DAN KOMPUTER
Vol. 4. No. 3, 113 - 121, Desember 2001, ISSN : 1410-8518
__________________________________________________________________
121
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...