<正> 前言本文擬讨论定义在有限单形复合形的单形对上的组合不变量,其所取值祇与单形对内的单形的维数有关.设 K 为一有限单形复合形,a_(ij,k)(K)为 K 内 i 维单形 j 维单形具有公共面为 k 维单形的对数(次序有关;a_(ij,-1)(K)为 K 内维单形与 j 维单形无公共面的对数).我们考虑关于a_(ij,k)(K)以实数为系数的线性函数.这种函数中有为组合不变
<正> §1.一般递归函数的范式问题本文假定读者知道“一般递归函数”和“原始递归函数”的定义(这些定义见 Kleene和 Peter).以下我们将原始递归函数集记作(?).Kleenet 曾证明,可以予先给出两个原始递归函数,一元函数 U 和 n+2 元函数T_n,使得任意的 n 元一般递归函数 f 都可表达为递归式
<正> 的狄里希勒(Dirichlet)问题,此处(?)是 m×n(m≤n)矩阵 Z 的元素,(?)表 Z 的共轭元素组成的方阵,Z' 表 Z 的行列互换,I~((m))表 m×m 么方阵.一哈尔密方阵>0,表此方阵是定正的.偏微分方程(1)在(?)中是橢圆型的,在(?)的边界上是蜕化的.因此我们要考虑到