关于等价耦合与全变分的一些对偶结果
概率论
2023-12-06 v2
摘要
设 ( Ω , F ) (\Omega,\mathcal{F}) ( Ω , F ) 为标准 Borel 空间,P ( F ) \mathcal{P}(\mathcal{F}) P ( F ) 为 F \mathcal{F} F 上所有概率测度的集合。设 E ⊂ Ω × Ω E\subset\Omega\times\Omega E ⊂ Ω × Ω 为可测等价关系,即 E ∈ F ⊗ F E\in\mathcal{F}\otimes\mathcal{F} E ∈ F ⊗ F ,且由 x ∼ y x\sim y x ∼ y ⇔ \Leftrightarrow ⇔ ( x , y ) ∈ E (x,y)\in E ( x , y ) ∈ E 定义的 Ω \Omega Ω 上的关系自反、对称且传递。本文证明存在两个 σ \sigma σ -域 G 0 \mathcal{G}_0 G 0 与 G 1 \mathcal{G}_1 G 1 ,使得对所有 μ , ν ∈ P ( F ) \mu,\,\nu\in\mathcal{P}(\mathcal{F}) μ , ν ∈ P ( F ) ,inf P ∈ Γ ( μ , ν ) ( 1 − P ( E ) ) = \norm μ − ν G 1 and min P ∈ Γ ( μ , ν 0 ) ( 1 − P ( E ) ) = \norm μ − ν G 0 . \inf_{P\in\Gamma(\mu,\nu)}(1-P(E))=\norm{\mu-\nu}_{\mathcal{G}_1}\quad\text{and}\quad\min_{P\in\Gamma(\mu,\nu_0)}(1-P(E))=\norm{\mu-\nu}_{\mathcal{G}_0}. P ∈ Γ ( μ , ν ) inf ( 1 − P ( E )) = \norm μ − ν G 1 and P ∈ Γ ( μ , ν 0 ) min ( 1 − P ( E )) = \norm μ − ν G 0 . 此处 ν 0 ∈ P ( F ) \nu_0\in\mathcal{P}(\mathcal{F}) ν 0 ∈ P ( F ) 是满足在 G 0 \mathcal{G}_0 G 0 上 ν 0 = ν \nu_0=\nu ν 0 = ν 的合适概率测度。此外,G 0 ⊂ F \mathcal{G}_0\subset\mathcal{F} G 0 ⊂ F 而 G 1 ⊂ F ^ \mathcal{G}_1\subset\widehat{\mathcal{F}} G 1 ⊂ F ,其中 F ^ \widehat{\mathcal{F}} F 是相对于 F \mathcal{F} F 的泛可测 σ \sigma σ -域。然而,对所有 μ , ν ∈ P ( F ) \mu,\,\nu\in\mathcal{P}(\mathcal{F}) μ , ν ∈ P ( F ) ,存在 σ \sigma σ -域 G ( μ , ν ) ⊂ F \mathcal{G}(\mu,\nu)\subset\mathcal{F} G ( μ , ν ) ⊂ F 使得 inf P ∈ Γ ( μ , ν ) ( 1 − P ( E ) ) = \norm μ − ν G ( μ , ν ) . \inf_{P\in\Gamma(\mu,\nu)}(1-P(E))=\norm{\mu-\nu}_{\mathcal{G}(\mu,\nu)}. P ∈ Γ ( μ , ν ) inf ( 1 − P ( E )) = \norm μ − ν G ( μ , ν ) .
引用
@article{arxiv.2311.08794,
title = {Some duality results for equivalence couplings and total variation},
author = {Luca Pratelli and Pietro Rigo},
journal= {arXiv preprint arXiv:2311.08794},
year = {2023}
}
备注
11 pages