Parallelepiped
Builds on Euclidean vector
Definition
Let be a point of , and let , and be linearly independent vectors in . The parallelepiped with the vertex and the edges , and is the set
Remarks
The parallelepiped has 8 vertices with , 12 edges and 6 faces. Opposite faces are congruent parallelograms in parallel planes. Its volume is the absolute value of the scalar triple product . In Mathlib, the parallelepiped of a finite family of vectors is the set of the sums with each . It does not ask for linear independence. A cube and a rectangular cuboid are special parallelepipeds.
Reading path
To understand this page from the ground up, read these 2 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Euclidean vector concept
- Parallelepiped definition
Further reading
About this page
| Tag | 0K9GBTZ1FX |
|---|---|
| URI | m2://0K9GBTZ1FX |
| Kind | definition |
| Writing | W1 stated |
| MSC | 51M20 |
| Defines | Parallelepiped |
| Uses | Euclidean vector |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (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.