# Can A Three -Dimensional Figure With One Surface Exist?

**URL:** https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802
**Category:** Factual Questions
**Created:** [February 27, 2011, 3:54pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802 "2011-02-27T15:54:16Z")
**Posts on this page:** 12
**Page:** 1

<div class="post-metadata">

### Author: ![ralph124c](https://avatars.discourse-cdn.com/v4/letter/r/8797f3/32.png) [@ralph124c](https://boards.straightdope.com/u/ralph124c)
#### Post date: [February 27, 2011, 3:54pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/1 "2011-02-27T15:54:16Z")

</div>

I have seen renderings of such a thing (Klein Bottle). Can these things exist?  
Waht is the role of a 4th dimension in a Klein bottle?

---

<div class="post-metadata">

### Author: ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)
#### Post date: [February 27, 2011, 4:09pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/2 "2011-02-27T16:09:33Z")

</div>

A globe is a three-dimensional object with one surface. So is a Möbius Strip.

A [Klein bottle](http://iowahawk.typepad.com/.a/6a00d83451eb3469e20148c733dce2970c-500wi) is not three-dimensional. The handle goes through the side to connect with the top without making any hole, something that is possible only with four spatial dimensions.

---

<div class="post-metadata">

### Author: ![Wendell\_Wagner](https://avatars.discourse-cdn.com/v4/letter/w/8491ac/32.png) [@Wendell\_Wagner](https://boards.straightdope.com/u/Wendell_Wagner)
#### Post date: [February 27, 2011, 5:06pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/3 "2011-02-27T17:06:13Z")

</div>

Let us note that the picture in Exapno Mapcase’s link is not a picture (in two dimensions) of a four-dimensional Klein bottle. It’s a picture (in two dimensions) of a four-dimensional Klein bottle that has already been collapsed down into three dimensions. By collapsing it down into three dimensions, it was necessary to have the “handle” portion go through the side of the bottle. In an actual four-dimensional Klein bottle, the handle would not go through the side. It would reach out into the fourth dimension and thus enter the interior of the bottle without going through the side.

In the usual definition for these purposes, a globe does have two surfaces, the interior and the exterior of the globe. In a four-dimensional Klein bottle, there is only one surface. As the handle passes into four dimensions and then connects with the top of the bottle, the exterior and interior surfaces join.

---

<div class="post-metadata">

### Author: ![Half\_Man\_Half\_Wit](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/half_man_half_wit/32/21766_2.png) [@Half\_Man\_Half\_Wit](https://boards.straightdope.com/u/Half_Man_Half_Wit)
#### Post date: [February 27, 2011, 5:07pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/4 "2011-02-27T17:07:48Z")

</div>

I’m guessing the OP is after a non-orientable surface, in which, roughly, its ‘upper’ and ‘under’ sides are the same – i.e. it has only one side; in which case the Möbius strip is an example (it’s, however, 2D, as is the Klein bottle – the difference being that the Klein bottle can’t be embedded in 3D space (and also that the Klein bottle has no boundary, i.e. it’s a ‘closed surface’; if that’s necessary to fulfil the OP’s criteria, I don’t think it’s possible)).

---

<div class="post-metadata">

### Author: ![Wendell\_Wagner](https://avatars.discourse-cdn.com/v4/letter/w/8491ac/32.png) [@Wendell\_Wagner](https://boards.straightdope.com/u/Wendell_Wagner)
#### Post date: [February 27, 2011, 6:10pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/5 "2011-02-27T18:10:42Z")

</div>

Perhaps I should have said that a globe does have two sides, rather than two surfaces, and thus the Klein bottle has one side.

---

<div class="post-metadata">

### Author: ![MikeS](https://avatars.discourse-cdn.com/v4/letter/m/919ad9/32.png) [@MikeS](https://boards.straightdope.com/u/MikeS)
#### Post date: [February 27, 2011, 6:20pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/6 "2011-02-27T18:20:56Z")

</div>

If the question is “does there exist a closed, non-orientable surface that can be embedded in three-dimensional space (i.e., represented in three dimensions without intersecting itself)?”, then the answer is no. All non-orientable surfaces are [connected sums](http://en.wikipedia.org/wiki/Connected_sum) of some number of [projective planes](http://en.wikipedia.org/wiki/Boy%27s_surface), the projective plane can’t be embedded in three dimensions, and (hmm, here’s a loophole) I’m pretty sure that any surface that is the connected sum of unembeddable surfaces cannot itself be embedded in three dimensions. This last bit seems reasonable to me, though I don’t know for certain that it’s correct — anybody know for certain?

---

<div class="post-metadata">

### Author: ![Schnitte](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/schnitte/32/9033_2.png) [@Schnitte](https://boards.straightdope.com/u/Schnitte)
#### Post date: [February 27, 2011, 6:26pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/7 "2011-02-27T18:26:22Z")

</div>

Depends on what you mean by “three-dimensional”: Do you mean the object itself has a three-dimensional surface, or that it is embedded in the third dimension, i.e., bends (or is curved) in it:

The Möbius strip has one two-dimensional surface which is bent in the third dimension. The Klein bottle is exactly analogous to that, one dimension upscale, by having a two-dimensional surface that is bent in the fourth dimension.

A simple loop drawn with a pen on a piece of paper would be the analogue to the Möbius strip one dimension downward, incidentally: A one-dimensional surface bent in the second dimension.

---

<div class="post-metadata">

### Author: ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)
#### Post date: [February 27, 2011, 10:37pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/8 "2011-02-27T22:37:08Z")

</div>

Another analogy is to a set of linked rings. In two-dimensions - a drawing on a piece of paper, say - you can’t intersect two rings without one of them cutting through the other in two places. But in three dimensions, the rings can link with no cuts or interruptions by passing though one another. No two-dimensional being could understand how that is possible, even though the math would show it. The Klein bottle intersects itself without a cut or interruption in a similar manner, but we in the third dimension can’t see how this is possible.

---

<div class="post-metadata">

### Author: ![ZenBeam](https://avatars.discourse-cdn.com/v4/letter/z/3ab097/32.png) [@ZenBeam](https://boards.straightdope.com/u/ZenBeam)
#### Post date: [February 27, 2011, 11:19pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/9 "2011-02-27T23:19:38Z")

</div>

> [@MikeS](#):
>
> If the question is “does there exist a closed, non-orientable surface that can be embedded in three-dimensional space (i.e., represented in three dimensions without intersecting itself)?”, then the answer is no. All non-orientable surfaces are [connected sums](http://en.wikipedia.org/wiki/Connected_sum) of some number of [projective planes](http://en.wikipedia.org/wiki/Boy%27s_surface), the projective plane can’t be embedded in three dimensions, and (hmm, here’s a loophole) I’m pretty sure that any surface that is the connected sum of unembeddable surfaces cannot itself be embedded in three dimensions. This last bit seems reasonable to me, though I don’t know for certain that it’s correct — anybody know for certain?

Does this hold if the three-dimensional space itself is not infinite unbounded Euclidean? In a 3D space analogous to a torus, I’d think you’d be able to embed a Klein bottle without it self-intersecting.

OK, that’s probably not what the OP had in mind…

---

<div class="post-metadata">

### Author: ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)
#### Post date: [February 27, 2011, 11:28pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/10 "2011-02-27T23:28:55Z")

</div>

> [@](#):
>
> Does this hold if the three-dimensional space itself is not infinite unbounded Euclidean? In a 3D space analogous to a torus, I’d think you’d be able to embed a Klein bottle without it self-intersecting.

I can’t think of any way to do this, if the embedding space is itself orientable. But you might be right.

---

<div class="post-metadata">

### Author: ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)
#### Post date: [February 27, 2011, 11:32pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/11 "2011-02-27T23:32:56Z")

</div>

> [@ZenBeam](#):
>
> Does this hold if the three-dimensional space itself is not infinite unbounded Euclidean? In a 3D space analogous to a torus, I’d think you’d be able to embed a Klein bottle without it self-intersecting.
> 
> OK, that’s probably not what the OP had in mind…

Yep, I mean a Klein bottle can be embedded in a 2 dimensional manifold (e.g. itself).

I think the idea is that it can’t be embedded in a 3 dimensional Euclidean space. Any Euclidean space is non-compact.

---

<div class="post-metadata">

### Author: ![Nicolas\_Bourbaki](https://avatars.discourse-cdn.com/v4/letter/n/ecc23a/32.png) [@Nicolas\_Bourbaki](https://boards.straightdope.com/u/Nicolas_Bourbaki)
#### Post date: [February 28, 2011, 8:46pm UTC](https://boards.straightdope.com/t/can-a-three-dimensional-figure-with-one-surface-exist/572802/12 "2011-02-28T20:46:56Z")

</div>

Brainwave today during class. You can embed the Klein bottle in **RP** [sup]3[/sup] pretty easily. Just think of it as a ball with antipodes on the boundary identified and toss a cylinder in there and stretch it; cylinder goes out and out until it hits the boundary and comes back around the other side, and then you can glue together the two edges when they meet up. But the cylinder was turned inside out when you stretched it through the boundary of the ball, so you make a Klein bottle when you glue together the two ends.

I agree with **Chronos** that the embedding space probably has to be orientable, but I don’t have the machinery to guess why. I’ll ask my roommate later today.
