Can Penrose Stairs Be Realized on a Torus?

[mma]

Nobody mentions that Penrose stairs is possible on the torus. I wonder Why. isn't this obvious?

 

[WWGD]

Maybe you can explain to us what a Penrose stair is?

 

[mma]

Penrose stairs is this impossible object:

Such an object can exist locally but not globally. The point is, that walking in one direction on the stairs, we are always rising, still we can make a closed walk on it. These stairs are impossible because we cannot draw a closed curve on the surface of a cylinder having the property that both of its coordinates are always growing.

I say that we can obviously draw such a curve on the torus, but, unfortunately, nobody tells this while dealing with these strairs.

I mean a description something like this:

The torus is S^1\times S^1. S^1 can be coordinatised on two overlapping charts (U,x) and (V,y) by x: U\to (0,1) and y:V\to (0,1) such, that there is a f:\mathbb R\to S^1 differentiable surjetion, that \frac {d (x\circ f)}{dt}>0 and \frac {d (y\circ f)}{dt}>0 where they are defined. The curve \mathbb R\to S^1\times S^1: t\mapsto (f(t),f(t)) is a walk on the torus that is always rising and returns to a point.

I am not a professional mathematician, so perhaps my formulation isn't the best, that's why I am looking for a professional formulation of this.

 

[Helios]

@mma I've wondered about this and this is my drawing. It may be helpful because I was after a torus-like structure.

 

[mma]

My stairs on the torus look like this:

where the the points of the opposite sites of the square are identified, so it is is a topological torus:

 

[mma]

Perhaps this is in relation somehow with the curvature.

We live in a real line bundle L. Its base space is S^2 (the surface of the Earth), and the fibers are the vertical lines. The gravitation defines a connection on this bundle, i.e. determines the horizontal subspaces of the tangent bundle TL. of L. This connection must be curvature-free, because all real line bundles over S^2 are trivial. This means, that the horizontal lift of a closed curve from the base space to L is also a closed curve, The horizontal lift of a curve has by definition everywhere horizontal tangent vectors. An unidirectional walk on a Pentose stair has nowhere horizontal tangent vectors. I suspect that curvature-free property rules out the possibility for such curves being closed. That's why Penrose stairs are impossible in our world.

In contrast of this, torus is a circle bundle.over the circle. It may have a curved connection, so it is possible, that a curve in it has nowhere horizontal tangent vectors, still it is closed.

 

[Hornbein]

Nobody mentions that Penrose stairs is possible on the torus. I wonder Why. isn't this obvious?

It's not obvious to me. The idea is that stairs go up and down, to overcome gravity. Under this condition a Penrose stairs would be a free energy device. Just roll a ball down the stairs.

If you are talking about the Penrose stairs as an optical illusion, then this illusion may be drawn on a wide variety of objects. They needn't be topologically a torus.

 

[jim mcnamara]

Hmm. http://mathworld.wolfram.com/PenroseStairway.html

This says that Penrose Stairs are an impossible object. There is no math in the article describing it - or the links. The links refer to:
Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 15, 1989
And books about optical illusions, M C Escher, and articles in Psychology. So, all are: Art, Philosophy, and Psychology links.

I would seriously consider this to indicate that this construct is an Escher-illusion, not a mathematically definable object. I am also guessing: it is in mathworld to diffuse discussions like what we have in this thread.

 

[mma]

@jim mcnamara

I would seriously consider this to indicate that this construct is an Escher-illusion, not a mathematically definable object.

Still matematicians sometimes take it seriously, see for example here. I would regard these two properties mentioned there by anon:

(1) it wraps back around to itself, and (2) it (at least ostensibly) increases in height along the way.

 

[jerromyjon]

This was what I thought of when I read the thread title... saw it on wikipedia under torus.

 

[Hornbein]

@jim mcnamaraStill matematicians sometimes take it seriously, see for example here. I would regard these two properties mentioned there by anon:

Seriously in the sense that Penrose feels the illusion is worth studying. Possibly new and compelling illusions would be discovered. Or perhaps a real-world 3D object could be made that gives the illusion of being a Penrose stair when viewed from a certain angle under certain conditions.

Or perhaps there is some imaginary mathematical world within which Penrose stairs are consistent.

 

[mma]

Or perhaps there is some imaginary mathematical world within which Penrose stairs are consistent.

I meant originnaly exactly this.

 

[mma]

Under this condition a Penrose stairs would be a free energy device.

Or an energy losing device. If we neglect the energy dissipation, then in our world we can call height on equal right the vertial distance measured from a fixed point and the mechanical work done since started from this point (because then E = mgh). But if we take into account also the dissipation (e.g. energy loss by air resistance), then the "heigth" on the energy axis will always increase during a walk on closed loop. So, if we take into account the dissipation, then in our world we cannot use this energy axis as a spatial coordinate line, while in the torus-world we can.

 

[zinq]

There are (at least) two ways in which "impossible objects" are possible.

One is that, because these are based on 2D drawings, there is almost always a 3D object which, when viewed from the appropriate angle, will appear exactly as an "impossible object". A number of science museums have actual rooms designed to appear impossible when viewed from some viewpoint.

Perhaps more interesting is that, as purely geometric objects, many impossible objects have a totally rigorous existence, even if such things are not subsets of 3-dimensional Euclidean space.

For instance, consider the helix given parametrically by

C(t) = (cos(2πt), sin(2πt), t), -∞ t < ∞.

Now define the set B to be those points in space whose distance to the helix {C(t)} is exactly 1/2.

Finally, define a new set B' by identifying any point (cos(2πt), sin(2πt), t) of the helix with (cos(2πt), sin(2πt), t+1), which is also on the helix.

B' is a forever-ascending helical cylinder that is topologically a torus.

This is similar to the circle of sounds that results from identifying each pure frequency with double that frequency.

 

[pbuk]

The curve \mathbb R\to S^1\times S^1: t\mapsto (f(t),f(t)) is a walk on the torus that is always rising and returns to a point.

What do you mean "always rising"? How do you define "up"?

 

[pbuk]

Or perhaps there is some imaginary mathematical world within which Penrose stairs are consistent.

Any such geometry would not have a consistent measure of distance in the "up" direction.

Consider the condition for moving from one stair to the next in a "real" Penrose staircase: you must increase your distance in the vertical direction from the origin. You can never decrease this distance (if you allowed this it would be easy to construct in our world - you simply ramp down the tread of each step). Consider now the condition for completing a circuit of the staircase: you must return to a position which has the same vertical distance from the origin as your start point (because it is your start point). A measure that is always increasing can never return to its starting value.

 

[Hornbein]

Any such geometry would not have a consistent measure of distance in the "up" direction.

Consider the condition for moving from one stair to the next in a "real" Penrose staircase: you must increase your distance in the vertical direction from the origin. You can never decrease this distance (if you allowed this it would be easy to construct in our world - you simply ramp down the tread of each step). Consider now the condition for completing a circuit of the staircase: you must return to a position which has the same vertical distance from the origin as your start point (because it is your start point). A measure that is always increasing can never return to its starting value.

Oh, maybe the forces aren't conservative. Maybe the measure decreases when traveling the stairs in the opposite direction. I feel sure it is possible to come up with some fantasy world where it works after a fashion, but I can't say I'm interested in pursuing that.

 

[pbuk]

Oh, maybe the forces aren't conservative. Maybe the measure decreases when traveling the stairs in the opposite direction.

My argument has nothing to do with forces or direction of travel.

I feel sure it is possible to come up with some fantasy world where it works after a fashion.

There is no point in making that statement. Either find a flaw in my argument or a counter-example.

 

[Hornbein]

Either find a flaw in my argument or a counter-example.

I have a third option. I can do something more to my liking.