Here is a question about two definitions. They are the following:
Definition 1. Letbe a fixed algebraically closed field. If
are two affine varieties, a morphism
is a continuous map such that for every open set
, and for every regular function
, the function
is regular.
Definition 2. A mapbetween two affine varieties
and
is called a morphism if there exists
polynomials
such that
for all
.
These are two definitions from different textbooks: Hartshorne, Algebraic Geometry, and Mumford, Algebraic Geometry I. Are these definitions equivalent or a similar restatement of them equivalent? If so, how do you prove that they are equivalent? I believe that they are equivalent but I do not see how to prove this. Thanks for your help.


LinkBack URL
About LinkBacks