Math 2.0

Convex and discrete geometry Definition

Rigidity of frameworks

Builds on GraphEuclidean distance

Definition

Let d≥1d \ge 1 and let G=(V,E)G = (V, E) be a finite graph. A framework in ℝd\R^d is a pair (G,p)(G, p) with p ⁣:V→ℝdp \colon V \to \R^d. Write ∥⋅∥\norm{\cdot} for the Euclidean distance. The framework (G,p)(G, p) is rigid if there is ε>0\varepsilon > 0 with the following property. Every q ⁣:V→ℝdq \colon V \to \R^d that satisfies both conditions below also satisfies ∥q(u)−q(v)∥=∥p(u)−p(v)∥\norm{q(u) - q(v)} = \norm{p(u) - p(v)} for all u,v∈Vu, v \in V.

  1. ∥q(v)−p(v)∥<ε\norm{q(v) - p(v)} < \varepsilon for every v∈Vv \in V.
  2. ∥q(u)−q(v)∥=∥p(u)−p(v)∥\norm{q(u) - q(v)} = \norm{p(u) - p(v)} for every edge uv∈Euv \in E.

A framework that is not rigid is called flexible.

Remarks

So a framework is rigid when every nearby placement with the same bar lengths is congruent to it. Example: a triangle K3K_3 placed at three non-collinear points of ℝ2\R^2 is rigid. Its three bar lengths are all the pairwise distances, so condition 2 already gives the conclusion.

Non-example: the cycle on four vertices placed at the corners of a unit square in ℝ2\R^2 is flexible. For small t>0t > 0, the rhombus with corners (0,0)(0, 0), (1,0)(1, 0), (1+sin⁡t,cos⁡t)(1 + \sin t, \cos t) and (sin⁡t,cos⁡t)(\sin t, \cos t) keeps all four bar lengths equal to 11. Its diagonal from (0,0)(0, 0) to (1+sin⁡t,cos⁡t)(1 + \sin t, \cos t) has length different from 2\sqrt{2}.

An equivalent form: every continuous motion of the vertices that keeps all bar lengths is the restriction of a family of isometries of ℝd\R^d.

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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Graph definition
  3. Length of a vector concept
  4. Euclidean distance definition
  5. Rigidity of frameworks definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Structural_rigidity
About this page
Tag3D1J3AXS69
URIm2://3D1J3AXS69
Kinddefinition
WritingW0 stub
MSC52C25, 51K99
DefinesRigidity of frameworks
UsesGraph, Euclidean distance

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.