Convex and discrete geometry Definition
Gale diagram
Definition
Let and , and let be points of whose affine span is . Let be the matrix whose -th column is . Its null space , the space of affine dependences of the points, has dimension . Choose a basis of and let be the matrix with these basis vectors as columns. The Gale transform of is the sequence of rows of .
Remarks
The Gale transform is determined up to an invertible linear map of , the change of basis of . Many authors call the configuration a Gale diagram, and some first rescale each nonzero by a positive factor; this does not affect the property below.
Key property: let be nonempty and its complement. Consider an affine function on with for and for . Such an exists if and only if lies in the relative interior of the convex hull of . Indeed, the vectors are exactly the vectors with . So when the are the vertices of a convex polytope , the sets that are vertex sets of faces of are read off from the .
Example: for the vertices of a square in , , and is spanned by . So the Gale transform is in . For , the hull of is , which misses , so is not a face: it is a diagonal. For , the hull of and contains in its interior, so is an edge.
Non-example: the points in do not span affinely, so the construction does not apply.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Affine span concept
- Convex hull concept
- Convex polytope concept
- Null space concept
- Gale diagram definition
Further reading
About this page
| Tag | WRZA1VYGB6 |
|---|---|
| URI | m2://WRZA1VYGB6 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 52B35, 52B11 |
| Defines | Gale diagram |
| Uses | Affine span, Null space, Convex hull, Convex polytope |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.