Penrose stairs on the torus

  • #1
mma
245
1

Main Question or Discussion Point

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

Answers and Replies

  • #2
WWGD
Science Advisor
Gold Member
2019 Award
5,340
3,280
Maybe you can explain to us what a Penrose stair is?
 
  • #3
mma
245
1
Penrose stairs is this impossible object:

500px-Impossible_staircase.svg.png


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 [itex]S^1\times S^1[/itex]. [itex]S^1[/itex] can be coordinatised on two overlapping charts [itex](U,x)[/itex] and [itex](V,y)[/itex] by [itex]x: U\to (0,1)[/itex] and [itex]y:V\to (0,1)[/itex] such, that there is a [itex]f:\mathbb R\to S^1[/itex] differentiable surjetion, that [itex]\frac {d (x\circ f)}{dt}>0[/itex] and [itex]\frac {d (y\circ f)}{dt}>0[/itex] where they are defined. The curve [itex] \mathbb R\to S^1\times S^1: t\mapsto (f(t),f(t))[/itex] 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.
 
Last edited:
  • #4
251
41
str01.jpg

@mma I've wondered about this and this is my drawing. It may be helpful because I was after a torus-like structure.
 
  • #5
mma
245
1
My stairs on the torus look like this:
stairs2.png


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

Ufad4.png
 
Last edited:
  • #6
mma
245
1
Perhaps this is in relation somehow with the curvature.

We live in a real line bundle [itex]L[/itex]. Its base space is [itex]S^2[/itex] (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 [itex]TL[/itex]. of [itex]L[/itex]. This connection must be curvature-free, because all real line bundles over [itex]S^2[/itex] are trivial. This means, that the horizontal lift of a closed curve from the base space to [itex]L[/itex] 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.
 
  • #7
673
314
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.
 
  • #8
jim mcnamara
Mentor
3,953
2,351
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.
 
  • #9
mma
245
1
@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.
 
  • #11
673
314
@jim mcnamara


Still 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.
 
  • #12
mma
245
1
Or perhaps there is some imaginary mathematical world within which Penrose stairs are consistent.
I meant originnaly exactly this.
 
  • #13
mma
245
1
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 [itex] E = mgh[/itex]). 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.
 
  • #14
399
116
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.
 
  • #15
pbuk
Science Advisor
Gold Member
1,545
477
The curve [itex] \mathbb R\to S^1\times S^1: t\mapsto (f(t),f(t))[/itex] 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"?
 
  • #16
pbuk
Science Advisor
Gold Member
1,545
477
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.
 
  • #17
673
314
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.
 
  • #18
pbuk
Science Advisor
Gold Member
1,545
477
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.
 
  • #19
673
314
Either find a flaw in my argument or a counter-example.
I have a third option. I can do something more to my liking.
 

Related Threads on Penrose stairs on the torus

Replies
8
Views
893
  • Last Post
Replies
9
Views
5K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
2
Views
714
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
12
Views
2K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
5
Views
1K
Replies
22
Views
3K
Top