The coefficients of are polynomial functions of the matrix entries. Its polynomial discriminant is therefore a polynomial in those entries, and it is nonzero exactly when all roots of the characteristic polynomial are distinct. Thus the required set is the principal open subset of affine space. It is nonempty: an algebraically closed field is infinite, so choose a diagonal matrix with pairwise distinct entries.
It is also affine as a variety. The map identifies it with the closed hypersurface
Projection to is its regular inverse. This proves the requested affineness while retaining the open embedding into matrix space.

Articles by others on the same topic (0)

There are currently no matching articles.