Dominio en estrella

en un espacio euclídeo

se denomina dominio en estrella (o conjunto convexo estrellado, conjunto en forma de estrella o conjunto radialmente convexo) si existe un

tal que para todos los

se encuentre en

Esta definición se puede generalizar inmediatamente a cualquier espacio vectorial real o complejo.

Intuitivamente, si se piensa en

como una región rodeada por una pared,

es un dominio estelar si se puede encontrar un punto de vista

esté dentro de su línea de visión.

Un concepto similar, pero distinto, es el de conjunto radial.Dados dos puntos

en un espacio vectorial

), la envolvente convexa de

{ x , y }

se llama intervalo cerrado con puntos finales

y se denota por donde

de un espacio vectorial

se dice que tiene forma de estrella desde

tiene forma de estrella y se llama dominio en estrella si existe algún punto

tenga forma de estrella desde

Un conjunto que tiene forma de estrella en el origen a veces se denomina conjunto en estrella.

[1]​ Estos conjuntos están cerrados en relación con el funcional de Minkowski.

Un dominio en estrella (equivalentemente, un conjunto convexo estrellado o en forma de estrella) no es necesariamente convexo en el sentido común del término
Una corona circular no es un dominio en estrella