Talk:Surface

From Wikipedia, the free encyclopedia

Suggestions:

• Better graphics under "Some models", and add a higher genus example such as genus 2.

• A discussion of constant curvature metrics on surfaces, connections with the Gauss-Bonnet theorem and the Uniformization Theorem.

--Mosher 14:41, 21 September 2005 (UTC)

[edit] Reverts

I reverted the following sections, for resons below.

Open and closed surfaces

Surfaces have two directions, called u and v.

This sentence is akward. Surfaces don't have directions, but surfaces are two-dimensional. A more appropriate edit would say something like "the coordinates on a surface are commonly called u and v."

Surfaces most definitely do have directions. You can travel in a direction on a surface. A sphere has compass directions. Did I just imagine all of this ? StuRat 03:30, 16 October 2005 (UTC)

There are an infinite number of compass directions, not just two directions. In slang-jive, one can say a surfaces have directions, but in formal, proper grammatical talk, this is not a correct way to phrase the property of two-dimensionality of surfaces.

So your criticism comes down to it being written in simple language while you prefer language too complex for a general audience to understand. StuRat 19:33, 16 October 2005 (UTC)

Open surfaces are not closed in either direction. This means moving in any direction along the surface will cause an observer to "fall off" the edge of the surface. The top of a car hood is an example of a surface open in both directions.

This is just plain wrong. The definition of open and closed sets have nothing to do with direction, they have to do with topology, and with the existence of boundaries. A more appropriate statement might be "An open surface has a boundary. By traveling in some direction, one might reach the edge of an open surface."

Who is talking about sets here ? The rewrite is acceptable, but should say one would reach the edge. StuRat 03:30, 16 October 2005 (UTC)

You seem to be confusing "open" and "closed" with "having a boundary" and "not having a boundary".

Unless you are considering a surface with a seam, then having no edges should be the same as being a closed surface. StuRat 19:33, 16 October 2005 (UTC)

Surfaces closed in one direction include a cylinder, cone, and hemisphere. Depending on the direction of travel, an observer on the surface may fall off the edge of such a surface or eventually return to the same point.

OK, this can almost pass, except that the last bit is wrong. For a cylinder, there is only one compass direction that gets you back to the same point. Movement in any of the other (infinite number of) compass directions will cause to you spiral around, forever. If the cylinder is truncated, then you will spiral till you fall off.

Ok, just change it to "...or continue to travel on the surface forever." StuRat 03:32, 16 October 2005 (UTC)

Surfaces closed in both directions include a sphere and a torus. Moving in any direction on such surfaces will eventually bring the observer back to the same location.

True on a sphere, and utterly false on a torus. Pick a point and a compass direction for a torus, and you will, with probability one, spiral around forever and never return to the same point. The only time you get back to the same point is when the compass direction is a rational multiple of 2pi, say p/q, in which case you will spiral around p times one way, and q times the other way, and then come back to the same point. (Such a path is called a periodic orbit). However, the rationals are a set of measure zero compared to the real numbers, and so almost all directions will never return. (But they will get close, this is called Poincare recurrence.) This is a basic result of ergodic theory, and is true not just for tori, but for all surfaces of negative curvature, and more generally for all spaces of negative curvature. (Although a torus has zero curvature).

Geez, do we really need to get into all these details ? Just change it to "There is no direction of movement which will result in falling off the edge of the surface." StuRat 03:30, 16 October 2005 (UTC)

Flattening a surface

Some open surfaces and surfaces closed in one direction may be flattened into a plane without deformation of the surface. For example, a cylinder can be flattened into a rectangular area without distorting the surface distance between surface features. A cone may also be so flattened. Such surfaces are linear in one direction and curved in the other (surfaces linear in both directions were flat to begin with).

Wrong or confusing or I don't know what. You can flatten a cylinder by cutting it. But a cut cylinder is no longer a cylinder, its topology is different. Also, to assert flat vs. non-flat requires some concept of curvature, which hasn't been introduced. It also sounds like you are ironing a shirt, which is not the impression you want to give. I think you are trying to say that "a cylinder, a cone and a torus can carry a coordinate system that is flat". A fancier set of words would be that "a torus and a cylinder carry a metric with zero scalar curvature."

Your criticisms here are quite vague and seem to boil down to "I don't like it, not complex enough." Flattening something is a basic concept that requires no detailed discussion on the nature of curvature. Saying it the way you want would make it completely inaceessible to the general public. StuRat 03:30, 16 October 2005 (UTC)

No, I said "I don't like it because its WRONG".

No, you said it's "Wrong or confusing or I don't know what." StuRat 19:33, 16 October 2005 (UTC)

Other open surfaces and surfaces closed in one direction, and all surfaces closed in both directions, can't be flattened without deformation. A hemisphere or sphere, for example, can't. Such surfaces are curved in both directions. This is why maps of the Earth are distorted. The larger the area the map represents, the greater the distortion.

False. Any bounded, connected subset of the Euclidean plane is going to be open and flat. There is also the confusion about "direction" and "openness". For example, if I cut a hole in a donut, I get an open surface. Is this surface "closed on both directions"? "open in one direction"? Who knows? That's because its not a precise definition. linas 01:34, 16 October 2005 (UTC)

I have no idea what that "bounded, connected subset of the Euclidean plane" stuff means. A surface with a hole in it is not a canonical form, which is what I am discussing here. StuRat 03:30, 16 October 2005 (UTC)

If you don't know the topic, perhaps you should not be writing about it. linas 19:23, 16 October 2005 (UTC)

If you can't write in simpler terms than that, perhaps you should be writing for mathematical journals, not for publications intended for the general public, like Wikipedia. StuRat 19:33, 16 October 2005 (UTC)

Perhaps the article could be split into "mathematical" and "non-mathematical" part, leaving some room for people who like to write about mathematics but do not understand what they are writing about. Tomo 06:30, 18 October 2005 (UTC)

While you stated it quite rudely, I will take the suggestion anyway, and make a new article surface (computer). I was essentially writing about the CAD entity called a surface, and since mathematicians have control of this article and refuse to allow any discussion of any other type of surface, I will move my material there, instead. StuRat 15:19, 21 October 2005 (UTC)

[edit] Open and closed surfaces

The new section "Open and closed surfaces" is vague and contain mathematical errors. A computer program written with this level of vagueness and error would either not compile or would crash, and a Wikipedia reader trying to understand this section would turn away confused.

The section should be either substantially rewritten to be precise and correct, or should be removed.

Part of the vagueness and incorrectness stems from what I think is a lack in the present article. Namely, the article needs a discussion of local coordinate systems on a surface, along the lines of standard undergraduate textbooks in multivariable calculus, or more advanced textbooks in topology or differential topology. A local coordinate system on a surface is a pair of real valued, continuous functions, which may be denoted u and v, which are defined on a part of the surface, and which make that part look like a part of E² (Euclidean 2-space). In more advanced language, the domain of u and v should be an open subset W of the surface, and these two functions should define a homeomorphism between W and an open subset of E².

For example, on the surface of the earth, the meridian and longitude give a local coordinate system defined on all of the earth except at the north and south poles (where longitude is undefined), and at the 180 degree longitude line (where there is an ambiguity between east longitude and west longitude). On the other hand, although the north and south poles are singularities for meridian and longitude coordinates, the Conversion between polar and Euclidean coordinate systems can be used to give a local coordinate system near those points. Also, along the 180 degree longitude line, the ambiguity can be overcome by allowing longitudinal coordinates to take values between 0 and 360.

This example points out that local coordinates rarely apply to the surface as a whole, and that usually several different coordinate systems are needed to describe the surface globally. Moreover, on any surface, there are infinitely many different coordinate systems, because one can carry out infinitely many coordinate transformations starting from any one coordinate system.

The notion of direction that is used in the section "Open and closed surfaces" is confusing and ambiguous. At the opening of the section, directions are described as follows:

Surfaces are said to have two directions, commonly called u and v. That is, any point on a surface can be described by a u and v coordinate pair.

Under this description, a direction seems to be identified with a coordinate function of a local coordinate system. But since there are infinitely many local coordinate systems, there are infinitely many directions. This makes the sentence

This means moving in any direction along the surface will cause an observer to hit the edge of the surface

meaningless because, in a local coordinate system, usually the observer will hit the edge of the open set W before every encountering the edge of the surface. The sentences

Surfaces closed in one direction include a cylinder, cone, and hemisphere. Depending on the direction of travel, an observer on the surface may hit a boundary on such a surface or travel forever

are meaningless for similar reasons.

I tried to understand these last two sentences using a different notion of direction, namely a continuous path on the surface. But under that interpretation, on a cylinder, cone, and hemisphere there are infinitely many directions in which the observer hits the edge, and infinitely many others in which the observer does not hit the edge. Also, the sentences

Open surfaces are not closed in either direction. This means moving in any direction along the surface will cause an observer to hit the edge of the surface.

are either false or meaningless under either of the two possible interpretations of directions.

(My browser is misbehaving and not letting me sign. I am Mosher, who wrote the suggestions at the top of the page)

[edit] Reorg/rewrite on 9 Sep 2006

I just did a reorganization and rewriting of this thing, adding some stuff, removing some redundancy (two treatments of the classification), etc. I've tried to preserve all of the examples, although they are now spread throughout the discussion. Sorry if I've stepped on any toes. I'm not sure what to do about this:

For the nature of real surfaces see surface tension, surface chemistry, surface energy, roughness. The surface of a fluid object, such as a rain drop or soap bubble, is an idealisation. To speak of the surface of a snowflake, which has a great deal of fine structure, is to go beyond the simple mathematical definition.

I'll move some of it to Surface (disambiguation). I don't understand why the snowflake's surface would be illegitimate (except on an atomic level). Joshua Davis 06:43, 9 September 2006 (UTC)

I think there is a need for a applications section, where some of these could go. This article does need to be quite a general article covering all aspects. A snowflake surface is a surface formed as an energy minimisation process, so is technically a form of minimal surface. See for example Mathematical Existence of Crystal Growth with Gibbs-Thomson Curvature Effects. --Salix alba (talk) 09:25, 9 September 2006 (UTC)

Nice sphere picture. I agree that applications are desirable; that's why I threw in the blurb on aerodynamics (not very good, I know). Perhaps at some point we should move this to Surface (topology)?

In retrospect, singularities were coming up a lot, so I moved them up into the Definitions section so we could refer to them freely. I made your treatment of the implicit surfaces with singularities a little more vague, since it did not assume the function was analytic; I've left the specifically algebraic stuff to the algebraic geometry section. Let me know if you disagree. (There's still a slight problem in that zero sets of smooth functions with vanishing gradient can be very nasty, as I recall -- not anything we'd call a surface.) Joshua Davis 14:34, 9 September 2006 (UTC)