其实就是一些性质比较好的点集,上边可以引入某种平直的“东西”(即切空间的线性结构),从而可以定义切向量算子、余切向量算子等分析学的工具。
这种赋予了分析学性质的点集(其实应该叫拓扑空间)被叫做C^r微分流型,其中C^r表示r阶可微,且r阶导函数为连续函数。
如果把条件中的“可微”弱化为“连续”,也就是说,把r的值取作0,则这个点集叫做拓扑流型。
r可以取所有的非负整数(也叫自然数),以及可数的无穷(也就是分析学中的阿列夫零,它可以看作广义的实数),以及一个并不代表任何(包括无穷大在内的)广义数的形式符号,ω,它表示那个点集(它被叫做解析流型)的一部分(叫“局部”,也叫一个“开集”)到一个平直空间的一个开球体的映射(即映射到实数域或复数域的n次笛卡尔积---赋予了普通拓扑后---的一个开集),可以被展开,是一个无穷级数。