PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] convex hull of $S$ is open if $S$ is open (Theorem)

Theorem If $S$ is an open set in a topological vector space, then the convex hull $\cull (S)$ is open.

As the next example shows, the corresponding result does not hold for a closed set.

Example (Valentine, p. 14) If

$\displaystyle S=\{ (x,1/\vert x\vert)\in \mathbbmss{R}^2 \mid x\in \mathbbmss{R}\setminus \{0\} \},$
then $S$ is closed, but $\cull (S)$ is the open half-space $ \{(x,y) \mid x\in \mathbbmss{R}, y\in(0,\infty) \}$ , which is not closed (points on the $x$ -axis are accumulation points not in the set, or also can be seen by checking the complement is not open). $ \Box$

Reference
F.A. Valentine, Convex sets, McGraw-Hill book company, 1964.




"convex hull of $S$ is open if $S$ is open" is owned by drini. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
proof that the convex hull of $S$ is open if $S$ is open (Proof) by archibal
Log in to rate this entry.
(view current ratings)

Cross-references: convex sets, reference, complement, accumulation points, points, closed, closed set, open, convex hull, topological vector space, open set, theorem

This is version 6 of convex hull of $S$ is open if $S$ is open, born on 2003-07-13, modified 2004-02-18.
Object id is 4443, canonical name is ConvexCombinationOfSIfOpenIfSIsOpen2.
Accessed 2400 times total.

Classification:
AMS MSC47L07 (Operator theory :: Linear spaces and algebras of operators :: Convex sets and cones of operators)
 46A55 (Functional analysis :: Topological linear spaces and related structures :: Convex sets in topological linear spaces; Choquet theory)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)