Ideas for explaining 4D and higher dimensions

Use arrays (aka tensors in math lingo) to store the values of a place:

0 dimensions / zero rank (or order) tensor:

a = 1
v = a

These simple values are also known as scalars.

1 dimension / first rank tensor:

a = [1, 2, 3, ...]
v = a[x]

These lists of values are also known as vectors.

2 dimensions / second rank tensor:

a = 
[
    [1, 2, 3, ...],
    [1, 2, 3, ...],
    [1, 2, 3, ...],
    ...
]
v = a[x][y]

These tables are also known as rows by columns matrices.

3 dimensions / third rank tensor:

a = 
[
    [
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        ...
    ],
    [
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        ...
    ],
    [
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        [1, 2, 3, ...],
        ...
    ],
    ...
]
v = a[x][y][z]

4 dimensions / fourth rank tensor:

With 2+ elements per dimension and numbered integer indices.

a = 
[
    [
        [
            [1, 2, ...],
            [1, 2, ...],
            ...
        ],
        [
            [1, 2, ...],
            [1, 2, ...],
            ...
        ],
        ...
    ],
    [
        [
            [1, 2, ...],
            [1, 2, ...],
            ...
        ],
        [
            [1, 2, ...],
            [1, 2, ...],
            ...
        ],
        ...
    ],
    ...
]
v = a[i1][i2][i3][i4]

Etc. E.g. 5th order tensor aka 5D array/matrix/object.

Note the self-similarity.

When you scale the dimensional axes, the amount of data changes by the power of the number of axes. Doubling a 1D array doubles the data (2¹ = 2), doubling a 2D array squares the data (2² = 4), doubling a 3D array cubes the data (2³ = 8), and so on. To save data, one could simply store the coordinates on those axes, as a dimension is "a measurable extent of a particular kind, such as length, breadth, depth, or height" according to the dictionary.

Other self-similar things are fractals, so named because they have a fractional dimension. Consider a Sierpiński triangle. Doubling its size leads to a data increase of 3, so 2^D = 3, so its dimension is log₂(3) = 1.58496250072.

Here's how i understood it, am 18 so correct me if I'm wrong

This site was cool --> https://4dtoys.com/

I think its important to have a physical understanding/visualization of the dimensions.

1D point would be like a bead on a string. 2D shape is like a hockey puck on a hockey table, the plane. 3D shape is something like an apple or a cube in a room.

note how a 3d shape like an apple is made up of many 2d slices/apple crossections, and how a 2d shape is made out of many lines, and that lines are a bunch of points.

A super important part of these dimensions is that when a 1D shape is stuck along one dimension, another shape cannot exist at the same point in that one dimension without overlap. Basically two beads cannot both be at the 1 inch mark, 2 hockey pucks cannot both lay in the same place while still laying flat on their plane, and two people cannot take up the same space.

The only way to have two objects lay in the same x dimensions is to add another dimension. Like put the bead on another string, or stack the puck on top of the other. From a certain perspective, these two objects are now totally overlapping, when in reality they are separate thanks to the additional dimension

But what about 3D objects? Like the apple and the cube?

Simply pick up the cube, and put the apple where the cube was. Now they have taken up the same overlapping space without actually overlapping. The 4th dimension here is time. If you "remove" that dimension then the apple and cube would overlap.

oh, and stuff can disappear if it escapes your observable dimension. like how the apple slices get bigger and smaller 3d stuff can get bigger, smaller, and disappear in this dimension, but really still exist in another.

And in the same way you can slice a cube in different ways to create shapes other than more rectangular prisms, these 3D slices of 4D things can be more than cubes.

Idk, this stuff really is wack. But the idea is there.

I think stuff like the Klein bottle needs this 4th dimension to exist since it overlaps itself in the 3rd dimension, and basically the parts that would've overlapped exist in different dimensions?

I invented higher dimensions at an early age and have scored "off the charts" in spatial insight on any test. Since I've made numerous "infinite dimensional" puzzles (because 3 dimensional ones were too boring).

This is how I grasp the concept of a hypercube:

Each hyper cube of N dimensions exists of 2^N points. Half of those points (aka 2^(N-1)) form a N-1 dimensional hypercube, as does the other half. There a N ways to pick such a pair *). One such half is a copy of the other, merely translated the side L into a dimension perpendicular to the N-1 dimensions that those hypercubes exist in.

*) Each corner point has (for example) coordinates 0 or 1 for each dimension: each point is represented by a vector like [0,1,1,0,0,1,0,0,0,1] where every permutation of 0 and 1's occur (leading to the 2^N points). Chose any coordinate and separate the points into two groups: one where that coordinate is 0 and one where that coordinate is 1. Hence, N choices. The remaining N-1 coordinates are again a vector of 0 and 1's that contain every permutation; so they are obviously also hypercubes, of one dimension less.

Hence you can "build up" a hypercube from lower dimensions as follows: start with a point. Translate this point over a distance L. Note how it doesn't matter in WHICH direction, even though you have 3 dimensions to pick from (when restricting yourself still to 3D space). The point "draws" a line while being translated, giving you a line piece. The number of points have doubled: from 1 point to 2 points. Now you have a 1D hypercube.

Next translate this line piece (1D hypercube) in any direction perpendicular to the previous used direction (even in 3D space this still allows choice, but which choice you make doesn't matter: all not used dimensions are equivalent), over a distance L. This doubles the points again, and each point draws a line again while being translated (in the end ask the students to find the formula for the number of lines as function of N). Next translate the resulting 2D hypercube (the square) over a distance L perpendicular to the square. This draws four more lines and doubles the number of points from 4 (one square) to 8 (original square plus copy).

Next, translate the 3D hypercube over a distance L in a direction perpendicular to all previously used 3 dimensions. Note that there are infinite dimensions, but which direction you choose is not important, as long as it is per perpendicular to the used dimensions. The result of that is that new lines that are being drawn during the translation of the copy all are perpendicular to the orginal hypercube and thus all make an angle of 90 degrees with every previous drawn line.

And so on: make a copy of the N-dimensional hypercube, translate it over a distance L perpendicular to all previous used dimensions, making all 2^N points draw 2^N extra lines.

Note how every dimension is symmetrical: there are N axis, on each axis there are two opposite N-1 dimensional hypercubes: the "outsides" that limit the hypercube on that dimension (aka there are 2N outsides).

Some students will grasp it. Let them form groups were students that got it explain in their own words to other students how they see it and how they grasped it. It can help to have someone else explain it (in different words).

Here is a puzzle that I made:

Given a hypercube of N dimension in an N dimensional space. If you paint the 2N outsides of the hypercube from a pallet of k colors, how many under rotation different permutations can you make? For example, N=2, k=2 gives: AAAA, AAAB, AABB, ABAB, ABBB and BBBB, so 6 different permutations (rotation of the squares is rotations of the strings here). N=2, k=3 gives 24 different permutations. What is the general formula? Don't look it up cause I have it published on the net somewhere :p

Edit:

More abstract, but certainly important, are the coordinate vectors with all permutations of 0's and 1's. You could explain that if you add more zero's but never change those zero's - then they don't matter. Aka:

0,0,0,0,0,0
0,0,0,1,0,0
0,0,1,0,0,0
0,0,1,1,0,0
0,1,0,0,0,0
0,1,0,1,0,0
0,1,1,0,0,0
0,1,1,1,0,0

spans a 3D cube (in 6D space, but that doesn't matter at all).

Likewise you could keep a coordinate at 1 (or whatever) as long as it doesn't change, it isn't used.

Making a copy then is easy: copy the table and change one of the unused 0's into a 1. Both are 3D cubes as explained before, but they are translated by a distance 0,0,0,0,0,1 (or whatever coordinate you changed), and together now form a 4D hypercube.

Question for the class: what if you correlate the coordinates? Ie, you pick two columns and only use 0,1 or 1,0 and never 0,0 or 1,1. Then that one column counts as 1 bit. This way you can ALSO make 2^N vectors of every "permutation", but using more than N (changing) coordinates (answer: a hyperblock; unless you only use pairs, for example,

0,1,0,1,0,1
0,1,0,1,1,0
0,1,1,0,0,1
0,1,1,0,1,0
1,0,0,1,0,1
1,0,0,1,1,0
1,0,1,0,0,1
1,0,1,0,1,0

is a perfect 3D cube, in 6D space).

EDIT 2

unrelated maybe, but a neat invention of me:

0,0,0,0,0,1
0,0,0,0,1,0
0,0,0,1,0,0
0,0,1,0,0,0
0,1,0,0,0,0
1,0,0,0,0,0

Is an N-dimensional hyper tetrahedron in N+1 dimensions. Isn't it amazing how simple the coordinates become if you add one dimension?! Try to write the coordinates down using only N dimensions :p (if at all possible!).

My suggestion would be to demystify the concept and try to disassociate it from spatial interpretations at the first approach.

Having $n$ dimensions is just having $n$ variables. As one professor I had liked to repeat, a grocery store owner who is trying to maximize gains by selling oranges, apples, bananas and peaches with some constraint in his storage is attempting to solve a $4$-dimensional problem without even thinking about it. This is much easier to use for motivation. Then, from there, if it is useful/needed/appreciated, one can introduce spatial visualizations like projections into space/plane etc and geometric structures like the inner product etc.

I've found (personally) that relying on "materializing" higher dimensions as an initial approach often backfires, both for the understanding of students (those who get interested frequently veer into philosophical aspects rather than mathematical ones) and their motivation (those who do not get interested will just act as if it is useless and/or nonsensical and/or obscure).

For more than four dimensions, I would consider treating each pixel in a gray scale image as a "dimension" and its brightness as the value of the corresponding "coordinate". Then, ℝ^{m x n} is just the set of all images (including photos) of m pixels by n pixels.

There is a video on YouTube which explores this approach (and a few geometric interesting aspects of these high dimension spaces): My understanding of the Manifold Hypothesis | Machine learning

That reminds me of my first college programming course where they drew a square picture of a 2D array, a cube for a 3D array, and then said 4D arrays were very hard to understand. But I'd already made 4D arrays that were fine, since they weren't representing points in 4d space. I'd played a computer dungeon game where you had continent, province, dungeon, and floor. 4D. They're not orthogonal to each other, exactly, but the general concept of N dimensions is simple enough, that way.

A questionaire on a bad dating site could be: True/False, you enjoy: Hiking, Cooking, Dancing, Travel. That has the properties of a 4D cube, right? Each set of answers is like a corner, with Hamming distance of a most 4. Adding more questions increases the dimension. The number of corners and edges blow up, but conceptually, a dozen dimensions is simple.

I would posit it's impossible for most humans to truly grok higher dimensions. I've heard of extremely rare exceptions but I'm going to ignore them here.

Having an intuitive understanding of some fact about geometry requires having a mental image of what is going on. You can't have 4D mental images. Can you mentally "see" a tesseract? Not the common 3D bastardization of it but the real thing?

If anything, trying to represent 4D objects for 3D brains on a 2D medium seems counter-productive. The classical 3D representation of a tesseract is actually misleading. A better way to put it would be to film a cube changing colors over time, or to show 2 cubes while saying that there is a unit distance in the 4th dimension between the "same" vertices of the two cubes.

To me, complete visual representations are just the wrong tool for this. You might sort of get something out of it for the 4th dimension, but it becomes hopeless beyond that.

For inspiration, here's a 3blue1brown video which did an OK job giving intuition about a higher dimension problem, though a completely different one: https://youtu.be/zwAD6dRSVyI

The best explanation of the general concept I've encountered so far is the introduction to a 4D game, Miegakure.

The idea of extra dimensions is described in the jump from 2D to 3D first, which makes it much easier to visualize and extrapolate.

https://www.youtube.com/watch?v=9yW--eQaA2I

I highly recommend "Flatland The Movie." Your institution should be able to purchase it. You can find a free trailer on the internet.

When I was young, I read the book "Flatland: A Romance of Many Dimensions," probably in high school, and it made me "grok" the fourth dimension.

I would just say you have a square in 2D, and a cube is the similar shape in 3D, then what is the next shape in 4D. Then show them the cube in cube view and cross like fold out.

Don't jump to Schlegel diagrams and the rotating pictures on Wiki so fast...they are confusing. Do like I said instead.

I think showing that transition from 2d to 3D, gets them thinking there must be some thing in 4D. Just doing that makes it simpler than talking about all the Platonic solids. Which themselves most people don't know.

Then next show them the Dali painting: https://en.wikipedia.org/wiki/Crucifixion_(Corpus_Hypercubus) Mention that 4d has been intriguing to arts and writers (mention Flatland and how the sphere comes and explains 3D to the plane figure square. And then when the square says, fine, I bet there are higher dimensions than you, the sphere gets mad and runs off.

The point here is not to be having them list axes of symmetry or character groups or the like. It's to get them comfortable that there's some 4d stuff...and it's weird and hard to think about it. But at least they are in the mood to think about it!

I think you are a super nice guy and wicked smart. But too "hard".

Yes, if it becomes important to show all the polytopes than you will need to backtrack and discuss Platonic solids. Unless you played D&D, you don't know them as much. I mean how many non-chemists know there are C3 axes in the dodecahedron? But start with square-cube-tesseract before doing the Platonic solids. (They're harder than you think, even though all 3D.) Square-cube-tesseract is powerfully intuitive.

P.s. I am so tempted to make the Smith/Wellesly/Radcliff proverb a part of this...

P.s.s. https://en.wikipedia.org/wiki/%22%E2%80%94And_He_Built_a_Crooked_House%E2%80%94%22 "Stating that it "was, for many readers, the first introduction to four-dimensional geometry that held any promise of comprehensibility", Carl Sagan in 1978 listed "—And He Built a Crooked House—" as an example of how science fiction "can convey bits and pieces, hints and phrases, of knowledge unknown or inaccessible to the reader"."