Dominio en estrella

En geometría, un conjunto ${\displaystyle S}$ en un espacio euclídeo ${\displaystyle \mathbb {R} ^{n}}$ se denomina dominio en estrella (o conjunto convexo estrellado, conjunto en forma de estrella o conjunto radialmente convexo) si existe un ${\displaystyle s_{0}\in S}$ tal que para todos los ${\displaystyle s\in S,}$ el segmento de ${\displaystyle s_{0}}$ a ${\displaystyle s}$ se encuentre en ${\displaystyle S.}$ Esta definición se puede generalizar inmediatamente a cualquier espacio vectorial real o complejo.

Intuitivamente, si se piensa en ${\displaystyle S}$ como una región rodeada por una pared, ${\displaystyle S}$ es un dominio estelar si se puede encontrar un punto de vista ${\displaystyle s_{0}}$ en ${\displaystyle S}$ desde el cual cualquier punto ${\displaystyle s}$ de ${\displaystyle S}$ esté dentro de su línea de visión. Un concepto similar, pero distinto, es el de conjunto radial.