<p>Let <i>X</i> be a real algebraic set. In the literature, a (real-valued) function <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation> on <i>X</i> is called regulous if its restriction to each algebraic subset of <i>X</i> is a continuous rational function. A function <i>f</i> on <i>X</i> is called quasi-regulous if it is continuous and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(f^2=\varphi ^2\)</EquationSource> </InlineEquation> for some regulous function <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> </InlineEquation> on <i>X</i>. Assuming <i>X</i> is nonsingular, we prove that a function <i>f</i> on <i>X</i> is quasi-regulous if and only if its restriction to each algebraic curve in <i>X</i> is quasi-regulous. We also prove three other variants of this result.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On quasi-regulous functions

  • Wojciech Kucharz,
  • Krzysztof Kurdyka

摘要

Let X be a real algebraic set. In the literature, a (real-valued) function \(\varphi \) on X is called regulous if its restriction to each algebraic subset of X is a continuous rational function. A function f on X is called quasi-regulous if it is continuous and \(f^2=\varphi ^2\) for some regulous function \(\varphi \) on X. Assuming X is nonsingular, we prove that a function f on X is quasi-regulous if and only if its restriction to each algebraic curve in X is quasi-regulous. We also prove three other variants of this result.