Nash Functions

Nash Functions

In real algebraic geometry, a Nash function on an open semialgebraic subset URn is an analytic function f: UR satisfying a nontrivial polynomial equation P(x,f(x)) = 0 for all x in U (A semialgebraic subset of Rn is a subset obtained from subsets of the form {x in Rn : P(x)=0} or {x in Rn : P(x) > 0}, where P is a polynomial, by taking finite unions, finite intersections and complements). Some examples of Nash functions:

  • Polynomial and regular rational functions are Nash functions.
  • is Nash on R.
  • the function which associates to a real symmetric matrix its i-th eigenvalue (in increasing order) is Nash on the open subset of symmetric matrices with no multiple eigenvalue.

Nash functions are those functions needed in order to have an implicit function theorem in real algebraic geometry.

Read more about Nash Functions:  Nash Manifolds, Local Properties, Global Properties, Generalizations

Famous quotes containing the words nash and/or functions:

    It is the sin of omission, the second kind of sin,
    That lays eggs under your skin.
    —Ogden Nash (1902–1971)

    If photography is allowed to stand in for art in some of its functions it will soon supplant or corrupt it completely thanks to the natural support it will find in the stupidity of the multitude. It must return to its real task, which is to be the servant of the sciences and the arts, but the very humble servant, like printing and shorthand which have neither created nor supplanted literature.
    Charles Baudelaire (1821–1867)