莫尔斯考虑研究微分拓扑需要找到一个切入点。
这个切入点就是流形的表面，也就是这个流形的临界面，这个临界面虽然仅仅是表皮，但是依然能够反映出流形的内部信息，甚至是流形的全部信息。
莫尔斯理论(morse theory)是微分拓扑学中利用微分流形上仅具非退化临界点的实值可微函数(称为莫尔斯函数)研究所给流形性质的分支。它是h.m.莫尔斯在20世纪30年代创立的。
莫尔斯理论是微分拓扑学中利用微分流形上仅具非退化临界点的实值可微函数(称为莫尔斯函数)研究所给流形性质的分支。它是h.m.莫尔斯在20世纪30年代创立的。由莫尔斯理论得知，微分流形与其上的光滑函数紧密相关，利用光滑函数不仅能研究微分流形的局部性质，而且某些光滑函数例如莫尔斯函数包含了刻划流形整体性质的丰富信息。莫尔斯理论主要分两部分，一是临界点理论，一是它在大范围变分问题上的应用。
莫尔斯理论是研究可微流形m上定义的可微实函数f的性质与流形m的拓扑与几何性质相互关系的数学分支。给定拓扑空间x与其上的连续实函数f，则称定义了变分问题(x，f).大范围变分法即是对于给出的变分问题(x，f)，以函数f的性质与空间x的性质之间的关系作为研究对象的数学分支。在应用上重要的变分问题有：
1.与可微函数f有关的问题；
2.与由道路构成的空间Ω上的能量函数E有关的问题。
其中特别是问题2是以黎曼流形上的测地线理论为基础，因而是以普通的变分法为其分析学基础的。
问题1和2是由庞加莱与伯克霍夫(birkhoff，G.d.)所开创，莫尔斯(morse，h.m.)把它们发展成近代的样子，即莫尔斯理论。
继莫尔斯以后，柳斯捷尔尼克(Люcтephnk，Л.А.)和施尼雷尔曼(whnpeльmah，Л.Г.)开辟了另一条估计临界点个数的途径，即利用畴数来估计流形上函数的临界点。
而斯梅尔(Smale，S.)把莫尔斯理论中梯度向量场零点的问题推广为流形m上一般向量场的零点问题，从而导致维数n≥5情形广义庞加莱猜测的解决，这是微分拓扑中的一个重大成就。
其次，由于测地线问题是一维变分问题，故可使得无限维空间Ω上的问题，化为有限维流形上的临界点问题。
但是对于多维变分问题，无法做到这一点，这就使得发展无限维流形上的莫尔斯理论成为需要。总之，近年来莫尔斯理论被进一步推广和精密化，并应用于微分拓扑、微分几何、偏微分方程、杨-米尔斯方程等各个数学领域而取得重要的结果。
根据莫尔斯的基本见解，一个流形上的一个可微函数在典型的情况下，很直接的反映了该流形的拓扑。
莫尔斯理论允许人们在流形上找到cw结构和柄分解，并得到关于它们的同调群的信息。
在莫尔斯之前，凯莱和麦克斯韦在制图学的情况下发展了莫尔斯理论中的一些思想。
莫尔斯最初将他的理论用于测地线（路径的能量函数的临界点）。
在数学中，K-理论（K-theory）是多个领域使用的一个工具。
在代数拓扑中，它是一种异常上同调，称为拓扑K-理论；在代数与代数几何中，称之为代数K-理论；在算子代数中也有诸多应用。
它导致了一类K-函子构造，K-函子包含了有用、却难以计算的信息。
在物理学中，K-理论特别是扭曲K-理论出现在第二型弦理论，其中猜测它们可分类d-膜、拉蒙-拉蒙场以及广义复流形上某些旋量。