Translated Copy of Kesimpulan Atau Lampiran Halaman (136-149) PDF

Lampiran
A Transportasi Massal Masalah

Masalah transportasi massal pertama kali diusulkan oleh G. Monge pada tahun 1781 [49] sebagai berikut:
“Etant
donnés dans l'espace, volume deux egaux entr'eux, & tambang ter- chacune par une ou plusieurs
permukaan courbes donnés; Jika Anda menggunakan volume kedua, maka Anda tidak perlu melakukan
hal yang sama seperti sebelumnya, dan kemudian menambahkan molekul dan jumlah molekul beberapa
kali dari ruang angkasa sehingga sesuai dengan standar minimum ”. Dalam bahasa modern, kita dapat
menulis ulang pertanyaannya sebagai berikut: diberikan dua set A, B ⊆ R3 dengan volume yang sama, kita mencari
peta terukur T : A → B yang menggambarkan cara untuk mengangkut set A ke B, dan sehingga biaya∫A | T(x) - x |
dx (A.1) minimal. Mengatakan bahwa T “menggambarkan transportasi” berarti bahwa, dengan menggerakkan massa
pada A s esuai dengan T, kita sepenuhnya menutupi B, yaitu, untuk setiap himpunan terukur E ⊆ B seseorang harus
memiliki
({ })
meas x ∈ A : T(x) ∈
E
= meas (E) . ( A.2)
Generalisasi pertama yang dapat dilakukan adalah mempertimbangkan kepadatan material yang mungkin tidak
konstan atau bahkan tunggal; kemudian, alih-alih dua set, kita dapat mempertimbangkan dua ukuran Borel positif f+
dan f - di atas ruang Polandia X yang memiliki massa total yang sama, yaitu f + = f - . Biasanya, orang menganggap
massa total ini adalah kesatuan untuk kesederhanaan. Peta Borel T : X → X kemudian disebut peta transpor jika
T# f + = f -, di mana T# adalah singkatan daripush- operatorforward
yang didefinisikan dalam Lampiran B.2; dengan
kata lain, kita dapat mengatakan bahwa T adalah peta transpor jika untuk semua set Borel E ⊆ X satu memiliki
({ })
f + x ∈ X : T(x) ∈ E
( )
= f - E ,
yang merupakan analog persis (A.2) dengan f + = χA dan
f - = χB.
131
132 Lampiran
Generalisasi lain yang mungkin adalah dengan mempertimbangkan fungsi biaya c : X × X → R+ sedemikian rupa
sehingga c(x, y) mewakili biaya untuk memindahkan satuan massa dari x k e y. Oleh karena itu, biaya yang terkait
dengan peta transportasi T hanyalah
∫X c( x, T(x))df +(x) , ( A.3)
, f- = χB.
yang kembali menggeneralisasi (A.1) dengan c(x, y) = | y - x | ketika X = R3 dan f + = χA
Terlepas dari kesederhanaan masalah yang dipertimbangkan, itu mengungkapkan sangat sulit untuk diserang. Alasan
utamanya adalah dua: pertama-tama, himpunan peta yang dapat diterima tidak memiliki struktur yang baik; memang,
bahkan dalam kasus paling sederhana yang dipertimbangkan oleh Monge, keberterimaan T bergantung pada validitas
dari persamaan yang sangat non-linear ∣∣DetDT∣∣ = 1.
Alasan kedua adalah karena biaya yang diberikan oleh (A.1) atau (A.3) tergantung pada cara yang cukup terlibat
pada peta T sehingga sekali lagi tidak ada jenis linearitas yang memberikan bantuan.
Kami juga dapat mencatat bahwa, secara umum, masalah menemukan minimizer biaya tidak memiliki solusi, dan
juga dapat dengan mudah terjadi bahwa tidak ada peta transportasi yang dapat diterima sama sekali. Misalnya, jika f+
= δx a dalah massa Dirac pada titik

x, maka untuk setiap peta T : X → X s atu memiliki T#f + = δT(x); oleh karena itu,

tidak ada peta transportasi sama sekali kecuali f - adalah massa Dirac itu sendiri. Faktanya, satu-satunya penghambat
keberadaan peta tranport adalah keberadaan massa Dirac di f + : memang, teorema berikut ini sudah dikenal luas
(untuk bukti dalam kasus umum ruang Polandia yang bisa dirujuk [59]).

Teorema A.1. Biarkan X menjadi ruang Polandia dan f +, f - menjadi dua ukuran Borel positif pada X
( )
dengan massa total yang sama. Jika f + adalah non-atom (yaitu, untuk setiap x ∈ X satu memiliki f + {x} =
0) maka ada peta transportasi dari f+ ke f -.
Bahkan jika himpunan peta transportasi tidak kosong, keberadaan peta transportasi yang optimal mungkin gagal:
pertimbangkan misalnya kasus ketika X = R2 , f + adalah ukuran satu dimensi Hausdorff dengan kepadatan 1 pada

segmen {0} × [ 0,1], dan f - adalah ukuran satu dimensi Hausdorff dengan kepadatan1/2pada dua segmen {±1 }× [0,1 ];
pertimbangkan juga fungsi biaya termudah c( x, y) = | y −x |. Dalam kasus ini, perlu segera dipahami bahwa biaya
peta transportasi paling tidak dapat dicapai, karena jika tidak, peta transportasi yang optimal harus membagi setiap
titik dalam dukungan f + dan memindahkan setengahnya di segmen kiri dukungan f- dan setengah di sebelah kanan.
Langkah besar pertama ke depan dalam studi transportasi massal adalah karena pekerjaan oleh Kantorovich [42, 43];
untuk menjelaskannya, mari kita mulai dari pertimbangan bahwa, dalam kedua contoh di atas, hambatannya adalah
ketidakmungkinan untuk memecah massa dengan peta. Maka, gagasan Kantorovich adalah untuk memungkinkan
kemungkinan ini; karenanya, massa yang awalnya pada x, tidak boleh seluruhnya
A Masalah Transportasi Massal 133
diangkut ke titik T( x) , melainkan dapat didistribusikan atas dukungan f - . Secara formal, ini berarti bahwa gagasan
transportasi baru diperkenalkan.
Definisi A.2. Sebuah rencana transportasi a dalah ukuran positif γ ∈ M+ (X×X)sehingga dua proyeksi π1 #γ dan π2
#γ mana π1 dan π2 adalah proyeksi dari X × X pada faktor pertama
bertepatan dengan f + dan f - masing-masing, di
dan kedua .
Hal ini penting untuk melihat arti dari definisi di atas: ukuran γ sesuai dengan mengangkutmassa γ( C×D)dari set C
ke set D u ntuk setiap pilihan set C, D ⊆X.Oleh karena itu, setiap peta transportasi T berhubungan secara alami
dengan rencana transportasi γT, yaitu
+
γT =
( Id, T)#f .
Mudah untuk menggeneralisasi biaya peta transportasi ke rencana transportasi: memang, kita akan mengatakan
bahwa biaya rencana transportasi γ adalah
∫∫X × X c(x, y)dγ( x, y).
Dengan definisi ini, biaya peta transportasi T sama dengan biaya rencana transportasi γ
T, sehingga pengaturan
Kantorovich dari masalah memang merupakan

generalisasi dari yang oleh Monge.
Hal ini segera melihat bahwa kesulitan untuk peta transportasi baik dari yang disebutkan di atas segera diselesaikan
untuk rencana transportasi: memang, rencana transportasi membentuk dibatasi, cembung dan lemah* menutup bagian
dari langkah-langkah pada X ×X ,sehingga mereka memiliki struktur yang sangat bagus dan sangat dikenal; selain itu,
biaya rencana transportasi adalah linier sehubungan dengan γ.
Karenanya, dalam formulasi baru ini, keberadaan transportasi dan transportasi optimal selalu terjadi. Memang,

rangkaian rencana transportasi tidak kosong, karena ukuran f + ⊗f- selalu merupakan rencana transportasi yang dapat
diterima. Selain itu, juga adanya rencana transportasi yang optimal (yaitu yang meminimalkan biaya) menjadi sangat
mudah: pada kenyataannya, jika φ adalah fungsi semi-kontinyu yang lebih rendah pada ruang Polandia Y d an μn ∗ μ
adalah ukuran Borel pada Y maka ∫ Y φ(y)dμ( y) ≤ l im inf
∫Y φ(y)dμn( y).
Oleh karena itu, asalkan c adalah semikontinu rendah, masalah menemukan sebuah rencana transportasi yang
optimal adalah sepele: itu sudah cukup untuk mengambil lemah* batas setiap urutan meminimalkan rencana
transportasi.
Bahkan jika perumusan Kantorovich masalah selalu mengakui solusi optimal, menyimpulkan keberadaan peta
transportasi tetap menjadi masalah yang sulit. Gagasan utama untuk menunjukkan keberadaan peta transportasi
ditemukan pada tahun 70-an oleh Sudakov [67]: memang, dalam kasus c(x, y) = | y - x | d engan ruang ambient X =

Rn, diketahui bahwa setiap rencana transportasi yang optimal menggerakkan massa sepanjang
134
segmen yang tidak berpotongan. Lebih tepatnya, jika γ a dalah rencana transportasi yang optimal dan (x1, y1 ), (x2 , y2 )
2 y2 tidak dapat menyeberang kecuali dalam titik akhir umum. Kemudian
termasuk dukungan dari γ, maka segmen x1 y1 dan x

Rn dapat diisi oleh segmen
non-berpotongan (disebut sinar transportasi) sehingga semua massa dapat digerakkan oleh
rencana transportasi yang optimal hanya sepanjang sinar itu. Karena dimungkinkan untuk menentukan segmen-segmen ini
dengan hanya mengetahui f + dan f - , gagasan Sudakov adalah untuk mempertimbangkan masalah transportasi pada
masing-masing sinar ini dan kemudian "merekatkan" semua informasi yang ditemukan. Argumen ini akan mengurangi
transportasi massal menjadi masalah satu dimensi, yang mudah dibahas, jadi ini memberikan strategi yang memungkinkan
untuk menunjukkan keberadaan peta transportasi.
Namun demikian, dua dasawarsa telah berlalu sebelum argumen Sudakov dilengkapi dengan alat-alat yang bagus dari
Teori Ukuran Geometris. Salah satu kesulitan teknis adalah sebagai berikut: seperti yang kita lihat, kehadiran massa Dirac
dapat mencegah keberadaan peta transportasi yang optimal; Namun, bahkan jika f + benar-benar kontinu sehubungan dengan
ukuran Lebesgue di Rn , pada prinsipnya mungkin terjadi bahwa "pembatasan" -nya untuk sinar transportasi memiliki massa
Dirac. Ngomong-ngomong, juga definisi pembatasan ini perlu diawali dengan hati-hati dengan cara mengukur disintegrasi.
Bagaimanapun, ide formal Sudakov telah memberikan strategi yang kuat untuk menyerang masalah dalam beberapa tahun
terakhir, dan semua bukti yang berbeda sekarang tersedia mengenai biaya linier (yaitu c(x, y) = | y - x |) entah bagaimana
bergantung pada ide ini .
Bukti pertama tentang keberadaan peta transportasi optimal diberikan secara independen oleh Brenier dan
Knott-Smith pada tahun 80-an [22, 23, 45], tetapi alih-alih kasus Monge dari biaya linier, yang kuadratik dipertimbangkan.

Teorema A.3. Pertimbangkan kasus X = Rn dengan biaya kuadratik c(x, y) = | y − x |2 , dan asumsikan bahwa f + (S)
1(S) < + ∞. Lalu ada rencana transportasi optimal yang
n−
= 0 untuk setiap himpunan S sedemikian rupa sehingga Ж
unik, yang secara khusus sesuai dengan peta transportasi yang optimal.
Pada tahun-tahun berikutnya hasil ini telah digeneralisasi secara luas untuk kasus-kasus lain dari fungsi biaya yang

sangat cembung seperti, misalnya, c( x, y) = | y - x |p dengan p> 1; beberapa referensi untuk hasil ini misalnya [60, 40, 71].
Situasi dalam kasus Monge asli sama sekali berbeda, terutama karena kenyataan bahwa biaya linier c(x, y) = | y − x |
adalah cembung tetapi tidak sepenuhnya cembung. Hasil keberadaan pertama untuk kasus ini diberikan oleh Evans dan
Gangbo pada tahun 1999 di [36], dan dalam beberapa tahun berikutnya hasil mereka digeneralisasi dalam makalah lain [1, 70,
25]. Kami dapat merangkum semua hasil mereka di yang berikut.
Teorema A.4. Asumsikan X = Rn dan c( x, y) = | y - x |, dan biarkan f+ menjadi ukuran dengan dukungan kompak
dan benar-benar kontinu sehubungan dengan ukuran Lebesgue. Lalu ada peta transportasi yang optimal.
Kami menekankan perbedaan besar antara hasil untuk biaya linier dan kuadratik. Pertama-tama, dengan biaya
kuadratik (atau umumnya, dengan banyak biaya cembung ketat) seseorang memiliki keunikan dari rencana transportasi yang
optimal, yang juga merupakan peta; di sisi lain, dengan biaya linier ada banyak
B
rencana untuk transportasi yang optimal, dan banyak dari mereka (tetapi tidak semua) berada di peta transportasi tertentu.
Selain itu, sementara dalam kasus cembung ketat asumsinya adalah bahwa f + tidak mengisi (n - 1 )-dimensi set (dalam arti
Teorema A.3), dalam kasus linier adalah penting bahwa f + menjadi benar-benar kontinyu: fakta bahwa asumsi kuat ini
memang perlu ditunjukkan oleh contoh tandingan yang diberikan dalam [4].
Juga untuk kasus linier banyak generalisasi selanjutnya telah ditunjukkan: kasus di mana ruang ambient X adalah
manifold dan c(x, y) = d( x, y) adalah jarak pada manifold dipertimbangkan dalam [39], sementara kasus ketika X = Rn dan
c(x, y) = y - x untuk norma cembung · b erbeda dari Euclidean dipertimbangkan dalam [25, 4, 3].
Bagi pembaca yang tertarik, ada banyak buku dan survei luas tentang masalah transportasi massal dari berbagai sudut
pandang. Daftar yang sangat singkat dapat diberikan oleh [71, 72, 60, 1, 4, 57].
B Beberapa Alat dari Teori Ukur Geometrik
Dalam bab ini kami menyajikan beberapa hasil yang diketahui tentang definisi tindakan dan sifat utamanya dan tentang
beberapa alat khusus dari Teori Ukur Geometris, seperti Teorema Disintegrasi atau Γ−k onvergensi; hasil yang lebih tepat dan
terperinci dapat ditemukan dalam banyak buku lengkap tentang subjek-subjek ini, misalnya dalam [33, 2].
B.1 Mengukur sebagai Ganda dari Fungsi Kontinu
Kita mulai dari definisi berikut.
Definisi B.1. Sebuah ruang topologi X d isebut ruang Polandia jika itu dapat dipisahkan dan metrizable dengan jarak
yang membuatnya lengkap.
Ingatlah bahwa suatu ruang dikatakan metrizable jika dapat diberkahi dengan jarak tertentu yang menyebabkan
topologi yang sama; Perhatikan juga bahwa kelengkapan, tetapi bukan keterpisahan, tergantung pada jarak. Dalam makalah
ini, kami selalu menganggap setiap ruang Polandia diberkahi denganBorel σ−a ljabar, yang dilambangkan dengan S (X).
Diberi spasi Polandia X, kami mempertimbangkan ruang M+ (X) dari ukuran Borel positif terbatas di atasnya, yang
didefinisikan sebagai himpunan semua fungsi aditif yang terhitung dari S (X) ke R+ . Hal ini juga diketahui bahwa
M+ (X)a dalah (sangat) ditutup bagian dari (Cb (X)), ruang ganda dari ruang Cb ( X)y ang kontinyu dan
dibatasi fungsi nyata pada
X,diberkahi dengan norma
{ }
b (X) : = sup | u(x) |, x ∈ X .
uC
136 Lampiran
Kita menyatakan <·, ·> d ualitas antara Cb (X)d an Cb (X),d an karenanya, khususnya,dualitas
antara M+ (X)dan
Cb ( X).Meskipun M+ (X)merupakan bukan

ruang linear karena kami hanya berurusan dengan langkah-langkah
positif, kami memberkati dengan norma yang disebabkan oleh masuknya di Cb (X),yaitu
+(X): = sup{<μ, u>, u Cb ( X) =1}

μM = μ(X).
Subruang dari Cb( X)yang dibuat oleh functionals meningkat, yaitu semua orang μ
∈ Cb( X)s eperti yang <μ, u> ≥ 0
+
setiap kali u ≥ 0 , dilambangkan dengan Cb (X) + :tentu saja , masuknya M (X) ⊆
Cb ( X) + memegang.

Kami juga dapat mempertimbangkan tentang M+(X)yang lemah* konvergensi disebabkan oleh Cb(X): kita

mengatakan bahwa berurutan μn ∈ M+(X)lemah* berkumpul untuk μ,dan kita menulis μn * μ,j ika
u> - → <μ, u> u ntuk setiap u ∈ Cb(X).

<μn,
Definisi B.2. Diberikan ukuran positif η ∈ M+ (X) , kami mendefinisikan himpunan S η(X) dari himpunan terukur
sehubungan dengan η m enjaditerkecil yang σ−aljabar mengandung

himpunan S (X) dari semua himpunan Borel
dan himpunan semuayang η- subset diabaikan X.S elain itu, kami mengatakan bahwa satu set B ⊆ X a dalah
universal terukur jika B ∈ S η( X)untuk setiap tindakan positif η.
Definisi B.3. Dengan adanya ukuran positif μ ∈ M+ (X), kami mendefinisikan dukungan μ, spttertulisμ, menjadi
himpunan tertutup terkecil K ⊆ X sehingga
μ(X \ K) = 0.
Lebih pada umumnya, salah satu mengatakan bahwa ukuran μ terkonsentrasi pada Γ jika
μ(X\Γ
)=0.
Untuk ukuran apa pun μ, sptdukunganμ adalah seperangkat ukuran penuh tertutup yang didefinisikan dengan baik;
khususnya, itu adalah set tertutup terkecil dari ukuran penuh; di sisi lain, ada banyak set secara umum di mana μ
terkonsentrasi. Namun, seringkali sangat berguna untuk memilih beberapa set ukuran penuh untuk μ d engan
sifat-sifat tertentu, yang mungkin juga berbeda dari dukungan. Secara khusus, ukuran dapat dikonsentrasikan dalam
∑ 2
satu set jauh lebih kecil daripada dukungannya: jika misalnya X = R dan μ = i −i δqi di mana Q = {qi } adalah
himpunan rasional, maka μ terkonsentrasi

di dpt dihitung set Q namun dukungan adalah seluruh R.
Hasil pertama pada ruang Polandia diberikan oleh
Teorema B.4 (Ulam) berikut. Diberi ruang Polandia X dan μ ∈ M+(X), ada set σ − kompak di mana μ
terkonsentrasi.
Hasil ini sangat penting, dan dapat ditemukan misalnya dalam [33]; orang dapat merujuk pada buku yang sama untuk
bukti teorema yang sangat penting berikut ini.
B Beberapa Alat dari Teori Ukuran Geometrik 137
*
Teorema B.5 (Prokhorov). Satu set dibatasi {μi,i ∈ I} di M+ (X) adalah lemah
berurutan relatif kompak jika
dan hanya jika untuk ε setiap> 0 ada satu set kompak Kε ⊆ X sehingga
μi( X\ Kε ) ≤ ε untuk setiap i ∈ I. ( B.1)
Properti (B.1) disebut ketatnya s et {μi } ; karenanya, Prokhorov Teorema

mengatakan bahwa satu set bounded
tindakan adalah lemah* berurutan eratnya tively kompak jika dan hanya jika properti sesak memegang.
Seperti yang telah disebutkan sebelumnya, ukuran apapun merupakan elemen dari Cb(X) + ;Namun, itu adalah
penting untuk mengetahui kapan sebaliknya juga benar: pada kenyataannya, sangat sering berguna untuk
menentukan ukuran μ d engan menentukan nilai <μ, u> untuk setiap u ∈ Cb(X).Ketika melakukannya, itu sudah
cukup untuk memeriksa bahwa <μ, ·> a dalah linear, terus menerus dan
meningkatkan untuk mendapatkan yang μ
milik Cb(X) +,(dan ini biasanya mengikuti sepele dari definisi); tapi di sisi lain, untuk menetapkan bahwa μ
sebenarnya ukuran adalah sering tidak mudah karena masuknya M+ (X) ⊆ Cb(X) + mungkin
pada umumnya menjadi
ketat untuk ruang Polandia.
Oleh karena itu, kami mengumpulkan sekarang beberapa hasil yang memberikan kondisi yang diperlukan dan cukup
untuk unsur Cb (X) + berada
di M+(X).Kami akan melihat bahwa hasil-hasil ini mencakup banyak situasi penting,
khususnya oleh Corollary B.8 yang selalu berlaku untuk rencana transportasi. Hasil yang paling penting untuk
berurusan dengan pertanyaan apakah unsur Cb(X) + adalah suatu ukuran diberikan oleh Teorema Daniell ini.
Teorema B.6 (Daniell). Misalkan μ ∈ Cb ( X) +: lalu μ ∈ M+ (X) jika dan hanya jika untuk setiap urutan {hn } ⊆
Cb ( X) sedemikian rupa sehingga hn ↘ 0 (yaitu hn secara searah berkurang
menjadi 0 ) seseorang memiliki
〈μ, hn 〉 - → 0 .
Perhatikan bahwa, dalam hipotesis di atas, 〈μ, hn 〉 a dalahpenurunan positif nyata urutan,
kemudian 〈μ, hn 〉
-→
l u ntuk beberapa l ≥ 0 ; Teorema mengklaim bahwa μ adalah ukuran

jika dan hanya jika batas ini l t idak pernah
benar-benar positif. Sekali lagi, orang dapat menemukan bukti pernyataan yang lebih umum dalam buku [33]. Kami
berkomentar sekarang beberapa konsekuensi mudah dari Teorema Daniell.
Proposisi B.7. Misalkan μ ∈ Cb( X) +: lalu μ ∈ M+(X) jika dan hanya jika untuk setiap ε> 0 ada himpunan
kompak K sehingga 〈μ, u〉 ≤ ε u Cb(X) s etiap kali Anda ∈ Cb(X), u ≥ 0 pada X, u =

0 pada K.
Bukti. Jika μ ∈ M+(X) maka properti yang disebutkan segera mengikuti dari Teorema Ulam. Di sisi lain, asumsikan
bahwa properti memegang dan mengambil urutan hn ↘ 0 seperti dalam Teorema Daniell: untuk menunjukkan bahwa
μ ∈ M+ (X) cukup

untuk memeriksa bahwa 〈μ, hn〉 → 0 . Perbaiki kemudian ε> 0 dan pertimbangkan set

compactsesuai K yang.
Karena K kompak, ada bilangan bulat m sedemikian sehingga hm ≤
ε pada K; biarkan maka
U menjadi lingkungan
terbuka K sehingga hm <2ε d i U.P adalah mungkin karena hm a dalah terus menerus, dan bahwa
erhatikan bahwa ini
pada K d an pada m.A

himpunan terbuka U tergantung pada ε, mbil sekarang partisi dari persatuan {φ1, φ2} yang
terkait dengan
138 Lampiran
set terbuka U d an X \ K, yaitu φi : X → [ 0,1 ] adalah fungsi kontinu untuk i =
1, 2 , φ1 +φ2 ≡ 1, dan φ1 (resp. Φ2)
positif hanya di dalam set terbuka U (resp. X \ K). Kita ingat bahwa ini selalu mungkin, karena X a dalah metrizable:
1(x)d an d2 (x)jarak x dari X \ U dan K m
misalnya, jika kita dilambangkan dengan d asing-masing, itu sudah cukup
untuk dicatat bahwa d1 d ontinu, bahwa d1 +

an d2 k d2 di mana-mana benar-benar positif dan akhirnya untuk
mendefinisikan
φ1 (x): = d
1(x)
d1(x) + d2(x) , φ2 (x) : = d
2(x)
d1(x) + d2(x) .
Sekarang kita menulis hm =

g1 + g2, di mana gi = φihm dan g1 = 0 di luar
p ada U
: maka kita perhatikan bahwa g1 ≤ hm
U: akibatnya g1 Cb ( X) ≤ 2 ε. Di sisi lain, g2 = 0 pada K d an, tentu saja, g2 Cb( X) ≤ hm
≤ h1 , karena urutan {hn } m
enurun.
Kemudian, berkat hipotesis, kita dapat mengevaluasi

(
<μ, hm> = <μ, g1> +
<μ, g2>≤ 2 ε μ C b(X) + +
ε h1 Cb(X)
+ ≤
ε 2 μ + h1 ) .
Karena urutan {hn } m

enurun dan dengan generalisasi ε kita menyimpulkan 〈μ, hn〉 → 0 dan kemudian tesis diikuti
oleh Daniell's Theorem. ⊓ ⊔

Kita dapat memperoleh akibat wajar yang sangat berguna berikut ini.
Konsekuensi B.8. Asumsikan bahwa γ ∈ Cb ( X× Y) + dan
bahwa π1γ ∈ M+(X) dan π
2γ ∈ M+ ( Y).Kemudian
γ ∈ M+ (X × Y ).

Bukti. Dengan Proposisi B.7, diberi ε> 0 ada dua set kompak K1 ⊆
X dan
K2 ⊆ Y s edemikian sehingga 〈
〈1γ, v〉
∈ Cb(X), v ≥ 0 pada X, v = 0 pada K1 (resp. w ∈ Cb ( Y), w ≥ 0 pada

Π2γ, w〉 ≤ ε w ) setiap kali v
≤ ε v (resp. 〈
Y, w = 0 pada
K2).Kami menganggap maka himpunan kompak K = ∈ Cb ( X × Y )
K1 × K2 dalam X × Y : diberikan u
sedemikian rupa sehingga u ≥ 0 pada X d an u = 0 pada K, dan diberi δ> 0 , kita
dapat menemukan lingkungan
terbuka U1 × U2 dari K sehingga 0 ≤ u ≤ δ di U

1 × U2. Selain itu, dengan berdebat seperti dalam Proposisi B.7, kita
: X → [ 0, u ] dan w : Y → [ 0, u ] sedemikian rupa sehingga v =

dapat menemukan dua fungsi v 0 pada K1 , w = 0
2, v = kamu k eluar dari U1 dan w = kamu keluar dari U2. Karena v( x) + w( y) ≥ u( x, y) setiap
pada K kali (x, y) / ∈
U1 × U2 dan 〈

γ, v( x) +w( y) 〉 =
〈 π2γ, w〉, berdebat seperti
π1γ, v〉+〈 dalam Proposisi B.7 yang diturunkan
〈γ, u〉 ≤ 2ε u + δ γ ;
berdasarkan generalisasi δ, tesis ini mengikuti Proposisi B.7. Oll
Akibat wajar di atas sangat penting dalam masalah transportasi massal: pada kenyataannya, ini menyiratkan

khususnya bahwa setiap fungsi kontinu dan linier pada X × Y d engan marginal f+ dan f - pada kenyataannya adalah
ukuran, dan karenanya merupakan rencana transportasi .
Mari kita secara singkat membahas masalah apakah atau tidak dimasukkannya M+ (X) ⊆ Cb ( X) + ketat:
pertama-tama, kita memiliki hasil yang cepat.
B Beberapa Alat dari Teori Ukuran Geometris 139
Lemma B.9. Jika X adalah kompak, maka M+(X)= Cb (X) +.

Bukti. Ini sepele mengikuti dari Teorema Daniell, karena urutan fungsi kontinu menurun tajam ke 0 dalam ruang
kompak mudah terlihat konvergen secara seragam. ⊓ ⊔
Namun, hasil di atas tidak dapat diperpanjang, seperti contoh berikut ini.
mbil X =
Contoh B.10. A R, tentukan u0 ≡ 1 dan untuk setiap bilangan bulat n ≥ 1 biarkan u
n : R → [ 0,1 ] menjadi
fungsi kontinu sehingga un ≡

1 n ≡
pada [−n, n] dan u 0 di luar dari (-( n +1), n +1). Tentukan D m
enjadi rentang
{un,n ≥ 0 }, yang
adalah ruang bagian dari Cb(X).M
ari apalagiμ menjadi fungsional linear pada D diberikan
oleh
<μ,u0> = 0 untuk setiap n ≥ 1 , yang mudah diperiksa untuk

1 dan <μ,un> = menjadi berkelanjutan dan untuk
memiliki unit norma. Dengan Hahn-Banach Teorema, ada unsur μ Cb (X) + memperluas
μ.Karena fungsi hn = u0 - un
adalah sebagai
di klaim Teorema Daniell tetapi <μ, hn> =
1 untuk setiap n, μ bukanlah ukuran,
maka μ ∈ Cb ( X) + \
M+ (X) .
Contoh di atas dapat dengan jelas diperluas untuk mencakup semua ruang Polandia non-kompak, oleh karena itu
dalam Lema B.9 implikasi sebaliknya berlaku juga, sehingga M+ (X)=
Cb ( X) + jika
dan hanya jika X a dalah padat.
Keterangan B.11. I ngat bahwa Riesz Teorema mengklaim bahwa M+(R)adalah persis himpunan semua
meningkatkan functionals linear pada Cc ( R).Secara umum, menggunakan Cc(X) sebagai pengganti
Cb( X) untuk
mendefinisikan dualitas pada M+(X) memiliki keunggulan yaitu Riesz Theorem,

yang menyatakan bahwa M+(X) =
Cc ( X) +, benar dalam generalisasi yang luas: misalnya, dengan memanfaatkan Teorema Daniell, orang dapat dengan
mudah menunjukkan bahwa ini benar setiap kali X a dalah gabungan yang dapat dihitung dari set terbuka {Un}
dengankompak penutupan
{Kn} sedemikian rupa sehingga Kn ⊆ Un + 1 untuk bilangan bulat apa pun n; khususnya,
Riesz Theorem
benar setiap kali X a dalah ruang Polandia kompak lokal. Perhatikan khususnya bahwa, karena Cc ( X)
⊆ Cb (X),setiap kali Riesz Teorema berlaku untuk X-masing memiliki bahwa untuk setiap μ ∈ Cb ( X) + adaμ∈
M+(X)yang satu memiliki <μ, u > = <μ,u> u ntuk setiap u ∈ Cc(X).
Namun, sering lebih baik untuk menggunakan dualitas dengan Cb( X)s etiap kali seseorang ingin
berurusan dengan
non langkah-langkah kompak didukung. Dalam buku ini, kedua pilihan tersebut setara karena kami menganggap
ruang sekitar kami menjadi subset kompak dari Rn .
Kami menyimpulkan bagian ini dengan menyatakan dua hasil penting lainnya tentang ruang Polandia, yang dapat
ditemukan misalnya dalam [28] (dalam versi yang lebih umum).
Teorema B.12 (Pilihan terukur). Biarkan X dan Y menjadi dua ruang Polandia, dan biarkan η menjadi
ukuran Borel pada X. Jika ∆ ⊆ X × Y adalah S η (X)⊗ S (Y )- dapat

diukur dan proyeksi ∆ pada X adalah
seperangkat penuh η − ukur, maka ada pilihan terukur ∆, yaitu fungsi η − terukur σ : X → Y sedemikian
rupa sehingga untuk η − ae x ∈ X satu memiliki (x, σ( x)) ∈ ∆.
140 Lampiran
Teorema B.13 (Proyeksi). Biarkan X dan Y menjadi dua ruang Polandia, dan biarkan ∆ ⊆ X × Y menjadi set Borel;
maka proyeksi ∆ pada X dapat diukur secara universal.
B.2 Produk Push-forward dan Tensor Measures
Diberikan fungsi yang terukur φ : X → Y , kita dapat mendefinisikan operator linear dan pemeliharaan massa φ# : M+(X) →
M+(Y ) (dengan menjaga massa kami berarti bahwa

+ (X) = φ#μ M
μ M +(Y )), sesuai dengan rumus berikut:
φ# μ( B) : = μ(φ-1 (B) ) ∀A ∈ S

(Y ) .
Hal ini mudah melihat bahwa φ#μ ∈ M+(Y), dan khususnya untuk setiap α ∈ Cb ( Y)
).
<φ#μ, α> =
).
Konsekuensi langsung tetapi sangat berguna dari definisi ini adalah bahwa untuk setiap φ : X → Y d an ψ : Y → Z
adalah
(ψ ◦ φ) #μ =

ψ# (φ# μ) . ( B.2)
Mengingat dua langkah μ ∈ M+(X)dan ν ∈ M+(Y), kita mendefinisikan produk t ensor μ dan ν, μ
⊗ ν ∈ M+ (X×
Y),sebagai ukuran yang unik pada X × Y yang memuaskanμ ⊗ ν(A × B) : = μ(A) · ν(B) ∀ ( X) , B ∈ S
A∈S (Y ) .
Fakta bahwa ada ukuran yang memuaskan properti di atas mengikuti dari Fubini-Tonelli Theorem, sedangkan keunikan terjadi
karenaterkecil yang σ−a ljabarmengandung semua set A × B d engan A ∈ S (X) , B ∈ S
( Y ) adalah seluruh S ( X × Y ) .
Secara khusus, marginal dari μ ⊗ ν a dalah
π1 #(μ ⊗ ν) = ν( Y ) μ, π2 #(ν ⊗ μ) = μ(X) ν.
Kasus khusus yang menarik adalah ketika μ d an ν a dalah ukuran probabilitas; jadi, proyeksi μ⊗ν a dalah tepat μ dan ν:
ini sangat berguna dalam studi transportasi massal, karena jika f + = f - = 1 maka f +⊗f- selalu merupakan rencana transportasi
antara f+ dan f- .
B.3 Mengukur Peta yang Dihormati dan Teorema Disintegrasi
Di sini kami secara singkat memperkenalkan beberapa alat mengenai peta yang dinilai dengan ukuran dan kemudian
menyajikan Teorema Disintegrasi.
B Beberapa Alat dari Teori Ukuran Geometris 141
Definisi B.14. Peta τ : X → M+ (Y ) disebut peta yang dinilai dengan ukuran Borel (resp. Μ−peta yang diukur dengan
ukuran terukur, di mana μ ∈ M+(X) ) jika untuk setiap set Borel B ⊆ Y f ungsi x → τ( x) (B) adalah Borel (resp.
μ−dapat diukur). Secara ekivalen, τ dikatakan sebagai Borel (resp. Μ−d apat diukur) jika untuk Borel yang dibatasi φ
: X × Y → R fungsi
x→
∫Y φ(x, y)dτ( x) (y)
adalah Borel (resp . μ−t erukur).
Berkat gagasan di atas, kita dapat menggeneralisasi gagasan produk tensor antara dua ukuran: pertimbangkan ukuran
ν ∈ M+(Y ) dan ukuran ν−p eta terukur yang dihargai y ↦ → γy d engan γy ∈ M+ (X) . Kami mendefinisikan produk
tensor antara {γy} d an ν menjadi ukuran γ ∈ M+(X) yang diberikan oleh rumus
〈γ, φ〉 : =
∫Y 〈γy, φ〉 dν(y) untuk setiap φ ∈ Cb( X). Kami selalu menyatakan ukuran ini dengan
γ : = γx ⊗ ν.
Kami sekarang dapat menyajikan Teorema Disintegrasi: hasil ini memungkinkan untuk menguraikan ukuran γ di
atas ruang X s ehubungan dengan fungsi Borel α : X → Y , di mana "dekomposisi" ini dimaksudkan sebagai produk
tensor antara ukuran probabilitas yang sesuai dan tekanan. -forward of γ. Bukti Teorema ini dapat ditemukan,
misalnya, dalam [2] atau [33].
Teorema B.15 (Disintegrasi). Misalkan α : X → Y menjadi peta Borel yang diberikan dan γ ∈ M+ (X) adalah
ukuran yang diberikan, dan tentukan μ ∈ M+ (Y ) dengan mengatur μ : = α# γ. Lalu ada fungsi pengukuran
nilai μ valued terukur y ↦ → γy sedemikian rupa sehingga γy a

dalah ukuran probabilitas pada X untuk
setiap y dan
(i) γ =
γy ⊗ μ; ( ii) γy terkonsentrasi pada {x : α( x) = y} untuk μ − ae y ∈ Y.
Selain itu, ukuran γy s ecara unik ditentukan oleh (i) dan (ii) untuk μ − ae y ∈ Y.
Kami menyatakan dan membuktikan sekarang konsekuensi yang berguna dari teorema di atas.
Lemma B.16. Operasi disintegrasi dan komposisi komposisi, yaitu jika
γ = γy ⊗ α# γ adalah disintegrasi γ ∈ M+ (X) sehubungan dengan beberapa α : X → Y dan fungsi β : X → Z
adalah diberikan, maka
β# γ =
β#γy ⊗ α#γ. ( B.3)
142 Lampiran
Secara khusus, jika α = δ ◦ β untuk beberapa δ : Z → Y dan
β# γ =
μy ⊗ δ#( β#γ) (B.4)
adalah disintegrasi β#γ sehubungan dengan δ, untuk ae y ∈ Y adalah
μy = β#γy. (B.5)
agian pertama mudah: untuk setiap φ ∈ Cc( Z) , mengingat sifat-sifat push-forward
Bukti. B memiliki
〈β# γ, φ〉 =
∫X φ(β(x))dγ(x) =
∫Y
∫ )φ(β( x))dγ
( X y( x) dν( y)
=
∫Y
∫ φ(z)dβ
( Z ) #γy
(z) dν(y) = 〈β#γy ⊗ ν , φ〉,
dengan demikian klaim berikut.
Mengenai bagian kedua, dengan sifat disintegrasi (B.3) menjadi β#γ =
β#γy ⊗ (δ# β#γ). Ingatlah
sekarang disintegrasi
(B.4): menurut Teorema B.15, untuk ae y ∈ Y u kuran μy terkonsentrasi pada set {z ∈ Z : δ( z) = y}; secara analog,
γy t erkonsentrasi pada set {x ∈ X : α( x) = y} =

{x ∈ X : δ( β( x) ) = y}. Tetapi
kemudian β# γy t erkonsentrasi pada
( )
β {x ∈ X : δ( β( x) ) = y}
{ }
⊆ z ∈ Z : δ(z) = y ;
# γ = δ#(β#γ) oleh (B.2). Kemudian, dengan bagian keunikan Teorema

selain itu, α B.15, kami menyimpulkan
validitas (B.5) dan karenanya juga klaim kedua tercapai. ⊓⊔
B.4 Γ-k
onvergensi
Pada bagian ini kami mengingat secara singkat definisi dan sifat-sifat utama Γ−konvergensi; untuk referensi yang
lebih lengkap dan tepat, kami mengarahkan pembaca ke buku-buku [29, 12].
Gagasan Γ-,konvergensi pertama kali diusulkan oleh De Giorgi di [31, 32], adalah sebagai berikut: membiarkan X
n: X → R
menjadi ruang metrik, dan menganggap bahwa kita diberi urutan functionals g danfungsional g : X →
n Γ−konvergen ke g, atau gn - → Γg, jika tahan berikut:

R.Kita mengatakan bahwa g
(i) ∀x, ∀ {xn} → x, g( x) ≤ l im n → ∞ i nf gn (xn ); ( ii) ∀
x, ∃ {xn} → x : g(x) ≥ dukungan
g
n → ∞ n( xn
).
B Beberapa Alat dari Teori Ukuran Geometrik 143
Properti pertama biasanya disebut ketidaksetaraan liminf dan yang kedua ketidaksamaan limsup. Perhatikan
bahwa berkat (i), seseorang dapat dengan mudah menulis dalam (ii) g( x) = limgn ( xn ) alih-alih g( x) ≥ l im supgn(xn ).
, urutan apa pun {xn } → x y ang memenuhi properti (ii) disebut urutan pemulihan.
Selain itu, diberikan x ∈ X
Properti fundamental pertama yang dapat segera dilihat seseorang adalah sebagai berikut.
Proposisi B.17. Jika gn Γ - → g dan terdapat seperangkat kompak K ⊆ X sehingga untuk n ∈ N
mana pun
memiliki i nfX g infK gn, maka g menerima minimum dan inf gn →
n = ing. Terlebih lagi, untuk urutan apa
m
pun xn sedemikian sehingga gn( xn) -i nf gn →

0 dan
xn →
̄x, kita memiliki bahwa isx adalah titik minimum
untuk g.
Bukti. Cukup untuk mengambil xn ∈ K s ehingga gn(xn) ≤ inf gn +
1/ n; oleh kekompakan
K kita tahu keberadaan
suatu urutan {ni } i∈N sedemikian rupa sehingga x

n i →
̄x u ntuk ̄x ∈ K tertentu: selain itu, kita juga dapat
mengasumsikan bahwa
gni ( xn i ) −−− → i → ∞ lim
inf n → ∞ infX g .
n
By the liminf property we know then that
g( ̄x) ≤ lim inf i→∞ gni ( xn i ) = lim inf n→∞ inf
Xg . (B.6)
n
On the other hand, take any x̃ ∈ X: by the limsup property we know the existence of a sequence xn ∈ X f or which
xn →
x̃ and
g( x̃ ) ≥ lim sup n→∞ g (xn ) ≥ l im sup n→∞ infX g
n . ( B.7)
n
From (B.6) and (B.7) we deduce that ̄x is a minimum point for g, as well as that infX g c onverges, for n → ∞, to
n
minX g. The thesis then immediately follows. ⊓ ⊔

We claim now the second property, which is also very important, namely a compactness result for Γ−convergence.
Theorem B.18. Assume that X is separable. Then, for any sequence of functions gn : X → R, there exists a
subsequence gni which

admits a Γ−limit.
The above result is very strong: indeed, given any sequence of functions, it allows us to assume, up to a subsequence,
that they Γ−c onverge to some limit.We present now the definition of the Γ − liminf and Γ − l imsup of a sequence
of
functions. Given a sequence {gn} , we define
Γ − lim inf n→∞ g

n( x) := inf { lim inf n→∞ g ( xn) : xn → x}; Γ
n − l im sup
g {
n→∞ n( x) := inf lim sup
g
n→∞ n( xn
) : xn → x}. (B.8)
144 Appendix
It is clear from the definitions that one has always
Γ − lim inf gn ≤
Γ − l im supgn ,
and that the sequence Γ−c onverges (to a function g) if and only if
Γ − lim inf gn =
Γ − lim supgn
(= g).
Proposition B.19. One has
Γ − lim n→∞ inf gn = sup n∈N
)
(env(infm≥n g ) , ( B.9)
m
where e nv(φ) denotes the lower semicontinuous envelope of any function φ : X → R. In particular, Γ − l im
inf gn is always lower semicontinuous in X.
Proof. T he equivalence (B.9) is verified directly from the definition (B.8). The lower semicontinuity of the Γ −
liminf follows from (B.9) once one re- minds that the supremum of lower semicontinuous functions is still lower
semicontinuous. ⊓⊔
Finally, one can show an important property of the Γ − l iminf of the sequence gn: it is the infimum of all the possible
{gn} ; analagously, the Γ − limsup is the supremum of all the possible Γ−

Γ−l imits of subsequences of limits of
subsequences of {gn } .
We conclude this section pointing out an useful consequence of (B.9) in the setting of the weak∗ convergence of
measures.

Lemma B.20. Let X be a Polish space, {νn } ∈M+ (X) a sequence of measures
weakly∗ converging to ν, and
{gn} : X → R
a sequence of lsc functions.
Then ∫X Γ
− lim n→∞ inf gn d
ν ≤ l im n
→∞
inf ∫ X gn d

νn . Bukti.
Defining for simplicityτn := env(infm≥n g ),
m
we fix j ∈ N and evaluate
lim n→∞
inf ∫X gn d

νn ≥
lim n
→∞
inf ∫ X
(infm≥j g ) dνn
m
≥ lim n→∞
(
inf ∫X env infm≥j g ) dνn
m
= lim n→∞
inf ∫X τj dνn ≥

∫X τj dν.

, by the Lebesgue monotone convergence theorem and (B.9) the thesis follows. ⊓⊔
Since this is true for any j ∈ N

Translated Copy of Kesimpulan Atau Lampiran Halaman (136-149) PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Translated Copy of Kesimpulan Atau Lampiran Halaman (136-149) PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Lampiran

A Transportasi Massal Masalah

= ​δx​ a​ dalah massa Dirac pada titik

Kantorovich dari masalah memang merupakan

B Beberapa Alat dari Teori Ukur Geometrik

B.1 Mengukur sebagai Ganda dari Fungsi Kontinu

Kita mulai dari definisi berikut.

Cb​ (​ X).​Meskipun ​M+​​ (X)merupakan bukan

​ ​+​(X): ​= sup​{<​μ, u>, u ​Cb​ (​ X) ​=1}

​ ​u> - → <μ, u> u​ ntuk setiap ​u ∈ C​b​(X).

sehubungan dengan η m​ enjaditerkecil yang ​σ−​aljabar mengandung

himpunan rasional, maka ​μ terkonsentrasi

μ​i(​ X​\ Kε​ ​) ​≤ ε untuk setiap i ∈ I. (​ B.1)

Properti (B.1) disebut ​ketatnya s​ et ​{μi​ }​ ​; karenanya, Prokhorov Teorema

l u​ ntuk beberapa ​l ≥ 0​ ; Teorema mengklaim bahwa ​μ ​adalah ukuran

kompak K sehingga 〈μ, u〉 ≤ ε u ​C​b​(​X)​ s​ etiap kali Anda ∈ C​b​(​X​)​, u ≥ ​0 ​pada X, u =

μ ∈ M+​​ (​X​) cukup

​ ​pada ​K d​ an pada ​m.A

untuk dicatat bahwa ​d1​ d ​ ontinu, bahwa ​d​1 +

Sekarang kita menulis ​h​m =

Kemudian, berkat hipotesis, kita dapat mengevaluasi

Karena urutan ​{hn​ ​} m

oleh Daniell's Theorem. ⊓​ ⊔

γ ∈ M+​​ (​X × Y ​)​.

​ ∈ C​b​(X), ​v ≥ 0​ pada X, ​v ​= 0 pada ​K​1 ​(resp. ​w ∈ Cb​ (​ Y), ​w ≥ ​0 pada

terbuka ​U​1 ​× U​2 ​dari ​K ​sehingga 0 ​≤ u ≤ δ ​di U

​ :​ ​X → [​ 0​, u ​] dan ​w ​: ​Y → [​ 0​, u ​] sedemikian rupa sehingga ​v =

U1​ ​× U​2 ​dan 〈

Lemma B.9. ​Jika X adalah kompak, maka M​+​(X)​= ​Cb​ ​(X) +.

fungsi kontinu sehingga ​u​n ≡

<μ,​u​0> = ​ 0 untuk setiap ​n ≥ 1​ , yang mudah diperiksa untuk

mendefinisikan dualitas pada ​M​+​(​X​) memiliki keunggulan yaitu Riesz Theorem,

ukuran Borel pada X. Jika ∆ ⊆ X × Y adalah ​S η​ ​(​X​)⊗​ ​S ​(​Y ​)​- dapat

M​+​(​Y ​) (dengan menjaga massa kami berarti bahwa

φ#​​ μ(​ ​B)​ : = ​μ​(​φ​-1​ ​(​B)​ ​) ​∀A ∈ S

(​ψ ◦ φ)​ ​#​μ =

B.3 Mengukur Peta yang Dihormati dan Teorema Disintegrasi

nilai μ valued terukur y ↦ → γ​y ​sedemikian rupa sehingga γy​ a

μy​ ​= ​β​#​γ​y​. ​(B.5)

γ​y t​ erkonsentrasi pada set ​{x ∈ X :​ ​α(​ ​x​) = ​y} =

​ #​​ γ ​= ​δ​#​(​β​#​γ​) oleh (B.2). Kemudian, dengan bagian keunikan Teorema

​ ​n ​Γ−​konvergen ke ​g​, atau ​gn​ ​- → ​Γ​g​, jika tahan berikut:

pun x​n ​sedemikian sehingga g​n(​ ​x​n)​ ​-i​ nf ​g​n →

suatu urutan ​{ni​ }​ ​i∈​N ​sedemikian rupa sehingga x

min​X ​g​. The thesis then immediately ​follows. ⊓​ ⊔

subsequence g​ni​ which

functions. Given a sequence ​{g​n}​ ​, we define

Γ − ​lim inf ​n→∞ g

​ ​{g​n}​ ​; analagously, the ​Γ − ​limsup is the supremum of all the possible Γ−

inf ∫​​ X ​g​n d

inf ​∫​X ​g​n d

inf ​∫​X ​τ​j ​dν​n ≥

∫​X ​τ​j ​dν.

Anda mungkin juga menyukai

= δx a dalah massa Dirac pada titik

Cb ( X).Meskipun M+ (X)merupakan bukan

+(X): = sup{<μ, u>, u Cb ( X) =1}

u> - → <μ, u> u ntuk setiap u ∈ Cb(X).

sehubungan dengan η m enjaditerkecil yang σ−aljabar mengandung

himpunan rasional, maka μ terkonsentrasi

μi( X\ Kε ) ≤ ε untuk setiap i ∈ I. ( B.1)

Properti (B.1) disebut ketatnya s et {μi } ; karenanya, Prokhorov Teorema

l u ntuk beberapa l ≥ 0 ; Teorema mengklaim bahwa μ adalah ukuran

kompak K sehingga 〈μ, u〉 ≤ ε u Cb(X) s etiap kali Anda ∈ Cb(X), u ≥ 0 pada X, u =

μ ∈ M+ (X) cukup

pada K d an pada m.A

untuk dicatat bahwa d1 d ontinu, bahwa d1 +

Sekarang kita menulis hm =

Karena urutan {hn } m

oleh Daniell's Theorem. ⊓ ⊔

γ ∈ M+ (X × Y ).

∈ Cb(X), v ≥ 0 pada X, v = 0 pada K1 (resp. w ∈ Cb ( Y), w ≥ 0 pada

terbuka U1 × U2 dari K sehingga 0 ≤ u ≤ δ di U

: X → [ 0, u ] dan w : Y → [ 0, u ] sedemikian rupa sehingga v =

U1 × U2 dan 〈

Lemma B.9. Jika X adalah kompak, maka M+(X)= Cb (X) +.

fungsi kontinu sehingga un ≡

<μ,u0> = 0 untuk setiap n ≥ 1 , yang mudah diperiksa untuk

mendefinisikan dualitas pada M+(X) memiliki keunggulan yaitu Riesz Theorem,

ukuran Borel pada X. Jika ∆ ⊆ X × Y adalah S η (X)⊗ S (Y )- dapat

M+(Y ) (dengan menjaga massa kami berarti bahwa

φ# μ( B) : = μ(φ-1 (B) ) ∀A ∈ S

(ψ ◦ φ) #μ =

nilai μ valued terukur y ↦ → γy sedemikian rupa sehingga γy a

μy = β#γy. (B.5)

γy t erkonsentrasi pada set {x ∈ X : α( x) = y} =

# γ = δ#(β#γ) oleh (B.2). Kemudian, dengan bagian keunikan Teorema

n Γ−konvergen ke g, atau gn - → Γg, jika tahan berikut:

pun xn sedemikian sehingga gn( xn) -i nf gn →

suatu urutan {ni } i∈N sedemikian rupa sehingga x

minX g. The thesis then immediately follows. ⊓ ⊔

subsequence gni which

functions. Given a sequence {gn} , we define

Γ − lim inf n→∞ g

{gn} ; analagously, the Γ − limsup is the supremum of all the possible Γ−

inf ∫ X gn d

inf ∫X gn d

inf ∫X τj dνn ≥

∫X τj dν.