{"entities":{"Q5924230":{"pageid":8058041,"ns":120,"title":"Item:Q5924230","lastrevid":27096092,"modified":"2024-03-05T06:50:22Z","type":"item","id":"Q5924230","labels":{"en":{"language":"en","value":"Existenz k\u00fcrzester Wege."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2536261"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924230$5C265950-97E8-4C91-AEE7-CCC4989C7A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77865b8324da0a82cbc9bdc31d05ba81f6aea91c","datavalue":{"value":{"text":"Existenz k\u00fcrzester Wege.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5924230$DCCF1CC2-4175-4240-87D2-0670714DEAD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6070b944ec44a52142b71339fbc7b76ce5cf17e7","datavalue":{"value":"61.1439.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924230$80B96597-428D-4F7B-ACE8-13DA89839755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9fa5601c03883c6d01524e118f7d0259832c2e3","datavalue":{"value":{"entity-type":"item","numeric-id":1438368,"id":"Q1438368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924230$8CC30F60-D9A0-4E1F-AA98-8CC13F9AF74E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"344cbff12bb9b3693af7cd268cba8961eaeaf8e7","datavalue":{"value":{"entity-type":"item","numeric-id":561534,"id":"Q561534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924230$B257115E-1C47-41C7-BED2-39903976848F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5924230$7D9639DE-EFEE-4DA7-8AB0-313AB59DF8DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66bd6ac33cc9b2bed0c549b869e2d5b8c6c6ba4f","datavalue":{"value":"\\textit{H. Hopf} und \\textit{W. Rinow} (Commentarii math. Helvetici 3 (1931), 209-225; F.~d.~M. 57\\(_{\\text{I}}\\), 871) haben f\u00fcr die ziemlich umfassende Klasse der ``abstrakten differentialgeometrischen Fl\u00e4chen'' den folgenden Existenzsatz bewiesen: Zu je zwei Punkten \\(a\\), \\(b\\) einer solchen Fl\u00e4che gibt es entweder einen geod\u00e4tischen Verbindungsbogen oder aber einen von \\(a\\) ausgehenden abbrechenden geod\u00e4tischen Strahl, d. h. einen geod\u00e4tischen Strahl, auf dem man von \\(a\\) aus nicht jede L\u00e4nge abtragen kann.  Diesen Satz verallgemeinert Verf. auf topologische R\u00e4ume \\(R\\), in denen eine -- nicht notwendig symmetrische -- Entfernungsfunktion \\((ab)\\) erkl\u00e4rt ist, die folgenden Axiomen gen\u00fcgt:  (1) \\((ab) > 0\\) f\u00fcr \\(a \\neq b\\).  (2) Die drei Relationen \\(p_n \\to p\\), \\((pp_n) \\to 0\\), \\((p_n \\, p) \\to 0\\) sind gleichbedeutend.  (3) \\((ab) + (bc) \\geqq (ac)\\) f\u00fcr jedes Punktetripel \\(a\\), \\(b\\), \\(c\\).  (4) Zu jedem Punkt \\(p\\) gibt es eine positive Zahl \\(r\\) mit folgenden Eigenschaften:  \\(\\quad\\) (a) Ist \\(q\\) ein Punkt mit \\((pq) \\leqq r\\), so existiert eine Strecke \\(pq\\).  \\(\\quad\\) (b) Ist \\(q\\) ein Punkt mit \\((pq) > r\\), so existiert ein Punkt \\(x\\) mit \\((px) + (xq) = (pq)\\) und \\((px) = r\\).  Dabei ist unter einer ``Strecke'' \\(ab\\) das einem geod\u00e4tischen Bogen entsprechende Gebilde zu verstehen, also ein stetiger Bogen \\(x(t)\\), \\(0 \\leqq t \\leqq 1\\), \\(x(0) = a\\), \\(x(1) = b\\), derart da\u00df f\u00fcr irgend drei \\(t\\)-Werte \\(0 \\leqq t_1 \\leqq t_2 \\leqq t_3 \\leqq 1\\) gilt:  \\[  (x(t_1), \\, x(t_2)) + (x(t_2), \\, x(t_3)) = (x(t_1), \\, x(t_3)).  \\]   Ist also \\(R\\) \u00fcberdies vollst\u00e4ndig (vgl. \\textit{Hopf}, \\textit{Rinow} l. c.), so bestimmt jedes Punktepaar \\(a\\), \\(b\\) eine Strecke \\(ab\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924230$9DD1E046-E742-4DF5-8FD8-5180F449FC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efcb6d5d6f6ff0d87378b18374d3243956d02807","datavalue":{"value":"2536261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924230$A5DA481F-611A-49A6-9A60-0AA9E825AB23","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924230$910E7CE6-4F92-461F-9193-73BCDCC5AC34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5924230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5924230"}}}}}