Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings

Abstract: Given a closed semi-algebraic set

X s u b s e t m a t h b b R^{n}

and a continuous semi-algebraic mapping

G c o l o n X o m a t h b b R^{m},

it will be shown that there exists an open dense semi-algebraic subset

m a t h s c r U

of

L (m a t h b b R^{n}, m a t h b b R^{m}),

the space of all linear mappings from

m a t h b b R^{n}

to

m a t h b b R^{m},

such that for all

F i n m a t h s c r U,

the image

(F + G) (X)

is a closed (semi-algebraic) set in

m a t h b b R^{m} .

To do this, we study the tangent cone at infinity

C_{i} n f t y X

and the set

E_{i} n f t y X s u b s e t C_{i} n f t y X

of (unit) exceptional directions at infinity of

X .

Specifically we show that the set

E_{i} n f t y X

is nowhere dense in

C_{i} n f t y X c a p m a t h b b S^{n - 1} .

Recommendations

Cites Work

Cited In (2)

This page was built for publication: Stability of closedness of semi-algebraic sets under continuous semi-algebraic mappings