曲面上的度量通过第一基本量可以表示为ds2=Edu2+2Fdudv+Gdv2。这里E、F、G虽然是把曲面放在三维欧几里得空间中求得的量，但是可以把它们看作曲面本身的(即与其所在空间无关的)量，并以此为基础来建立几何学。这样，根据在曲面本身上定义的各种量来研究曲面的性质的数学分支，称为曲面的内蕴几何（intrinsic geometry）。当曲面无伸缩地变形时，其内蕴几何不变。曲面的这种性质，称为其内蕴性质。
基本介绍
曲面的弯曲变形是指它保留曲面上曲线的长度不变的变形。举例说，卷成筒状的纸片从几何观点看来就是平面小块的弯曲变形。事实上，这时曲面确实没有伸展，而且画在纸上的所有曲线的长度在卷起纸片时也没有改变，保留不变的还有另外一些与曲面有关的几何量，例如曲面上的图形的面积，曲面在弯曲变形下不改变的所有性质，就组成曲面的所谓内蕴几何的对象。
这是什么样的一些性质呢?显然，在任意的弯曲变形下可以保留的只是那样一些性质，它们只以有限步的计算依赖于曲线的长度，即它们可以用在曲面上所产生的测量方法来确定。弯曲变形是保留曲线长度的任意变形，而经过任何弯曲变形都不改变的每一个性质都可以这样或那样地通过长度来决定。大家说，内蕴几何简单地就是曲面上的几何，“内蕴几何”这名词的本身的意义是说，研究的只是曲面本身的内在的性质，而不依赖于曲面在空间中是怎么样弯曲的”。举例说，如果我们在纸片上用直线段连结两个点，然后弯曲这张纸(图1)，则线段就变成一条曲线，然而它是曲面上连结两个已知点的最短曲线这个性质仍然保留；因此它属于内蕴几何，反之，这条曲线的曲率依赖于纸片的弯曲程度，因此已经不归于内蕴几何了。
一般地说，由于平面几何的结论不牵涉到包容这个平面的空间的性质，平面几何的全部定理都属于从平面的弯曲变形所得到的任意曲面的内蕴几何，可以说，平面几何是平面的内蕴几何。
内蕴几何的另一个大家知道的例子是球面几何，在测量地球表面时我们实质上就要用到它，这个例子特别适宜于说明内蕴几何概念的本质。事实是，由于地球有很大的半径而把直接看到的一块地面理解成平的，因而在测量很大的距离时而观察到的与平面几何的差异就出现在我们面前，并非作为地球表面在空间中的弯曲的结果，而是作为由地球表面本身的几何性质所表示的“地面几何”所特有的法则。
应该指出，研究内蕴几何的观念本身当在高斯那儿产生时就是与测量学和
地图制图学有关的。这两种实用科学实质上都与地球表面的内蕴几何有联系，地图制图学处理的特别是当把一部分地球表面画到平面上时比例尺所受到的歪曲，因此也就要处理地球表面的内蕴几何与平面几何的差异。同理可以想像其他曲面的内蕴几何：设想在已知曲面上生活着某种微小的生物，在这种生物的视界之内曲面看来像是平的(我们知道，任何平滑曲面的充分小的一片与切平面只有很小的差别)；那么这种生物就不会注意到曲面是在空间中弯曲的，只有在测量较大的距离时，他们才会肯定他们的几何学服从另外一些法则，这些法则正是相当于他们所生存的曲面的内蕴几何的。至于这些法则确实随曲面的不同而有差别，则可以用以下的论断来肯定，在曲面上取一个点，我们来讨论这样的曲线，在曲面上量得的这曲线上的任意点到点的距离(即连接这点与点的最短曲线的长度)都等于常数(图2)，曲线从内蕴几何的观点看来正是半径的圆周，用来表示曲线的长度依赖于的公式是属于已知曲面的内蕴几何的，然而这种依赖关系却可以是各种各样的：例如在平面上；在半径的球面上不难算出是；在图3所画的曲面上，从的某个值开始，具有已知中心O的圆周的长度变得完全不依赖于，而后来又变成递减的。因此，以上所说的各种曲面具有不同的内蕴几何。
内蕴几何学的兴起
在
高斯致力于
微分几何的研究(1827)之前，平面一直被作为三维
欧几里得空间中的图形来研究。但是高斯表明，关于平面的几何学能通过专注于平面本身得以研究。平面S 是具有两个自由度的点的集合，因此S 上的任意一点r能用两个参数来表示。我们能获得表达式:(关于时的求和缩写法)，并且。高斯得出观测结论: 平面的属性，如弧长元、平面上两条曲线之间的夹角，以及通常所谓的平面的
高斯曲率，仅仅取决于，而这有许多推论。如果我们引人坐标一这来源于：三维空间中平面的参数表示一并且运用由此确定的，我们就获得这个平面的欧几里得性质。但是，我们能从这一平面出发，引人两组参数曲线,并用作为的函数而获得的表达式。因此，这一平面有一个由确定的几何学。
这一几何学是内蕴于平面的，并且与周围的空间没有关系。这表明这个平面本身能被看作一个空间。如果这个平面本身被看作一个空间，那么它拥有什么类型的几何学呢? 如果我们认为那个平面上的“直线”是测地线( 平面上两点间的最短连线)，那么此几何学可能是非欧几里得的。因此，高斯的工作所隐含的是，至少在本身被看作空间的平面上有非欧几何。
受高斯关于
欧几里得空间中平面的内蕴几何学的引导，
黎曼为一个种类更为宽泛的空间发展了一种内蕴几何学(intrinsic geometry)(1854)。尽管三维几何学显然是重要的几何学，但是黎曼更喜欢处理n维几何学。他把n维空间当作一个
流形来讨论。在一个n维流形中的点由赋予n 个变元参数的特定数值，和构成n维流形本身的所有这些可能的点的总数表示。同高斯的平面内蕴几何学一样，黎曼流形的几何学性质是用流形自身可确定的量来定义的，并且没有必要把流形看作位于某种更高维的流形之中。
内蕴几何的基本概念
为了说明内蕴几何的概念和定理的范围，让我们来看一下作为平面的内蕴几何的平面几何。平面几何的对象是平面上的图形和它们的性质，这些性质通常是以长度、角度、面积等等基本几何量之间的关系表出的。当然，角和面积属于平面的内蕴几何的严格的根据是在于：可以证明角和面积都能用长度来表出。这是因为，只要知道已知角所在的三角形各边的长度，就可以算出这个角；三角形的面积也可以按它的各边来计算，而任意多角形的面积则可以把它分成三角形来计算。
把平面几何看作平面的内蕴几何，并不必需限制在中学平面几何的范围。相反地，它可以展开得非常远，加进新的问题，只要所引用的概念以有限次测量长度的计算作为基础就成。例如在平面几何里可以顺次地引入曲线长度的概念，曲边图形面积的概念等等；它们全都属于平面的内蕴几何。
在任意曲面的内蕴几何里可以引进同样一些概念。曲线的长度在这时是原始的概念；至于角和面积情况稍有些复杂。假如已知曲面的内蕴几何与平面几何有差别，那么我们就不能按普通的公式用长度来决定角和面积。然而，我们曾经说过，曲面在已知点邻近与其切平面很少差异。确切地说，下面的断言成立：假如把包含已知点M的曲面小片投射到这点处的切平面上，那么在曲面上量得的两点之间的距离与它们的投影之间的距离的差，比起它们到点M的距离来是高于二阶的无穷小量。所以在决定属于曲面的已知点的几何量时，假如是用不高于二阶的无穷小量为主的极限过程得到这些几何量，则就可以把曲面的小片换成它在切平面上的投影。这时从切平面上量得的量对于曲面来说就是内蕴几何的量。这种把曲面小片看作平面的可能性是定义内蕴几何的所有概念的基础。
作为例子，我们来讨论角和面积的定义．依据一般的原则，曲面上曲线之间的角定义为它们在切平面上的投影之间的角(图4)。显然，用这种方法定义的角与曲线的切线之间的角重合。最后，为了刻画曲线在曲面“内部”的弯曲需要引进
测地曲率的概念；“测地曲率’这个名称是从地球表面上的测量而来的。曲线在已知点处的测地曲率定义为它在切平面上的投影的曲率(图5)。
这样一来，我们断定平面几何的基本概念都可以引进任意曲面的内蕴几何中去。还很容易在任意曲面上定义与平面上的基本图形相仿的图形。譬如说，我们已经谈到过圆，它就可以像在平面上一样来定义。还可以定义线段的同类物——“最短线”，作为曲面上连接两个已知点的曲线中的最短者。然后，自然可以定义三角形(作为以三条最短线为界的图形)、多角形等等。然而所有这些图形和几何量的性质都依赖于曲面本身，因而在这意义下就存在着无穷多种不同的内蕴几何。但是内蕴几何作为曲面理论的特殊部分，主要研究的是在任意曲面的内蕴几何里都成立的那些一般的法则，而且在这时需要说明这些法则如何地通过刻画已知曲面的几何量而表示出来。
我们曾经指出过，曲面的最重要的特征之一——它的高斯曲率——在弯曲变形下不变，即只依赖于曲面的内蕴几何。原来高斯曲率就主要方面还刻画了曲面在已知点邻近的内蕴几何与平面几何的差异程度。作为例子，我们在曲面上讨论以已知点O为中心而且有极小的半径r的圆。在平面上这种圆的周长出公式表示。在不同于平面的曲面上，圆周长度对半径的依赖关系是另一个样子的；这时可以证明，当r很小时，与的差别主要依赖于圆心处的高斯曲率K，那就是说，
这里当时。换句话说，当r很小时，圆周长度可以按照普通的公式来计算，误差是三阶微小，并且这个误差(以高于三阶的精确性)与高斯曲率成正比。特别地，如果，则微小半径的圆周长度比平面上同样半径的圆周长度小些，如果，则相反地要来得大些。不过后面这个结论不难直观地看出，在曲面的具有正曲率的点邻近曲面的形状像“碗”，曲面上的圆周就短些；而在具有负曲率的点邻近，圆周沿着“马鞍子”而成波浪形，因而有些拉长(图6)。
从以上所引的定理推出，具有变动的高斯曲率的曲面是几何地不均匀的，它的内蕴几何的性质随着点的改变而改变。如果说内蕴几何问题的特征使它接近于平面几何，那么上述的不均匀性就成为它与平面几何的很大的原则性的区别所在。譬如说，在平面上任何三角形的各角之和都等于两个直角；而在任意的曲面上，由最短线组成的三角形的各角之和是不确定的，即使知道了三角形所在的曲面和指出了三角形的“大小”(例如各边的长度)。然而，如果知道了在这三角形的每个点处的高斯曲率K，则它的各角之和就可以按下列公式来计算：
这里积分是对三角形的面积来求的。作为特例，这个公式包括了关于平面上和单位球面上的三角形各角之和的熟知的定理。在平面上，和，而在单位球面上，和，这里S是球面三角形的面积。
可以证明，高斯曲率为零的曲面的任何充分小的片段都可以弯曲(或者更常说成展开)到平面上，因为它有与平面相同的内蕴几何，这种曲面叫做可展曲面。而如果高斯曲率接近于零，则虽然曲面已经不能展开到平面上，但是它的内蕴几何与平面几何只有很小的差别，这再一次表明，
高斯曲率表示曲面的内蕴几何与平面几何的差异的程度。
测地曲线在内蕴几何里起着直线的作用的是所谓测地曲线，它也常常简单地叫做“
测地线”。更多内容请参考相应参考书籍。