# A 4th-Dimensional Hypersphere.

**URL:** <https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120>\
**Category:** Factual Questions\
**Created:** [July 2, 2008, 11:38pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120 "2008-07-02T23:38:16Z")\
**Posts on this page:** 18\
**Page:** 1

<div class="post-metadata">

**Author:** ![Jim\_B](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/jim_b/32/4338_2.png) [@Jim\_B](https://boards.straightdope.com/u/Jim_B)\
**Post date:** [July 2, 2008, 11:38pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/1 "2008-07-02T23:38:16Z")

</div>

I have had a little exposure to mathematics here and there. But I have always found it a fascinating topic. One thing I have always found interesting is the graphing system, and its relationship to other dimensions besides the 3 known ones. As I understand it, most scientists assume, time is the fourth dimension.

My question is simply this: what does a 4th-dimensional hypersphere look like? I have tried in the past graphing it as well as I could on two-dimensional graphing paper. And I suspect it looks like a balloon suddenly blowing up, then disappearing. But two-dimensional graphing paper is all I have to go by, so I am still not sure.

So what does it look like? And while we’re at it, is there any website or free (or not free) software on the net that would allow me to see fourth-dimensional graphs?

Thank you in advance to all who reply 🙂

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [July 2, 2008, 11:43pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/2 "2008-07-02T23:43:05Z")

</div>

A 4-d hypersphere looks like a 4-d hypersphere. Nothing in any lower dimension can reproduce it exactly, and we can only perceive three dimensions.

If you want to use time as the fourth axis, you can get some idea of what the unit 4-sphere centered at the origin is like. Imagine starting at t = -1 with a point at the origin, and growing a sphere until t = 0, when you have the unit 3-sphere centered at the origin. Then you start shrinking back down to the point at the origin with t = 1. More generally, the sphere at time t is the set of points (x, y, z) satisfying x[sup]2[/sup] + y[sup]2[/sup] + z[sup]2[/sup] = 1 - t[sup]2[/sup].

---

<div class="post-metadata">

**Author:** ![CalMeacham](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/calmeacham/32/35_2.png) [@CalMeacham](https://boards.straightdope.com/u/CalMeacham)\
**Post date:** [July 2, 2008, 11:49pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/3 "2008-07-02T23:49:20Z")

</div>

You can try to "visualize 4D (and higher) objects by contemplating their projections in a lower dimension, or by unfolding them in a lower dimension, or by looking at their intersection with a lower dimension.

Hyperspheres aren’t very interesting in this regard – all their projections and intersections are spheres and circles. In Edwin Abbott’s clasic **Flatland** , a 3D sphere interacts by intersecting with a 2-D world, which sees him as a circle – but a circle that changes size as he moves his plane of intersection through his third dimension. The 2D beings of Flatland cannot comprehend the shape of the sphere as he moves in a direction perpendicular to their world, but they see his circular symmetry. In just the same way, the intersection of a 4D hypersphere through our 3D world would be a sphere of changing size that finally disappears when it’s moved more than a disance equal to its radius from the “space” where its center interscets our world.  
You might have more luck – or gain more insight – by contemplating a 4D cube (tesseract), which you can project, unfold, or intersect with our world. Or a 4D triangle/tetrahedron figure, the other logical extension of extending a figure to higher dimensions.

---

<div class="post-metadata">

**Author:** ![panache45](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/panache45/32/64_2.png) [@panache45](https://boards.straightdope.com/u/panache45)\
**Post date:** [July 3, 2008, 3:57am UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/4 "2008-07-03T03:57:33Z")

</div>

This is why time is considered the fourth dimension. A sphere exists over a period of time, and each “cross-section” of its 4D existence is a momentary 3D sphere.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [July 3, 2008, 4:10am UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/5 "2008-07-03T04:10:12Z")

</div>

nitpick: everyone here is describing a _three_-dimensional sphere, not a 4-D one. The sphere we’re used to – the surface of a ball – is a 2-sphere. We name geometric objects by their own dimensions, not by the dimension of a common embedding space.

A 4-sphere would be the set of 5-tuples (a,b,c,d,e) so that

a[sup]2[/sup]+b[sup]2[/sup]+c[sup]2[/sup]+d[sup]2[/sup]+e[sup]2[/sup]=r[sup]2[/sup]

for some constant r.

---

<div class="post-metadata">

**Author:** ![DrCube](https://avatars.discourse-cdn.com/v4/letter/d/a3d4f5/32.png) [@DrCube](https://boards.straightdope.com/u/DrCube)\
**Post date:** [July 3, 2008, 5:03am UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/6 "2008-07-03T05:03:51Z")

</div>

Time != space.

If you want to know what a 3-sphere (thanks **Mathochist** ) in 4-d space\* looks like (or a 4-sphere in 5-d space), imagining time as one of the dimensions doesn’t help.

\*“In 4-d space” here means “drawn on 4-d graph paper” because you only need 3 dimensions for a 3-sphere – just not our boring 3 Euclidean dimensions. You need a nice round non-euclidean universe for that.

---

<div class="post-metadata">

**Author:** ![CalMeacham](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/calmeacham/32/35_2.png) [@CalMeacham](https://boards.straightdope.com/u/CalMeacham)\
**Post date:** [July 3, 2008, 12:35pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/7 "2008-07-03T12:35:48Z")

</div>

> [@](#):
>
> nitpick: everyone here is describing a three-dimensional sphere, not a 4-D one. The sphere we’re used to – the surface of a ball – is a 2-sphere. We name geometric objects by their own dimensions, not by the dimension of a common embedding space.
> 
> A 4-sphere would be the set of 5-tuples (a,b,c,d,e) so that
> 
> a2+b2+c2+d2+e2=r2
> 
> for some constant r.

I think you’re the victim of your specialized knowledge and terminology. In common parlance, a sphere as we’re used to is a three-dimensional object.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [July 3, 2008, 2:53pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/8 "2008-07-03T14:53:37Z")

</div>

[QUOTE=CalMeacham]  
I think you’re the victim of your specialized knowledge and terminology. In common parlance, a sphere as we’re used to is a three-dimensional object.  
[/QUOTE]

Fighting ignorance, **Cal**. Just because _hoi polloi_ think it’s right, it ain’t necessarily so.

---

<div class="post-metadata">

**Author:** ![Snarky\_Kong](https://avatars.discourse-cdn.com/v4/letter/s/a183cd/32.png) [@Snarky\_Kong](https://boards.straightdope.com/u/Snarky_Kong)\
**Post date:** [July 3, 2008, 3:33pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/9 "2008-07-03T15:33:02Z")

</div>

[QUOTE=Mathochist]  
nitpick: everyone here is describing a _three_-dimensional sphere, not a 4-D one. The sphere we’re used to – the surface of a ball – is a 2-sphere. We name geometric objects by their own dimensions, not by the dimension of a common embedding space.

[/QUOTE]

What about a solid ball, don’t you need 3 dimensions to describe a particular point within it?

---

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [July 3, 2008, 3:34pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/10 "2008-07-03T15:34:54Z")

</div>

OK, **Math** , fight my ignorance.

It sounds like you’re saying a sphere is a surface, and therefore is two dimensional. I get that (but they never told me that in school). What is the name of the corresponding solid? Wouldn’t that solid be truly a 3D object?

---

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [July 3, 2008, 3:36pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/11 "2008-07-03T15:36:37Z")

</div>

[QUOTE=Snarky\_Kong]  
What about a solid ball, don’t you need 3 dimensions to describe a particular point within it?  
[/QUOTE]  
I believe you need 3 dimensions to describe a point on the surface, too, but that surface has no thickness so is 2-dimensional (but curves within 3-space).

---

<div class="post-metadata">

**Author:** ![KP](https://avatars.discourse-cdn.com/v4/letter/k/a9adbd/32.png) [@KP](https://boards.straightdope.com/u/KP)\
**Post date:** [July 3, 2008, 3:41pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/12 "2008-07-03T15:41:46Z")

</div>

The volume enclosed by a sphere is a ball. (Think: “circle” vs. “disk”)

The phrases “hollow sphere” and “hollow ball” give me semantic headaches.

---

<div class="post-metadata">

**Author:** ![Snarky\_Kong](https://avatars.discourse-cdn.com/v4/letter/s/a183cd/32.png) [@Snarky\_Kong](https://boards.straightdope.com/u/Snarky_Kong)\
**Post date:** [July 3, 2008, 3:51pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/13 "2008-07-03T15:51:45Z")

</div>

[QUOTE=CookingWithGas]  
I believe you need 3 dimensions to describe a point on the surface, too, but that surface has no thickness so is 2-dimensional (but curves within 3-space).  
[/QUOTE]

Latitude and longitude. I guess that’s assuming you know what the surface is and not some arbitrary sphere.

---

<div class="post-metadata">

**Author:** ![KP](https://avatars.discourse-cdn.com/v4/letter/k/a9adbd/32.png) [@KP](https://boards.straightdope.com/u/KP)\
**Post date:** [July 3, 2008, 3:59pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/14 "2008-07-03T15:59:24Z")

</div>

Okay, Hamsters, that was cute: register _that_ I edited the post, but don’t register the text I edited to add. Don’t try it again. I have my eyes on you!

Anyway, as I was saying (and I’m sure a topologist will correct me if I am mistaken) I don’t believe one can say a sphere is “hollow” because the sphere _isn’t_. the “hollow part” isn’t part of the sphere itself. I can accept a “hollow ball” (marginally) as a spheroidal shell of nonzero thickness (and hence, not a sphere)

It’s the same relationship shared between a circle (a 1 D line embedded in a 2-D space), a disk (a 2-D surface bounded by a circle) and a ring (a 2-D surface bounded by a circle on the “outside” and a smaller circle “inside”) – though of course, since we are accustomed to conceptualizing/living in 3-space plus time, we commonly use the “disk” and “ring” to mean short cylinders with a disk or ring cross-section.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [July 3, 2008, 4:24pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/15 "2008-07-03T16:24:13Z")

</div>

[QUOTE=Snarky\_Kong]  
What about a solid ball, don’t you need 3 dimensions to describe a particular point within it?  
[/QUOTE]

Yes, but that’s a _ball_ and not a _sphere_.

> [@](#):
>
> Latitude and longitude. I guess that’s assuming you know what the surface is and not some arbitrary sphere

Yes, when you talk about a sphere you have a fixed radius in mind.

Or topologically it doesn’t matter, 'cause you’re talking about the sphere itself, independently of any particular embedding into space. Roughly speaking, in that view you say it’s 2-dimensional 'cause when you zoom in really close it looks like it’s a 2-dimensional plane. This is just the mathematical version of the way the Earth looks flat until you get far enough away from it.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [July 3, 2008, 4:28pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/16 "2008-07-03T16:28:59Z")

</div>

[QUOTE=CookingWithGas]  
OK, **Math** , fight my ignorance.

It sounds like you’re saying a sphere is a surface, and therefore is two dimensional. I get that (but they never told me that in school). What is the name of the corresponding solid? Wouldn’t that solid be truly a 3D object?  
[/QUOTE]

Do you mean a ball (all points with _less than_ a certain distance from a fixed point)? Or do you mean something like a 2-sphere with a finite thickness – what’s left after you take a ball and scoop out a ball with the same center but a smaller radius?

In the latter case, I’ve seen various terms, and there is no standard. “Spherical annulus” and “spherical shell” get the connotation of a ball-with-ball-shaped-hole. “Thickened sphere” gets the connotation of all the points within some small distance from a reference sphere.

---

<div class="post-metadata">

**Author:** ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)\
**Post date:** [July 3, 2008, 4:34pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/17 "2008-07-03T16:34:08Z")

</div>

[QUOTE=Mathochist]  
nitpick: everyone here is describing a _three_-dimensional sphere, not a 4-D one.  
[/QUOTE]  
Does it help that the OP described it as a 4 **th** -dimensional sphere (i.e. existing in fourth-dimensional space), not a 4-dimensional one?

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [July 3, 2008, 6:48pm UTC](https://boards.straightdope.com/t/a-4th-dimensional-hypersphere/455120/18 "2008-07-03T18:48:57Z")

</div>

[QUOTE=Thudlow Boink]  
Does it help that the OP described it as a 4 **th** -dimensional sphere (i.e. existing in fourth-dimensional space), not a 4-dimensional one?  
[/QUOTE]

The clarification still holds. Mathematicians describe shapes (like spheres) in terms of intrinsic properties (like how many degrees of freedom one has to move around on them), not in terms of extrinsic properties like the dimension of the embedding space.

I’m sure that the OP knew what object he was thinking of, but it’s still worthwhile to know the proper terminology.
