比浏览器更快的访问！
18 关系: 基本多边形，实射影平面，主齐性空间，平展上同调，低維拓撲，图论，四色定理，四次平面曲线，犹他茶壶，煎餅排序，魏尔施特拉斯分解定理，黎曼－罗赫定理，黎曼曲面，格尔德·法尔廷斯，欧拉示性数，数论，扎里斯基曲面，拓扑绝缘体。
基本多边形
在数学上，每个闭曲面在几何拓扑的意义下，可以由一个偶数条边的有向多边形，把它的边成对地粘合构造出来，这样的多边形称之为基本多边形（fundamental polygon）。 这个构造可以表示成一个长为2n的字符串，一共n个不同的符号，每个符号出现两次带有指数 +1或 -1。指数 -1的符号对应于该边的定向与基本多边形的定向相反。.
实射影平面
在数学中，实射影平面（real projective plane）是R3中所有过原点直线组成的空间，通常记作\mathbbP^2，无歧义时也记为P^2。这是一个不可定向、紧致、无边界二维流形（即一个曲面），它在几何中有基本的应用，但不能无自交地嵌入我们通常的三维欧几里得空间。它的亏格是1，故欧拉示性数也为1。 实射影平面有时描述为基于莫比乌斯带的构造：如果能把莫比乌斯带的（一条）边以恰当的方向黏合，将得到射影平面。等价地，沿着莫比乌斯带的边界黏合一个圆盘给出射影平面。 由于莫比乌斯带可构造为将正方形的一组对边反向黏合，从而实射影平面可以表示为单位正方形（ × ）将它的边界通过如下等价关系等同： 以及 即如右图所示。因为正方形同构于圆盘，故这也等价于将圆盘边界的对径点黏合。.
主齐性空间
数学上，对于 群 G的主齐性空间，或者叫 G-旋子（英文：torsor），是一个集合 X， G在其上自由并可递地作用。也即，X是G的齐性空间，满足每个点的定点子群都是平凡群。 在其它范畴中有类似的定义，其中.
平展上同调
在数学中，一个代数簇或概形的平展上同调（Étale cohomology）是一个与一般拓扑空间的有限系数上同调群类似的代数结构。这一概念作为证明的工具由亚历山大·格罗滕迪克引入。平展上同调的理论可以用于构建ℓ进上同调，后者则是代数几何中的一个例子。这一理论有着众多的应用，包括Weil猜想的证明以及的构造。.
低維拓撲
在数学中，低维拓扑是拓扑学中研究二、三、四维流形或更广义的拓扑空间的一个分支。有代表性的研究主题包括三维流形、、扭结和等的结构理论。低维拓扑是几何拓扑学的一部分。.
图论
图论（Graph theory）是组合数学的一个分支，和其他数学分支，如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物，连接两顶点的边则用于表示两个事物间具有这种关系。 图论起源于著名的柯尼斯堡七桥问题。该问题于1736年被欧拉解决，因此普遍认为欧拉是图论的创始人。 图论的研究对象相当于一维的单纯复形。.
四色定理
四色定理是一个著名的数学定理：如果在平面上劃出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样；另一个通俗的说法是：每个无外飞地的地图都可以用不多於四种颜色来染色，而且不會有两个邻接的区域颜色相同。被称为邻接的两个区域是指它们有一段公共的边界，而不仅仅是一个公共的交点。例如右图左下角的圆形中，红色部分和绿色部分是邻接的区域，而黄色部分和红色部分则不是邻接区域。 “是否只用四种颜色就能为所有地图染色”的问题最早是由一位英国制图员在1852年提出的，被称为“四色问题”或“四色猜想”。人们发现，要证明宽松一点的“五色定理”（即“只用五种颜色就能为所有地图染色”）很容易，但四色问题却出人意料地异常困难。曾经有许多人发表四色问题的证明或反例，但都被证实是错误的。 1976年，数学家凱尼斯·阿佩爾和沃夫冈·哈肯借助电子计算机首次得到一个完全的证明，四色问题也终于成为四色定理。这是首个主要借助计算机证明的定理。这个证明一开始并不为许多数学家接受，因为不少人认为这个证明无法用人手直接验证。尽管随着计算机的普及，数学界对计算机辅助证明更能接受，但仍有数学家希望能够找到更简洁或不借助计算机的证明。.
四次平面曲线
四次平面曲线（quartic plane curve）是四的平面代數曲線，可以表示為以下的多變數四次方程： A, B, C, D, E中至少要有一個不為0。方程式有15個常數，不過方程式若乘以非零的任意數，不會改變曲線，因此可以將其中一個常數固定為1，留下14個可調整的常數。四次曲线的空間可以視為是\mathbb^的实射影空间。依照，若考慮一般位置下14個不同的點，通過這十四個點的四次平面曲线唯一，因此四次平面曲线的自由度為14。 四次曲线最多可以有：.
犹他茶壶
犹他茶壶（Utah teapot），或称纽维尔茶壶（Newell teapot），是在计算机图形学界广泛采用的标准参照物体（有时也是个内行幽默）。其造型来自于生活中常见的造型简单的茶壶，被制成数学模型，外表为实心、柱状和部分曲面。 以一个茶壶作为基本物体的想法，与计算机程序设计领域里的“Hello World”程序如出一辙。目的是，方便快捷地建立一个最简单的三维场景，使其含有相对复杂的模型，以此模型为基本参考几何物体，用以辅助安排场景和设定灯光。 有许多库甚至包含专门用来绘制茶壶的函数。 这个茶壶的模型是在1975年由早期的计算机图形学研究者马丁·纽维尔（Martin Newell）制作的，他是犹他大学先锋图形项目小组的一员。.
煎餅排序
排序（Pancake sorting）指的是将大小不同的一摞煎饼按大小排序的数学问题，其中每次只能从任意位置铲起上方全部煎饼并翻面。“煎饼数”（pancake number）是指给定煎饼的张数时，最坏情况下需要的最少翻面次数。这个问题最早由美国几何学家提出。它属于排序问题的变种。煎饼排序的目标和传统排序算法最小化比较次数不同，因为它每次操作只允许反转序列的，所以需要最小化反转前缀次数。焦煎饼排序是煎饼排序的变种问题，每张煎饼都有一面是烤焦的，最终除了按照大小排序以外还要让所有焦面向下。.
魏尔施特拉斯分解定理
魏尔施特拉斯分解定理是指任意整函数f(z)可以分解为如下无穷乘积的形式： f(z).
新！!: 亏格和魏尔施特拉斯分解定理 · 查看更多 »
黎曼－罗赫定理
黎曼–罗赫定理（Riemann–Roch theorem）是数学中的一个重要工具，在复分析和代数几何中的应用尤为广泛。利用该定理，可计算具有指定零点与极点的亚纯函数空间的维数。它将具有纯拓扑亏格 g 的连通紧黎曼曲面上的复分析以某种方式可转换为纯代数设置。 此定理最初是黎曼不等式，对黎曼曲面的确定形式由黎曼早逝的学生古斯塔·罗赫于1850年代证明。随后推广到代数曲面，高维代数簇，等等。.
新！!: 亏格和黎曼－罗赫定理 · 查看更多 »
黎曼曲面
数学上，特别是在复分析中，一个黎曼曲面是一个一维复流形。黎曼曲面可以被視为是一个复平面的变形版本：在每一点局部看来，他们就像一片复平面，但整体的拓扑可能极为不同。例如，他们可以看起来像球或是环，或者两个页面粘在一起。 黎曼曲面的精髓在于在曲面之间可以定义全纯函数。黎曼曲面现在被认为是研究这些函数的整体行为的自然选择，特别是像平方根和自然对数这样的多值函數。 每个黎曼曲面都是二维实解析流形（也就是曲面），但它有更多的结构（特别是一个複結構），因为全純函数的无歧义的定义需要用到这些结构。一个实二维流形可以变成为一个黎曼曲面（通常有几种不同的方式）当且仅当它是可定向的。所以球和环有複結構，但是莫比乌斯带，克莱因瓶和射影平面没有。 黎曼曲面的几何性质是最妙的，它们也给與其它曲线，流形或簇上的推广提供了直观的理解和动力。黎曼-罗赫定理就是这种影响的最佳例子。.
格尔德·法尔廷斯
格尔德·法尔廷斯（Gerd Faltings，），出生於蓋爾森基興的德国数学家，研究领域为算术代数几何。 格尔德·法尔廷斯最著名的工作是利用格罗滕迪克发展出的代数几何理论证明了莫德尔猜想：数域K上的亏格大于1的非奇异射影曲线上仅有有限多个K-有理点。他因此获得1986年的菲尔兹奖和2015年的邵逸夫獎。此外他对阿贝尔簇的参模理论，算术黎曼-罗赫定理以及p-进霍奇理论亦有重要贡献。 法尔廷斯从1994年起担任德国马克斯·普朗克数学研究所所长。.
新！!: 亏格和格尔德·法尔廷斯 · 查看更多 »
欧拉示性数
在代数拓扑中，欧拉示性数（Euler characteristic）是一个拓扑不变量（事实上，是同伦不变量），对于一大类拓扑空间有定义。它通常记作\chi。 二维拓扑多面体的欧拉示性数可以用以下公式计算： 其中V,E和F分别是点，边和面的个数。特别的有，对于所有和一个球面同胚的多面体，我们有 例如，对于立方体，我们有6 − 12 + 8.
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
扎里斯基曲面
在数学的一个分支 代数几何中，扎里斯基曲面（Zariski surface）是指 特征 p > 0的 域 上的一个曲面，使得存在从 射影平面 到该曲面的一个度数为p的优势不可分映射。 特别是，所有扎里斯基曲面都是 单有理 的。 1977年Piotr Blass用 奥斯卡·扎里斯基 的名字来命名了该曲面，因为扎里斯基在1958年使用这种曲面给出了特征p > 0的单有理曲面的例子，而这个曲面不是有理的。 (相比特征为0的情况下， 卡斯泰定理 意味着所有单有理曲面都是有理的。) 扎里斯基曲面 双有理 于 仿射空间 A3 中由 不可多项式 定义的曲面 经过长达43年的努力，奥斯卡·扎里斯基在1971年提出的下述问题得到解决：令 S 为一个几何亏格为0的扎里斯基曲面。 那么 S 一定是一个有理曲面吗？对于 p.
拓扑绝缘体
拓扑绝缘体是一种内部绝缘，界面允许电荷移动的材料。 在拓扑绝缘体的内部，电子能带结构和常规的绝缘体相似，其费米能级位于导带和价带之间。在拓扑绝缘体的表面存在一些特殊的量子态，这些量子态位于块体能带结构的带隙之中，从而允许导电。这些量子态可以用类似拓扑学中的亏格的整数表征，是的一个特例。.
