Dominio estrella

En matemáticas , un conjunto en el espacio euclidiano se denomina dominio estelar (o conjunto estrella-convexo , conjunto en forma de estrella o conjunto radialmente convexo ) si existe tal que para todo el segmento de línea desde hasta se encuentra en Esta definición es inmediatamente generalizable a cualquier espacio vectorial real o complejo .${\ estilo de visualización S}$ ${\ estilo de visualización \ mathbb {R} ^ {n}}$${\displaystyle s_{0}\en S}$${\ estilo de visualización s \ en S,}$${\ estilo de visualización s_ {0}}$${\ estilo de visualización}$${\displaystyle S.}$

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

Un dominio de estrella (equivalentemente, un conjunto estrella convexo o en forma de estrella) no es necesariamente convexo en el sentido ordinario.

Un anillo no es un dominio en estrella.