40

The reason I'm asking this question: I work at the National Museum of Mathematics and, amidst my sundry duties (which generally have nothing to do with the exhibits), I do have the authority to alter some of the text in the exhibit descriptions, being the only on-site, full-time, PhD-holding mathematician who works there. When I see things that I know to be wrong, I seek to fix them (though it can take a long time to get to it). I thought it would be interesting to, in a case where I'm not sure, look for a consensus among the community in this way.

The usage of the phrase in question refers to a surface embedded in $3$-dimensional space. In particular, an exhibit in which one can view $2$-dimensional solutions to equations in $3$ variables is advertised as: "Bring formulas to life by exploring the multiple number of unusual three-dimensional surfaces they can create."

My opinion is that a surface is, by definition, 2-dimensional, and that the only reason someone would use the phrase "3-dimensional surface" is if they are not familiar with proper mathematical nomenclature. However, I want to know what the community thinks.

Update

Now that I no longer work at MoMath, I can say that I was reprimanded by the Director for this post, who also refused to consider any change to the text in question. For context, a colleague found a typo in someone's last name in other exhibit info, and fixing that was also rejected. People should know that that Museum needs a lot of help, politically (the math errors are the tip of the iceberg). I did my part but more people from the math community should look into this and speak up.

j0equ1nn
  • 3,189
  • 16
  • 27
  • 14
    I'd rather say something like "surfaces in three dimensions". You are right, surfaces cannot be 3-dimensional. – Spenser Aug 07 '19 at 00:46
  • 5
    Oooh...... I don't know. It's technically wrong but most people hearing 2 dimensional surfaces would assume they exist in the plane. And the point is these surfaces exist in 3 dimensional space. And 3 dimensional is more dynamic than 2D. But you *are* a museum and it is a sin for museums to be inaccurate. Perhaps ""Bring formulas to life by exploring the multiple number of unusual surfaces they can create in 3 dimensional space". Which is clunky as heck but accurate. – fleablood Aug 07 '19 at 00:55
  • 12
    @fleablood For the record, *I* am not a museum; I *work* for a museum. – j0equ1nn Aug 07 '19 at 00:56
  • 5
    Dang. People are a dime a dozen, but talking museums are more interesting. ... Hmm, so the question I ask is is the a terminology for things that reside in three dimensions which may not themselves be three dimensional. Actually is "three dimensional" even a term? This may be boring but "curved" might be more accurate. – fleablood Aug 07 '19 at 01:00
  • @fleablood Haha! I with the museum talked.... Sure, $3$-dimensional is a term though. And if you think about it, all the surfaces the layperson is familiar embed in $\mathbb{R}^3$. – j0equ1nn Aug 07 '19 at 01:07
  • 2
    "curved" surfaces? – David Holden Aug 07 '19 at 01:44
  • 2
    Any chance we take a glance at this exhibit? – trisct Aug 07 '19 at 03:58
  • I agree this is incorrect terminology! – Cheerful Parsnip Aug 07 '19 at 04:15
  • This question might also be a good fit for matheducators.se. I'm not sure what should be done in this situation, but I think it's important to see the museum's current terminology not so much as making an inaccurate claim as using terminology with a colloquial but non-technical meaning. – J.G. Aug 07 '19 at 10:43
  • 1
    Two thoughts: (a) I have seen people that called surfaces (e.g. a sphere) three-dimensional, since by moving on it, you move in the $x$,m $y$ and $z$ direction of the embedding space, so it might be worthwile to explain the intrinsic and extrinsic geometry in more depth. (b) On the other hand, people probably think of surfaces as 2d things in 3d space, so you could just say "Bring formulas to life by exploring the surfaces they can create.". Nothing is wrong, laymen are neither confused nor have wrong statements imposed on them. – Toffomat Aug 07 '19 at 11:07
  • 1
    "Bring formulas to life by exploring the multiple number of unusual surfaces they can create in three-dimensional space" – A C Aug 07 '19 at 13:59
  • 8
    In my undergrad course on this topic a submanifold of $\mathbb{R}^n$ was called a (hyper)-surface, if it had dimension $n-1$, which neatly generalises the intuitive notion of a surface in $\mathbb{R}^3$. – Jannik Pitt Aug 07 '19 at 14:58
  • 1
    Ask me if a 3-dimensional surface exists, and I'll show you a bowl. :P – Mason Wheeler Aug 07 '19 at 20:02
  • What is the nature of the exhibit, does it use some kind of 3D visualization technology (instead of just a common computer screen)? Then the "three-dimensional" might just refer to the display technology, not the nature of the objects in the scene. – Lutz Lehmann Aug 07 '19 at 20:32
  • @LutzL No, it's just a screen. – j0equ1nn Aug 07 '19 at 20:42
  • 1
    Do you think the nature of the surfaces actually has to be specified? Would the description be worse if it were just changed to "...unusual surfaces they can create."? – llama Aug 07 '19 at 21:22
  • @llama I'm with you, and that's what I'm leaning toward currently. I think bringing up dimension at all is distracting; the interesting part of the exhibit is that the surfaces are solutions to the equations you're playing with. – j0equ1nn Aug 07 '19 at 21:26
  • 1
    How about a Mobius strip? – Mast Aug 08 '19 at 07:35
  • Maybe just replace "surfaces" with "shapes"? – Deruijter Aug 08 '19 at 12:49
  • @Mast Yes, a Mobius strip can be defined by an equation in 3 variables, as an embedding in $\mathbb{R}^3$, so is an example of the type of surface we're talking about. – j0equ1nn Aug 09 '19 at 01:19
  • Maybe n dim space it is natural to think of n dim regions as the default, and thus 1 less dim creates a (hyper) surface. If it's like a physical space, then there would technically not exist anything less that n dim probably as it would have zero (hyper) volume. The surface is then just a boundary. Anything lower dim (in that space) will then just be a boundary of a boundary. – jdods Aug 14 '19 at 00:13

5 Answers5

39

I have seen some authors who use "surface" as an equivalent of "manifolds".(Zorich, _Mathematical Analysis_) Personally I don't like it when someone refers to an $n$-dimensional manifold ($n\neq2$) as a surface; it is contradictory to intuition. But I wouldn't say it is wrong.

However, in your case, I do think it is wrong to confuse a "3-dimensional surface" with a "2-dimensional surface embedded in $\mathbb R^3$". I'd suggest changing it to "Bring formulas to life by exploring the multiple number of unusual surfaces they can create in three-dimensional space". (The audience probably wouldn't notice a thing.)


Situation 1: the description reads "...3-d surfaces..."

general public: "cool."

mathematician: "bad terminology."

Situation 2: the description reads "...surfaces...in 3-d space"

general public: "cool."

mathematician: "cool and rigorous."

trisct
  • 4,859
  • 10
  • 31
  • "Surface in 3D space": while technically correct, might elicit the image of _planes_ (planar surfaces) in 3D space. Whereas "3D surfaces", I guess, is intended to emphasize that said surfaces bend and curve in space. – Pablo H Aug 07 '19 at 12:25
  • 2
    From the op's descriptions I'd say that is the intention indeed. But I wouldn't use intention to justify a bad terminology. Although laymen probably wouldn't notice the difference, I do believe it is up to math people to explain or describe math to them in a comprehensible manner without losing any mathematical rigor. – trisct Aug 07 '19 at 13:01
  • 2
    Alternately, "Bring formulas to life by exploring how they can create unusual curved surfaces in three-dimensional space." – Michael Seifert Aug 07 '19 at 19:27
  • Even in the sense of this reference, these are ordinary $2$-dimensional surfaces (with $k=2$ and $n=3$). I'm leaning toward the opinion that specifying the dimension of the ambient space is totally unnecessary. In fact, many of the solutions to the equations in the exhibit have singularities and self-intersections, so talking about embeddings becomes more trouble than it's worth. – j0equ1nn Aug 07 '19 at 20:12
  • 1
    Also, I think that in each of your situations, the "general public" comment is more likely to instead be "What is dimension?" rather than "cool." I'd prefer to guide them to thinking about solution sets than even get into all that! – j0equ1nn Aug 07 '19 at 20:19
  • @j0equ1nn Maybe some people haven't heard of "3-dimensional" but surely everyone knows "3D". – user253751 Aug 08 '19 at 00:52
  • @j0equ1nn Since we don't know what exactly the exhibit looks like, you should have a better idea than us. As far as I am concerned, it's okay as long as you keep it precise, and even better if comprehensible and intriguing. – trisct Aug 08 '19 at 01:54
  • That seems a bit perverse, I have never seen surfaces referred to in this way. – Tom Aug 13 '19 at 19:38
  • I think it's also ok to not mention the dimension at all, if that's what you mean. The point is not to put "3d" before "surfaces" – trisct Aug 14 '19 at 03:53
  • I like that you actually found a reference where "surface" is used in the way in question, as well as captured the sentiment of the math community, so I'm picking this answer. As discussed, I'll probably go with a different phrasing once I get to edit the text ... which, unfortunately, will take a while, but I do plan to do it! – j0equ1nn Aug 14 '19 at 14:33
13

Although as a mathematician I would never use that terminology, your target audience is probably non-mathematicians. Non-mathematicians do understand "three-dimensional surface" better than "embedding of a surface in three dimensions". I think I would leave the text as it is, except replace "multiple number of" by "many".

Robert Israel
  • 416,382
  • 24
  • 302
  • 603
  • 1
    It's true the vast majority of the target audience is non-mathematicians. A lot of them are kids that love math though, who get their first impressions from the museum. I wonder, in cases like this, whether we should challenge/expand their current understanding. I'm leaning toward taking out the phrase "3-dimensional" (and yeah, putting "many" instead of "multiple number"). – j0equ1nn Aug 07 '19 at 01:16
  • 8
    I would expect the word "embedding" to be confusing to non-mathematicians, but might "a surface in three dimensions" be a reasonable compromise between mathematical precision and popular understanding? – David K Aug 07 '19 at 11:25
9

You‘re correct: surfaces are by definition $2$-dimensional manifolds. Some (not all, cf. the Klein bottle) can be embedded in $\Bbb R^3$, which seems to be what the text is referring to. This enables us to think of an embedded surface as a $3$-dimensional object (the extrinsic view). Nevertheless, the abstract manifold as a topological space with an atlas is $2$-dimensional (the intrinsic view).

Depending on what the exhibit is focusing on this might warrant a more detailed explanation.

Lukas
  • 3,446
  • 6
  • 15
  • 32
  • 1
    Cool. That's what I'm saying. Let me wait a bit though and see if anyone has any justification for this terminology. – j0equ1nn Aug 07 '19 at 00:45
  • Do you mean the Klein bottle can *only* be embedded in $R^3$? – allo Aug 07 '19 at 10:21
  • 5
    They can be generalized as _hypersurfaces_ though, which are (n-1)-dimensional manifolds embedded in a n-dimensional space – Annyo Aug 07 '19 at 10:25
  • @allo I meant that the Klein bottle can't be embedded in $\Bbb R^3$, only in $\Bbb R^n$ for $n \geq 4$. – Lukas Aug 07 '19 at 10:54
  • @Annyo You're right, they generalize to hypersurfaces. But this is the ordinary case, where $n=3$, not the generalization. – j0equ1nn Aug 09 '19 at 01:00
  • The Klein bottle cannot be embedded in $R^3$, look up some pictures if you are not sure. You can that when you immerse the manifold there are self-intersections. – Tom Aug 13 '19 at 20:08
  • @Tom I implicitly assumed embeddings to be injective. – Lukas Aug 13 '19 at 20:19
  • I was responding to allo as he asked if the Klein bottle can only be embedded in $R^3$, which is clearly false, I should have said @allo I suppose. – Tom Aug 13 '19 at 20:38
5

I agree with the other answers that

Bring formulas to life by exploring the multiple number of unusual three-dimensional surfaces they can create.

is mathematically incorrect.

I also agree that a nonmathematician will understand what you mean, and will not object.

You can make your meaning both clear and correct with a simple change:

Bring formulas to life by exploring the multiple number of unusual surfaces they can create in three dimensions.

(This is essentially what @trisct suggests, said a liitle more compactly.)

Ethan Bolker
  • 80,490
  • 6
  • 95
  • 173
2

Depending on who your target audience is, it may not even be necessary to include the terminology relating to dimensions.

For example, if you're displaying this to young kids who are there by their own volition, you may spark their curiosity by simply saying "Bring formulae* to life by exploring the many unusual surfaces they can create," without overloading them with too much vocabulary about "dimensions" and "space." My understanding is the focus of this exhibit is to show how some algebra can be represented visually, which is really cool. Draw attention to this, without over-complicating it (while still making it factual!)

If you desire to keep information about dimensionality in the exhibit, then as stated in the other answers, I feel it is important to not talk about 3-dimensional surfaces, as that will cause a lot of confusion for anybody who learns about this for the first time from this exhibit (speaking from experience here! I remember learning about surfaces from my math teacher who referred to them as 3D objects and it took me a long time to disabuse myself of that erroneous notion :< ); instead, it should be made explicit that these are surfaces in 3D space. In the current day, with the advent of 3D movies and VR technology etc, any clued-up kid (and let's face it, most kids interested in a math exhibit are probably also into their video games and cool tech) are definitely going to have a good enough intuition of what "3D" means.

*Side-note: I was under the impression that "formulae" is the plural of "formula" -- has their been an evolution of the English language that has made "formulas" an acceptable pluralization of "formula?")

Marko
  • 221
  • 1
  • 12
  • 1
    According to [the OUP's lexico.com website](https://www.lexico.com/en/definition/formula): "The word formula has two possible plural forms, formulae and formulas. The traditional distinction is that formulas should be used in general writing and formulae in mathematical and scientific contexts, but analysis of the Oxford English Corpus shows that formulas is increasingly the dominant form in both technical and general uses." – TonyK Aug 08 '19 at 12:40
  • @TonyK makes sense, like any language, English is ever-evolving. – Marko Aug 12 '19 at 05:09
  • I also always thought that the plural of 'supernova' was 'supernovae', but it seems like 'supernovas' is allowed nowadays. – Tom Aug 13 '19 at 20:40