research
这是 通有性质 的第 2 篇。
Knill 的顶点 Morse 函数要求:在每个顶点的闭星上,函数值能分出指标,没有退化的局部极值。核上的延拓若在核的顶点集上单射,闭星都落在这个顶点集里,退化就消失,于是通有的非常值延拓是核上的顶点 Morse 函数,并且
\[ \sum_{v\in V(G^B)} i_u(v)=\chi(G^B). \]
顶点 Morse 不推出边界单射。它只控制闭星。路上的 \((1,2,3,1)\) 是顶点 Morse,两端却相等。边界单射也不控制内部顶点的两个邻居。所以单射和 Morse 是两层,前一篇的单射更强,这一篇的等式是它的拓扑推论。
边界诱导子图上的闭星都在边界里,所以边界单射也给出边界图上的顶点 Morse。支撑图 \(G_S\) 是在边界图上,为每个内部连通块的边界邻居添一个团。\(G_S\) 上的闭星仍在边界里,同一件事在 \(G_S\) 上成立。
下一篇在路、圈、树上把极值数出来:极值。