Espacio semialgebraico

---

En matemáticas , especialmente en geometría algebraica real , un espacio semialgebraico es un espacio que es localmente isomorfo a un conjunto semialgebraico .

Sea U un subconjunto abierto de R ⁿ para algún n . Una función semialgebraico en U se define para ser una continua verdadera función -valued en U cuya restricción a cualquier conjunto semialgebraico contenida en U tiene un gráfico que es un subconjunto semialgebraico del espacio de producto R ⁿ × R . Esto dota a R ⁿ de un conjunto de funciones semialgebraicas.${\ Displaystyle {\ mathcal {O}} _ {\ mathbf {R} ^ {n}}}$

(Por ejemplo, cualquier mapeo polinomial entre conjuntos semialgebraicos es una función semialgebraica, al igual que el máximo de dos funciones semialgebraicas).

Un espacio semialgebraico es un espacio anillado localmente que es localmente isomorfo a R ⁿ con su haz de funciones semialgebraicas.${\ Displaystyle (X, {\ mathcal {O}} _ {X})}$

---