{"entities":{"Q633664":{"pageid":635512,"ns":120,"title":"Item:Q633664","lastrevid":63247563,"modified":"2026-04-11T11:36:18Z","type":"item","id":"Q633664","labels":{"en":{"language":"en","value":"On the points realizing the distance to a definable set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5871217"}},"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":"Q633664$1CF93D92-B159-4E24-9B66-5D60B276569A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65b958160bb76424cdf2bdaef99361c919df56bd","datavalue":{"value":{"text":"On the points realizing the distance to a definable set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633664$B5202B5D-654D-43C5-8E0E-8E92A4A85001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21748675107beca2003bdb153a3a1f462d11f687","datavalue":{"value":"1219.32006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$125699F2-FE9D-4BED-A817-AC2F4ACF58A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ae289ae11f7a26d93657a510b06c7811c8f70b0","datavalue":{"value":{"entity-type":"item","numeric-id":310063,"id":"Q310063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$39B61A50-6BDE-41EB-BEBD-5B12ACD46C7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$22FF84AD-AD27-4092-BF61-DF30EA00FD44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d583816d835e75c36aad79958ce708288448ce5d","datavalue":{"value":{"time":"+2011-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633664$1CFC5279-B685-4883-B77A-427097B22894","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa54e0fb505164bcbf113d0c089f8ca1a068f5bd","datavalue":{"value":"A lemma due to \\textit{J.\\ Nash} [Ann.\\ Math.\\ (2) 56, 405--421 (1952; Zbl 0048.38501)] states that a manifold \\(M\\) analytically embedded in \\(\\mathbb R^n\\) has a neighborhood \\(N\\) in \\(\\mathbb R^n\\) in which there is a unique nearest point \\(y \\in M\\) for each \\(x \\in N\\), and in which \\(y\\) depends analytically on \\(x\\).   In the present paper this is generalized to definable/subanalytic sets \\(M\\) with parameters. More precisely: Let \\(M \\subseteq \\mathbb R_t^k \\times \\mathbb R_x^n\\) be nonempty with locally closed \\(t\\)-sections \\(M_t\\). Suppose that \\(M\\) is definable (in some fixed o-minimal structure). Then there exists a definable set \\(W \\subseteq \\mathbb R_t^k \\times \\mathbb R_x^n\\) with open \\(t\\)-sections \\(W_t\\) such that \\(M_t \\subseteq W_t\\) is closed in \\(W_t\\) and \\(m(t,x) \\neq \\emptyset\\) for \\(x \\in W_t\\), where  \\[  m(t,x):=\\{y \\in M_t : \\|x-y\\|=\\text{dist}(x,M_t)\\}, \\quad (t,x) \\in W.  \\]  Moreover, the multifunction \\(m(t,x)\\) is definable; there is a definable set \\(E \\subseteq W\\) with nowhere dense sections such that \\(m(t,x)\\) is single-valued iff \\(x \\in W_t \\setminus E_t\\); and for any integer \\(p \\geq 2\\) there is a definable set \\(E \\subseteq F^p \\subseteq W\\) with closed and nowhere dense sections such that \\(M_t\\) is a \\(C^p\\)-submanifold near \\(x \\not\\in F^p_t\\) and \\(m(t,\\cdot)\\) is \\(C^{p-1}\\) near \\(x \\in W_t \\setminus \\overline{E_t}\\) iff \\(x \\not\\in F^p_t\\).  The author gives also a version for subanalytic sets \\(M \\subseteq \\mathbb R^n\\). (Note that the subanalytic subsets of \\(\\mathbb R^n\\) do not form an o-minimal structure, in contrast to \\textit{globally} subanalytic sets.)  Finally, properties of \\(m\\) as a multifunction are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q633664$977FD654-D28F-4027-AE8C-EDBED6C8C9FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc14ccb58b85a4a8db3f17551bf76daf6193642a","datavalue":{"value":{"entity-type":"item","numeric-id":259738,"id":"Q259738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$E016DC8B-45B7-40F2-8FD8-2A00F02A63D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$F71F9201-D5D3-4B07-BF7F-C76FB53F93C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$C5AB1754-1DCB-4ABB-B69A-18F47D8D184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$3F87B414-C865-4F06-9E91-C9A5FB4B19E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd5174eb54d54934222b20e4c5f367f6a5a93bb","datavalue":{"value":"5871217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$BADCF177-3A53-4452-AF2C-F93F520D95D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9682e06ce2646e85d767181f57167c5bc0ff8f49","datavalue":{"value":"tame geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q633664$8635F7C1-3335-4F08-8659-C30E45BCF6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666fe6fca5bf87a5341efd4cb467c06993da1c49","datavalue":{"value":"definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q633664$45CCBB97-0816-4A85-AF44-C8471F49212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c9afd377a2d7327e68fed1bf3534f6e4be8f3a","datavalue":{"value":"subanalytic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q633664$473694FE-7ED8-4286-AECD-FEC9E3587B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3ec5972ec6d1ac9282b92e8745281ba2c745c2","datavalue":{"value":"multifunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q633664$090DDCE7-D579-4C8E-BB2B-EC7DA3A950EB","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":"Q633664$5A84AC2D-332F-43A2-A0FB-4BCBA7B85EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29ad4a5da1a658607e9a29e76ffe8e950e8f69bb","datavalue":{"value":"https://doi.org/10.1016/j.jmaa.2011.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q633664$07E62C66-09DC-48F6-8907-1AC7CA502BF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"875ea128a98126d9f43e8a2615a7ea7af17173f7","datavalue":{"value":"W2062542199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$89E49C50-B0FA-467E-A1C8-2B1A74227BEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7567a34b35b4c3200c9b85c07cd3886e69916d82","datavalue":{"value":{"entity-type":"item","numeric-id":3621985,"id":"Q3621985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$7EE9AD58-A252-44F0-93AF-B07B1DC98325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f079573d455388a8aef49e7cd7677ab982211c40","datavalue":{"value":{"entity-type":"item","numeric-id":645368,"id":"Q645368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$5E086C8A-BE7F-48B0-853A-89AF58050F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f218fdaa745539e30896170959aa1360673cde","datavalue":{"value":{"entity-type":"item","numeric-id":3874499,"id":"Q3874499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$F596FCF1-F48E-4AC6-9F0F-B79F2E4C506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54317929d8ba7edbb53f475c10eec4c5ec0d7cb","datavalue":{"value":{"entity-type":"item","numeric-id":1089471,"id":"Q1089471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$9B58215E-A57B-4F7E-A668-E347B2FE8509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e105fa928e4769fdcf569ac76389225ef11e3e78","datavalue":{"value":{"entity-type":"item","numeric-id":1138279,"id":"Q1138279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$967E0011-348B-4EB9-BB40-10FC12A5EBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf6829478cb8aa7f863ed08ceb83379f1e3cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1013022,"id":"Q1013022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$C95EADC8-C6F2-4796-AF4C-8E3C6F19E599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f21a12ac52bb8b3e1ae61bec3c8d6477e9468a","datavalue":{"value":{"entity-type":"item","numeric-id":3419829,"id":"Q3419829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$B7E9E531-38D0-4B19-9C36-D5F0D3D7850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3836d5fe5e211846541c761367b21997565dbdcf","datavalue":{"value":{"entity-type":"item","numeric-id":2650462,"id":"Q2650462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$A45C08FD-E205-4719-9966-2BFC1201B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5912bd7c665932bb570f89ff084d1917791ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3338981,"id":"Q3338981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$70A06E37-FA10-4C9C-8F3F-E1BCDD500B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391295ce7fc89395d0bb487d27b77012cbe927dd","datavalue":{"value":{"entity-type":"item","numeric-id":3041509,"id":"Q3041509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$22373D6E-175E-4FDF-9FD2-1052E6818C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49348a1d29cf14dcdf6cb8524474c7fe6ae39a88","datavalue":{"value":{"entity-type":"item","numeric-id":4934494,"id":"Q4934494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$3B6E9E2F-6074-400F-9CF7-5AFBD5D7B1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0103447458d30cfc667a7f506b888a6e131ea7f","datavalue":{"value":{"entity-type":"item","numeric-id":1161189,"id":"Q1161189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633664$984F8536-B532-4118-9B5F-DF4B491EB726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c07819baf6c77af27daf54d1f93946572bd61e26","datavalue":{"value":"10.1016/J.JMAA.2011.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633664$E55A682D-B284-4A1B-9BD5-4CEE71EA4C03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9049f62bedeabca4134eca617ca120a0e91a2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3469363,"id":"Q3469363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804264053ae3540339bd1260556ef6c51f74dfc6","datavalue":{"value":{"amount":"+0.7770657539367676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q633664$0C4AFC08-33C5-49FC-A25D-F45F4F3CB273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d8b7ae8cfdded5e8baeadbb73052ad4f7673b0","datavalue":{"value":{"entity-type":"item","numeric-id":4724910,"id":"Q4724910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c27203be1295156e15ed2ab64ac4cbf924e579d","datavalue":{"value":{"amount":"+0.7663638591766357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q633664$54987BEA-04A4-4F41-95A2-3252D7146A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3a5ff651b6e14dfab0c2c0ea21935b755b9266","datavalue":{"value":{"entity-type":"item","numeric-id":4724048,"id":"Q4724048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff5cb537fdf88f8bc8a43032bf3fe34014744b1","datavalue":{"value":{"amount":"+0.7531399130821228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q633664$28B27709-1E43-4769-B613-E635396170C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64de4a3f178aa757356d370f3596d886320dcad","datavalue":{"value":{"entity-type":"item","numeric-id":3826852,"id":"Q3826852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9bae0fd1de9f60258bee09523299c6d6101bcf","datavalue":{"value":{"amount":"+0.7462787628173828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q633664$72D84C64-4409-4B19-9E4B-A161FF1446E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31969960291b18460977dd85fbd4deb601260567","datavalue":{"value":{"entity-type":"item","numeric-id":4361548,"id":"Q4361548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a59b5c471f45dd1fbd46b5c57865428c24e5489","datavalue":{"value":{"amount":"+0.7310951352119446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q633664$31F6F941-D3AC-4F86-BB60-ABCD772C2B8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the points realizing the distance to a definable set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_points_realizing_the_distance_to_a_definable_set"}}}}}