تقرير
On computability and disintegration
العنوان: | On computability and disintegration |
---|---|
المؤلفون: | Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M. |
المصدر: | Mathematical Structures in Computer Science, 27:8 (2017), pp. 1287-1314 |
سنة النشر: | 2015 |
المجموعة: | Computer Science Mathematics Statistics |
مصطلحات موضوعية: | Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Probability, Mathematics - Statistics Theory, Primary: 03F60, 28A50, Secondary: 68Q17, 60A05, 62A01, 65C50, 68Q87 |
الوصف: | We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali covering property with respect to the measure; the disintegration, however, may depend on the choice of sets. We show that, when the basis is computable, the resulting disintegration is strongly Weihrauch reducible to Lim, and further exhibit a single distribution realizing this upper bound. Comment: 28 pages. Substantially updated following referee suggestions |
نوع الوثيقة: | Working Paper |
DOI: | 10.1017/S0960129516000098 |
URL الوصول: | http://arxiv.org/abs/1509.02992 |
رقم الأكسشن: | edsarx.1509.02992 |
قاعدة البيانات: | arXiv |
DOI: | 10.1017/S0960129516000098 |
---|