{"entities":{"Q1972304":{"pageid":1983046,"ns":120,"title":"Item:Q1972304","lastrevid":71197848,"modified":"2026-04-13T20:19:56Z","type":"item","id":"Q1972304","labels":{"en":{"language":"en","value":"The Motzkin theorem on nonpositively curved spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1436014"}},"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":"Q1972304$04752DF0-F4A8-4FF2-9A73-31F5A96D02A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83c3bc8f62a2bea0e0b6eda52a85ed90e393af5b","datavalue":{"value":{"text":"The Motzkin theorem on nonpositively curved spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972304$8521BA9C-F5B8-4F35-A172-88FFED1DB46B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02e2c403225a26dd056182a459d27fef8fcb09a","datavalue":{"value":"0968.53027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$6C8B9F36-9C2B-4C7B-95AB-FD5A43DA6C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204542ff3f929382f82a9af04c1cf4d72e9c5869","datavalue":{"value":"10.1023/A:1005236325541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$6888D1E4-4505-4577-9045-BD452CDA955A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91911ad294d272631498167bfcdd7115181507c6","datavalue":{"value":{"entity-type":"item","numeric-id":213797,"id":"Q213797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972304$73E1E31C-E474-46DA-8A56-41CC199B5A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972304$E2F6F5E4-B824-4A5E-8E2B-11326897AFEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38e52bd0bda7dd3c1a0d042ea3a4146210d006f","datavalue":{"value":{"time":"+2001-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972304$6F926311-B208-4FD0-B977-38BB10CE2AC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b493ac428584b21d0e6f8ba6cb0eb717b84ad64","datavalue":{"value":"Let \\(M\\) denote a complete, simply connected \\(n\\)-dimensional Riemannian manifold with sectional curvature \\(K\\leq 0\\). The space \\(M\\) satisfies many of the same convexity properties as flat Euclidean space \\(\\mathbb{R}^n\\). In this article the author investigates generalizations related to the following   Theorem (Motzkin). Let \\(G\\) be a closed subset of \\(\\mathbb{R}^n\\) with the standard flat metric. Then the following properties are equivalent:   1) \\(G\\) is a convex set.   2) Each point \\(x\\) of \\(\\mathbb{R}^n\\) has a unique point \\(P(x)\\) in \\(G\\) that is closest to \\(x\\).   3) The function \\(d_G(x)= d(x,G)\\) is differentiable on \\(\\mathbb{R}^n-G\\).   4) The function \\(d_G(x)= d(x,G)\\) is \\(C^{1+ \\text{Lip}}\\) on \\(\\mathbb{R}^n- G\\).   If \\(M\\) is as above, then there is a unique unit speed geodesic \\(\\gamma_{pq}\\) joining any two distinct points \\(p\\), \\(q\\) of \\(M\\). Let \\(v(p,q)\\) denote the initial velocity at \\(p\\) of this geodesic. A set \\(G\\subseteq M\\) is geodesically convex if it contains the unique geodesic segment \\(\\gamma_{pq}\\) joining any two of its points \\(p\\), \\(q\\). Each unit vector \\(v\\) in TM defines a geodesic \\(\\gamma_v\\) and an open horoball \\(B(v)\\), the union over all positive \\(t\\) of the open balls of radius \\(t\\) centered at \\(\\gamma_v t\\). A closed set \\(G\\subseteq M\\) is weakly convex if each point \\(x\\) of \\(M-G\\) has a unique point \\(P(x)\\) in \\(G\\) that is closest to \\(x\\) and the open horoball determined by \\(v(Px,x)\\) is disjoint from \\(G\\). Geodesically convex implies weakly convex. Examples of closed sets \\(G\\) that are weakly convex but not geodesically convex include the complements and boundaries of open horoballs in the case that \\(M\\) is not flat. The article proves two main results:   Theorem 1. Let \\(M\\) be as above and suppose that \\(-k^2\\leq K\\leq 0\\) for some positive constant \\(k\\). Let \\(G\\) be a closed subset of \\(M\\). Then the following properties are equivalent:   1) \\(G\\) is weakly convex.   2) Each point \\(x\\) of \\(M\\) has a unique point \\(P(x)\\) in \\(G\\) that is closest to \\(x\\).   3) The function \\(d_G(x)= d(x, G)\\) is differentiable on \\(M-G\\).   If any of these conditions is satisfied, then \\(d_G(x)\\) is \\(C^1\\) on \\(M-G\\) and the projection \\(P: M\\to G\\) is locally Lipschitz.   Theorem 2. Let \\(G\\) be a closed subset of a manifold \\(M\\) as above with \\(K\\leq 0\\). Then the following properties are equivalent:   1) \\(G\\) is geodesically convex.   2) The function \\(d_G(x)\\) is \\(C^1\\) and the projection \\(P: M\\to G\\) is \\(1\\)-Lipschitz.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$392E6052-DBD7-42B6-A940-DF67C00564E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80944b79088c06ea29b7a04b1b13ad3b77aa8f67","datavalue":{"value":"53C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$D85C7AA9-082A-41ED-8EAB-64541AEA5543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e91529a8a08801bafc0325eb71a11714228bfc1","datavalue":{"value":"52A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$E319864F-64CD-4060-92EC-5365755FB8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bdcef7e78c3ce5e15f6991d641074dab79cacc2","datavalue":{"value":"1436014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$6DB40F68-FB83-4B31-ACD7-DCFBF7CFB4DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a5e74782c08d285df7df3b9835234f3cf49ee5","datavalue":{"value":"Motzkin's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$396D3F67-4D1D-4E7D-927B-CDDB9F00ED22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789fe58701cd20b8b29e1fdb55acacd40784bae2","datavalue":{"value":"negative curvature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$7B54100E-E37C-49F9-843B-7D25D2E8DD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0946895e8770f26c6a1bfde96ad9fbb35ce8d9e8","datavalue":{"value":"convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$4393E94C-1A8B-4F18-9C25-625313A5667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf2c8a2779a6fd4eed47029490a3d61f5860622","datavalue":{"value":"convex set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$3042D8A5-7BED-453B-9E1D-8364B9C86A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5e9cd2da685d7f4ef43ae9c83a7a920e094393","datavalue":{"value":"geodesically convex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$F34732AD-4E96-468D-A3F4-6363BCE7F5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108975be8f54e551bb1d9cce81791e49f44100ab","datavalue":{"value":"weakly convex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$9894811D-F84F-4FB3-AED0-8DC6373019B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b0fa5500ee7e0ba4ca869703bd2daa8be0a893","datavalue":{"value":"horoball","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972304$8E353741-A700-41C5-A867-F6903E25CD62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3614d77037dc619a4c0dc78438fc9636a1e19452","datavalue":{"value":{"entity-type":"item","numeric-id":589115,"id":"Q589115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972304$0E4CD383-6D43-4943-8831-E6C2F4E58F97","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":"Q1972304$ACE9353E-1339-4452-9966-0464B8BAA2EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"637446ba6f66392a4e67a3c21b32e86d75017748","datavalue":{"value":"https://doi.org/10.1023/a:1005236325541","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972304$E4675775-3C49-437C-82AA-89A38D4977B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa7b0f759805a675d90c3548e871622b824438e9","datavalue":{"value":"W2913446882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972304$1B100F7B-93CF-4278-9C63-2502929A0693","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf65a3fcbf4b74fa720576dfba7fd21fd5f15ed","datavalue":{"value":{"entity-type":"item","numeric-id":5419812,"id":"Q5419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4e02f26d59a5f87f33c8d66f65aa8b72671a0e","datavalue":{"value":{"amount":"+0.89777875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$2625C9D6-FECD-464F-880F-468CE2E3E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b4743564f57516458a935971da82b0f131a47c","datavalue":{"value":{"entity-type":"item","numeric-id":4666791,"id":"Q4666791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48c8122882335932a958d12404288c5ac857de2","datavalue":{"value":{"amount":"+0.8952366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$EABA5BB3-0AB3-4891-B737-3E8695560986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbe180c6ed6cbc519acb7ce42dcd8ddfdbaf4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1365206,"id":"Q1365206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd06b0e5ad670f1bc1b61fa5246afc0ad692e460","datavalue":{"value":{"amount":"+0.88609415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$0683AF6A-4328-4D7B-88FE-E30EBDFB39DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56e9166a7619306f3bd7adbeacb3eaf9c2510cb","datavalue":{"value":{"entity-type":"item","numeric-id":1001618,"id":"Q1001618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09615a79084d6e2c809a7732ae60c1cec7854516","datavalue":{"value":{"amount":"+0.8852147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$8036FE11-D8D1-446E-8BFB-7B313A869466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbd8e6442c7f7b8b294e10d24a5373d2fffc007","datavalue":{"value":{"entity-type":"item","numeric-id":2693162,"id":"Q2693162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d30e2f112f6accd4a799fd24a284aa4c07b388","datavalue":{"value":{"amount":"+0.88467443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$624E8076-ABED-4289-9607-64B2E4E7D45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17719567cdac29c405afc517b2e17e3fad942eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2255141,"id":"Q2255141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37a2be2362b3fe7e392af8bc5ef68d14b7fd2a4","datavalue":{"value":{"amount":"+0.8842572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$CA932F11-6F0B-4592-B498-A6806959D840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3399dd32f1f3a18d9bca96cd2cc50a2fa1cbb4f8","datavalue":{"value":{"entity-type":"item","numeric-id":1173921,"id":"Q1173921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1520cce9a6fbae608ea7723fdde0c8e3bcee96f","datavalue":{"value":{"amount":"+0.88415486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$3E5AF4E4-BA8E-4F18-A16F-BFCAC2C95D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d926f663a3fa9aca4cac0b0f6cea9c4cdf6e7346","datavalue":{"value":{"entity-type":"item","numeric-id":5946370,"id":"Q5946370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd14f7ef43472546f1593aa848186c53cb9cb44","datavalue":{"value":{"amount":"+0.88352305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$FDB60BEB-46C9-4F20-A072-D6A7B30C5BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbafd3244d4d452047825d392de75d87e507d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2339790,"id":"Q2339790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a08f46ae6dcd808c65b223b1407089602bb109","datavalue":{"value":{"amount":"+0.8812885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$C5BE70E2-265B-4443-B418-232222C5C74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb1bd9e78e7bb6419f0322acea40cad18d7eb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3222809,"id":"Q3222809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c019aafbb6d142dd2b4909ce38a56e21359a5ce9","datavalue":{"value":{"amount":"+0.87976414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1972304$96AC8409-F813-44EE-A0F9-DAFFAC510B96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Motzkin theorem on nonpositively curved spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Motzkin_theorem_on_nonpositively_curved_spaces"}}}}}