Lokale Eigenschaften der zu Variationsproblemen gehörigen metrischen Räume. (Q2594463): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(3 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Herbert Busemann / rank
Normal rank
 
Property / author
 
Property / author: Herbert Busemann / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1253467375 / rank
 
Normal rank

Latest revision as of 21:06, 19 March 2024

scientific article
Language Label Description Also known as
English
Lokale Eigenschaften der zu Variationsproblemen gehörigen metrischen Räume.
scientific article

    Statements

    Lokale Eigenschaften der zu Variationsproblemen gehörigen metrischen Räume. (English)
    0 references
    1939
    0 references
    In einler Ebene mit den Punkten \(A\), \(B\), \dots wird neben dem euklidischen Abstand \(e(AB)\) eine im allgemeinen unsymmetrische Distanzmessung \(r(AB)\) eingeführt, von der vorausgesetzt wird: 1) \(r(AB) \geqq 0\), 2) \(r(AB) = 0\) dann und nur dann, wenn \(A = B\), 3) \(r (AB) + r(BC)\geqq r(AC)\), 4) Aus \(r(AA_\nu)\to 0\) oder \(r(A_\nu A)\to 0\) folgt \(e(AA_\nu)\to 0\), und aus \(e(AA_\nu) \to 0\) folgt \(r(AA_\nu) + r(A_\nu A) \to 0\). Fixiert man einen Punkt \(P\) und eine Richtung \(\varphi\) und betrachtet alle Folgen von Punktpaaren \(A_\nu B_\nu\), für welche der Vektor \(A_\nu B_\nu\) die Richtung \(\varphi\) hat und \(A_\nu \to P\), \(B_\nu \to P\), so wird gesetzt: \[ g(P,\varphi)= \operatorname{unt. \;Grenze}\varliminf _{\nu \to \infty}\frac{e(A_\nu B_\nu)}{r(A_\nu B_\nu)}, \quad G(P,\varphi)= \operatorname{ob. \;Grenze} \varlimsup_{\nu\to \infty}\frac{e(A_\nu B_\nu)}{r(A_\nu B_\nu)}. \] Trägt man von \(P\) in der Richtung \(\varphi\) die Strecken von der Länge \(g(P,\varphi)\) bzw. \(G(P,\varphi)\) auf (die natürlich auch zur Halbgeraden ausarten können), so erhält man zwei sternförmige Mengen \(\gamma\) bzw. \(\varGamma\), die als untere bzw. obere Indikatrix der Metrik \(r\) im Aufpunkt \(P\) bezeichnet werden. Es wird nun bewiesen: I) \(\gamma\) ist konvex, II) Wenn \(B_1\) in \(\gamma\), \(B_2\) in \(\varGamma\) liegt, so liegt die Verbindungsstrecke ganz in \(\varGamma\) Hieraus folgt unter anderem: wenn \(g(P,\varphi)> 0\) ist für alle \(\varphi\), so sind \(g\) und \(G\) für alle \(\varphi\) stetig. Allgemein wird weiter bewiesen: III) \(G(P, \varphi)\) ist Limes einer fallenden Folge unterhalb stetiger Funktionen von \(\varphi\). Gibt man \(\gamma\) und \(\varGamma\) in \(P\) gemäß I--III vor, so gibt es eine Metrik \(r\), die in \(P\) die Sternbereiche \(\gamma\) und \(\varGamma\) zu Indikatrizen hat. Nach Untersuchungen von \textit{Menger} (Ergebn. math. Kolloqu. Wien 8 (1937), 1-32; JFM 63.1061.*) gibt es zur Metrik \(r\) einen Integranden \(F(P,\varphi)\), so daß \(r(AB)\) durch das Integral \(\int Fds\) über eine von \(A\) nach \(B\) führende rektifizierbare Kurve gegeben ist, die das Integral zum Minimum macht (Extremale). Es wird nun gefragt, ob man die Differenzierbarkeit der Extremalen behaupten kann, wenn man die folgende Regularitätsforderung stellt: es sollen die beiden Indikatrizen in einem beschränkten konvexen Bereich zusammenfallen (der dann von selbst stetig vom Aufpunkt abhängt). Die Frage läßt sich an einem Beispiel verneinend beantworten. Es läßt sich zwar eine Eigenschaft der Extremalen behaupten, die mit der Differenzierbarkeit verwandt ist, z. B. im Fall stetiger Differenzierbarkeit stets gilt, aber weder aus der Differenzierbarkeit folgt, noch diese zur Folge hat. Es ist die folgende: Es sei \(O\) ein Punkt eines Extremalenbogens, \(A_\nu B_\nu C_\nu\) eine Folge von Punktetripeln des Bogens, die beim Durchlaufen in positivem Sinn in der angegebenen Reihenfolge passiert werden; ferner sei \(A_\nu \to 0\), \(B_\nu \to 0\), \(C_\nu \to 0\); dann gilt: \[ \lim_{\nu\to \infty}\frac{e(A_\nu B_\nu)+e(B_\nu C_\nu)} {e(A_\nu C_\nu)}=1. \]
    0 references
    0 references

    Identifiers