# A question of H.G. Wells' mathematics

H.G Wells' short story The Plattner Story is about a man who somehow ends up being "inverted" from left to right. So his heart has moved from left to right, his brain, and any other asymmetries belonging to him. Then H.G Wells' goes on a slight metaphysical exposition:

There is no way of taking a man and moving him about in space, as ordinary people understand space, that will result in our changing his sides. Whatever you do, his right is still his right, his left his left. You can do that with a perfectly thin and flat thing, of course. If you were to cut a figure out of paper, any figure with a right and left side, you could change its sides by simply lifting and turning it over. But with a solid it is different. Mathematical theorists tell us that the only way in which the right and left sides of a solid body can be changed is by taking that body clean out of space as we know it, - taking it out of ordinary existence, that is, and turning it somewhere outside space. This is a little abstruse, no doubt, but anyone with a slight knowledge of mathematical theory will assure the reader of its truth. To put the thing in technical language, the curious inversion of Plattner's right and left sides is proof that he has moved out of our space into what is called the Fourth Dimension, and that he has returned again to our world.

This is leaving me a bit perplexed. A reflection is an odd isometry after all, and rotations/translations are direct. So it shouldn't be possible for the man to be reflected using continuous,direct transformations, regardless of how many dimensions he is using. But then again, his argument with the 2/3D analogue is convincing... Thoughts and explanations?

-
If the person lived in a non-orientable "space," you could get a reflection. For example, if the person lived in $K\times \mathbb R$, then it might be possible to invert the person left-to-right. –  Thomas Andrews Oct 19 '13 at 19:13
Your typo "There is now way" is unfortunate! Should it be "There is no way" or "There is now a way"? –  TonyK Oct 19 '13 at 20:37
@TonyK Highly unfortunate! Typo edited. –  Kieran Cooney Oct 19 '13 at 23:52

I think the key here is that a flat object living purely in the $xy$-plane is not affected by reflection in $z$. Thus, an apparent reflection across the $x$-axis can be achieved by reflecting across both the $x$ and $z$ axes — this is a net rotation and hence can be achieved by continuous transformation without breaking orientability.

The same principle would apply to a 3D object embedded in $\mathbb R^4$. Having no width along the fourth dimension makes one invariant under reflections across that dimension.

-

Wells’s explanation seems perfectly correct to me. Think of $\mathbb R^3$ as embedded into $\mathbb R^4$ by $(x,y,z)\mapsto(x,y,z,0)$. Then apply, in four-space, the rigid rotation $$R_\theta\colon\quad \pmatrix{1&0&0&0\\0&\cos\theta&0&-\sin\theta\\0&0&1&0\\0&\sin\theta&0&\cos\theta}\,.$$ Here $\theta=0$ gives the identity, and $\theta=\pi$ gives a $180^\circ$-rotation in four-space, which sends $(x,y,z,0)$ to $(x,-y,z,0)$, thus exchanging left and right.

-
Yes, this is akin to flipping a asymmetrical polygon through the third dimension. –  Thomas Andrews Oct 19 '13 at 21:21
@ThomasAndrews, just so. –  Lubin Oct 19 '13 at 21:23
This is simply rotating the $y{-}w$ plane $180^\circ$. It reverses $w$ as well as $y$, but we limited roundlanders do not see that. (+1) –  robjohn Oct 20 '13 at 9:37
@robjohn, quite right, and it seems to me that this is precisely what Wells was trying to say. The important thing is that in four-space, the motion is orientation-preserving. –  Lubin Oct 20 '13 at 17:03
Or as I mention in this answer, where I cite your answer here, it can be orientation preserving, as there are some liftings that do and some that do not preserve orientations. –  robjohn Oct 20 '13 at 17:12

This reminds me of this answer of mine, which explores chirality in higher (and lower) dimensions.

Firstly, let's use the definition of dimension1 of an object as the last value of $n$ such that the object or a rotated copy of it can be said to cover an open subset of $\mathbb R^n$.

Now, the concept of "chirality" is where a reflection cannot be composed of rotations.

One can show that if an $n$ dimensional object is taken and place/projected in $m$ dimensional space for $n\neq m$ and viewed from the larger of the two, the object is achiral.

Yes, there are chiral objects in 2D and 1D. Take the following sequence of dots:

... .. .


If it is living in a 1D space, it cannot be "turned around". This means that these two mirror images:

... .. .|. .. ...


are not the same object.

In two dimensions, take a look at these two mirror images:

X    |    X
H-+  |  +-H
T    |    T


Note that one cannot rotate one into the other if one is confined to two dimensions (i.e., we cannot make the object "jump" out of the page).

Now, to get a bit more mathematical. This is not going to be rigorous, but I'll try to be convincing.

I'm only going to consider $180^\mathrm{o}$ rotations along a coordinate axes ($R_{x_i}$) and reflections along coordinate planes ($F_{x_i}$), but this can be generalized. Let us note these things of the two operations:

• A rotation $R_{x_i,x_j}$ or $R_{ij}$ has the following properties (check these out for yourself):
• It takes the object and flips the signs of $x_i$ and $x_j$ of all of the points on the object.
• It is commutative (note: I'm only talking about 180 degree rotations here)
• Two rotations of the same kind lead to an identity operation $I$
• $R_{ij}R_{jk} = R_{jk}$
• A flip $F_{x_i}$ or $F_i has the following properties: - It flips the sign of$x_i$only - It is commutative - Two flips of the same kind lead to an identity operation -$F_iF_j = R_{ij}$Now, for an object to be chiral, we should not be able to chalk up any flip as a composition of rotations. Let us take an$n$dimensional object in$m$dimensional space. If$n=m$, for an asymmetric object, the above is not necessary. Note that any composition of rotations can be reduced down to something where there is at most one of each kind. In three dimensions, this gives us the options$I, R_{xy},R_{yz},R_{zx}, R_{xy}R_{yz},R_{yz},R_{zx}R_{yz},R_{xy}R_{zx}, R_{xy}R_{yz}R_{zx}$, or$8$combinations. However, using$R_{ij}R_{jk} = R_{jk}$we can reduce the rotations to the$4$compositions$I, R_{xy},R_{yz},R_{zx}$However, the total number of sign flip combinations (i.e. all the ordered tuples obtained by selectively flipping the signs of coordinates) is$2^3=8$. But we can obtain all$8$by composing flips and rotations. Given a sign flip combination: If there are an even number of coordinates with flipped signs, we just compose the$R_{ij}$s corresponding to pairs of coordinates which have their sign flipped. If there are an odd number, we ignore one of the sign flips, do the same thing as in the even sign flip case, and append a$F_{j}$around the originally ignored coordinates. This means that there are objects belonging to the set formed by composing flips and rotations that do not belong to the set formed by just composing rotations. Chirality exists. This can be easily generalized, we can show that in any number of dimensions, we can form all sign flip combinations ($2^n$) by composing flips and rotations, but only half by composing only rotations as, for any composition of$\left\lfloor\frac{n}{2}\right\rfloor +1$or more rotation objects, there will be at least a pair of objects sharing an index 2, so we can always use$R_{ij}R_{jk} = R_{jk}$to reduce the composition to one of less than or equal to$\frac{n}{2}objects. However, if the object is lesser-dimensional, this no longer works. In this case, we can always align one of the "extra" axes of the object withx_1$. Now,$x_1=0$for all points on the object. This makes the operation$F_{1}$impotent (and equivalent to the identity operation$I$). Now, we had shown that we can make the$2^N$unique sign flip combinations by composing a number of rotations and possibly a single flip. Now, we can show that the composition of a number of rotations and a flip is simply a composition of rotations, as we can multiply the former by$F_{1}=I$and then reduce the composition of two flips to the composition of multiple rotations. Thus, a lower dimensional object in a higher dimensional space cannot be chiral. 1. There are many ways to define dimension which don't always give the same result. My favorite is the Lebesgue dimension which is a pretty beautiful concept, but it's not what I need here. 2. By pigeon hole principle — there are$n$possible indices and$n+1$(if$n$is odd) or$n+2$total indices from the composition of$\left\lfloor\frac{n}{2}\right\rfloor +1$rotation objects each with a nonequal pair of indices - Nice, generalised explanation, thanks! Just being pedantic but do you mean open subset in your second paragraph? – Kieran Cooney Oct 20 '13 at 6:25 @KieranCooney Yeah, I did, thanks :) The real generalized explanation comes from group theory, but I'm not fluent enough with it to present it. But it involves playing with the same types of group elements -- rotations and flips. – Manishearth Oct 20 '13 at 6:27 As it happens I have just started reading Stillwell's Naive Lie Theory, so I can see how these things would tie in. It's so nice to see all these connections pop up. – Kieran Cooney Oct 20 '13 at 6:31 @KieranCooney Heads up, I asked for a more complete explanation of essentially the same problem from a group theoretical POV here. – Manishearth Oct 20 '13 at 10:47 I have a correction. The fourth rotation bullet point should be something like$\prod_{i=1}^n R_i=(-1)^{n-1}I$. – Karl Kronenfeld Oct 20 '13 at 11:01 Martin Gardner's The Ambidextrous Universe discusses this and related issues (mathematical, physical, chemical, anatomical...) in detail, with Gardner's inimitably readable style. Jeffrey Weeks's The Shape of Space investigates the geometry and topology of$3$-manifolds in more mathematical detail, yet in a friendly, engaging way. As Thomas Andrews notes, it's possible for a traveller to get "reflected" by traversing a closed loop in a non-orientable universe. The impossibility of doing so in$\mathbf{R}^3$(or in any orientable$3$-manifold) amounts to disconnectedness of the set of linear frames and the definition of orientability. - I am not too sure about the analogy in 2/3D. If I consider the example given all that he is doing is changing the normal direction of the 2D object embedded in 3D space, i.e. 'up' and 'down' (in 3D) are transposed, and so 'left' and 'right' are transposed in 2D. This means that we are still in 2D, but have changed the 'direction' of the space in which this 2D space is embedded. For an object in the 2D space to 'observe' an object as having left and right transposed both the 2D space with normal vector in$z$and the 2D space with normal vector in$-z\$ need to co-exist, which is not physical. The way I would see this, then, is that it is possible to transpose left and right, but that it is not possible from within a given space to observe that this is the case

Does this seem sensible?

-
Yes, but I'll admit, only partially. Your concerns seem to me to be exactly the same concerns I was having about flipping the man in 3d using 4D. But I find the example in 2/3D to be relatively intuitive, unless I'm missing something. –  Kieran Cooney Oct 20 '13 at 0:01