Contribution au problème de M. Fréchet relatif à la recherche d'une paramétrisation derivable pour les courbes douées d'une tangente en tout point. (Q2597657)

Die Punktmenge \(C\) des euklidischen \(E_n (n > 1)\) sei Träger eines, mit \(\tilde c\) bezeichneten, eindeutigen stetigen Streckenbildes \(\tilde p = \tilde p (\tau )\), \(\alpha \leqq \tau\leqq\beta \), \(\tilde a = \tilde p (\alpha )\), \(\tilde b = \tilde p (\beta )\), d. h. eines mit einer, der Ordnung der \(\tau \) entsprechenden, Rangordnung versehenen Systems \(\tilde c\) von Punkten. Der Trägerpunkt von \(\tilde p (\tau )\) in \(C\) werde mit \(p=|\tilde p |\) bezeichnet. Ist \(\tilde p' = \tilde p (\tau ')\), \(\tilde p'' = \tilde p (\tau '')\), wo \(\tau ' < \tau ''\), so schreibe man \(\tilde p'<\tilde p''\) und bezeichne mit \(C_{\tilde p'\tilde p''}\) die Menge der Punkte \(|\tilde p (\tau )|\), für welche \(\tau ' \leqq \tau\leqq \tau ''\). Es sei nun \(\varrho (\tilde p',\tilde p'')\) der Radius der kleinsten, \(C_{\tilde p'\tilde p''}\) einschließenden Kugel mit \(p'=|\tilde p' |\) als Zentrum, ferner \(\chi (\tilde p',\tilde p'')= \varrho (\tilde p',\tilde p''): \| p', p''\| \), wenn \(p'\neq p''\) \ (\(\|\ldots \| =\) Abstand im \(E_n\)), sonst \(\chi (\tilde p',\tilde p'')= \infty \); weiter sei \(\chi _{\bar d}(\tilde p)=\overline {\lim }\,\chi (\tilde p',\tilde p'')\) für \(\tilde p''\to \tilde p\) mit \(\tilde p''>\tilde p\) und \(\chi _g(\tilde p)=\overline {\lim }\,\chi (\tilde p,\tilde p')\) für \(\tilde p'\to \tilde p\) mit \(\tilde p'<\tilde p\). Es heiße \(\tilde p(\tau )\) eine \textit{eigentliche} Darstellung von \(\tilde c\), wenn \(\tilde p(\tau )\) keine Konstanzintervalle besitzt. Die allgemeinste eigentliche Darstellung von \(\tilde c\) erhält man aus einer von ihnen, etwa aus \(\tilde p(\tau )\), durch topologische Transformation von \(\tau \). \ ``Halbtangente'', vorderes und hinteres ``Kontingent'', ``Tangente'', ``Spitze'' in einem Punkte von \(\tilde c\) wird wie üblich definiert. \textit{Sätze}: \ Wenn \(\tilde c\) in \(\tilde p_0\) eine Tangente besitzt, so existiert eine eigentliche Darstellung \(\tilde q(\sigma )\) von \(\tilde c\)c mit \(\tilde p_0 = \tilde q(\sigma _0)\), für welche (der Vektor) \(\tilde q\) in \(\sigma _0\) eine von Null verschiedene Ableitung besitzt, dann und nur dann, wenn \(\tilde c\) in \(\tilde p_0\) keine Spitze hat und wenn \(\chi _{\bar d}(\tilde p_0)=\chi _g(\tilde p_0)\) für \(\tilde a<\tilde p_0<\tilde b\), \(\chi _{\bar d}(\tilde p_0)=1\) für \(\tilde p_0=\tilde a\), \(\chi _g(\tilde p_0)=1\) für \(\tilde p_0=\tilde b\). Ist \(\tilde c\) rektifizierbar und \(\tilde p(s)\) eine Darstellung von \(\tilde c\) mit Hilfe der Bogenlänge \(s\), so ist \(\chi _{\bar d}\bigl(\tilde p(s)\bigr)=\chi _g\bigl(\tilde p(s)\bigr)\) für fast alle \(s\). Ist in jedem Punkte von \(\tilde p(\tau )\) eine \((n -1)\)-dimensionale (den Punkt enthaltende) Ebene fremd zum Kontingent, dann hat für jede eigentliche Darstellung (der Vektor) \(\tilde p(\tau )\) fast überall eine von Null verschiedene Ableitung. -- Angabe eines Beispiels einer \(\tilde p(\tau )\), bei welcher für überabzählbar viele \(\tau \) gilt \(\chi _{\bar d}>1\).