Math Magic Trick: Equidcomposability & the Banach-Tarski Paradox

  • Thread starter ahrkron
  • Start date
  • Tags
    Magic
In summary, the Banach-Tarski paradox states that a solid ball can be divided into a finite number of disjoint subsets, which can then be rearranged using rigid motions to form two solid balls identical to the original. This is related to the experiment of equidecomposability, which shows that a unit circle with one point missing (set B) can be divided into two subsets (sets U and V), with set U consisting of all points that are a positive integer number of radians clockwise from X and set V consisting of everything else. When set U is rotated counterclockwise by one radian, the missing point is filled and set A, a complete circle, is formed. This proves that set U does not include everything
  • #1
ahrkron
Staff Emeritus
Science Advisor
Gold Member
760
2
This is related to the Banach-Tarski paradox. One of the sites mentioned in that thread has a beautiful "experiment" on equidcomposability: Let A be a unit circle, and B be a unit circle with one point missing. It turns out that you can divide B into two subsets, rotate one of them, and then put the pieces back in such a way that you obtain a full circle.

Consider set B and let U be the subset consisting of all points that are a positive integer number of radians clockwise from X along the circle. This is a countably infinite set (the irrationality of Pi prevents two such points from coinciding). Let set V be everything else.

If you pick set U up and rotate it counterclockwise by one radian, something very interesting happens. The deleted hole at X gets filled by the point 1 radian away, and the point at the (n-1)-th radian gets filled by the point at the n-th radian. Every point vacated gets filled, and in addition, the empty point at X gets filled too!

Thus, B may be decomposed into sets U and V, which after this reassembling, form set A, a complete circle!

I just couldn't resist posting this.
 
Mathematics news on Phys.org
  • #2
Since it's close to 3am for me, I may be suffering from a case of LOSM (Lack Of Sleep Moronism), but...
Isn't there 2*pi radians in a circle? And if my brain is still working correctly, that would mean there are only 6 points that are an integer number of radians clockwise around a circle.
Unless of course you keep making revolutions around the circle, but isn't that cheating?
And if you are going to cheat this way, why bother with set V since it would then be empty if you include everything in set U?
Also, if you keep going around the circle, eventually you'll get to the point that was missing, therefore there will be one integer that doesn't get included in set U and due to the irrationality of Pi preventing two such points from coinciding, won't you still be missing a point after rotating the set?

Sorry, but this sounds like the 'ol 2=1 "proof". Please explain why better if this is true.
 
  • #3
U doesn't include everything. There are only a countable number of points in U (one for every integer) and there are an uncountable number of points on the circle (one for every real number in [0, 2pi))


It's a slick proof... an easier way to see what's happening is to remove the geometric part and just look at the set of numbers {1, 2, 3, ...} if you subtract 1 from everything in it you get {0, 1, 2, 3, ...}, so yo don't "lose" any points, but you gain a point. The geometric argument carefully puts the missing point exactly where the gained point would be after subtracting 1.

Hurkyl
 
  • #4
Hurkyl said:
There are only a countable number of points in U (one for every integer) and there are an uncountable number of points on the circle (one for every real number in [0, 2pi))
I think you just restated my point.
I presume we can agree that set U must be either finite or infinate. My thoughts go, if set U is finite, you can't make a circle with an infinite number of points, and if set U is infinite it must include everything. Maybe the term "countably infinate" is confusing me; my understanding is that the terms "infinite" means "infinite" and "countably" means integers only. So I think that an infinite set is still infinite even though it doesn't include all real numbers. Then again the concept of infinity is certainly not "real" in a numerical sense.

It's a slick proof... an easier way to see what's happening is to remove the geometric part and just look at the set of numbers {1, 2, 3, ...} if you subtract 1 from everything in it you get {0, 1, 2, 3, ...}, so yo don't "lose" any points, but you gain a point. The geometric argument carefully puts the missing point exactly where the gained point would be after subtracting 1.
Yes, it's a bit easier to comprehend using numbers. I'm starting to understand the rational behind it, but I think my main confusion is in the definition of set U (and set V). Let me define the missing point in set B to be located at the point 2 radians clockwise from x. Thus set U includes {1, 3, 4, ...} since the almost-circle set B doesn't include that point. Then when you rotate set U, or subtract 1 if you prefer, you end up with {0, 2, 3, ...}.

I think the "trick" is that after rotating set U, the missing point is now situated at a place where set V contains a point, thus completing the circle. Is that correct? But I don't understand how set V can contain anything.

Maybe answering the following question would help:
What is the highest integer in set U, or how many times are you allowed to go around the "circle" counting integer radians?

This "paradox" is very counter-intuitive, hence my miscomprehension. Keep in mind that the highest math I'm familiar with is basic analytical geometery/calculus up to differential equations (including partials) and basic matrix theory. I've never heard of the term "equidecomposability" until now, or if I have, I promptly forgot it.

Since both ahrkron and hurkyl are implying it is true, I want to accept it, but I'd like to understand it before I accept it. Do you have a link to a good proof of this?
 
  • #5
U is infinite; it uses all positive integers.

However, let me give a couple proofs that the set U cannot be everything.


Proof 1: the set of points in U has zero length

Choose any number s between 0 and the circumference of the circle.

We can interpret the set U as being a list of points in the circle. Now, I will choose a system of circular arcs that cover the entire set U. Let the n-th arc be any circular arc containing the n-th point in the list and having length s/2^n

Now, the set of arcs I chose covers the entire set U (because for every n, the n-th point is in the n-th arc). However, the total length of the arcs is s/2 + s/4 + s/8 + s/16 + ... = s. Notice that this proof does not depend on the value of s, we can choose any positive value for s... however since the arcs cover U, the overall length of U must be less than the total length of the arcs... so for every choice of s the length of U must be less than s! The only possible choice for the length of U is zero, so the set U has zero measure... but the circle's circumference is not zero, so the set U cannot possibly be the entire circle, or even a significant portion of it!


Proof 2: some specific points not in U.

Label the points of the circle by their angle from the x-axis. Each point, of course, can have many labels differing by some multiple of 2 pi.

The definition of U says that all points with angle measure equivalent to a positive integer are in U. Consider the point P with angle measure pi / n where n is a positive integer. Suppose P is in U. Since both pi / n and some positive integer m are labels for P, we have:

pi / n - m = 2 pi k for some integer k.

Rewriting this equation gives:

pi (1 / n - 2 k) = m
pi = m / (1 / n - 2 k)

However, the right hand side is a rational number while the left hand side is irrational! Therefore, any point with label pi / n for some positive integer n cannot be in U. This same argument can be extended to prove a lot more points are not in U.

Proof 3: The set of points in the circle is larger than the set of points in U


The points on the circle can be put into 1-1 correspondence with an uncountably infinite set, for example the real numbers in the interval [0, 2 pi). The set of points in U can be put into 1-1 correspondance with a countably infinite set, the positive integers. Because uncountable sets are larger than countable sets, U cannot contain the whole circle.


Do any of those proofs make sense?

Hurkyl
 
  • #6
Originally posted by J-Man
I think the "trick" is that after rotating set U, the missing point is now situated at a place where set V contains a point, thus completing the circle. Is that correct?

So was J-man's statement here correct, the way you described things in your last post Hurkyl makes it sound like it is.
 
  • #7
That's really cute... and it doesn't even use Choice! I wonder how far you can go like that? Similar 'paradoxes' that don't use AC, I mean.
 
  • #8
the 'trick' is about geometric points having by definition no dimension.
so..if you you take a point with no dimension off B its not a circle with a hole in it.
in order to get a hole into the circle, the hole's dimension must be defined (not measured in points but valid measure).

if a beam crosses a circle, you don't get a hole in the circle, not even a missing point by taking the beam away. the beam and the circle share their crossing points (which anyway have no dimension), so if you take the beam away, there's still the circles point.

no trick.
just a question of definition.

..neat one, though.
 
Last edited by a moderator:
  • #9
Points have "dimension zero", not "no dimension"... but dimension is a red herring, we can talk about whether the circle is missing a point without even mentioning the idea of dimension.

Hurkyl
 
  • #10
Can this problem be treated by a Cauchy integral?
 
  • #11
I think it is not of utmost importance that this circle be defined presicely.
Lets make the missing point lie at (1,0)

In vector form circle C(t)

C(t) = ( Cos(t), Sin(t) ) 0 < t < 2&pi;

Note 0 < t < 2&pi;

NOT

0 <= t <= 2&pi;
 

What is the Banach-Tarski Paradox?

The Banach-Tarski Paradox is a mathematical theorem that states that a solid sphere can be divided into a finite number of pieces, which can then be rearranged using rigid motions to form two identical copies of the original sphere. This paradox defies common intuitions about the conservation of volume and challenges our understanding of how objects behave in space.

How does the Banach-Tarski Paradox relate to equidecomposability?

The Banach-Tarski Paradox is an example of equidecomposability, which is the mathematical concept of dividing an object into parts and rearranging them to form another object of equal volume. In this paradox, the two resulting spheres have the same volume as the original sphere, even though the number of pieces used to create them is different.

What is the significance of the Banach-Tarski Paradox?

The Banach-Tarski Paradox has significant implications for our understanding of mathematics and the physical world. It challenges our intuition about the concept of infinity and raises questions about the nature of space and the structure of matter. It also has practical applications in fields such as computer science and material science.

Is the Banach-Tarski Paradox true?

Yes, the Banach-Tarski Paradox is a proven mathematical theorem and is considered to be true. However, it is important to note that this paradox only applies to idealized mathematical objects and cannot be replicated in the physical world due to the limitations of matter and energy.

How can the Banach-Tarski Paradox be explained?

The Banach-Tarski Paradox can be explained through advanced mathematical concepts such as group theory and measure theory. It relies on the idea that a sphere has infinitely many points, and by rearranging these points in a certain way, we can create two spheres with the same volume as the original. It is a complex and counterintuitive concept that requires a deep understanding of mathematics to fully comprehend.

Similar threads

Replies
26
Views
3K
  • General Math
Replies
2
Views
1K
Replies
1
Views
2K
  • General Math
Replies
6
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
12
Views
2K
Replies
1
Views
746
  • Introductory Physics Homework Help
Replies
7
Views
238
  • Calculus and Beyond Homework Help
Replies
12
Views
2K
Back
Top