10
$\begingroup$

I was just curious, since the B-T paradox is a measure theoretic result, if there are any consequences of this paradox in probability theory? Also, is there is a way of stating the B-T paradox in the language of probability theory?

I am ultimately interested in finding an application of the B-T paradox in physics which leads to an experimental prediction.

$\endgroup$
11
  • 2
    $\begingroup$ The B-T paradox ultimately boils down to the non-amenability of the free group of rank 2. I don't see how it would be applicable to probability. $\endgroup$ Aug 18, 2010 at 17:19
  • 5
    $\begingroup$ The B-T paradox does not arise from any contradiction, Harry. It is only a paradox in that it states the truth of something which we find unintuitive, but that is only a reflection of the fact that our axioms do not perfectly model our intuitions. $\endgroup$ Aug 18, 2010 at 17:20
  • 9
    $\begingroup$ The premise of this question is not only false, but the exact opposite of the true state of affairs: the Banach-Tarski paradox is $\textit{not}$ a "measure-theoretic result". On the contrary, as has already been pointed out, it shows that certain geometric facts $\textit{cannot}$ be fit into measure-theoretic paradigm. I am voting to close this as "not a real question". $\endgroup$ Aug 18, 2010 at 17:28
  • 4
    $\begingroup$ With regard to your second remark, I do not believe there are applications of B-T in physics. Physics uses mathematics as a framework to build models that correspond to the physical world, but those models will certainly exclude non-measurable objects like the sets involved in B-T, for the simple reason that such objects do not well describe the physical world. So I think no accepted physical model is going to make any predictions that involve B-T in any way, much less ones that you could test experimentally. $\endgroup$ Aug 18, 2010 at 17:52
  • 11
    $\begingroup$ Victor, please see my comment to Artem's answer below. I think the question, "Are there any consequences of this paradox in probability theory?" is quite valid, even though I have no idea how to answer it. I suspect an interesting answer will deal with chopping up balls or other convex sets in the Banach space of continuous functions, the natural space where stochastic processes lie. Matt, search through the literature on Gaussian measures on Banach spaces. Here's a preliminary Google search: scholar.google.com/… $\endgroup$ Aug 18, 2010 at 18:40

1 Answer 1

7
$\begingroup$

I thought the whole point of having a $\sigma$-algebra for your probability space was to avoid non-measurable sets like the ones used in the proof of BT. Hence, it would seem that the BT paradox would be impossible to state in probability theory on account of the sets you need not being present in your algebra... but I might be mistaken, can someone else comment more?

$\endgroup$
4
  • $\begingroup$ Correction: all subsets of $\mathbb{R}^3$ form a $\sigma$-algebra, but it's impossible to define a $\sigma$-finite measure on it (due to a variant of the Vitali construction). This was basically the content of my comment above. $\endgroup$ Aug 18, 2010 at 17:51
  • 10
    $\begingroup$ Artem, we frequently deal with non-measurable sets in probability theory. For example, when we have a stochastic process $\xi_t$, we are concerned with the filtration (increasing sequence of $\sigma$-algebras) $\mathcal F_t$ generated by the process at times $s \le t$. Consequently, an event such as $\{ \xi_2 \ge 0 \}$ is not measurable with respect to the $\sigma$-algebra $\mathcal F_1$. My point with this comment is not to answer Matt's question; rather, it's to say that you can't easily dismiss it by saying that we only work with measurable sets in probability. $\endgroup$ Aug 18, 2010 at 18:33
  • $\begingroup$ ...and let us not forget conditional expectations.. $\endgroup$
    – M.G.
    Aug 18, 2010 at 20:15
  • 1
    $\begingroup$ @VictorProtsak Actually, there is a (finite finitely additive) measure on all subsets of $\mathbb{R}^3$. What's important for the BT paradox is that there is no such measure that is invariant under rotations and translations. $\endgroup$
    – user95282
    Mar 10, 2017 at 13:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.