Math is sometimes a real tease it seduces us with the beauty off reasoning geometrically in two and three dimensions
Where there's this really nice back-and-forth between pairs or triplets of numbers and spatial stuff that our visual Cortex is good at processing
for example if you think about a circle with radius one centered at the origin
You are in effect conceptualizing every possible pair of numbers x and y that satisfy a certain numerical
property that x² + y² is 1 and
The usefulness here is that a lot of facts that look opaque in a purely
analytic context become quite clear geometrically and vice-versa
Honestly this channel has been the direct beneficiary of this back and forth
Since it offers such a rich library of that special category of cleverness that involves connecting two
Seemingly disparate ideas, and I don't just mean the general back and forth between pairs or triplets of numbers and spatial reasoning
I mean this specific one between sums of squares and circles and spheres
It's at the heart of the video I made showing
how pi is connected to number theory in primes and the one showing how to visualize all possible pythagorean triples.
It also underlies the video on the Borsuk-Ulam theorem being used to solve
What was basically a counting puzzle by using topological facts about spheres?
There is no doubt that the ability to frame analytic facts geometrically is very useful for math
But it's all a tease - because when you start asking questions about quadruplets or quintuplets or 100 tuples of numbers
It's frustrating. The constraints on our physical space
Seem to have constrained our intuitions about geometry and we lose this back and forth
I mean it is completely reasonable to imagine that there are problems out there that would have clever and
Illuminating solutions if only we knew how to conceptualize, say, lists of 10 numbers as individual points in some space
for mathematicians or computer scientists or physicists
problems that are framed in terms of lists of numbers - lists of more than three numbers - are a regular part of the job.
And the standard approach to actually doing math in higher dimensions is to use two and three dimensions for analogy
but to fundamentally reason about things just analytically.
Somewhat analogous to a pilot relying primarily on instruments and not sight while flying through the clouds
now what I want to offer here is a hybrid between the purely geometric and the purely analytic views. A method for making the
analytic reasoning a little more visual in a way that generalizes to arbitrarily high dimensions and
to drive home the value of a tactic like this
I want to share with you a very famous example
where analogies with two and three dimensions
cannot help, because of something extremely counterintuitive that only happens in higher dimensions.
The hope though, is that what I show you here helps to make that phenomenon more intuitive
The focus throughout will be on higher-dimensional spheres.
For example, when we talk about a four-dimensional sphere
Say, with radius 1, centered at the origin.
What that actually is is the set of all quadruplets of numbers
x, y, z, w, where the sum of the squares of these numbers is 1.
What I have pictured here now is multiple
three-dimensional slices of a 4D sphere
projected back into three dimensions
but it's confusing and
even if you do wrap your head around it,
it just pushes the question back, to how you would think
about a 5- or a 6- or a 7-dimensional sphere
and more importantly squinting your eyes to understand a projection like this
is not very reflective of what doing math with a 4D sphere actually entails.
Instead, the basic idea here will be to get very literal about it and to think about four separate numbers
I like to picture for vertical number lines with sliders to represent each number.
Each configuration of these sliders is a point in 4D space: A quadruplet of numbers.
And what it means to be on a 4D unit sphere centered at the origin,
is that the sum of the squares of these four values is 1.
Our goal is to understand which movements of these sliders correspond to movements on the sphere.
To do that, it helps if we knock things down to two dimensions where we can actually see the circle.
So ask yourself,
What's a nice way to think about this relation that x²+y² is 1?
Well, I like to think of the value of x² as the real estate belonging to x,
and likewise the value of y² is the real estate belonging to y,
and that they have a total of 1 unit of real estate to share between them.
So moving around on the circle
Corresponds to a constant exchange of real estate between the two variables
Part of the reason I choose this term is that it lets us make a very useful
Analogy: That real estate is cheap near zero, and more expensive away from zero.
To see this, consider starting off in a position where x=1 and y is zero.
Meaning x has all of the real estate to itself
which in our usual geometric picture means we're on the right most point of the circle.
If you move x down just a bit to 0.9 the value of x²
changes to 0.81, so it has in effect given up 0.19 units of real estate
But for y² to increase by that same amount
Y has to move an entire 0.44 units away from zero more than four times the amount that x moved
in other words, X changed a little to give up expensive real estate,
So that y could move a lot and gain the same value of cheap real estate.
In terms of the usual circle drawing this corresponds to the steep slope near the right side.
A small nudge in x allows for a very big change to y
Moving forward, let's add some tick marks to these lines to indicate
what 0.05 units of real estate looks like at each point
that is how much would x have to change so that the value of x² changes by 0.05
As you walk around the circle the trade-off in value between x² and y²
gives this piston looking dance motion, where the sliders are moving more slowly away from 0
Because real estate is more expensive in those regions.
There are just more tick marks to cover per unit distance
Also, a nice side effect of the term real estate is that it aligns naturally with the fact that it comes in units of distance squared.
So the square root of the total real estate among all coordinates gives us the distance from the origin.
For a unit sphere in 3 dimensions the set of all triplets x,y,z, where the sum of their squares is 1
All we have to do is add a third slider for z
But these three sliders still only have the one unit of real estate to share between them
To get a feel for this imagine holding x in place at 0.5,
where it occupies 0.25 units of real Estate
What this means, is that y and z can move around
in the same piston dance motion we saw before
as they trade off the remaining 0.75 units of real Estate.
In terms of our typical way of visualizing a sphere,
this corresponds to slicing the sphere along the plane where x is 0.5
and looking at the circle formed by all of the choices for Y and Z on that sphere.
As you increase the value of x the amount of real estate left over for Y and Z is smaller
And this more constrained piston dance is what it feels like for the circular slice to be smaller
eventually once x reaches the value 1
there's no real estate left over, so you reach this singularity point where y and z are both forced to be 0
The feeling here is a bit like being a bug on the surface of the sphere
You are unable to see the whole sphere all at once instead
You're just sitting on a single point, and you have some sense for what local movements are allowed
In 4 dimensions and higher we lose the crutch of the global view that a spatial visual offers
But the fundamental rules of this real estate exchange remain the same
If you fix one slider in place and watch the other three trade off
This is basically what it means to take a slice of the 4D sphere to get a small 3D sphere in
Much the same way that fixing one of the sliders for the three dimensional case
Give us a circular slice when the remaining two were free to vary
Now watching these sliders move about and thinking about the real estate exchange is pretty fun
but it runs the risk of being aimless unless we have an actual high dimensional puzzle to sink our teeth into
so let's set aside the sliders for just a moment and bring in a very classic example of something that seems reasonable and
even dull in two and three dimensions
But which is totally out of whack in higher dimensions.
To start, take a 2x2 box centered at the origin
Its corners around the vertices (1, 1), (1, -1), (-1, 1) and (-1, -1).
Draw four circles each with radius one centered
At these four vertices so each one is tangent to two of its neighbors
Now I want you to think of the circle centered at the origin which is just large enough to be touching those corner circles
Tangent to each one of them
What we want to do for this setup and for its analogies in higher dimensions is find the radius of that inner circle
Here in two dimensions
We can use the pythagorean theorem to see that the distance from the origin
To the corner of the box is the square root of two which is around 1.414
Then you can subtract off this portion here, the radius of the corner circle, which by definition is 1
And that means the radius of the inner circle is square root of 2 minus 1 or about 0.414
No surprises here, that seems pretty reasonable.
Now do something analogous in three dimensions:
draw a 2 x 2 x 2 cube.
Whose corners have vertices (1, 1, 1), (1, 1, -1), on and on and on.
and then we're gonna take eight different spheres each of which has a radius one and
Center them on these vertices so that each one is tangent to three of its neighbors
Now again think about the sphere centered at the origin which is just large enough to be barely touching those eight corner spheres
As before, we can start by thinking about the distance from the origin to the corner of the box
say the corner at (1, 1, 1)
By the way
I guess I still haven't yet explicitly said that the way distances work in higher dimensions is
Always to add up the squares of the components in each direction and take the square root
If you've never seen why this follows from the pythagorean theorem just in the two-dimensional case
it's actually a really fun puzzle to think about and I've left the relevant image up on the screen for any of you who want
want to pause and ponder on it.
Anyway, in our case the distance between the origin and the corner (1, 1, 1) is the
Square root of 1²+1²+1² or square root of 3, which is about 1.73
So the radius of that inner sphere is going to be this quantity
Minus the radius of a corner sphere, which by definition is 1.
And again, 0.73 seems like a reasonable radius for that inner sphere.
But what happens to that inner radius as you increase dimensions?
Obviously the reason I bring this up. Is that something surprising will happen,
and some of you might see where this is going.
But actually don't want it to feel like a surprise -
as fun as it is to wow people with counterintuitive facts in math
The goal here is genuine understanding, not shock
For higher dimensions we'll be using sliders to get a gut feel for what's going on
But since it's kind of a different way of viewing things it helps to get a running start by looking back at how to analyze
the two and three-dimensional cases in the context of sliders
First things first,
how do you think about a circle centered at a corner, like (1, -1)?
Well previously for a circle centered at the origin
the amount of real estate belonging to both x and y was dependent on their distance from the number 0
And it's the same basic idea here as you move around the center
It's just that the real estate might be dependent on the distance between each coordinate and some other number
so for this circle centered at (1, -1)
the amount of real estate belonging to x is the square of its distance from 1
Likewise the real estate belonging to y is the square of its distance from negative 1
Other than that the looking feel with this piston dance trade-off is completely the same
for simplicity we'll only focus on one of these circles the one centered at (1, 1)
Now ask yourself
What does it mean to find a circle centered at the origin?
Large enough to be tangent to this guy when we're thinking just in terms of sliders
Well, notice how this point of tangency happens when the x and y coordinates are both the same
Or phrased differently, at the point of this corner circle closest to the origin
The real estate is shared evenly between x and y
This will be important for later. So let's really dig in and think about why it's true
Imagine perturbing that point slightly.
Maybe moving x a little closer to 0 which means y would have to move a little away from 0
The change in x would have to be a little smaller than the change in y
Since the real estate it gains by moving farther away from 1 is more expensive than the real estate that y
loses by getting closer to 1
But from the perspective of the origin point (0, 0) that trade-off is reversed.
The resulting change to x² is
smaller than the resulting change to y² since when real estate is measured with respect to (0, 0)
That move of y towards 1 is the more expensive one
What this means is that any slight perturbation
Away from this point where real estate is shared evenly results in an increasing distance from the origin
The reason we care
Is that this point is tangent to the inner circle
So we can also think about it as being a point of the inner circle
And this will be very useful for higher dimensions. It gives us a reference point to understanding the radius of that inner circle
Specifically you can ask how much real estate is shared between x and y at this point
when real estatemeasurements are done with respect to the origin (0, 0)
For example down here in two dimensions
both x and y dip below 0.5 in this configuration
So the total value x²+y² is going to be less than 0.5²+0.5²
Comparing to this halfway point is really going to come in handy for wrapping our mind around what happens in higher dimensions
Taking things one step at a time, let's bump it up to three dimensions
Consider the corner sphere with radius 1 centered at (1, 1, 1).
The point on that sphere that's closest to the origin
Corresponds to the configuration of sliders where x, y and z are all reaching down toward 0 and equal to each other
Again, they all have to go a little beyond that halfway point because the position 0.5
only accounts for 0.5² (or 0.25) units of real estate
so with all three coordinates getting 1/3 of a unit of real estate they need to be farther out.
And again, since this is a point where the corner sphere is tangent to the inner sphere,
it's also a point of the inner sphere.
so with reference to the origin (0, 0, 0)
Think about the amount of real estate shared between x, y, and z in this position corresponding to the tangent point
It's definitely less than 0.75
Since all three of these are smaller than 0.5
so each one has less than 0.25 units of real estate and
Again, we sit back and feel comfortable with this result, right?
The inner sphere is smaller than the corner spheres
But things get interesting when we move up into four dimensions
Our 2x2x2x2 box is going to have 16 vertices
at (1, 1, 1, 1), (1, 1, 1, -1) and so on,
with all possible binary combinations of 1 and -1
What this means, is that there are 16 units spheres centered at these corners,
each one tangent to four of its neighbours
As before, we'll just be focusing on one of them,
the one centered at (1,1,1,1).
the point of the sphere closest to the origin
Corresponds to the configuration of sliders where all four coordinates reach exactly halfway between 1 and 0.
And that's because when one of the coordinates is 0.5 units away from 1
it has 0.25 units of real estate with respect to the point 1.
We do the same trick as before
Thinking of this now as a point of the inner sphere and measuring things with respect to the origin
But you can already see what's cool about four dimensions:
as you switch to thinking of real estate with respect to (0, 0, 0, 0)
It's still the case that each of these four coordinates has 0.25 units of real estate
Making for a total of 1 shared between the four coordinates
In other words that inner sphere is precisely the same size as the corner spheres
This matches with what you see numerically by the way
where you can compute the distance between the origin and the corner (1,1,1,1) is the square root of four,
And then when you subtract off the radius of one of the corners spheres what you get is 1.
But there's something much more satisfying about seeing it, rather than just computing it in particular
Here's a cool aspect of the fact that that inner sphere has radius one
move things around so that all of the real estate goes to the coordinate x and
You'll end up at the point (1,0,0,0).
this point is actually touching the 2x2x2x2 box.
And when you're stuck thinking in the two or three dimensional cases,
this fact, that the inner sphere has radius one,
The same size as the corner spheres and that it touches the box
Well it just seems too big
But it's important to realize this is fundamentally a four dimensional phenomenon, and you just can't cram it down into smaller dimensions
But things get weirder. Let's knock it up to five dimensions.
In this case, we have quite a few corner spheres:
32 in total.
But again, for simplicity, we'll only be thinking about the one centered at (1, 1, 1, 1, 1)
Think about the point of the sphere closest to the origin where all five coordinates are equally splitting the one unit of shared real-estate
This time, each coordinate is a little higher than 0.5
if they reach down to 0.5
Each one would have .25 units of real estate giving a total of 1.25 which is too much?
But, the tables are turned when you view this as a point on the inner sphere
Because with respect to the origin this configuration has much more than one unit of real estate
Not only is every coordinate more than .5 units away from zero
But the larger number of dimensions means that there's more total real estate when you add it all up
specifically you can compute that the radius of that inner sphere is about 1.24
The intuitive feel for what that means,
is that the sliders can roam over more territory than what just a single unit of real estate would allow
One fun way to see what this means is to adjust everything so that all of the real estate goes to just one coordinate
Because this coordinate can reach beyond 1, what you are seeing is that this five dimensional inner sphere
Actually pokes outside the box
But to really get a feel for how strange things become as a last example. I want to jump up into ten dimensions
remember, all this means is that points have ten coordinates for a sphere with radius one a
Single unit of real estate must be shared among all ten of those coordinates
as always the point of this corner sphere closest to the origin is the one where all ten coordinates split the real estate evenly and
here you can really see just how far away this feels from the origin or
phrased differently, that inner sphere is allowed to have a very large amount of real estate.
In fact, you can compute that the radius of the inner sphere is about 2.16
and viewed from this perspective,
where you have tenfold the mentions to share that real estate
Doesn't it actually feel somewhat reasonable that the inner sphere should have a radius more than twice as big as all those corner spheres?
To get a sense for just how big this inner sphere is,
look back in two dimensions and imagine a 4x4 box
bounding all four circles from the outside
Or go to three dimensions, and imagine a 4x4x4 box
bounding all of those corner spheres from the outside
Way up here in ten dimensions, that "inner sphere" is actually large enough to poke
Outside of that outer bounding box since it has a diameter bigger than four
I know that seems crazy
But you have to realize that the face of the box is always two units away from the origin
no matter how high the dimension is,
and fundamentally, it's because it only involves moving along a single axis
But the point (1, 1, 1, 1, 1, 1, 1, 1, 1, 1) which Determines the inner spheres radius is
Actually really far away from the center all the way up here in 10 dimensions
and it's because all 10 of those dimensions add a full unit of real estate for that point.
And of course as you keep upping the dimensions that inner sphere just keeps growing without bound
Not only is it poking outside of these boxes, but the proportion of the inner sphere lying inside the box
Decreases exponentially towards zero as the dimension keeps increasing
So taking a step back,
one of the things I like about
Using this slider method for teaching
is that when I shared it with a few friends
The way they started to talk about higher dimensions became a little less
Metaphysical and started to sound more like how you would hear a mathematician talk about the topic
Rather than skeptically asking whether or not 10 dimensional space is a real thing
Recognizing that it's exactly as real as numbers are
People would actually probe at what other properties high dimensional spheres have and what other shapes feel like in terms of sliders
This box situation is just one in a number of things that feel very crazy about higher dimensional spheres
And it's really fun to think about these others in the context of sliders and real estate
It's obviously limited
You're a bug on the surface of these objects only getting a feel for one point at a time and for the rules of movement
Also, Geometry can be quite nice when its coordinate free and this is the opposite of that
But it does give a foothold into thinking about high dimensional shapes a little more concretely
Now you could say that viewing things with sliders is no different from thinking about things purely analytically
I mean, it's honestly a little more than representing each coordinate literally. It's kind of the most obvious thing you might do
but this small move makes it much more possible to play with the thought of a high dimensional point and
Even little things like thinking about the squares of coordinates as real estate
Can shed light on some seemingly strange aspects of high dimensions like just how far away the corner of a box is from its center
If anything the fact that it's such a direct representation of a purely analytic description is
Exactly, what makes it such a faithful reflection of what genuinely doing math in higher dimensions entails
we're still flying in the clouds trusting the instruments of analytic reasoning, but this is a
Redesign of those instruments; one which better takes advantage of the fact that such a large portion of our brains goes towards image processing.
I mean, just because you can't visualize something doesn't mean you can't still think about it visually
Before you go, I've got a couple announcements for you guys, including a Q&A follow-up that I owe you. First off,
I want to tell you about Brilliant.org who helped to support this video
this is just such a good example of strong alignment between sponsor and content creator.
A lot of people ask me for advice on where and how to learn more math and more than anything I cannot emphasize enough
How important it is to
Prioritize active problem-solving with things like lectures and readings serving as a supplement to that main goal
And there's an irony in me saying that since the videos I create are a form of passive education
But my real hope with these is that they inspire people to go and actively play with math
Brilliant.org is one of the best places on the internet to do that
I'm a member of their subscription service, and I think anyone watching this video would enjoy their course on the joy of problem solving or
aptly enough outside of the box geometry
Also their complex algebra course is really good
But there's just many many good things to choose from both in and out of math
the user experience is one of going through a very thoughtfully curated list of puzzles and questions and
Honestly, it's just really fun
If you follow the link brilliant.org/3b1b that lets them know that you came from here
Also, I'm starting a podcast. It's with two very smart guys each named ben where we talk about education and various other things
Some of you may remember that last video I elicited Q&A questions and the first episode includes my responses to many of them
For the version of it up on YouTube I actually had some fun and made the background video just a point wandering aimlessly
Around on a 10 dimensional sphere for an hour, and it's weirdly captivating to watch
so if you want to learn stuff go check out brilliant if you want more passive consumption check out the podcast and
As always if you want to help out the channel consider sharing the video or supporting on Patreon