Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In star shaped region (titled “star-shaped neighborhood), there is insistence in the definition on the region being open in the ambient affine/vector space. That seems like a bad decision to me. For example, the statement in convex set “every convex set is star-shaped” is incorrect under that definition.
It seems to me the page should be renamed “star domain” (after Wikipedia), and have the simpler definition that there exists a point such that if belongs to , then so does for all . Agree?
I think you are right. I tried to find it in pi base, but alas.
I don’t disagree! :-)
I changed the name to star domain and added a bit more e.g., the observation that open stars provide a good open cover of a simplicial complex.
1 to 4 of 4