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.