"Star-shaped" redirects here. For the Blur documentary, see Starshaped.
In geometry, a set in the Euclidean space is called a star domain (or star-convex set, star-shaped set or radially convex set) if there exists an such that for all the line segment from to lies in This definition is immediately generalizable to any real, or complex, vector space.
A star domain (equivalently, a star-convex or star-shaped set) is not necessarily convex in the ordinary sense.
Intuitively, if one thinks of as a region surrounded by a wall, is a star domain if one can find a vantage point in from which any point in is within line-of-sight. A similar, but distinct, concept is that of a radial set.
Given two points and in a vector space (such as Euclidean space), the convex hull of is called the closed interval with endpoints and and it is denoted by
where for every vector
A subset of a vector space is said to be star-shaped at if for every the closed interval A set is star shaped and is called a star domain if there exists some point such that is star-shaped at
A set that is star-shaped at the origin is sometimes called a star set.[1] Such sets are closed related to Minkowski functionals.
Examples
Any line or plane in is a star domain.
A line or a plane with a single point removed is not a star domain.
If is a set in the set obtained by connecting all points in to the origin is a star domain.
Any non-emptyconvex set is a star domain. A set is convex if and only if it is a star domain with respect to any point in that set.
A cross-shaped figure is a star domain but is not convex.
A star-shaped polygon is a star domain whose boundary is a sequence of connected line segments.
Properties
The closure of a star domain is a star domain, but the interior of a star domain is not necessarily a star domain.
Every star domain, and only a star domain, can be "shrunken into itself"; that is, for every dilation ratio the star domain can be dilated by a ratio such that the dilated star domain is contained in the original star domain.[2]
The union and intersection of two star domains is not necessarily a star domain.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN978-1-4612-7155-0. OCLC 840278135.
star, domain, star, shaped, redirects, here, blur, documentary, starshaped, geometry, displaystyle, euclidean, space, displaystyle, mathbb, called, star, domain, star, convex, star, shaped, radially, convex, there, exists, displaystyle, such, that, displaystyl. Star shaped redirects here For the Blur documentary see Starshaped In geometry a set S displaystyle S in the Euclidean space R n displaystyle mathbb R n is called a star domain or star convex set star shaped set or radially convex set if there exists an s 0 S displaystyle s 0 in S such that for all s S displaystyle s in S the line segment from s 0 displaystyle s 0 to s displaystyle s lies in S displaystyle S This definition is immediately generalizable to any real or complex vector space A star domain equivalently a star convex or star shaped set is not necessarily convex in the ordinary sense An annulus is not a star domain Intuitively if one thinks of S displaystyle S as a region surrounded by a wall S displaystyle S is a star domain if one can find a vantage point s 0 displaystyle s 0 in S displaystyle S from which any point s displaystyle s in S displaystyle S is within line of sight A similar but distinct concept is that of a radial set Contents 1 Definition 2 Examples 3 Properties 4 See also 5 References 6 External linksDefinition EditGiven two points x displaystyle x and y displaystyle y in a vector space X displaystyle X such as Euclidean space R n displaystyle mathbb R n the convex hull of x y displaystyle x y is called the closed interval with endpoints x displaystyle x and y displaystyle y and it is denoted by x y t x 1 t y 0 t 1 x y x 0 1 displaystyle left x y right left tx 1 t y 0 leq t leq 1 right x y x 0 1 where z 0 1 z t 0 t 1 displaystyle z 0 1 zt 0 leq t leq 1 for every vector z displaystyle z A subset S displaystyle S of a vector space X displaystyle X is said to be star shaped at s 0 S displaystyle s 0 in S if for every s S displaystyle s in S the closed interval s 0 s S displaystyle left s 0 s right subseteq S A set S displaystyle S is star shaped and is called a star domain if there exists some point s 0 S displaystyle s 0 in S such that S displaystyle S is star shaped at s 0 displaystyle s 0 A set that is star shaped at the origin is sometimes called a star set 1 Such sets are closed related to Minkowski functionals Examples EditAny line or plane in R n displaystyle mathbb R n is a star domain A line or a plane with a single point removed is not a star domain If A displaystyle A is a set in R n displaystyle mathbb R n the set B t a a A t 0 1 displaystyle B ta a in A t in 0 1 obtained by connecting all points in A displaystyle A to the origin is a star domain Any non empty convex set is a star domain A set is convex if and only if it is a star domain with respect to any point in that set A cross shaped figure is a star domain but is not convex A star shaped polygon is a star domain whose boundary is a sequence of connected line segments Properties EditThe closure of a star domain is a star domain but the interior of a star domain is not necessarily a star domain Every star domain is a contractible set via a straight line homotopy In particular any star domain is a simply connected set Every star domain and only a star domain can be shrunken into itself that is for every dilation ratio r lt 1 displaystyle r lt 1 the star domain can be dilated by a ratio r displaystyle r such that the dilated star domain is contained in the original star domain 2 The union and intersection of two star domains is not necessarily a star domain A non empty open star domain S displaystyle S in R n displaystyle mathbb R n is diffeomorphic to R n displaystyle mathbb R n Given W X displaystyle W subseteq X the set u 1 u W displaystyle bigcap u 1 uW where u displaystyle u ranges over all unit length scalars is a balanced set whenever W displaystyle W is a star shaped at the origin meaning that 0 W displaystyle 0 in W and r w W displaystyle rw in W for all 0 r 1 displaystyle 0 leq r leq 1 and w W displaystyle w in W See also EditAbsolutely convex set convex and balanced setPages displaying wikidata descriptions as a fallback Absorbing set Set that can be inflated to reach any point Art gallery problem Mathematical problem Balanced set Construct in functional analysis Bounded set topological vector space Generalization of boundedness Convex set In geometry set whose intersection with every line is a single line segment Minkowski functional Radial set Star polygon Regular non convex polygon Symmetric set Property of group subsets mathematics References Edit Schechter 1996 p 303 Drummond Cole Gabriel C What polygons can be shrinked into themselves Math Overflow Retrieved 2 October 2014 Ian Stewart David Tall Complex Analysis Cambridge University Press 1983 ISBN 0 521 28763 4 MR0698076 C R Smith A characterization of star shaped sets American Mathematical Monthly Vol 75 No 4 April 1968 p 386 MR0227724 JSTOR 2313423 Rudin Walter 1991 Functional Analysis International Series in Pure and Applied Mathematics Vol 8 Second ed New York NY McGraw Hill Science Engineering Math ISBN 978 0 07 054236 5 OCLC 21163277 Schaefer Helmut H Wolff Manfred P 1999 Topological Vector Spaces GTM Vol 8 Second ed New York NY Springer New York Imprint Springer ISBN 978 1 4612 7155 0 OCLC 840278135 Schechter Eric 1996 Handbook of Analysis and Its Foundations San Diego CA Academic Press ISBN 978 0 12 622760 4 OCLC 175294365 External links Edit Wikimedia Commons has media related to Star shaped sets Humphreys Alexis Star convex MathWorld Retrieved from https en wikipedia org w index php title Star domain amp oldid 1137885042, wikipedia, wiki, book, books, library,