查看“︁曲面”︁的源代码

{{扩充|time=2016-07-25}}[[File:Saddle_pt.jpg|thumb|300px|right|显示了X-, Y-, Z-轮廓的一个开曲面。]]

'''{{zy|曲|qū|ㄑㄩ}}面'''（curved surface，surface）是实体的边缘或空间中的曲线依某特定条件运动所形成的轨迹，例如球面、圆柱面、圆锥面等。

在[[数学]]（[[拓扑学]]）中，一个'''曲面'''（surface）是一个二维[[流形]]。三维空间中的例子有三维实心物体的边界。[[流体]]的表面，例如[[雨滴]]或[[肥皂泡]]是一种理想化的曲面。关于[[雪花]]的表面，它有很多精细的结构，超越了这个简单的数学定义。关于实际的曲面的资料，请参看[[表面张力]]，[[表面化学]]，[[曲面能量]]。

== 定义 ==
在下文中，所有曲面视为[[第二可数]]2-维流形。

更精确一点的讲：一个'''拓扑（带边界）曲面'''是一个[[豪斯多夫空间]]，其中每点有一个开[[邻域]][[同胚]]于或者一个''E<sup>2</sup>''的[[开集|开子集]]或者''E<sup>2</sup>''的闭的一半的开子集。

有一个同胚于''E<sup>n</sup>''的开子集的点的集合称为流形的'''内部'''；它总是非空的。内部的补集称为'''边界'''；它是一个（''1''）流形，或者说闭曲线的并集。

无边界的曲面称为'''闭'''的，如果它是[[紧集|紧]]的，否则称为'''开'''。

== 闭曲面分类 ==
闭（[[紧]]无[[边界]]）连通曲面有完整的分类，同类的曲面至多相差一个同胚。所有这种曲面属于下面三个无穷多的集合之一：

* [[球面]]加上''n''个柄（称为''n-环''）。这些是[[欧拉示性数]]为2-2''n''的[[可定向]]曲面，也称为亏格（genus）为''n''的曲面。
* 带''n''个柄的[[射影平面]]（Projective plane）。这些是欧拉特征数为1-2''n''的不可定向曲面。
* 带''n''个柄的[[克莱因瓶]]。这些是欧拉特征数为-2''n''的不可定向曲面。

所以[[欧拉示性数]]和[[可定向性]]描述了一个紧曲面除了可能的[[同胚]]（若曲面光滑则为[[微分同胚]]）.

== 紧曲面 ==
带边界紧曲面就是有一个或多个开[[圆盘]]被取掉的曲面，而且这些圆盘的闭包互不相交。

== 在R<sup>3</sup>中的嵌入 ==
一个紧曲面可以嵌入到'''R'''<sup>3</sup>，只要它可定向或有非空边界。[[Whitney嵌入定理]]的结果表明任何曲面可以嵌入'''R'''<sup>4</sup>.

== 微分几何 ==
曲面在''n''维的嵌入的简单回顾和这样一个曲面的面积的计算可以在[[体积形式]]条目中找到。[[黎曼曲面]]的度量性质在条目[[庞加莱度量]]中有简单介绍。

== 一些模型 ==
把下面这些的边贴起来可以得到一些模型：
       *                *                    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

    [[球面]]           [[实射影平面]]           [[克莱因瓶]]           [[环面]]
                     (打了孔的莫比乌斯带)                              (面包圈)

== 基本多边形 ==
每个闭曲面可以从一个偶数边可定向多边形通过将边成对等同构造出来，该多边形称为'''[[基本多边形]]'''。

这个构造可以用一串长度2n的包含n个不同符号的字符串表示，每个符号出现两次，可以带+1或-1指数。指数-1表示该边的方向和基本多边形的方向相反。

上面的模型可作如下描述：

* 球面：<math>A A^{-1}</math>
* 射影平面：<math>A A</math>
* 克莱因瓶：<math>A B A^{-1} B</math>
* 环面：<math>A B A^{-1} B^{-1}</math>

''（细节请见''[[基本多边形]]''。）''

== 曲面的连通和 ==
给定两个曲面M和M'，他们的'''连通和(connected sum)''' M # M' 可以通过在每个曲面上除去一个圆盘再把他们在新的边界分量上粘起来。

我们采用下面的记号。
* 球：S
* 环：T
* 克莱因瓶：K
* 射影平面：P

一些结果：

* S # S = S
* S # M = M
* P # P = K
* P # K = P # T

我们用一些缩略记法：nM = M # M # ... # M（n次）以及 0M = S.

闭曲面可以分类如下：

* gT（g-叠环）：亏格为g的可定向曲面。
* gP（g-叠射影平面）：亏格为g的不可定向曲面。

== 代数曲面 ==
曲面的概念和''[[代数曲面]]''不同。一个非奇异复射影[[代数曲线]]是一个光滑曲面。[[複數 (數學)|複數]]域上的代数曲面作为流形考虑时维度是4。

== 参看 ==
* [[极小曲面]]
* [[黎曼曲面]]
* [[代数曲面]]
* [[克莱因瓶]]
* [[环面]]
* [[球面]]
* [[圆柱]]
* [[射影平面]]

== 外部链接 ==
* [http://xahlee.org/surface/gallery.html 数学曲面画廊，60 ~ 曲面和提供实时转动观看功能的Java Applet] {{Wayback|url=http://xahlee.org/surface/gallery.html |date=20050829024319 }}

{{Authority control}}
[[Category:曲面]]
[[Category:几何拓扑学]]