Talk:Surface (geometry): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
No edit summary
 
imported>Peter Schmitt
(→‎Picture: new section)
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{checklist
{{subpages}}
|                 abc = Surface (geometry)
 
|               cat1 = Mathematics
== Are surfaces necessarily infinite? ==
|               cat2 =
 
|               cat3 =
Is a surface only something like a plane or sphere, which has no edges, or would one face of a cube count as a surface?  If a surface necessarily has no edges, isn't it misleading to say it has length and breadth?  --[[User:Catherine Woodgold|Catherine Woodgold]] 20:20, 27 April 2007 (CDT)
|           cat_check = n
 
|             status = 3
 
|        underlinked = y
:I think the point here is that surfaces are 2-dimensional. In algebraic geometry, you can consider surfaces defined over arbitrartry fields (even finite ones), but in differfdential geometry you're pretty much limited to R (or C). But even in the case of algebraic surfaces, you usually work over an algebraically closed field and then talk about points definable (or "rational") over a subfield. [[User:Greg Woodhouse|Greg Woodhouse]] 21:37, 27 April 2007 (CDT)
|            cleanup = y
 
|                  by = --[[User:Aleksander Stos|AlekStos]] 14:46, 26 March 2007 (CDT)
::I think there are different definitions of surface used in different branches of mathematics, thus the confusion.  What the article currently says doesn't seem to me to agree with what you're saying.
}}
::I think the article needs to be expanded to cover several different definitions, including at least one mathematically rigourous one (probably provided by someone other than me).  It could mention definitions from physics or whatever, at least in order to clarify that that's not what's meant here.
::At the moment it looks ambiguous to me.  --[[User:Catherine Woodgold|Catherine Woodgold]] 10:26, 29 April 2007 (CDT)
 
:That's a tough one. The usual approach is to require that there be mappings (functions) of the form <math>\scriptstyle\phi:U\subset\mathbb{R}^2\rightarrow S</math>, sometimes called coorinate charts, such that if <math>\phi</math> and <math>\psi</math> are two charts about the same point, the composite <math>\scriptstyle\phi \circ \psi^{-1}: \mathbb{R}^2 \rightarrow \mathbb{R}^2</math> is a differentiable map with a differentiable inverse. This, in turn, is true if the Jacobian matrix has nonzdero determinant (by the inverse function theorem for functions of several variables). Intuitively, all this means is that the change of local coordinates doesn't "collapse" anything as would, say, <math>\scriptstyle (x, y) \mapsto (x, 0)</math>. That's a lot of jargon. Feel fre to translate it all into English! [[User:Greg Woodhouse|Greg Woodhouse]] 11:49, 29 April 2007 (CDT)
 
::Sorry, I can't translate that into English because I don't understand it!  I don't know the meaning of "charts", I don't know what S is -- oh, wait!  S must mean the surface, and charts are just functions such as you describe.  <math>U</math> is a subset of <math>\mathbb{R}^2</math> (the Euclidean plane) and <math>\phi</math> is a function from U to S.  If U is only a subset of <math>\mathbb{R}^2</math>, this has me wondering again whether limited surfaces such as one face of a cube would count.  I think you've abbreviated a lot -- it's not easy to follow.  OK, you mean you can find at least one chart <math>\phi</math> and at least one chart <math>\psi</math>, which could both be the same chart (I don't see why one wouldn't usually use the same one), such that if you apply one to get from <math>\mathbb{R}^2</math> to the surface S and then the inverse of the other to get back to <math>\mathbb{R}^2</math>, you have a differentiable mapping from <math>\mathbb{R}^2</math> to <math>\mathbb{R}^2</math> with a differentiable inverse.  I'm not sure why it has to be required to be differentiable.  Just requiring that both be functions (rather than multivalued relations) would seem to prevent planes from collapsing onto lines.  I think to get a Jacobian matrix in the first place you have to be dealing with a differentiable function.  I think the Jacobian in this case is a matrix of four partial derivatives.  Maybe you mean the Jacobian of <math>\scriptstyle\phi \circ \psi^{-1}</math>.  Maybe you mean that if it has a nonzero determinant then the inverse of that function exists and is also differentiable.  In general, if working with very non-Euclidean geometries I'm not sure whether "determinant" would be replaced with some other norm.  I think this definition doesn't allow any surfaces to exist in finite fields.  I'm sort-of thinking out loud here.  I think I almost understand it.  --[[User:Catherine Woodgold|Catherine Woodgold]] 13:17, 29 April 2007 (CDT)
 
:The problem is that we don't know how to do calculus on S (not yet, anyway), so we can't talk about derivatives of functions with values in S. What we can do is talk about derivaatives of the "change of coordinates" <math>\phi \circ \psi^{-1}</math> because it's a function from <math>\mathbb{R}^2</math> to <math>\mathbb{R}^2</math>. Functions between surfaces are defined to be diffeentiable if their representation in local coordinates is differentiable, and the condition stated here ensures that that makes sense (i.e., is independent of the choice of charts). [[User:Greg Woodhouse|Greg Woodhouse]] 15:43, 29 April 2007 (CDT)
 
::OK, so it sounds to me that any subset of <math>\mathbb{R}^2</math> can be used:  for example, a finite set of points, in which case I think the definition of "differentiable" is trivially satisfied for any function.  Therefore any finite set is a surface.  By a similar argument, any countable set is a surface.  For that matter, <math>\mathbb{R}^3</math> is a surface, using a mapping that manipulates the decimal expansions;  but I suppose you then interpret the charts to get a metric on the surface so that <math>\mathbb{R}^3</math> won't act like <math>\mathbb{R}^3</math>.  In particular, a plane is a surface, and the interior of a polygon is a surface, whether or not its edges are also included.  (Unless the definition of "differentiable" is taken to include a requirement about neighbourhoods having to belong to the set.) Also, an infinite set of polygons, each pair separated from each other but collectively converging to a point, is a surface, if I understand the definition correctly. (And the determinant of the Jacobian is always an ordinary determinant, because although <math>S</math> might be some strange object, we're talking about a function from <math>\mathbb{R}^2</math> to <math>\mathbb{R}^2</math>.) --[[User:Catherine Woodgold|Catherine Woodgold]] 20:58, 30 April 2007 (CDT)
 
== Picture ==
 
Sorry, no! The Bilbao museum is a famous example of modern architecture, but not a suitable illustration for the mathematical notion of a surface.
It may be that some bird eye's view -- together with a suitable explanation -- can be used, but not this picture. --[[User:Peter Schmitt|Peter Schmitt]] 00:17, 18 March 2010 (UTC)

Latest revision as of 19:17, 17 March 2010

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition The (two-dimensional) face of an object in space, or its mathematical abstraction. [d] [e]
Checklist and Archives
 Workgroup category Mathematics [Categories OK]
 Talk Archive none  English language variant British English

Are surfaces necessarily infinite?

Is a surface only something like a plane or sphere, which has no edges, or would one face of a cube count as a surface? If a surface necessarily has no edges, isn't it misleading to say it has length and breadth? --Catherine Woodgold 20:20, 27 April 2007 (CDT)


I think the point here is that surfaces are 2-dimensional. In algebraic geometry, you can consider surfaces defined over arbitrartry fields (even finite ones), but in differfdential geometry you're pretty much limited to R (or C). But even in the case of algebraic surfaces, you usually work over an algebraically closed field and then talk about points definable (or "rational") over a subfield. Greg Woodhouse 21:37, 27 April 2007 (CDT)
I think there are different definitions of surface used in different branches of mathematics, thus the confusion. What the article currently says doesn't seem to me to agree with what you're saying.
I think the article needs to be expanded to cover several different definitions, including at least one mathematically rigourous one (probably provided by someone other than me). It could mention definitions from physics or whatever, at least in order to clarify that that's not what's meant here.
At the moment it looks ambiguous to me. --Catherine Woodgold 10:26, 29 April 2007 (CDT)
That's a tough one. The usual approach is to require that there be mappings (functions) of the form , sometimes called coorinate charts, such that if and are two charts about the same point, the composite is a differentiable map with a differentiable inverse. This, in turn, is true if the Jacobian matrix has nonzdero determinant (by the inverse function theorem for functions of several variables). Intuitively, all this means is that the change of local coordinates doesn't "collapse" anything as would, say, . That's a lot of jargon. Feel fre to translate it all into English! Greg Woodhouse 11:49, 29 April 2007 (CDT)
Sorry, I can't translate that into English because I don't understand it! I don't know the meaning of "charts", I don't know what S is -- oh, wait! S must mean the surface, and charts are just functions such as you describe. is a subset of (the Euclidean plane) and is a function from U to S. If U is only a subset of , this has me wondering again whether limited surfaces such as one face of a cube would count. I think you've abbreviated a lot -- it's not easy to follow. OK, you mean you can find at least one chart and at least one chart , which could both be the same chart (I don't see why one wouldn't usually use the same one), such that if you apply one to get from to the surface S and then the inverse of the other to get back to , you have a differentiable mapping from to with a differentiable inverse. I'm not sure why it has to be required to be differentiable. Just requiring that both be functions (rather than multivalued relations) would seem to prevent planes from collapsing onto lines. I think to get a Jacobian matrix in the first place you have to be dealing with a differentiable function. I think the Jacobian in this case is a matrix of four partial derivatives. Maybe you mean the Jacobian of . Maybe you mean that if it has a nonzero determinant then the inverse of that function exists and is also differentiable. In general, if working with very non-Euclidean geometries I'm not sure whether "determinant" would be replaced with some other norm. I think this definition doesn't allow any surfaces to exist in finite fields. I'm sort-of thinking out loud here. I think I almost understand it. --Catherine Woodgold 13:17, 29 April 2007 (CDT)
The problem is that we don't know how to do calculus on S (not yet, anyway), so we can't talk about derivatives of functions with values in S. What we can do is talk about derivaatives of the "change of coordinates" because it's a function from to . Functions between surfaces are defined to be diffeentiable if their representation in local coordinates is differentiable, and the condition stated here ensures that that makes sense (i.e., is independent of the choice of charts). Greg Woodhouse 15:43, 29 April 2007 (CDT)
OK, so it sounds to me that any subset of can be used: for example, a finite set of points, in which case I think the definition of "differentiable" is trivially satisfied for any function. Therefore any finite set is a surface. By a similar argument, any countable set is a surface. For that matter, is a surface, using a mapping that manipulates the decimal expansions; but I suppose you then interpret the charts to get a metric on the surface so that won't act like . In particular, a plane is a surface, and the interior of a polygon is a surface, whether or not its edges are also included. (Unless the definition of "differentiable" is taken to include a requirement about neighbourhoods having to belong to the set.) Also, an infinite set of polygons, each pair separated from each other but collectively converging to a point, is a surface, if I understand the definition correctly. (And the determinant of the Jacobian is always an ordinary determinant, because although might be some strange object, we're talking about a function from to .) --Catherine Woodgold 20:58, 30 April 2007 (CDT)

Picture

Sorry, no! The Bilbao museum is a famous example of modern architecture, but not a suitable illustration for the mathematical notion of a surface. It may be that some bird eye's view -- together with a suitable explanation -- can be used, but not this picture. --Peter Schmitt 00:17, 18 March 2010 (UTC)