Does multiplication by an invertible matrix preserve convexity?

Click For Summary
SUMMARY

The discussion confirms that applying a linear transformation via an invertible matrix to a convex polytope preserves its convexity. The transformation is achieved through matrix multiplication of three non-square matrices, resulting in an invertible matrix. The argument is based on the definition of convex sets and the properties of linear operators, demonstrating that if a set is convex, the image under a linear transformation remains convex.

PREREQUISITES
  • Understanding of convex sets and their properties
  • Knowledge of linear transformations and matrix multiplication
  • Familiarity with polytopes and their representations (half-plane and vertex)
  • Basic principles of linear algebra
NEXT STEPS
  • Study the properties of convex sets in depth
  • Explore linear transformations and their effects on geometric shapes
  • Investigate the representation of polytopes in computational geometry
  • Learn about invertible matrices and their significance in linear algebra
USEFUL FOR

Mathematicians, computer scientists, and anyone involved in computational geometry or optimization who seeks to understand the implications of linear transformations on convex sets.

sloppyintuit
Messages
3
Reaction score
0
I am working with polytopes that are defined by half-planes in \Re^N. So they are defined by a number of inequalities (half plane representation), but can also be represented by the intersection points of these half planes (vertex representation). Computing the vertices is expensive, so I prefer to do that only when necessary.

I need to apply a transformation from this space into one of the same dimension. The transformation is just a linear one via matrix multiplication.

The matrix happens to be formed as a product of three non-square matrices. I could provide more detail about this, but in the end, the final matrix used for transportation (the product) is invertible.

The polytope I start with is convex. Is there a straightforward argument that shows this transformation will preserve that convexity? When I imagine a planar example, it seems like the stretching necessary to create concave dimples or change the angle of a corner point would have to be nonlinear. I also can't imagine a composition of shift, scale and rotation operations that would do this.

I would like to find an argument from first principles or a check to perform on the matrices. Any ideas or solutions would be appreciated.
 
Physics news on Phys.org
A convex set is by definition a set ##A## such that for each ##x_1,...,x_n\in A## and for each ##t_1,...,t_n\in [0,1]## with ##t_1 + ... + t_n = 1## we have ##t_1x_1 + ... + t_nx_n \in A##.

So what you are trying to do is to take a convex set ##A## and a linear operator ##L## and seeing whether ##L(A)## is still convex.

So take ##L(x_1),...,L(x_n)\in L(A)## and ##t_1 , ..., t_n\in [0,1]## such that ##t_1 + ... + t_n = 1##. We know by convexity of ##A## that ##t_1 x_1 + ... + t_nx_n\in A##. Since ##L## is linear, it follows that ##t_1L(x_1) + ... + t_nL(x_n) = L(t_1x_1 + ... + t_nx_n) \in L(A)##.

Thus it is indeed true that a linear map preserves convexity.
 
  • Like
Likes 1 person
This is excellent. Thanks very much- that solves it for me!
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
5K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
8K
  • · Replies 3 ·
Replies
3
Views
10K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K