if is convex and linear then and are convex
Proposition 1.
Suppose , are vector spaces![]()
over (or ),
and suppose is a linear map.
-
1.
If is convex, then is convex.
-
2.
If is convex, then is convex, where is the inverse image.
Proof.
For the first claim, suppose , say, and for , and suppose . Then
so as is convex.
For the second claim, let us first recall that if and only if . Then, if , and , we have
As is convex, the right hand side belongs to , and . ∎
| Title | if is convex and linear then and are convex |
|---|---|
| Canonical name | IfAIsConvexAndFLinearThenFAAndF1AAreConvex |
| Date of creation | 2013-03-22 14:36:18 |
| Last modified on | 2013-03-22 14:36:18 |
| Owner | matte (1858) |
| Last modified by | matte (1858) |
| Numerical id | 8 |
| Author | matte (1858) |
| Entry type | Theorem |
| Classification | msc 52A99 |
| Related topic | InverseImage |
| Related topic | DirectImage |