Vol. 63, No. 1, 1976

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 332: 1  2
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
Substitution in Nash functions

Gustave Adam Efroymson

Vol. 63 (1976), No. 1, 137–145
Abstract

Let D be a domain in Rn. In this paper D is assumed to be defined by a finite number of strict polynomial inequalities. A Nash function on D is a real valued analytic function f(x) such that there exists a polynomial p(z,x1,,xn) in R[z,x1,,xn] such that p(f(x),x) = 0 for all x in D. Let AD be the ring of such functions on D. For any real closed field L containing R, use the Tarski-Seidenberg theorem to extend f to a function from a domain DL (defined by the same inequalities as D), DL L(n), to L. Now let φ : AD L be a homomorphism. Since R[x1,,xn] AD, φx = (φx1,,φxn) is a well defined point in L(n) and is in DL. So f(φx) is defined for any f in AD. In this paper it is shown that f(φx) = φf. From this result one can deduce Mostowski’s version of the Hilbert Nullstellensatz for AD.

Mathematical Subject Classification 2000
Primary: 14A99
Secondary: 32C05
Milestones
Received: 12 April 1975
Published: 1 March 1976
Authors
Gustave Adam Efroymson