In mathematics, a surface is a two-dimensional manifold. Surfaces are tangible in three-dimensional space only as the boundaries of three-dimensional solid objects. 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. For the nature of real surfaces see surface tension, surface chemistry, surface energy.
There is a complete classification of closed (i.e compact without boundary) connected, surfaces up to homeomorphism. Any such surface falls into one of three infinite collections:
Compact surfaces with boundary are just these with one or more removed disks.
A compact surface can be embedded in R3 if it is orientable or if it has nonempty boundary. It is a consequence of the Whitney embedding theorem that any surface can be embedded in R4.
To make some models, attach the sides of these (and remove the corners to puncture):
* * B B
v v v ^ *>>>>>* *>>>>>*
v v v ^ v v v v
A v v A A v ^ A A v v A A v v A
v v v ^ v v v v
v v v ^ *<<<<<* *>>>>>*
* * B B
This notion of a surface is very different from the notion of an algebraic surface. Algebraic surfaces are more akin to algebraic curves than they are to topological surfaces; in fact, a non-singular complex projective algebraic curve is a smooth surface.
In musicsurface is the character of the salient immediate detail. It may be thought of as content plus the more general definition of texture, and is often opposed to form.
