British Journal of Matematika & Ilmu Komputer

8 ( 3 ) : 220-228 , 2015, Pasal no.BJMCS.2015.156

ISSN : 2231-0851
SCIENCEDOMAIN internasional
www.sciencedomain.org
Non - metrik Menutupi lemma dan Extended
Lebesgue - diferensiasi Teorema
Mangatiana A. Robdera1 * 1 Jurusan Matematika , Universitas Botswana , Private Bag 0022 , Gaborone , Botswana
.
Informasi Pasal
DOI : 10,9734 / BJMCS / 2015/16752
Editor ( s ) :

( 1 ) Paulus Bracken , Departemen Matematika , Universitas Texas - Pan Amerika Edinburg ,

TX 78539 , USA . Reviewer : ( 1 ) Anonymous , Turki . ( 2 ) Danyal Soyba , Erciyes University, Turki .
( 3 ) Anonymous , Italia . Riwayat Lengkap Peer review :
http://www.sciencedomain.org/review-history.php?iid=1032&id=6&aid=8603

Penelitian asli Pasal

Menerima : 12 Februari 2015
Diterima : 12 Maret 2015
Diterbitkan : 28 Maret 2015

Abstrak
Kami memberikan versi non - metrik dari Besicovitch Menutupi Lema dan perpanjangan dari Lebesgue -
Diferensiasi Teorema ke dalam pengaturan dari teori integrasi fungsi vektor dihargai .
Kata kunci : Meliputi lemmas ; integrasi vektor ; Hardy- Littlewood fungsi maksimal ; Lebesgue diferensiasi
teorema .
2010 Matematika Subjek Klasifikasi : 28B05 ; 28B20 ; 28C15 ; 28C20 ; 46 G 12
1. Perkenalan
The Vitali Menutupi Lema yang telah digunakan secara luas dalam analisis dasarnya menyatakan bahwa diberi satu
set E Rn dengan Lebesgue mengukur ( E ) < dan penutup dari E dengan bola ' sewenang-wenang ukuran
Lebesgue kecil ' , seseorang dapat menemukan hampir sampul E dengan jumlah terbatas bola menguraikan
berpasangan dari penutup diberikan . Semakin rumit dan lebih kuat Besicovitch Menutupi Lema [ 1 , 2 ] diketahui
bekerja untuk setiap tindakan Borel lokal yang terbatas . Pengaturan adalah ruang bernorma X. berdimensi
berhingga Untuk sewenang-wenang A X , dan keluarga bola B (a , ra ) sehingga suatu A dan supaA ra < ,
teorema menyatakan bahwa ada konstan K tergantung hanya pada ruang bernorma X sehingga untuk beberapa
* Penulis Sesuai: E-mail: robdera@yahoo.com
m <K, salah satu dapat menemukan himpunan m menguraikan Ai sehingga untuk setiap Ai, bola B (ai, rai) yang
menguraikan berpasangan dan masih mencakup A. Besicovitch Menutupi Lema digunakan untuk membuktikan
penting Teorema Lebesgue-diferensiasi:
Teorema 1.1. Mari menjadi ukuran Borel lokal yang terbatas pada Rn. Mengingat x supp, f L1 (Rn, ), maka
a.e.
Di sini, supp adalah \ U, di mana U adalah himpunan terbuka terbesar seperti yang (U) = 0 dan B (x, r) adalah
bola yang berpusat di x jari-jari r.
teorema seperti menyediakan alat penting dalam banyak bidang analisis, seperti, persamaan partiall diferensial,
analisis harmonik, probabilitas, operator integral, pendekatan teori, untuk nama hanya beberapa. Jelas, teorema
tersebut memiliki beberapa bukti, dan ekstensi dalam literatur (lihat misalnya [3, 4, 5, 6, 7]).
Tujuan dari catatan ini adalah untuk memberikan yang lebih umum, non-metrik Besicovitch Menutupi Lema yang
bekerja untuk setiap fungsi ukuran (lihat definisi dalam Bagian 2) dan yang akan memungkinkan untuk
memperpanjang lingkup Lebesgue Diferensiasi Teorema untuk pengaturan yang lebih umum dari integral dari
fungsi vektor dinilai sebagai diperkenalkan di [8] (dikembangkan lebih lanjut di [9]).
2 diperpanjang Notion dari integrability
Pada bagian ini, kita ingat poin utama dalam definisi gagasan diperpanjang integrability seperti yang diperkenalkan
di [8]. Sebuah fungsi ukuran diatur fungsi : 2 [0, ] didefinisikan pada semiring dari himpunan bagian
dari memuaskan
() = 0;
(A) (B) setiap kali A B di (monotonicity)
([An) X (An) untuk setiap urutan n 7 An di sehingga [An (dihitung
nN nN nN subadditivity).
A -subpartition P dari subset A 2 adalah setiap koleksi terbatas {Ii; Ii A, Ii , i = 1,2 ..., n} dengan sifat
berikut yang (Ii) < untuk semua i {1, ..., n}, Ii A, Ii dan Ii Ij = setiap kali saya 6 = j. A -
subpartition P = {Ii: i = 1, ..., n} dikatakan ditandai jika titik ti Ii dipilih untuk setiap i {1, ..., n}. Kita menulis P:
= {(Ii, ti): i {1, ..., n}} jika kita ingin menentukan poin tagging. Kita menyatakan (A, ) koleksi semua tag -
subpartitions dari himpunan A. jala atau norma P (A, ) didefinisikan sebagai KPK = max { (Ii): Ii P}.
Jika P, Q (A, ), kita mengatakan bahwa Q adalah penyempurnaan dari P dan kami menulis dan
FP FQ. Hal ini mudah dilihat bahwa relasi transitif pada (A, ), dan jika P, Q (A, ), maka dan demikian
relasi
memiliki properti batas atas (A, ). Kami kemudian menyimpulkan bahwa himpunan (A, ) diarahkan oleh
hubungan biner.

Biarkan f: V, di mana V akan berarti sebuah ruang vektor bernorma kompleks nyata atau. Mengingat -
subpartition P = {(Ii, ti): i {1, ..., n}} (A, ), kita mendefinisikan (, ) -Riemann jumlah f pada
P menjadi vektor demikian fungsi P 7 f (P) adalah V -valued bersih didefinisikan pada himpunan diarahkan.
Kami dengan demikian mengatakan bahwa
Definisi 2.1. Sebuah fungsi f: V adalah (, ) -integrable lebih himpunan A , dengan (, ) - terpisahkan
RA fd jika untuk setiap, terdapat P0 (A, ), sehingga untuk setiap kita memiliki
(2.1)
Kami akan dilambangkan dengan I (A, V, , ) himpunan semua (, ) fungsi -integrable atas set A.
Hal ini juga harus memperhatikan bahwa jika set A adalah seperti yang (A) = 0, maka untuk semua subpartitions P
(A), f (P) = 0, dan dengan demikian RA fd = 0. Oleh karena itu
Z Z fd = gd setiap kali {x A: f (x) 6 = g (x)} = 0.
AA

Kami menulis f ~ g, jika {x A: f (x) 6 = g (x)} = 0. Hal ini mudah dilihat bahwa hubungan f ~ g adalah relasi
ekivalen pada I (A, V, , ). Kami kemudian akan dilambangkan dengan I (A, V, , ) ruang quotient
p
I (A, V, , ) / ~. Untuk 1 p <, kita akan dilambangkan dengan I (, V, , ) subruang I (, V, , ) yang terdiri
dari fungsi f sehingga fungsi s 7 kf (s) kVp adalah -terintegral. Ruang Ip (, V, , ) akan bernorma oleh.
Ruang I (, V, , ) didefinisikan oleh
-esssup
dimana F (, V) menunjukkan himpunan semua V fungsi -valued didefinisikan pada . Ruang I (, V, , ) akan
bernorma oleh f 7 kfk = - esssup kfkV.
Berkomentar 2.1. Kami melihat bahwa:
ruang, dan semua ruang Banach setiap kali V adalah ruang Banach.
jika adalah ukuran Lebesgue, maka Lebesgue fungsi ruang Lp (, V) yang terkandung dalam Ip (, V, (, )).
versi terus menerus dari teorema Dvorestski-Rogers terbukti di [9, Teorema 16] menunjukkan bahwa
I1 (, V, (, )) I (, V, (, )).
dalam definisi di atas dari integrability, tidak ada gagasan terukurnya diperlukan.
ketidaksamaan Holder's memiliki generalisasi berikut: jika p1, p2, ..., pn, r [1, ) memuaskan

maka untuk setiap fi Ipi (, R, , ), i {1,2, ..., n}, kita memiliki

.
Untuk penjelasan lebih rinci dan hasil lebih lanjut dari gagasan diperpanjang lihat terpisahkan [10].
3 Sebuah Perpanjangan Besicovitch Menutupi Lema
Dalam apa yang berikut, (, ) adalah ruang vektor topologi dan , dan arah datang gelombang: 2 [0,
] adalah terjemahan fungsi ukuran invarian, yaitu,
A , , ( + A) = (A).
Ini adalah fakta yang terkenal bahwa ruang vektor topologi memiliki basis lokal yang terdiri dari set seimbang.
Kami akan dilambangkan dengan koleksi semua lingkungan yang seimbang x .
Kami memperkenalkan gagasan -bola yang akan mengambil peran yang dimainkan oleh metrik bola dalam standar
Besicovitch meliputi teorema.
Definisi 3.1. Biarkan 0 menjadi vektor nol di . Kami akan memanggil -bola ukuran r berpusat pada 0, set formulir
Hai
, N terbuka, (N)> r.
Untuk elemen yang sewenang-wenang , sebuah -bola ukuran r berpusat di didefinisikan sebagai himpunan
N (, r): = + N (0, r).
Jelas, N (, r) adalah seimbang, dan jika r <r0, maka N (, r) N (, r0). Oleh terjemahan invarian, kami memiliki
(N (, r)) = (N (0, r)). Lebih umum, mengingat subset A dari , satu set bentuk
N (A, r): = A + N (0, r)
disebut -lingkungan dari himpunan A. Kami mengatakan bahwa subset A 2 adalah -dibatasi jika ada r> 0
sehingga A N (0, r).
Definisi 3.2. Kami mengatakan bahwa fungsi ukuran memenuhi kondisi penggandaan seragam jika ada k> 0
sehingga untuk setiap dan untuk setiap r> 0, kita memiliki
(N (, r) + N (0, r)) = k (N (0, r)).
3 SEBUAH Perpanjangan Besicovitch Menutupi Lema
Dalam APA Yang berikut, (, ) Adalah Ruang vektor topologi Dan , Dan Arakh Datang Gelombang: 2
[0, ] Adalah terjemahan fungsi fungsi ukuran invarian, Yaitu,
A , , ( + A) = (A).
Penyanyi Adalah Fakta Yang Terkenal bahwa Ruang vektor topologi memiliki dasar Lokal Yang terdiri Dari
mengatur Seimbang. Kami akan dilambangkan DENGAN koleksi SEMUA Lingkungan Yang Seimbang x .
Kami MEMPERKENALKAN gagasan -bola Yang akan mengambil Peran Yang dimainkan Oleh metrik bola
hearts standar Besicovitch meliputi Teorema.
Definisi 3.1. Biarkan 0 Menjadi vektor nol di . Kami akan memanggil -bola ukuran r berpusat PADA 0, set
Formulir
Hai
, N Terbuka, (N)> r.
Untuk review elemen Yang sewenang-Wenang , SEBUAH -bola ukuran r berpusat di didefinisikan
sebagai Himpunan
N (, r): = + N (0, r).
Jelas, N (, r) Adalah Seimbang, Dan JIKA r <r0, Maka N (, r) N (, r0). Oleh terjemahan invarian, kami
memiliki (N (, r)) = (N (0, r)). Lebih, Sales manager, mengingat bagian A Dari , Satu set Bentuk
N (A, r): = A + N (0, r)
disebut -Lingkungan Dari Himpunan A. Kami mengatakan bahwa bagian A 2 Adalah -dibatasi JIKA ADA r>
0 sehingga A N (0, r).
Definisi 3.2. Kami mengatakan bahwa fungsi fungsi ukuran memenuhi Kondisi Penggandaan seragam JIKA ADA
k> 0 sehingga untuk review SETIAP Dan untuk review SETIAP r> 0, kitd memiliki
(N (, r) + N (0, r)) = k (N (0, r)).

(3.2)
Ini mengikuti dari (3.1) yang
. (3.3)
Menggabungkan (3.2) dan (3.3) akan berarti bahwa j N (i, 1). Kontradiksi ini membuktikan klaim kami.
Kemudian berikut lagi dari (3.1) yang
!
Oleh karena itu m 2k2. Buktinya selesai.
Dengan beberapa perubahan teknis yang jelas, menyusul varian dari lemma diatas aman dapat dibentuk.
Lemma 3.2. Ada sebuah K1 bilangan bulat sehingga jika , 1, ..., K1 dengan sifat-sifat yang N (, r) N
(i, ri) 6 = untuk setiap i, di mana, kemudian beberapa Ni (i , ri) berisi j untuk beberapa i 6 = j.
Kami sekarang menyatakan dan membuktikan perpanjangan pertama kami dari Besicovitch meliputi lemma.
Buktinya berikut argumen induksi transendental yang sama seperti pada bukti yang sesuai metrik kasus standar
(lihat misalnya [11]). Satu hanya menggantikan bola ditutup dengan bola -.
Teorema 3.3. Misalkan F koleksi -bola ukuran paling R, untuk beberapa R> 0 Let C adalah himpunan pusat dari -
bola di F. Maka terdapat integer K> 0, sehingga untuk setiap 1 k <K, terdapat koleksi dihitung Ck F sehingga
K
C [[N.
k = 1NCk
Bukti. Mari R0: = sup { (N): N F}. Pilih N (, r) F seperti itu. Kami menganggap integer
K1 diberikan oleh Lemma 3.2. Menetapkan
F1 = {N (, r)}, F2 = F3 = ... = FK =
di mana K = K1 + 1. Kita membiarkan T = {N (0, r) F: 0 N (, r)} dan R = F \ T F1 FK.
Membiarkan
H menjadi koleksi partisi dari F dari bentuk {F1, , FK, T, R} dengan sifat sebagai berikut:
1. Setiap Fj terdiri dari disjoint -bola (dari F).
2. Jika N (, r) Fj, dan jika N (0, r0) F adalah seperti itu, maka N (0, r0) T.
3. Jika N (, r) Fj, dan N (0, r0) R, kemudian.
4. Jika N (, r) T, maka beberapa N (0, r0) F FK.
Langkah di atas menunjukkan bahwa H6 = . Kami sebagian memesan H sebagai berikut

Kita selesai jika kita menunjukkan bahwa ada {F1, , FK, T, R} H sehingga R = .
Membiarkan menjadi keluarga benar-benar memerintahkan di H. Kemudian jelas,

adalah batas atas. Maka oleh Zorn ini Lema, H memiliki elemen maksimal, mengatakan
M = {F1, , FK, T, R}.
Kami akan menunjukkan bahwa R = . Asumsikan bahwa R6 = . Mari R1: = sup { (N): N R}. Pilih N (, r) R
seperti itu. Kemudian N (, r) adalah saling lepas dari semua bola dari setidaknya salah satu Fi, karena kalau tidak
kita akan memiliki kontradiksi dengan Lemma 3.2. Biarkan k1 menjadi elemen terkecil dalam {1, ..., K} dengan
sebuah properti disjointness. Mempertimbangkan
M *: = {F1, , FK1 {N (, r)}, FK1 + 1, ..., T *, R *}
di mana T * adalah mereka bola di R yang pusat berada di N (, r), dan R * menunjukkan pengingat. Kemudian M *
H dan MM *. Ini bertentangan dengan maximality dari M, dan karenanya selesai bukti kami.

Kita sekarang memperkenalkan definisi dari Besicovitch penutup non-metrik.

Definisi 3.3. Misalkan F koleksi non sepele -bola di . Kami mengatakan bahwa F adalah Besicovitch -baik
meliputi untuk satu set A 2 jika untuk setiap a A dan setiap, terdapat -bola N (a, r) F sehingga r <.
Hasil kami berikutnya generalisasi yang Besicovitch ukuran-teoritis meliputi Lemma.
Teorema 3.4. Misalkan A , (A) <, dan biarkan F menjadi -baik Besicovitch tudung dari A. Kemudian ada
sebuah subcollection C dihitung dari F, yang terdiri dari menguraikan -bola seperti yang
(A \ [N) = 0. (3.4)
NC
Bukti. Kami berasumsi bahwa (A)> 0, jika pernyataan itu adalah sepele. Sejak (A) <, kami juga dapat
mengasumsikan tanpa kehilangan umum bahwa -bola unsur F semua ukuran paling 1. Kemudian oleh Lemma 3.3,
terdapat integer K> 0, sehingga untuk setiap 1 k <K, terdapat koleksi dihitung Ck F sehingga karena itu terdapat
k {1, ..., K}, dan menguraikan
-bola di F berpusat di 1, ..., L1 sehingga
.
Oleh karena itu
.
Berikutnya, kita membiarkan, proses dihentikan dan teorema terbukti.
Jika tidak kami biarkan

F2 = {N F: pusat N di A2, N N (i, ri) = , i = 1, ..., L1}

dan kami kemudian menerapkan argumen yang sama seperti di atas untuk pasangan (A2, F2) untuk mendapatkan
disjoints - bola berpusat di L1 + 1, ..., L2 sehingga
.
Mengulangi kali proses m, kita akan mendapatkan koleksi Lm -bola berpusat di Lm-1 + 1, ..., Lm sehingga
. (3.5)
Jika untuk beberapa m N,

proses dihentikan dan teorema terbukti. Jika tidak, (3.5) berlaku untuk semua N. m Membiarkan m , klaim
berikut.

4 Fungsi Maksimal
Pada bagian ini kami memperluas Teorema Lebesgue-Diferensiasi untuk pengaturan fungsi dalam I1 ruang (, X, )
dimana adalah ruang vektor topologi, X adalah ruang vektor bernorma dan adalah terjemahan fungsi ukuran
invarian yang memenuhi kondisi penggandaan seragam.
Definisi 4.1. Biarkan f I1 (, X, ). Kami mendefinisikan maksimal Fungsi Hardy-Littlewood Mf oleh
.
Selanjutnya, dan lebih umum, jika : X adalah ukuran vektor aditif berbatasan variasi, maka kita
mendefinisikan
.
Ingat bahwa variasi aditif vektor ukuran : X didefinisikan sebagai

mana supremum diambil alih semua -partisi dari .

Hasil utama tentang fungsi maksimal adalah sebagai berikut:
Proposisi 4.1. Mari menjadi terjemahan invarian fungsi ukuran yang memenuhi kondisi penggandaan seragam.
Jika : X adalah vektor ukuran aditif dan > 0, maka
. (4.1)
Di sini dan hereforth {M> } adalah singkatan {x : Mf (x)> }.
Bukti. Misalkan A = {M> }, dan biarkan F terdiri dari semua -bola N (x, rx) ukuran paling rx 1, berpusat
pada titik-titik x dari A seperti yang

Jika A = , tidak ada untuk membuktikan. Jika A 6 = , hipotesis dari Teorema 3.4 puas, dan mengikuti bahwa ada
keluarga menguraikan -bola {N (xi, ri) F: i N} seperti itu. Karenanya

Buktinya selesai.
Karena setiap f I1 (, X, ) secara alami mendefinisikan aditif mengatur fungsi berbatasan variasi yang diberikan
oleh Z
Sebuah 7 (A) = fd,
SEBUAH
hasil sebagai berikut adalah kasus khusus dari proposisi di atas.
Proposisi 4.2. Mari menjadi terjemahan invarian fungsi ukuran yang memenuhi kondisi penggandaan seragam.
Jika f I1 (, X, ) dan > 0, maka
. (4.2)
Kami sekarang membuktikan Lebesgue-Diferensiasi Teorema.
Teorema 4.1. Mari menjadi ruang vektor topologi lokal kompak. Mari : 2 [0, ] merupakan fungsi
ukuran finitely aditif. Jika f I1 (, X, ), maka
- A.e.
Bukti. Dengan kekompakan lokal , maka dengan cepat terlihat bahwa f I1 (, X, ) jika dan hanya jika 1Kf I1
(, X, ) untuk setiap K kompak bagian dari . Kami kemudian dapat mengasumsikan tanpa kehilangan umum
yang
kompak. Mengingat kontinu pada sehingga Karena kita memiliki untuk setiap x ,
kita memiliki untuk setiap > 0,
.
Kami dilakukan jika kita menunjukkan bahwa (E) = 0. Kita melihat bahwa
.
Oleh karena itu
.
Dengan Proposisi 4.1 dan ketidaksamaan Tchebytchev ini, berarti

untuk semua . Oleh karena itu (E) = 0. Buktinya selesai.

5. Kesimpulan
Kami telah diberi pengobatan Lebesgue-Diferensiasi Teorema dalam pengaturan dari teori integrasi fungsi vektor
dihargai. pengobatan bersandar berat dari mesin dikembangkan di paruh pertama kertas yang menyediakan versi
non-metrik dari Besicovitch meliputi lemma. Penulis percaya bahwa minat generalisasi seperti tidak hanya terletak
pada kenyataan bahwa kita memiliki hasil yang lebih umum, tetapi juga dalam cahaya yang dicurahkan mereka di
situasi klasik