Effective Łojasiewicz inequalities in semialgebraic geometry

The main result of this paper can be stated as follows: let V ⊂ ℝn be a compact semialgebraic set given by a boolean combination of inequalities involving only polynomials whose number and degrees are bounded by some D > 1. Let F, G∈∝[X1,⋯, Xn] be polynomials with deg F, deg G ≦ D inducing on...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Solernó, P.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09381279_v2_n1_p1_Solerno
Aporte de:
id todo:paper_09381279_v2_n1_p1_Solerno
record_format dspace
spelling todo:paper_09381279_v2_n1_p1_Solerno2023-10-03T15:48:45Z Effective Łojasiewicz inequalities in semialgebraic geometry Solernó, P. Łojasiewicz inequalities Complexity Computer algebra Real algebraic geometry The main result of this paper can be stated as follows: let V ⊂ ℝn be a compact semialgebraic set given by a boolean combination of inequalities involving only polynomials whose number and degrees are bounded by some D > 1. Let F, G∈∝[X1,⋯, Xn] be polynomials with deg F, deg G ≦ D inducing on V continuous semialgebraic functions f, g:V→R. Assume that the zeros of f are contained in the zeros of g. Then the following effective Łojasiewicz inequality is true: there exists an universal constant c1∈ℕ and a positive constant c2∈∝ (depending on V, f,g) such that {Mathematical expression} for all x∈V. This result is generalized to arbitrary given compact semialgebraic sets V and arbitrary continuous functions f,g:V → ∝. An effective global Łojasiewicz inequality on the minimal distance of solutions of polynomial inequalities systems and an effective Finiteness Theorem (with admissible complexity bounds) for open and closed semialgebraic sets are derived. © 1991 Springer-Verlag. Fil:Solernó, P. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09381279_v2_n1_p1_Solerno
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Łojasiewicz inequalities
Complexity
Computer algebra
Real algebraic geometry
spellingShingle Łojasiewicz inequalities
Complexity
Computer algebra
Real algebraic geometry
Solernó, P.
Effective Łojasiewicz inequalities in semialgebraic geometry
topic_facet Łojasiewicz inequalities
Complexity
Computer algebra
Real algebraic geometry
description The main result of this paper can be stated as follows: let V ⊂ ℝn be a compact semialgebraic set given by a boolean combination of inequalities involving only polynomials whose number and degrees are bounded by some D > 1. Let F, G∈∝[X1,⋯, Xn] be polynomials with deg F, deg G ≦ D inducing on V continuous semialgebraic functions f, g:V→R. Assume that the zeros of f are contained in the zeros of g. Then the following effective Łojasiewicz inequality is true: there exists an universal constant c1∈ℕ and a positive constant c2∈∝ (depending on V, f,g) such that {Mathematical expression} for all x∈V. This result is generalized to arbitrary given compact semialgebraic sets V and arbitrary continuous functions f,g:V → ∝. An effective global Łojasiewicz inequality on the minimal distance of solutions of polynomial inequalities systems and an effective Finiteness Theorem (with admissible complexity bounds) for open and closed semialgebraic sets are derived. © 1991 Springer-Verlag.
format JOUR
author Solernó, P.
author_facet Solernó, P.
author_sort Solernó, P.
title Effective Łojasiewicz inequalities in semialgebraic geometry
title_short Effective Łojasiewicz inequalities in semialgebraic geometry
title_full Effective Łojasiewicz inequalities in semialgebraic geometry
title_fullStr Effective Łojasiewicz inequalities in semialgebraic geometry
title_full_unstemmed Effective Łojasiewicz inequalities in semialgebraic geometry
title_sort effective łojasiewicz inequalities in semialgebraic geometry
url http://hdl.handle.net/20.500.12110/paper_09381279_v2_n1_p1_Solerno
work_keys_str_mv AT solernop effectivełojasiewiczinequalitiesinsemialgebraicgeometry
_version_ 1782030896522592256