On the variation of Betti numbers of a moving level surface. (Q2594992)

In einem euklidischen oder Riemannschen Raum von \(n\) Dimensionen sei ein beschränkter Bereich gelegen, dessen Rand von einer regulären Mannigfaltigkeit der Klasse \(C'''\) gebildet werde. \(R\) bedeute die abgeschlossene Hülle des Bereiches. Auf \(R\) wird eine Funktion \(f\) der Klasse \(C''\) betrachtet, deren kritische Punkte im Innern des Bereiches liegen. Wenn im Intervall \([a, b]\) ein einziger kritischer Wert von \(f\) und kein kritischer Wert für die Randwerte von \(f\) liegt, und wenn dieser kritische Wert in einem einzigen Punkt von \(R\) mit dem Index \(k\) angenommen wird, so seien die Differenzen der Bettischen Zahlen der Mannigfaltigkeit \(f= c\) für \(c = b\) bzw. \(c = a \) durch \(\varDelta p^i\) bezeichnet (\(i = 0,\, 1,\,\ldots,\, n - 1\)). Verf. zeigt, daß nur folgende Fälle eintreten können: \vskip0.4ex \halign{\tabskip0pt\indent\hfil#&\ \(#\)\hfil&\({}#{}\)\hfil&\hfil\(#\)&\quad \(#\)\hfil&\qquad \hfil#&\ \(#\)\hfil&\({}#{}\)\hfil&\hfil\(#\)&\quad \(#\)\hfil&#\hfil\cr I.&\varDelta p^{k-1} &= &-1, &\varDelta p^{n-k-1} = 1; &II.&\varDelta p^{k-1} &= &- 1, &\varDelta p^{n-k} = -1&;\cr III.&\varDelta p^k &= &1, &\varDelta p^{n-k-1} = 1; &IV.&\varDelta p^k &= &1, &\varDelta p^{n-k}=-1&.\cr} \vskip0.4ex Jedesmal sind alle anderen \(\varDelta p^i = 0\). Für \(k = 0\) gilt stets III, für \(k = n\) gilt stets II. In den Fällen \(n = 2k + 1\), \(2k\), \(2k - 1\) kann es eintreten, daß die beiden in den Fällen I-IV vorkommenden Dimensionszahlen zusammenfallen \((= \varrho)\); dann sind die beiden Werte von \(\varDelta p^\varrho\) zu addieren. Wenn die Niveauflächen \(f = c\) geschlossen sind, sind nach Poincarés Dualitätsgesetz notwendigerweise nur die Fälle II, III möglich. Weiter gilt für die Mannigfaltigkeiten \(f\leqq b\) und \(f\leqq a\), daß sie homöomorph sind, wenn in \([a, b]\) kein kritischer Wert von \(f\) liegt; ist ein kritischer Wert vorhanden, der zu einem kritischen Punkt vom Index \(k\) gehört, und haben die Randwerte in \([a, b]\) keinen kritischen Wert, so sind die \(\varDelta p^i\) im allgemeinen \({}= 0\); nur ist entweder \(\varDelta p^k=1\) oder \(\varDelta p^{k-1} = -1\).