{"entities":{"Q1314987":{"pageid":1325737,"ns":120,"title":"Item:Q1314987","lastrevid":67152513,"modified":"2026-04-12T15:38:32Z","type":"item","id":"Q1314987","labels":{"en":{"language":"en","value":"Volumes of tubular neighbourhoods of real algebraic varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 509114"}},"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":"Q1314987$CFCC5CFC-C5C7-4F3B-A838-EA68972CBDB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df6941eca6420935f51fd12622cae32f532864cf","datavalue":{"value":{"text":"Volumes of tubular neighbourhoods of real algebraic varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314987$7CC0AEDB-3A01-49FA-B185-0A80F5513984","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337c36be7f3726c802a212f3fd5f1b1a9b6d192c","datavalue":{"value":"0803.14029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$DE9C5BDF-3593-4083-AC60-22CD5CDFC19E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aafd34935ca6fbdbcb71bdeedc2424304baedebd","datavalue":{"value":{"entity-type":"item","numeric-id":1314986,"id":"Q1314986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314987$7B6214E9-5A4E-4F55-9B63-D94087954417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314987$169EA97C-B289-4DA8-8D9E-F94B329D1DC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198e1cf6b5241864422b78fe5a16d94ea3d08eab","datavalue":{"value":{"time":"+1994-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314987$9117623D-1D91-4D24-895A-8D36724A0FB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a73726e36939ccd0ccd6ee3ae34c676ce7b46b83","datavalue":{"value":"The degree of an algebraic subset \\(V\\) of \\(\\mathbb{R}^ n\\) is defined as the least integer \\(d = d (V)\\) such that there exist polynomials in \\(\\mathbb{R} [T_ 1, \\dots, T_ n]\\) of degree \\(\\leq d\\) whose set of common zeros is \\(V\\). For every subset \\(X\\) of \\(\\mathbb{R}^ n\\) and every positive real number \\(\\rho\\), the tubular neighbourhood of radius \\(\\rho\\) of \\(X\\) is defined as the set \\(T_ \\rho (X) = \\{x \\in \\mathbb{R}^ n : \\text{dist} (x,X) < \\rho\\}\\). The \\(n\\)-ball in \\(\\mathbb{R}^ n\\) of radius \\(r\\) centered at the origin is denoted by \\(S_ r\\) and \\(\\text{Vol}_ n (.)\\) means the \\(n\\)- dimensional measure of \\(n\\)-manifolds.   In this paper it is proved the existence of a family of polynomials \\(\\{P^ n_ m (T):\\) \\(1 \\leq m \\leq n\\}\\) in one variable with positive real coefficients such that \\(P^ n_ m\\) has degree \\(n\\) and order \\(\\geq m\\) and  \\[ \\text{Vol}_ n \\bigl( T_ \\rho (V \\cap S_ r) \\bigr) \\leq r^ n. P^ n_ m \\left( {d \\rho \\over r} \\right) \\tag{1}  \\]  for all positive real numbers \\(\\rho\\) and \\(r\\) and all algebraic subsets \\(V\\) of \\(\\mathbb{R}^ n\\) of degree \\(d\\) and codimension \\(m\\).   This formula was first incorrectly stated by \\textit{S. Smale} for complex hypersurfaces \\(V\\) [Bull. Am. Math. Soc., New Ser. 4, 1-36 (1981; Zbl 0456.12012)] and correctly proved in this case by \\textit{J. Renegar} [Math. Oper. Res. 12, 121-148 (1987; Zbl 0618.65038)]. \\textit{Demmel}, later on, extended the result to all complex varieties when \\(\\rho \\leq 1\\). It seems that formula (1) was previously proved, but not published, by \\textit{Ocneanu} getting explicitly the polynomials \\(P^ n_ m (T) = 2m . O_ n. \\sum^ n_{k = m} {n \\choose k} T^ k\\) where \\(O_ n\\) is the volume of the unit \\(n\\)-ball.   The proof presented in the paper is very clear and elementary using Milnor's bound \\hbox{\\(d(2d - 1)^{n - 1}\\)} for the number \\(B_ 0(V)\\) of connected components of every algebraic subset \\(V\\) of \\(\\mathbb{R}^ n\\) of degree \\(d\\). Although this is a bound for the sum of Betti numbers of \\(V\\), it is the best known one in the general case -- as a function of the degree. The use of bounds for \\(B_ 0 (V)\\) as functions of other geometric complexities -- the degree is one of them -- would produce accordingly estimates for the volumes \\(\\text{Vol}_ n (T_ \\rho (V \\cap S_ r))\\) of a different nature. Such bounds appear e.g. in a paper by \\textit{A. G. Khovanskij} [Sov. Math., Dokl. 22, 762-765 (1980); translation from Dokl. Akad. Nauk SSSR 255, 804-807 (1980; Zbl 0569.32004)]\\ and the book by \\textit{R. Benedetti} and \\textit{J. J. Risler} [``Real algebraic and semi-algebraic sets'' (1990; Zbl 0694.14006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314987$47508510-44A0-4BC0-BF87-279606AD376D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e6b4cc82fe4410bfd56a54b630abbb232bce3ef6","datavalue":{"value":{"entity-type":"item","numeric-id":590015,"id":"Q590015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314987$86365262-22E0-4C3B-8C85-BAC35382D5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db482a841c11f0ca4464248aaa92efa1a30883e5","datavalue":{"value":"14P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$F730D741-9A11-4F97-8F91-73D931C27077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40a5bdb43eb74958d6f9da042ce5fcf2af4915bc","datavalue":{"value":"32A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$6F334350-F6E4-4B07-A034-91B947339387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"717f5ee9ffc86e77a92a4747cb74f7a2692d2e38","datavalue":{"value":"509114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$0B9BF75B-BB96-4891-8A52-AD96072BB1C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1cad337ab9ac0ab59efeb06d9a7b3447ada9e0","datavalue":{"value":"degree of a variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314987$AC0F1A14-C4AA-4792-804E-21A16775E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36aa8543c9c91b8e152fa6f2615e5c4f9177376","datavalue":{"value":"number of connected components of algebraic subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314987$861F3005-8CDA-4897-A0C2-D6378992711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb21a06f729cde03cce46fccc7ee9213828b98a","datavalue":{"value":"tubular neighbourhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314987$455CD33A-6B95-4EF3-83CF-E15DDBFDD2DE","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":"Q1314987$54CE9B0B-04B4-4675-8764-D89A296085B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3e2c99ab42696fe2074f20956ec9a8d99e72859","datavalue":{"value":"https://doi.org/10.2140/pjm.1993.159.177","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314987$259C9825-B7E7-4244-AF40-E584E7CD665C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f5be7bf97f7b845cdddd3416a6eb8fe8b35158","datavalue":{"value":"W2054905936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$CE5335CD-ABEA-4E35-8284-35589FDFA992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cfd9bbcb06025c97944ebec0b407605b9aa6ca3","datavalue":{"value":"10.2140/PJM.1993.159.177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314987$44CDC0D6-0ABF-4057-BF6F-EAED10658E92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda27a72276fd21351d477818bd40061f4793e97","datavalue":{"value":{"entity-type":"item","numeric-id":6093599,"id":"Q6093599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c8dcc430b6be832a31dcad8e028b68b66e059","datavalue":{"value":{"amount":"+0.7220301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$0F777EAD-B3A0-4432-A65C-1037BEA3B431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bbcc542890b1f8253ee550a4df98d569a04862","datavalue":{"value":{"entity-type":"item","numeric-id":5179371,"id":"Q5179371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc6ef3ac64dfca5ed18eeabb6201bd6c0b52da0","datavalue":{"value":{"amount":"+0.71910363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$3F7DB8CA-4CE6-427A-8F80-33CE8833A5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5798c7a6febcea8c5c159572aa35e6f73ffc3e84","datavalue":{"value":{"entity-type":"item","numeric-id":3419049,"id":"Q3419049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a4081d59ad864cca203a02d82f17c6bacdfe5","datavalue":{"value":{"amount":"+0.6796637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$C04FFCFF-6082-4E22-A50A-ECA569524910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7eb7e64d47e9373d69afcf430f0fc86ea0990c","datavalue":{"value":{"entity-type":"item","numeric-id":909921,"id":"Q909921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e021d8c9a9a4f0d8e879044a020abb3e3a00a156","datavalue":{"value":{"amount":"+0.65074986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$BDF3F9F2-2DFE-47E4-BF55-13DD6E258C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b28b28949e6107f49e61275387efa96f36bfbb","datavalue":{"value":{"entity-type":"item","numeric-id":4734524,"id":"Q4734524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed96c510bebf86e335425032b692894b9c97fa91","datavalue":{"value":{"amount":"+0.64254856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$530C977D-1D4C-445F-8CA6-AC36169DA1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1be83587549c8ac308d6811b5074228b5d6bc13","datavalue":{"value":{"entity-type":"item","numeric-id":4963295,"id":"Q4963295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e1334f740092447a0128b0f6c3c8af3b6d1aac","datavalue":{"value":{"amount":"+0.63196445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$AB49C7E8-19D2-466D-AE7D-356E94775B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaea32cb6d92cd30a68c7645ca3a2c15469274b","datavalue":{"value":{"entity-type":"item","numeric-id":2470258,"id":"Q2470258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40221286f3bc73661d9b7ee00b72edf65d67fa6","datavalue":{"value":{"amount":"+0.63032275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$BB190C3F-23F8-4A49-8D1C-4C9873BFD2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d5af6f832e415a6e17341ac31f43630e2f853b","datavalue":{"value":{"entity-type":"item","numeric-id":4555471,"id":"Q4555471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfdaa0275e476b366505d609198fe7286187a0fe","datavalue":{"value":{"amount":"+0.6284554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$9C534152-A106-4E83-B4E5-3DDE0FE7E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60409d75cd3b38cea69f2d429b5652dd387b1416","datavalue":{"value":{"entity-type":"item","numeric-id":3731942,"id":"Q3731942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0905e964a2261ba2d36138697d3f55eb946f9820","datavalue":{"value":{"amount":"+0.6269141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$18405F09-07ED-45E4-AAC8-9899537123C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947fe2792427d6a5809ecb5bdbbdcf470825fe52","datavalue":{"value":{"entity-type":"item","numeric-id":3530441,"id":"Q3530441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e240e22fd6bfbe4903c62294a9a1ff544d18c2b","datavalue":{"value":{"amount":"+0.6242659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314987$CD65A7D6-CA0D-4098-B4A7-0B63C04D82C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Volumes of tubular neighbourhoods of real algebraic varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Volumes_of_tubular_neighbourhoods_of_real_algebraic_varieties"}}}}}