1a Sampul Depan LINIERITAS INTEGRAL HENSTOCK-PETTIS PADA RUANG EUCLIDE Rn Hairur Rahman Jurusan Matematika Fakultas Sains dan Teknologi Universitas Islam Negeri Maulana Malik Ibrahim Malang ABSTRACT In this paper we study Henstock-Pettis integral on the Euclidean space ℜn. We discuss some properties Linear integrable. Keywords: Henstock integral, Euclidean Space ℜn, properties Linear integrable, Henstock-Pettis integral. PENDAHULUAN Pada tahun 1914, Perron mengembangkan perluasan lain integral Lebesgue dan menunjukkan bahwa integralnya mempunyai sifat bahwa setiap derivatifnya terintegral pada garis lurus. Selanjutnya Henstock dan Kurzweil secara terpisah mengitlakkan integral Riemann dengan mengubah konstanta positif δ menjadi fungsi positif δ dan ternyata integral yang disusun keduanya ekuivalen. Oleh karena itu, integral yang mereka susun terkenal dengan nama Henstock-Kurzweil (Lee dan Vborn, 2000). Dari kajian tentang integral Henstock banyak sifat-sifat yang telah diungkapkan baik dalam ℜ maupun ruang ℜn. Menurut penelitian, masalah mengenai sifat-sifat pada integral Henstock kemungkinan dapat dikembangkan menjadi masalah yang lebih luas dalam integral Henstock-Pettis, khususnya sejauh mana sifat- sifat integral Henstock dari fungsi bernilai real dapat dikembangkan ke dalam integral Henstock- Pettis pada ruang Euclide ℜn. Dari kajian tentang integral Henstock-Kurzweil banyak sifat-sifat yang telah diungkapkan baik dalam ℜ maupun ruang ℜn. Menurut penelitian sebelumnya, masalah mengenai sifat-sifat pada integral Henstock-Kurzweil yang telah dilakukan oleh Guoju dan Tianqing, 2001, Guoju dan Swabik, 2001, Indrati, 2002, serta Dharmawidjaya, 2003, kemungkinan dapat dikembangkan menjadi masalah yang lebih luas dalam integral Henstock- Kurzweil-Pettis, khususnya sejauh mana sifat- sifat integral Henstock dari fungsi bernilai real dapat dikembangkan ke dalam integral Henstock- Kurzweil-Pettis pada ruang Euclide ℜn. Definisi 1.1. Diberikan fungsi volume α pada ℜn, sel � � ℜ�dan E ruang Banach. Fungsi f : E → X dikatakan terintegral-α Henstock pada E terhadap α, ditulis singkat f ∈ ℋ(E, α, X) jika terdapat vektor A ∈ X sehingga untuk setiap bilangan � > 0 terdapat fungsi positif pada E dan untuk setiap partisi Perron -fine = �� �, ����, � �, ����, � , � � , ��� �� pada E berlaku �� � � � � ������ �� � �� � � � � ����� ��� � � � ��� � � �. PEMBAHASAN Akan dibahas sifat-sifat lanjut dari integral Henstock-Pettis pada ruang Euclide ℜ�, yakni memuat pembahasan yang berkaitan dengan sifat-sifat Linearitas fungsi terintegral Henstock- Pettis pada ruang Euclide ℜ� . Definisi 2.1. Diberikan X ruang Banach dan !" ruang dualnya, volume α pada ℜn, dan se � � ℜ�. Fungsi f : E → X dikatakan terintegral-α Henstock- Pettis pada E, ditulis singkat dengan f ∈ ℋ#(E, α), jika untuk setiap � " ∈ !" dan sel � � $, fungsi � "� terintegral-� Henstock pada A dan terdapat vektor ��%,&,'� ∈ ! sehingga � "(��%,&,'�) � �ℋ� * � "� +�& . Selanjutnya vektor ��%,&,'� di atas disebut nilai Integral Henstock-Pettis fungsi f pada A dan ditulis ��%,&,'� � �ℋ#� * � +�,& khususnya ��%,,,'� � �ℋ#� * � +�,, Jadi � " -�ℋ#� * � +�,& . � �ℋ� * � "� +�.& Teorema 2.2. Jika f ∈ HP(E, α), maka vektor ��%,&,'� ∈ ! yang dimaksud di dalam Definisi 2.1 adalah tunggal Bukti: Jika terdapat vektor �� �%,&,'� dan �� �%,&,'� seperti pada definisi 2.1 maka � " /�� �%,&,'�0 � �ℋ� * � "� +�& Hairur Rahman 66 Volume 1 No. 2 Mei 2010 dan � " /�� �%,&,'�0 � �ℋ� * � "� +�& oleh karena itu, � " /�� �%,&,'�0 � � " /�� �%,&,'�0 � �ℋ� * � "� +�& � �ℋ� * � "� +�& atau � " /�� �%,&,'�0 � � " /�� �%,&,'�0 Untuk setiap x ∗∈X∗ Jadi �� �%,&,'� � �� �%,&,'� ◙ Contoh 2.3 Jika � "���� � � 1 untuk setiap �� di dalam sel E ⊂ ℜn, maka f ∈ HP(E,α) dan � "(��%,&,'�) � ����1. Bukti : Diberikan sebarang bilangan ε > 0 dan � " ∈ !" maka dapat ditemukan fungsi positif δ pada E sehingga jika A ⊂ E sebarang sel dan D � �� , �� �� sebarang partisi Perron δ-fine pada sel A, maka |� D � ∑ �"���4��� � � �"(���,�,��)| � |� D � ∑ 1�� � � ����1| � | ����1 � ����1| � 0 � � Jadi � "� terintegral Henstock pada E dan untuk sel A ⊂ E di atas, maka terdapat vektor ��%,&,'� ∈ ! sehingga � "(��%,&,'�) � �ℋ� * � "� +�& � �ℋ� * 1 +�& � ����1 Jadi f terintegral Henstock-Pettis pada E. Teorema 2.4 Diberikan X ruang Banach dan !" dualnya, volume α pada ℜn dan sel E ⊂ ℜn. (i) Jika f,g ∈ ℋ#(E,α) maka f + g ∈ ℋ#(E,α) dan ��%67,&,'� � ��%,&,'� 8 ��7,&,'� (ii) Jika f ∈ ℋ#(E,α) dan c∈ ℜ maka cf ∈ ℋ#(E,α) dan ��9%,&,'� � 1. ��%,&,'� Bukti : (i). Fungsi f ∈ ℋ#(E,α), maka untuk setiap � " ∈ !" fungsi � "� terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��%,&,'� ∈ ! sehingga � "(��%,&,'�) � �ℋ� * � "� +�& dan fungsi g ∈ ℋ#(E,α), maka untuk setiap � " ∈ !" fungsi � "g terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��7,&,'� ∈ ! sehingga � "(��7,&,'�) � �ℋ� * � ": +�& Karena A ⊂ E sebarang sel, maka berlaku untuk fungsi f dan fungsi g. Jadi untuk setiap � " ∈ !" fungsi � "(f+g) terintegral Henstock pada E. Oleh karena itu terdapat vektor ��%67,&,'� ∈ ! sehingga untuk sel A ⊂ E di atas berlaku � "(��%67,&,'�) � �ℋ� * � "�� 8 :� +�& � �ℋ� * � "� +�& 8 �ℋ� * � ": +�& � � "(��%,&,'�) 8 � "(��7,&,'�) Jadi f + g ∈ ℋ#(E,α) dan ��%67,&,'� � ��%,&,'� 8 ��7,&,'� (ii). Fungsi f ∈ ℋ#(E,α), maka untuk setiap � " ∈ !" fungsi � "f terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��%,&,'� ∈ ! sehingga � "(��%,&,'�) � �ℋ� * � "� +�& Oleh karena itu, untuk setiap � " ∈ !" dan c ∈ ℜ maka � "cf terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��9%,&,'� ∈ !. Sehingga � "(��9%,&,'�) � �ℋ� * � "1� +�& � 1�ℋ� * � "� +�& � 1� "(��%,&,'�) Jadi cf ∈ ℋ#(E,α) dan ��9%,&,'� � 1. ��%,&,'� ◙ Teorema 2.5 Diberikan X ruang Banach dan !" dualnya, volume α dan β di dalamnya ℜn dan sel E⊂ ℜn. (i). Jika f ∈ ℋ#(E,α) dan f ∈ ℋ#(E, β), maka f ∈ ℋ#(E, α +β) dan ��%,&,'6;� � ��%,&,'� 8 ��%,&,;� (ii). Jika f ∈ HP (E,α) dan e∈ ℜ dengan e> 0 maka f ∈ HP (E,eα) dan ��%,&,<'� � =. ��%,&,'� Bukti : (i). Fungsi f ∈ ℋ#(E,α), maka untuk setiap � " ∈ !" fungsi � "f terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��%,&,'� ∈ ! sehingga Linieritas Integral Henstock-Pettis pada Ruang Euclide Rn Volume 1 No. 2 Mei 2010 67 � "(��%,&,'�) � �ℋ� * � "� +�& dan fungsi f ∈ ℋ#(E,β), maka untuk setiap � " ∈ !" fungsi � "f terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��%,&,;� ∈ ! sehingga � "(��%,&,;�) � �ℋ� * � "� +>& Karena A ⊂ E sebarang sel, maka berlaku untuk fungsi f yang terintegral Henstock- Pettis pada E terhadap α dan β. Jadi untuk setiap � " ∈ !" fungsi � "f terintegral Henstock pada E. Oleh karena itu terdapat vektor ��%,&,'6;� ∈ ! sehingga sel A ⊂ E di atas berlaku ��%,&,'6;� � �ℋ� * � "� +�� 8 >�& � �ℋ� * � "� +�& 8 �ℋ� * � "� +>& � ��%,&,'� 8 ��%,&,;� Jadi f ∈ ℋ#(E,α+β), dan ��%,&,'6;� � ��%,&,'� 8 ��%,&,;� (ii). Fungsi f ∈ ℋ#(E,α), maka untuk setiap � " ∈ !" fungsi � "f terintegral Henstock pada E dan untuk setiap sel A ⊂ E terdapat vektor ��%,&,'� ∈ ! sehingga � "(��%,&,'�) � �ℋ� * � "� +�& Oleh karena itu, jika e ∈ ℜ dengan e > 0 maka untuk sel A ⊂ E di atas terdapat vektor ��%,&,<'� ∈ ! sehingga � "(��%,&,<'�) � �ℋ� * � "� +=�& � =�ℋ� * � "� +�& � =� "(��%,&,'�) Jadi f ∈ ℋ#(E,eα) dan ��%,&,<'� � =. ��%,&,'� ◙ Teorema 2.6 Jika E1, E2 ⊂ ℜn sel-sel tak saling tumpang tindih, f ∈ ℋ#(E1,α) dan, f ∈ ℋ#(E2,α) maka, f ∈ ℋ#(E1 ∪ E2,α) dan jika A⊂ E1 sel dan B⊂ E2 sel maka ��%,&?@,'� � ��%,&,'� 8 ��%,@,'� Bukti : Diberikan sebarang bilangan ε > 0 dan � " ∈ !", maka terdapat fungsi positif δ1 pada E1 dan δ2 pada E2 sehingga untuk A ⊂ E1 sebarang sel dan B ⊂ E2 sebarang sel dan D1 � �� , �� �� dan D2 � �� , �� �� berturut-turut partisi Perron δ-fine pada A dan B berlaku |� D1 � ∑ �"���4��� � � �"(���,�,��)| � �2 dan |� D2 � ∑ �"���4��� � � �"(���,�,��)| � �2 � |� D � ∑ 1�� � � ����1| � | ����1 � ����1| � 0 � � Diambil fungsi δ : ��� � � B ���� � , CDEF �� ∈ � +FG �� H I ���� � , CDEF �� ∈ I +FG �� H �min( ���� � , ���� �), CDEF �� ∈ � M I N Diperoleh δ fungsi positif pada E1 ∪ E2 dan untuk sel-sel A ⊂ E1, dan B ⊂ E2 di atas dan D 1 ∪ D2 partisi Perron δ-fine pada A∪B. Oleh karena itu diperoleh |�D1 ? D2 � ∑ �"���4��� � � /� "(��%,&,'�) 8 � "(��%,&,;�)0 | � |��D1 �∑ � "���� ��� � 8 �D2�∑ � "���� ��� �� � /� "(��%,&,'�) 8 � "(��%,&,;�)0 | � |��D1 �∑ � "���� ��� � 8 �D2�∑ � "���� ��� �� � /� "(��%,&,'�) 8 � "(��%,&,;�)0 | O |��D1 �∑ � "���� ��� � 8 � "(��%,&,'�)| 8 |��D2�∑ � "���� ��� � 8 � "(��%,&,;�)| � �2 8 �2 � � Jadi � "f terintegral Henstock pada E1 ∪ E2 dan untuk sel-sel A ⊂ E1, B⊂ E2 di atas terdapat vektor (��%,&?@,'�) ∈ ! sehingga � "(��%,&?@,'�) � �ℋ� * � "� +�&?@ � �ℋ� * � "� +�& 8 �ℋ� * � "� +�@ � � "(��%,&,'�) 8 � "(��%,@,'�) Jadi f ∈ ℋ#(E1∪E2, α) dan ��%,&?@,'� � ��%,&,'� 8 ��%,@,'� ◙ Selanjutnya teorema di bawah ini merupakan akibat teorema 2.6. Teorema 2.7 Diberikan sel E ⊂ ℜn. Jika A⊂ E sel dan D = {(D1, D2, …, Dm)} divisi pada A serta f ∈ ℋ#(Di,α) untuk setiap i, maka f∈ ℋ#(E,α) dan ��%,&,'� � � ��%,PQ,'� R ��� Bukti : Diberikan sebarang bilangan ε > 0 dan � " ∈ !", maka terdapat fungsi positif δ dan Di, sehingga jika ��IS , ��S �: E � 1,2, … , W� partisi Perron δi-fine pada Di berlaku Hairur Rahman 68 Volume 1 No. 2 Mei 2010 X� "(��%,PQ,'�) � � � "����S ���IS � Y S�� X � �Z untuk setiap i = 1,2,..,m. Dibentuk fungsi positif δ : ��� � � [ � ��� � , �� ∈ DG\� � �, D � 1,2, … , Z min� � ��� �� , �� ∈ ]� � � ^\E __`W �� ∈ � N diperoleh δ fungsi positif pada E dan ��� � O � ��� � untuk setiap ��∈Di, i = 1,2,…,m. Diambil sebarang partisi Perron δ-fine Pi pada Di untuk setiap i = 1,2,…,m. Menurut Teorema 2.6.2., a � b a�R��� merupakan partisi Perron δ-fine pada E. Akibatnya, untuk A ⊂ E sebarang sel P merupakan partisi Perron δ-fine pada A. Oleh karena itu Pi merupakan partisi Perron δ-fine Di untuk setiap i =1,2,…,m, maka diperoleh X� � "(��%,PQ,'�) R ��� � # � � "��c4���a�R ��� X O X� � "(��%,PQ,'�) R ��� � � #� � "��c4���a� R ��� X ( )( )( ) ( ) ( )∑ ∑∑ = = ∗ −≤ m i m i iDf Pyfxxx 1 * 1 ,, 1 αα P ( )( )( ) ( ) ( )∑ ∑ = ∗ −≤ m i iDf Pyfxxx 1 * ,, 1 αα P ε ε =< ∑ = m i m1 Jadi untuk setiap � " ∈ !" fungsi � "� terintegral Henstock pada E dan untuk setiap sel A ⊂ E di atas terdapat vektor ( ) Xx Af ∈α,, sehingga Jadi f ∈HP (E,α) dan ( )( ) ( )∑ = ∗ = m i DfAf i xxx 1 ,,,, αα ◙ Teorema 2.8. Jika f=0 (fungsi nol) h,d pada E maka f∈HP(E,α) dan jika A⊂E sel maka ( ) θα =,, Afx Bukti : Karena f = 0 h.d pada E, maka terdapat himpunan A⊂ E dengan µα(A) = 0 sehingga jika ∗∗ ∈ Xx berakibat ( )      ∈≠ −∈= ∗ Ax AEx xfx jika,0 jika,0 Dibentuk A = ∪ ∞ =1i iA dimana Ai = ( ){ } AiixfiAx ⊂=≤≤−∈ ,....2,1,1: dengan µα (Ai) = 0 Diberikan bilangan ε > 0. Untuk setiap i terdapat himpunan terbuka Gi dengan ukuran kurang dari ii2 ε sehingga Gi ⊃Ai. Didefinisikan fungsi positif δ pada E sedemikian sehingga N( x ,δ( x )) ⊂Gi, untuk x ∈ Ai, i=1,2,…, dan sebarang fungsi positif untuk x yang lain . Oleh karena itu untuk sebarang A ⊂ E sel dan sebarang partisi Perron δ-fine P={(B, x )} pada A berlaku ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ε ε α αα α = < = += − ∑ ∑ ∑∑ ∑ ∞ = ∗ ∈ ∗ ∉ ∗ ∈ ∗ ∗ i ix Axfx AxfxAxfx Axfx i i Ax AxAx i ii .2 0 1 P untuk setiap ∗∗ ∈ Xx dan 1≤∗x . Hal ini menunjukkan bahwa untuk setiap ∗∗ ∈ Xx fungsi fx ∗ terintegral Henstock pada E. dan untuk sel A ⊂ E di atas terdapat vektor ( ) Xx Af ∈α,, sehingga ( )( ) ( ) ( ) ( )∫ ∫ === =∗ 000 * ,, Ad fdxxx A Af αα αα H H Jadi f ∈HP (E,α) dan ( ) θα =,, Afx Berikut ini akibat Teorema 3.1.8 di atas. Teorema 3.1.9. Jika f ∈ HP(E,α) dan g = f h.d pada E maka g ∈HP(E,α) dan jika A⊂ E sel maka ( ) ( )αα ,,,, AfAg xx = ( )( ) ( ) ( )( )∑ ∑ ∫ = ∗ = ∗ = = m i Df m i D Af i i xx fdxxx 1 ,, 1 * ,, α α αH Linieritas Integral Henstock-Pettis pada Ruang Euclide Rn Volume 1 No. 2 Mei 2010 69 Bukti : ambil fungsi h = g - f. Diperoleh h = 0 (fungsi nol) h.d pada E. Menurut Teorema 3.1.8, h ∈HP (E,α) dan ( ) θα =,, Ahx untuk setiap sel A⊂ E. Karena h ∈HP(E,α), f ∈HP(E,α) dan g = h + f, maka berdasarkan Teorema 3.1.4 (i) diperoleh, g ∈HP (E,α) dan untuk setiap ∗∗ ∈ Xx ( )( ) ( ) ( )∫ += ∗∗ A Ag dfhxxx αα H,, ( ) ( )∫∫ ∗∗ += AA fdxhdx αα HH ( )∫ ∗+= A fdx αH0 ( )∫ ∗= A fdx αH ( )( )α∗= ,A,fxx Jadi ( ) ( )αα ,,,, AfAg xx = ◙ Teorema 3.1.10. Jika f ∈ HP (E,α) dan ∗x f ≥ 0 h.d pada E dan jika A⊂ E sel maka ( )( ) 0,, ≥∗ αAfxx Bukti : Karena ∗x f ≥ 0 h.d pada E maka tidak mengurangi arti jika dianggap ∗x f ( x ) ≥ 0 untuk setiap x ∈ E dan ∗∗ ∈ Xx . Oleh karena itu, karena f ∈ HP(E,α), jadi untuk setiap ∗∗ ∈ Xx fungsi ∗x f terintegral Henstock pada E dan untuk setiap sel A⊂ E terdapat vektor ( ) Xx Af ∈α,, sehingga berakibat ( )( ) ( ) 0,, ≥= ∫ ∗∗ A Af fdxxx αα H ◙ Di bawah ini merupakan akibat Teorema 3.1.10 Teorema 2.11. Jika f ∈ HP (E,α) dan g ∈ HP (E,α) dan fx ∗ ≤ gx ∗ h.d pada E dan jika A ⊂ E sel maka ( )( ) ( )( )αα ,,,, AgAf xxxx ∗∗ ≤ Bukti : Karena fx ∗ ≤ gx ∗ h.d pada E maka ∗x g – ∗x f ≥ 0 h.d. pada E. Oleh karena itu, berdasarkan Teorema 3.1.10 untuk setiap ∗∗ ∈ Xx fungsi ∗x (f-g) terintegral Henstock pada E dan untuk setiap A ⊂ E sel terdapat vektor ( ) Xx Afg ∈− α,, sehingga ( )( ) ( ) ( ) 0,, ≥−= ∫ ∗−∗ αα dfgxxx A Afg H ( ) ( ) 0≥−= ∫∫ ∗∗ αα dfxdgx AA HH ( )( ) ( )( ) 0,,,, ≥−= ∗∗ αα AfAg xxxx Jadi ( )( ) ( )( )αα ,,,, AgAf xxxx ∗∗ ≤ ◙ DAFTAR PUSTAKA [1]. Dharmawidjaya, S., 2003, On The Bounded Interval Functions, Proceedings of the International Conference 2003 On Mathematics And Its Application, SEAMS- Gadjah Mada University, Universitas Gadjah Mada, Indonesia. [2]. Indrati, Ch. R., 2002, Integral Henstock- Kurzweil pada ruang Euclide ℜn berdimensi-n, Disertasi, Universitas Gadjah Mada, Indonesia. [3]. Gordon, R.A., 1994, The Integral of Lebesgue, Denjoy, Perron and Henstock, American Mathematical Society, USA. [4]. Guoju, Ye and Tianqing, 2001.On Henstock- Dunford and Henstock-Pettis Integral, IJMMS, 25:7, Hindawi Publishing Corp. pp 467-478. [5]. Guoju, Ye, and ,Swabik. S, 2001. The MacShane and The Weak. MacShane Intergal of Banach Space Value Function Defined On ℜn. Mathematical Notes, Miscole, Vol, 2., No, 2., pp127-136. [6]. Guoju, Ye, and Swabik. S, 2004, Topics in Banach Space Integration, manuscript in preparation. [7]. Guoju, Ye, Lee, P.Y.,Wu, Congxin, 1999, Convergence Theorem of The Denjoy- Bochner, Denjoy-Pettis and Denjoy-Dunford Integral, southeast asian bulletin of mathematics, Springer-Verlag, vol 23; 135- 143. [8]. Rahman, Hairur, 2005, Integral Henstock- Pettis pada ruang Euclide ℜn , Tesis, Universitas Gadjah Mada, Indonesia. Hairur Rahman 70 Volume 1 No. 2 Mei 2010 [9]. Rahman, Hairur, 2005, Kekonvergenan Integral Henstock-Pettis pada ruang Euclide ℜn, Universitas Gadjah Mada, Indonesia. [10]. Lee, P.Y., 1989, Lanzhou Lectures On Henstock Integration, Word Scientific, Singapore. [11]. Lee, P.Y. dan Vborn, R., 2000, Integral: An Easy Approach after Kurzweil and Henstock, Cambridge University Press. [12]. Pfeffer,W.F.,1993, The Riemann Approach to Integration, Cambridge University Press, New York, USA. [13]. Royden, H.L., 1989, Real Analysis, third edition, Macmillan Publishing Company, New York, USA. [14]. Swabik. S. and Ye, Guoju.,1991.The Macshne and The Pettis Intergal of Banach Space Value Function Defined on ℜn, chzech, math journal.