{"entities":{"Q397873":{"pageid":399640,"ns":120,"title":"Item:Q397873","lastrevid":52063427,"modified":"2026-01-20T20:58:02Z","type":"item","id":"Q397873","labels":{"en":{"language":"en","value":"On \u0141ojasiewicz's inequality and the nullstellensatz for rings of semialgebraic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6329104"}},"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":"Q397873$7CF38122-0842-408C-8861-C78F78967218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72037113bba64dbc4caf4229664d630ac2c1c431","datavalue":{"value":{"text":"On \u0141ojasiewicz's inequality and the nullstellensatz for rings of semialgebraic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q397873$4A712880-3E83-4980-B7BD-1CA94263E67D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a4d9741958b208dab93945cea0ca69193154194","datavalue":{"value":"1314.14106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$6AF125AB-838B-4EFF-91C1-A8488A5252DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b95e579d717ed118d025ffa7cfded8b80c5fe9d4","datavalue":{"value":{"entity-type":"item","numeric-id":215979,"id":"Q215979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$AC3C4939-3A8F-4817-9930-A45FBBDABFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e7388062028d2300b6328709415f62ad836326","datavalue":{"value":{"entity-type":"item","numeric-id":590015,"id":"Q590015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$F7BB00B0-18A5-45CD-A8B4-A916DD107287","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$65C32419-4220-41E5-8939-507863A3F06F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9b4b63f7cea1582a3ada3e746b2363fec15bfa5","datavalue":{"value":{"time":"+2014-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q397873$4F05D5D1-A465-403B-B2A3-1C3AC54EE00B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a5ee52dce69d2435c2e93e068c55dc2ff1e6db2","datavalue":{"value":{"entity-type":"item","numeric-id":309641,"id":"Q309641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$F5178FE9-F0A9-448B-99E2-D88AD0AE1EB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$BA1BADB2-6C43-4571-B32F-CCAE9A4DB456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$B2B787D5-2764-4E87-8BD2-9635DC21ACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$DC19CD5E-E58C-4849-A8FC-B468854A14D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7f30099ea165b7fb55593a8ac3ee3b140655125","datavalue":{"value":"6329104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$28C0F146-5ECD-411F-B1BB-BE2E75A9769B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4665b4d5f88b9d309260502ba6d126af2152e1e2","datavalue":{"value":"semialgebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$609B00D4-D6EB-4FAE-9057-C55986EC6ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8dd915521a42e8714918cd7b35c6e8dbf99df9a","datavalue":{"value":"semialgebraic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$8A2D293F-3639-43D7-B5C5-DF52857BFED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1c6daab8fc950ad6fb30d69f2339bbfb0a67b3","datavalue":{"value":"\u0141ojasiewicz's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$24C7DEF7-D5F9-41C0-B26E-86BC8FBF93F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080705f54e8cd454b40ab7ee0de8e5076f2a5be7","datavalue":{"value":"Nullstellens\u00e4tze","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$DABFDDC6-CCD6-4E4A-A3CD-0DC26485B34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cc2ab033df4ddc46c02df135b335f155be70f6","datavalue":{"value":"locally compact semialgebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$5D1332AC-90BC-45EF-9C64-E30172AE209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8420573f240e680c7868d0e0485daeee2c8b00b","datavalue":{"value":"\\(z\\)-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$FD9CBE80-32AE-451E-A59A-20664489F633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2eba3c6c573ac736888435c1ee1649838a39e2","datavalue":{"value":"\\(z\\ast\\)-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$E289ABD6-80EE-49A0-90C9-DBB862C98C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d63656b79f613b08a0ff49a14f25af588cbd258","datavalue":{"value":"radical ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$05D77984-810F-451D-A68B-C5925F320BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$6F0D98FA-523E-411A-A42E-0D5AC4E52EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1c6c913bddc092cf968730c52151910e3da835","datavalue":{"value":"maximal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$C51973D3-5D81-44C2-BB4F-8C154E29B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb12747613953d4be029245263233f26d48d339","datavalue":{"value":"fixed ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$0E1A581E-D197-4B04-87E3-D9552DF749E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f69bab20a8107ff5df38e0378e2f3530590426c","datavalue":{"value":"free ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$16B9A8A5-4D9B-441C-B82D-041DE48141C5","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":"Q397873$98F19AD7-2F40-41BD-BDC8-42A23BDC1B03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c6f84b328b805a39b025fc5c231bd64054ac5e2","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2013.09.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q397873$73F3916E-EFE6-45FB-AF36-319678416E00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64bb00a6ee611cb0a73a405ef27e48c0ce23b252","datavalue":{"value":"W2128384113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$DF62800D-58EF-4CD3-B910-21EC79193D9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"702832e58a6ba14f0b2ffa2078f684057f3cd9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4889879,"id":"Q4889879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$C859AFCF-7147-4386-9A9D-E08383410F58","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":"Q397873$D4AF5E0B-E473-41F7-94FF-B8CB56491560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b7d26c5e4482d8e8592a89058f48d329791290","datavalue":{"value":{"entity-type":"item","numeric-id":3994918,"id":"Q3994918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$B42B61B5-CF8F-47D1-8868-D8B768DECE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d50b96e20e7aa188c375ab3b3e3dcf0e24abfc","datavalue":{"value":{"entity-type":"item","numeric-id":799747,"id":"Q799747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$1FA16158-F9C3-45CB-A0E3-E62041BEDEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1983ef4921ee2a660981bfadc6a3ca3996a3d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1068900,"id":"Q1068900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$22460C18-20DC-4728-9599-0FD9C80A031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616f5b3cbd3e84f6720bb29bde0b053f9af43976","datavalue":{"value":{"entity-type":"item","numeric-id":2839941,"id":"Q2839941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$3A6BF3D8-7842-4856-BB76-2BDFF8DA08BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$573ECC68-2FED-4B5B-A74B-211C7D3679E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ee81e29959b8db9ad72dd26c92b4607017d3e6","datavalue":{"value":{"entity-type":"item","numeric-id":2395108,"id":"Q2395108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$A69FBA24-1E7D-4949-96B5-E32C46F4516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720346b832bea4edbe0d4ed1cf34adab9ccfec33","datavalue":{"value":{"entity-type":"item","numeric-id":5723425,"id":"Q5723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$791B7D4E-C72F-42E0-A39C-727713F93A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b98d773bd352cec51e7255271a8614ad1c48f0b","datavalue":{"value":{"entity-type":"item","numeric-id":5554665,"id":"Q5554665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$F363CBEB-B0E0-4037-A4DE-176DBCA75222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320be0100130068b2dc0b1290f4357d23b143166","datavalue":{"value":{"entity-type":"item","numeric-id":4064159,"id":"Q4064159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$3CAA5962-45EA-42BE-B83A-5D22700773D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef02b204b7ac8a20df579ea7196aaf05a54d026","datavalue":{"value":{"entity-type":"item","numeric-id":5795279,"id":"Q5795279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q397873$CE275281-FFBC-49B1-ABFF-14E50302D431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8834595470b430e518747cc4ec34754c8cd31ac2","datavalue":{"value":"10.1016/J.JALGEBRA.2013.09.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q397873$7B1ECEA7-F4D0-4D91-990F-A9C47490FA8A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d81c1c55c12c5c540b255288d7d13834aed6ad55","datavalue":{"value":"Let \\(M\\subset \\mathbb{R}^n\\) be a semialgebraic set and let \\(f,g:M\\to \\mathbb{R}\\) be continuous semialgebraic functions.NEWLINENEWLINEThe following classical \u0141ojasiewicz inequality is well known: if \\(M\\) is locally compact and \\(f^{-1}(0)\\subset g^{-1}(0)\\) then there exist a positive integer \\(l\\) and a continuous semialgebraic function \\(h:M\\to\\mathbb{R}\\) such that \\(g^l=fh\\). In particular \\(|g(x)|^l\\leq c|f(x)|\\) for \\(x\\in M\\), provided \\(c=\\sup\\{|h(x)|:x\\in M\\}\\) exists.NEWLINENEWLINEIn the paper, the authors generalize this result to arbitrary semialgebraic sets \\(M\\) (not necessarily locally compact) but only in the ring \\(S^*(M)\\) of continuous bounded semialgebraic functions on the set \\(M\\). The main result of the paper is Theorem~~1.3 (with equivalent formulation in Theorem~~3.10), which says: if \\(f,g\\in S^*(M)\\) are functions such that each maximal ideal of \\(S^*(M)\\) containing \\(f\\) contains \\(g\\), too, then \\(g^l=hf\\) for suitable positive integer \\(l\\) and a function \\(h\\in S^*(M)\\). In particular \\(|g(x)|^l\\leq (\\sup_M(|h|))|f(x)|\\) for \\(x\\in M\\).NEWLINENEWLINEThe above \u0141ojasiewicz inequality is used as the crucial tool to prove the Nullstellensatz for bounded and cotinuous semialgebraic functions (Corollary 3.9). The authors also prove the classical \u0141ojasiewicz inequality. Moreover they show that without the assumption of local compactness of the set \\(M\\) the classical \u0141ojasiewicz inequality in general fails.","type":"string"},"datatype":"string"},"type":"statement","id":"Q397873$7FC2A5F6-2ED3-4BCB-A6C6-F0504227DA43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491ef37d7a8cc4fdbc679293f3004ac2716c65e3","datavalue":{"value":{"entity-type":"item","numeric-id":3993890,"id":"Q3993890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fc2555e0a9328c39d79834a26124640eebba1c","datavalue":{"value":{"amount":"+0.8281459212303162","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":"Q397873$60D88C6A-2C65-47EF-B04E-78BAE352509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e6157fca301e5447577eb1d5e8c1e29f9eb652","datavalue":{"value":{"entity-type":"item","numeric-id":2220322,"id":"Q2220322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ccbb93bce7b15e53962ec74216df743a825ade","datavalue":{"value":{"amount":"+0.8271180987358093","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":"Q397873$A0699BB3-FDFF-415A-879B-DA1ADF8164A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00b5c12df461250e547808a2782b58854f63841","datavalue":{"value":{"entity-type":"item","numeric-id":4713653,"id":"Q4713653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9181c6f42dfb5087ddade2f6e1f05384377c8056","datavalue":{"value":{"amount":"+0.8139173984527588","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":"Q397873$ADCCACD6-A3E0-4AD3-BCAF-7A885683FA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046ca16ffed7cf6b4b460bbadbe240057d536744","datavalue":{"value":{"entity-type":"item","numeric-id":2256082,"id":"Q2256082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8994439479c0d42f52600ee7f316d8d99472d394","datavalue":{"value":{"amount":"+0.8115598559379578","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":"Q397873$1586B19E-4F7E-48E5-87A1-EF648297009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5a8cb6153f1a103ebd096577d1851244ddd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":395058,"id":"Q395058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc56c445f3bd4cffd6b9a2c86d3caef3ec9417da","datavalue":{"value":{"amount":"+0.809656023979187","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":"Q397873$419F039C-6979-4A90-99EC-9351E88805DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:397873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:397873"}}}}}