Eilenberg–Mazur swindle

From Wikipedia, the free encyclopedia

In mathematics, the Eilenberg–Mazur swindle, named after Samuel Eilenberg and Barry Mazur, is a method of proof that involves paradoxical properties of infinite sums. In geometric topology it was introduced by Mazur (1959, 1961) and is often called the Mazur swindle. In algebra it was introduced by Samuel Eilenberg and is known as the Eilenberg swindle or Eilenberg telescope (see telescoping sum).

The Eilenberg–Mazur swindle is similar to the following well known joke "proof" that 1 = 0:

1 = 1 + (−1 + 1) + (−1 + 1) + ... = 1 − 1 + 1 − 1 + ... = (1 − 1) + (1 − 1) + ... = 0

This "proof" is not valid because Grandi's series 1 − 1 + 1 − 1 + ... does not converge, but a similar argument can be used whenever there is some sort of "addition" defined on some objects for which infinite sums do make sense, to show that if A + B = 0 then A = B = 0.

[edit] Mazur swindle

In geometric topology the addition used in the swindle is usually the connected sum of knots or manifolds.

Example (Rolfsen 1990, chapter 4B): A typical application of the Mazur swindle in geometric topology is the proof that the sum of two non-trivial knots A and B is non-trivial. For knots it is possible to take infinite sums by making the knots smaller and smaller, so if A + B is trivial then

A=A+(B+A)+(B+A)+\cdots = (A+B)+(A+B)+\cdots=0\,

so both A and B are trivial. The infinite sum of knots is usually a wild knot, not a tame knot. See (Poénaru 2007) for more geometric examples.

Example: The oriented n-manifolds have an addition operation given by connected sum, with 0 the n-sphere. If A + B is the n-sphere, then A + B + A + B + ... is Euclidean space so the Mazur swindle shows that the connected sum of A and Euclidean space is Euclidean space, which shows that A is the 1-point compactification of Euclidean space and therefore A is homeomorphic to the n-sphere. (This does not show in the case of smooth manifolds that A is diffeomorphic to the n-sphere, and in most dimensions at least 7 there are examples of exotic spheres A with inverses that are not diffeomorphic to the standard n-sphere.)

[edit] Eilenberg swindle

In algebra the addition used in the swindle is usually the direct sum of modules over a ring.

Example: A typical application of the Eilenberg swindle in algebra is the proof that if A is a projective module over a ring R then there is a free module with A + F = F. To see this, choose a module B such that A+B is free, which can be done as A is projective, and put

F = B + A + B + A + B + ....

so that

A + F = A + (B + A) + (B + A) + ... = (A + B) + (A + B) + ... = F.

Example: (Eisenbud 1995, p.121) Finitely generated free modules over commutative rings R have a well defined natural number as their dimension which is additive under direct sums, and are isomorphic if and only if they have the same dimension. This is false for some noncommutative rings, and a counterexample can be constructed using the Eilenberg swindle as follows. Let X be an abelian group such that X = X + X (for example the direct sum of an infinite number of copies of an abelian group), and let R be the ring of endomorphisms of X. Then the left R-module R is isomorphic to the left R-module R + R.

Example: (Lam 2003, Exercise 8.16) If A and B are any groups then the Eilenberg swindle can be used to construct a ring R such that the group rings R[A] and R[B] are isomorphic rings: take R to be the group ring of A + B + A + B + ...

[edit] References