59

In a freshers lecture of 3-D geometry, our teacher said that 3-D objects can be viewed as projections of 4-D objects. How does this helps us visualize 4-D objects? I searched that we can at least see their 3-D cross-sections. A Tesseract hypercube would be a good example.
Can we conclude that a 3-D cube is a shadow of a 4-D tesseract?

But, how can a shadow be 3-D? Was the screen used for casting shadow also 3-D; or else, what way is it different from basic physics of shadows we learnt?

edit: The responses are pretty good for 4th dimensional analysis, but can we generalize this projection idea for n dimensions, i.e. all n dimensional objects will have n-1 dimensional projections?
This makes me think about higher dimensions discussed in string theory.
What other areas of Mathematics will be helpful?

pooja somani
  • 2,557
  • 4
  • 15
  • 25
  • 5
    This doesn't answer your question, hence the comment rather than an answer, but if you are interested in the fourth dimension, I highly recommend both Charles Hinton's [_Speculations on the Fourth Dimension_](https://www.amazon.com/Speculations-Fourth-Dimension-Selected-Writings/dp/0486239160) and Rudy Rucker's [_The Fourth Dimension: A Guided Tour of the Higher Universes_](https://www.amazon.com/Fourth-Dimension-Guided-Higher-Universes/dp/0395393884). – shoover May 18 '17 at 16:18
  • yes, just saw the books. seems to suit my hunger of visualizing 4th dimension! – pooja somani May 18 '17 at 16:58
  • 48
    Consider $n$ dimensions and then let $n=4$. – ShreevatsaR May 18 '17 at 18:29
  • 4
    I can't recommend this book highly enough, even if the parts about computers are getting pretty dated. [link](https://www.amazon.com/Beyond-Third-Dimension-Dimensions-Scientific/dp/0716760150). Tom Banchoff is a fantastic educator, teacher, and writer, and the fourth dimension, especially visualizing it, is one of his top specialties. He's also an authority on the classic book Flatland by Edwin Abbott. I recommend that book to anyone. – Callus - Reinstate Monica May 18 '17 at 20:40
  • 1
    Answers below use the word "projection." Your teacher basically was trying to say the same thing, but "shadow" is less precise. An actual 2-D shadow of a 3-D physical object _is_ a kind of projection, but the mathematical concept of "projection" can be generalized to higher dimensions whereas "shadow" has no formal, mathematical meaning. – Solomon Slow May 18 '17 at 21:36
  • 3
    Matt Parker is a standup comedian/mathematician and wrote *Things to Make and Do in the Fourth Dimension*. There's a related [Royal Institution talk](https://www.youtube.com/watch?v=1wAaI_6b9JE) on YouTube, another in the [Talks at Google series](https://www.youtube.com/watch?v=v_1irrPVt4M), and he also has a brief [short on his favorite platonic solid (of the 6) on his prolific YouTube channel "standupmaths"](https://www.youtube.com/watch?v=oJ7uOj2LRso) – Nick T May 18 '17 at 23:21
  • @callus yes, flatland is amazing! – pooja somani May 19 '17 at 05:15
  • 1
    http://www.dimensions-math.org/Dim_regarder_E.htm this is my favourite website on the topic. – StefanS May 19 '17 at 19:52
  • 2
    Miegakure's creator has made some useful visualisations: https://www.youtube.com/watch?v=9yW--eQaA2I – Zaaier May 19 '17 at 21:47
  • Your last edit was a rather late change of focus for the question. I would recommend asking this as a separate question (if you can't find an equivalent question on here already), or if you already did this, adding a link to that question. – M. Winter Jul 06 '20 at 09:43

7 Answers7

80

The animations below accompany an introductory talk on high-dimensional geometry.

Mathematically, the second was made by putting a "light source" at a point $(0, 0, 0, h)$ (with $h > 0$) and sending each point $(x, y, z, w)$ (with $w < h$) to $\frac{h}{h - w}(x, y, z)$.

Shadow of a rotating cube Shadow of a rotating hypercube

Andrew D. Hwang
  • 70,320
  • 5
  • 84
  • 166
  • 5
    This is neat. Note that the manner by which two opposing planes on the second diagram go from being nearly "adjacent" to occupying opposite sides of the tesseract entirely. This gives you an idea of the difficulty in attempting to "visualize" the tesseract. Those two planes are very close when viewed in three dimensions from one angle, yet far apart when viewed from another. – Trixie Wolf May 18 '17 at 10:40
  • 8
    I like how the first image not only contains a 2D projection of a rotating 3D cube, but in addition a 2D projection of the 3D embedding of a different 2D projection of the same 3D cube. – celtschk May 19 '17 at 13:29
  • 2
    Is this talk (or materials therefrom) available on the Internet? I have a few places I'd love to use such nice tools when I work with visual artists. – Prune May 19 '17 at 17:17
  • 1
    @Prune: The talk is still under construction; by coincidence, these animation loops were the first materials I prepared. – Andrew D. Hwang May 19 '17 at 19:23
  • 1
    @celtschk: I'd expected the "shadow of the shadow" to look flatter than it does, as with the torus shadow [here](https://math.stackexchange.com/questions/1972777). Presumably (the $1$-skeleton of) a cube is simple enough that our brains reconstruct the $3$-dimensional object even if "the shadow itself is projected". – Andrew D. Hwang May 19 '17 at 19:28
  • @AndrewD.Hwang: I think the difference is that for that torus image, the ellipses in the projection could never happen in exactly that way if it were the image of an actual torus producing the same outline. For example, consider the circles of the original torus that are mapped to lines in the torus image. If looking at an actual torus in the position of that image, you'd see ellipses in the projection, not lines. The analogue doesn't happen with your cube projection. One change that *might* work is to give the wires of the wireframe an actual thickness and correctly project that. – celtschk May 20 '17 at 07:13
60

First things first: your brain is simply not made to visualize anything higher than three spacial dimensions geometrically. All we can do is using tricks an analogies, and of course, the vast power of abstract mathematics. The latter one might help us understand the generalized properties of such objects, but does not help visualizing it for us 3D-beings in a familiar way.

I will keep things simple and will talk more about the philosophy and visualization than about the math behind it. I will avoid using formulas as long as possible.


The analogy

If you look at an image of a cube, the image is absolutely 2D, but you intuitively understand that the depicted object is some 3D-model. Also you intuitively understand its shape and positioning in space. How is your brain achieving this? There is obviously information lost during the projection into 2D.

Well, you (or your brain) have different techniques to reconstruct the 3D-nature of the object from this simplified representation. For example: you know things are smaller if they are farther away. You know that a cube is composed of faces of the same size. However, any (perspectively correct) image shows some face (the back face, if visible) as smaller as the front face. Also it is no longer in the form of a square, but you still recognize it as such.

We use the same analogies for projecting 4D-objects into 3D space (and then further into 2D-space to make an image file out of it). Look at your favorite "picture" of a 4D-cube. You recognize that it is composed of several cubes. For example, you see a small cube inside, and a large cube outside. Actually a tesseract (technical term for 4D-cube) is composed of eight identical cubes. But good luck finding these cubes in this picture. They look as much as a cube as a square looks like a square in the 2D-depiction of a 3D-cube.

The small cube "inside" is the "back-cube" of the tesseract. It is the farthest away from you, hence the smallest. The "outer" cube is the front cube for the analogue reason. It might be hard to see, but there are "cubes" connecting the inner and outer cube. These cubes are distorted, and cannot be recognized as cubes. This is the problem of projections. A shape might not be kept.

Even more interesting: look at this picture of a rotating tesseract. It seems like the complete structure is shifting, nothing is rigid at all. But again, take the anagoly of a rotating 3D-cube in a picture. During the process of rotation, the back face is becoming the front face, hence shifting its size. And during this process it even loses its shape as a square. All line lengths are changing. Just a flaw of the projection. You see the same for the rotating tesseract. The inner cube is becoming the outer one, becoming bigger because it is becoming the "front cube".


The projection

I just talked about projections. But a projection is essentially the same as a shadow image on the wall. Light is cast on a 3D-object and blocked out by it and you try to reconstruct its shape from the light and dark spots left by it on the wall behind it. Of course we cannot talk physically about a 4D-light source and light traveling through 4D-space and hitting a 3D-wall and casting a 3D-shadow. As I said, this is just pure analogy. We only know the physics of our 3D-world (4D-spacetime if you want, but there are no four spacial dimensions, but one is temporal)

So what are you projecting on? Well, you are projecting on our 3D-space. Hard to imagine, but our 3D-space is as much to the 4D-space as a simple sheet of paper is to our space $-$ flat and infinitely thin.

How crude these depictions are will become evident when making clear how many dimensions are lost in the process. Essentially you are projecting a 4D-object onto a 3D-space and then onto a 2D-image so we can show it on screen. Of course, our brain is clever enought to allow us to reconstruct the 3D-model from it. But essentially we go from 4D to 2D. This is like going from 3D to 1D, trying to understand a 3D-object by looking at its shadow cast at a thin thread. Good luck for 2D-creatures understanding 3D from this crude simplification.

M. Winter
  • 28,034
  • 8
  • 43
  • 92
  • 3
    I concur about the brain thing. With great effort (and a lot of time), it *is* possible to understand and predict four-dimensional cross-sections (and in some cases, even rotations) of simple objects. But this isn't exactly "visualizing". Our brains aren't built to picture that level of abstraction, and we don't have direct access to a fourth dimension of space in which to play around and learn from directly. – Trixie Wolf May 18 '17 at 10:35
  • 2
    @TrixieWolf Yes you are right. I think it is comparable to how we speak a foreign language. You can, using a dictionary and some rules of grammar, communicate in this language. But there is still a difference to *thinking in this language*. – M. Winter May 18 '17 at 10:39
  • 2
    It doesn't even make sense to talk about "visualizing" four dimensional space. Vision is a sense which evolved specifically in order to represent three dimensional spaces. Should a blind person expect there to be a way to represent 3d space (much less 4d) using the sense of taste? And just because you have *one* more sense than they do, you expect to be able to visualize everything in the mathematical universe? – Jack M May 19 '17 at 06:17
  • I concur about the images that our brain receives being in 2D, and intuitively understanding the depicted object being in 3D. Even if one *does* create a projection of a 4D object onto a 3D surface, it doesn't change the fact that our brain will receive the image in a 2D format. – JonathanDavidArndt Sep 05 '18 at 15:09
10

Another way to visualize a 4D object is to imagine it passing through our 3D space.

First consider a flatlander (an inhabitant of an imaginary 2D universe). If you were to push a sphere through his 2D universe, how would it look to him? A dot would suddenly appear from nowhere, become a tiny circle, grow to some maximum size, shrink, and then disappear.

Now imagine a 4D being pushing a hypersphere through our 3D universe. A dot would appear, become a small sphere, etc.

How about other shapes? The cube / hypercube would appear differently depending on how it entered the lower dimension space. If it hit flat on then it would seem that a square / cube had appeared from nowhere, stuck around for a bit, and then suddenly vanished.

Consider a 2D mathematician trying to understand these observations. Would he be able to visualize the 3D objects? If you were able to communicate with him, could you help? Now, imagine that you are talking to a 4D mathematician who is trying to explain the 4D shapes that he is pushing through our universe.

PJTraill
  • 812
  • 7
  • 22
badjohn
  • 7,468
  • 1
  • 15
  • 27
7

From a mathematical perspective, what your professor called a shadow is a projection. Think of a surface $S$ lying in a 3D ambiant space with coordinates $(x,y,z)$. If you put a screen on the plane $z=0$ and a light above your surface (far far away, so that the rays are parallel), the shadow of a point $(x_0,y_0,z_0)$ in your surface is going to be the point $(x_0,y_0,0)$, sitting in the plane $z=0$.

Of course, with only one such projection you can't really get a good idea of what your surface looks like, since you lose a lot of information (you don't know if there are any other point in $S$ lying above $(x_0,y_0,0)$). So you might want to project on a different direction, maybe the plane $y=0$, so that points $(x_0,y_0,z_0)$ in the surface get mapped to $(x_0,0,z_0)$. In fact, you can do this for any plane living in your 3D space, and hopefully all those different projections give you an idea of what $S$ looks like.

For an object living in a 4D space, visualizing is harder, but writing down equations is not. Your 4D space is just a set of 4-uplets $(x,y,z,t)$, and you can still project points $(x_0,y_0,z_0,t_0)$ in your surface onto "hyperplanes", such as the set defined by the equation $t_0=0$. For instance, the projection of a point $(x,y,z,t)$ on the hyperplane $t=0$ is just $(x,y,z,0)$.

In this context, a hyperplane is given by an equation of the form $ax+by+cz+dt+e=0$, and it is itself a 3D space.

If you want an example of a 3D object living in a 4D space, you can take the unit hypersphere given by the equation $x^2+y^2+z^2+t^2=1$. Try to find out how it projects on a few hyperplanes!

Albert
  • 8,480
  • 1
  • 18
  • 50
6

I can visualize 4 dimensions and beyond with ASCII art:

1-D:

------

2-D:

+----+
|    |
|    |
+----+

3-D:

  +----+
 /    /|
+----+ |
|    | +
|    |/
+----+

4-D:

  +----+----+----+
 /    /    /    /|
+----+----+----+ |
|    |    |    | +...
|    |    |    |/
+----+----+----+...

5-D:

     /    /    /    /
    +----+----+----+
   /    /    /    /|
  +----+----+----+ |/
 /    /    /    /| +...
+----+----+----+ |/
|    |    |    | +...
|    |    |    |/
+----+----+----+...

... and so on.

You can kind of see the "shadow" concept here. The 3-D box would cast a 2-D shadow. Thinking about it a different way, the 4-D object casts a shadow that extends along one dimension, while the 5-D casts a shadow that extends along 2 dimensions. And remember: no one said the dimensions had to be unbounded.

Joel Coehoorn
  • 165
  • 1
  • 4
  • 6
    Your 4D and 5D are not quite projections, they visualize some 3D slices of the 4D/5D object. And that's fine. Do not show them as if it were one projected object, but put a bit of space in between and just show four 2D projections of the 3D slices of your 5D object ;-). – allo May 19 '17 at 18:21
5

The shadow of a cube is its projection on a plane. It is made of the shadows of the six faces, each giving a quadrilateral. As the face shadows overlap each other and merge, all you see is a quadrilateral or hexagonal silhouette, depending on the viewing directions.

Generalizing to 3D, the shadow of a tesseract projected on a "space" would be made of eight (distored) cubes, merging in a polyhedric hypersilhouette.

There is of course no real-world physics involved.

5

I view time as 4th dimension. 4th dimension would be 3D object's state in time. Time is only 1 straight line logically, but what if you let time also have vertical and horizontal axis? then that's 5th dimension. then if you have time with z axis that would be 6th dimension. Beyond 6 would be hard to visualize but it would be an extension of the above concepts.

iso
  • 59
  • 1