{"entities":{"Q916744":{"pageid":918592,"ns":120,"title":"Item:Q916744","lastrevid":65358984,"modified":"2026-04-12T02:03:09Z","type":"item","id":"Q916744","labels":{"en":{"language":"en","value":"Bezout theorem for Nash functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154637"}},"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":"Q916744$1669B578-D295-46F4-A9D1-62A57339A41F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c77b87a3c6592ba271233846ab46b2fcad29573","datavalue":{"value":{"text":"Bezout theorem for Nash functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916744$9AFAE3D3-1F30-40EF-8372-7892054B2C4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d58066c024d869d79cb52414e574686a0aae1bc9","datavalue":{"value":"0704.14045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$96682A55-4930-45A0-8CF0-5913CC81F740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e4e3da4ba36f3311fed8140c433b3b290578b6a","datavalue":{"value":"10.1016/0022-4049(89)90080-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$1C52D1C2-B602-4C32-8B81-1AFD4D1C8DCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"460f4d24fd0dd9fe41059c4362ac22c36ee20ab2","datavalue":{"value":{"entity-type":"item","numeric-id":686106,"id":"Q686106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$96909F6C-2F70-4569-96E9-FDB88463DEF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$F031CB54-2E12-4FFA-9869-31130C7752DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q916744$36F0F707-BABC-4627-B5BD-62C3D0C2708B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a5059af1a5035420f0edccf85cb3867835077be","datavalue":{"value":"Let \\(V=\\{x\\in {\\mathbb{R}}^ n:\\) \\(f_ 1(x)=...=f_ p(x)=0\\}\\). Milnor and Thom gave an upper bound for the sum of the Betti numbers of V in the case where V is compact and \\(f_ i\\) denotes a polynomial map such that for each \\(i=1,...,p\\), \\(\\deg (f_ i)\\leq d:\\sum^{n}_{i=0}b_ i(V) \\leq d(2d-1)^{n-1}.\\)    Our aim is to obtain a similar relation in a larger class of functions than the polynomials: Nash functions \\((C^{\\infty}\\quad semi-algebraic\\) functions, defined in an open semi-algebraic U of \\(R^ n\\), where R denotes a real closed field). It is a well-known result that Nash functions verify a polynomial equation: \\(P(x,f(x))=0\\) where \\(P\\in R[X,Y]\\) does not vanish identically. So we define the complexity of a Nash function as being the total degree of its minimal polynomial. This notion will replace the degree of polynomial in Milnor-Thom's formula.    We give a Bezout theorem which uses this complexity. Then, we obtain an upper bound for the sum of the Betti numbers of a compact Nash set V:\\(\\sum^{n}_{i=0}b_ i(V) \\leq d^{2n-1}\\) where \\(f_ i\\) is a Nash function of complexity less than or equal to d. In the case where V is not compact, we have: \\(\\sum^{n}_{i=0}b_ i(V) \\leq (2^{p+1}d^ p)^{2n-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q916744$956D62BB-71E1-448E-9A98-103AE4F6075D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83c21d954a97040234981aff3ae0371578eaf333","datavalue":{"value":"14P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$2CBA6947-8EF9-4D81-B661-8C6124BDA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48b7b628cf88b184f0666b88aa5aa6c86ac6aa72","datavalue":{"value":"14F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$0D636AEE-A0B7-476C-B7D1-B4B8E983F978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$8176AA5E-0105-444E-B802-ECA469A5107B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852ff2c2954d76f4be2c458a0d66bda6d2bc25e1","datavalue":{"value":"4154637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$7C145B51-7340-4BF0-BA98-D9DD1D2560FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ca1e8a6f4ab335456718c020c340ba3bc4c6d","datavalue":{"value":"complexity of a Nash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q916744$657E6555-0E45-468F-B0B2-185CC4914944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653526ed548815658c1b3a23f768fba4dbfeab6a","datavalue":{"value":"Bezout theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q916744$8C9F06DA-C3B0-44E0-B39E-32483862C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b278e80ad8bc49d09d1f7fac5dbfac4aac35d995","datavalue":{"value":"sum of the Betti numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q916744$132AC9A3-4A4C-453F-B1D7-5269CDF8676B","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":"Q916744$733E858E-DE47-4431-B175-A7C7D3DBCE8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb56db9ead7f01c00d271afd30d2473ced4775c5","datavalue":{"value":"https://doi.org/10.1016/0022-4049(89)90080-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q916744$121D3B1B-F466-49BA-98BB-B0F9AAF72D20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828af4cefb08969a6fdc51bb38c4166ca9e911e9","datavalue":{"value":"W2095309112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916744$E94786C6-0F45-4E6A-A847-7DAFC85DC993","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"880d9140ab1b752915b95e540df31aad9a632ce5","datavalue":{"value":{"entity-type":"item","numeric-id":4204256,"id":"Q4204256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$5F15A711-B4CF-4C35-97ED-B7805188BC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$3F28B92E-69AC-4166-9620-C068CC0E26F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34207c68522aa75290d415311a3d7789b23b5db7","datavalue":{"value":{"entity-type":"item","numeric-id":1086843,"id":"Q1086843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$8CAC382D-4C0A-455C-B12E-C0F632FCE08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b515ced739c6c8e682cf74e7321d82d15295643","datavalue":{"value":{"entity-type":"item","numeric-id":5736681,"id":"Q5736681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$19248DFD-B3E3-4290-9FB3-F9E32521646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1ae252985c34fa5a19dd38df35f120d67363f2","datavalue":{"value":{"entity-type":"item","numeric-id":3843856,"id":"Q3843856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$05F9ED01-07EC-4EFE-9BF9-2AA7E8059107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5112b02a1c585d3a81304325c4f95b938dde79","datavalue":{"value":{"entity-type":"item","numeric-id":4733956,"id":"Q4733956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$EBCD291B-AA25-4A43-BE47-1DB1DB479166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83242e24e9b5660d7bf880d2cc8101cebe60d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":5187376,"id":"Q5187376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$ADC05749-B51E-4193-983C-D66BE775BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77440721031a318d21c7f629e758712b9efe6850","datavalue":{"value":{"entity-type":"item","numeric-id":5511997,"id":"Q5511997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916744$68CC96F3-A7B8-4D60-B71C-2E1BB98C674D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1080994140dfceda8c111b5018813c2e92769c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4733956,"id":"Q4733956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a77e5cc957a99a4bbe7eed24ef73ba73f80bf6a","datavalue":{"value":{"amount":"+0.8459798693656921","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":"Q916744$181B8A44-E3BE-4041-BFD3-656F0BC075BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff0495d5ec1f5a9cae8e05032ca84d63b894476","datavalue":{"value":{"entity-type":"item","numeric-id":3322225,"id":"Q3322225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c89ec0556cc1e2f55f5b08749e37d913b200d9a","datavalue":{"value":{"amount":"+0.7765845656394958","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":"Q916744$B28FFB67-64ED-48D6-876D-9454CFEF60C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffa951fe3e671ae34fc8b3d0e8cce6634920fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4887326,"id":"Q4887326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59da651a7f676685f15405d3f180196f2305077","datavalue":{"value":{"amount":"+0.7681544423103333","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":"Q916744$F1A117DB-3194-4E08-AE0B-0B559FED529E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd475f856ed514055a50d36d2e6cfbd0b679ed3a","datavalue":{"value":{"entity-type":"item","numeric-id":3775801,"id":"Q3775801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3801018faedbd24611525fe623a58c83379396c","datavalue":{"value":{"amount":"+0.7681543231010437","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":"Q916744$4342218E-AAC8-4352-9D94-CC3455A8A9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4a9b2c5868b4e0735a577ef22d5679f0137cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4692269,"id":"Q4692269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c73a03e87137208e7b6cb6bbd38646ba2865e6f","datavalue":{"value":{"amount":"+0.7680460810661316","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":"Q916744$48513227-B00A-4002-89F1-5B765C484FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bezout theorem for Nash functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bezout_theorem_for_Nash_functions"}}}}}