UPDATE: The mathematical content of this post is, as far as I know, original to me, and I posted it shortly after it occurred to me, without thinking through it critically. I later realized that it is entirely false. My next post explains why.

I’ve always enjoyed imagining higher dimensional geometry. Not that it’s easy to visualize, but it’s easy to discern what some of the properties would be. Today I thought of an example of such a property.

Consider the different ways two (infinite) lines can be positioned relative to each other in different dimensions:

- Lines can’t exist in 0-dimensional space
- Any two lines in 1-dimensional space are necessarily the same line
- In 2-dimensional space, two distinct lines can relate to each other in
two different ways:
- They can intersect
- They can be parallel

- In 3-dimensional space, there is a third option:
- They can intersect
- They can be parallel (which means they are always the same distance apart)
- They can be skew (if this one isn’t immediately obvious, imagine a bridge, where one line (the road) goes over the other line (the river), and they neither intersect, nor run parallel)

The first two options imply that the lines are co-planar: there is some flat (2D) plane containing both of them. In the third option the two lines are necessarily not co-planar.

- If we add a 4
^{th}dimension, we should expect to be able to distinguish between two different kinds of skew lines:- Skew lines that can be contained within the same 3-dimensional
sub-space, in the same way that parallel lines can be contained within
a 2-dimensional subspace. We can refer to them as Skew
_{3} - Skew lines that cannot be contained within the same 3-dimensional
sub-space, in the same way that Skew
_{3}lines cannot be contained within a 2-dimensional subspace. We can refer to them as Skew_{4}

Intersecting and parallel lines will both still be possible, of course.

- Skew lines that can be contained within the same 3-dimensional
sub-space, in the same way that parallel lines can be contained within
a 2-dimensional subspace. We can refer to them as Skew
- With the 5
^{th}dimension too, we should be able to have Skew_{5}lines, which cannot be contained in the same 4-dimensional subspace.

And up and up, as high as you like. Our fellow beings in some 307-dimensional world probably
spend most of their high school geometry class memorizing the 307 different ways that two lines
can relate to each other (my favorite is Skew_{108}), and developing their ability to quickly recognize them when projected
in a 307-dimensional hologram.

## Comments