Abstract
We present a rigorous study of framework rigidity in general finite dimensional normed spaces from the perspective of Lie group actions on smooth manifolds. As an application, we prove an extension of Asimow and Roth’s 1978/1979 result establishing the equivalence of local, continuous and infinitesimal rigidity for regular bar-and-joint frameworks in a d-dimensional Euclidean space. Further, we obtain upper bounds for the dimension of the space of trivial motions for a framework and establish the flexibility of small frameworks in general non-Euclidean normed spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A framework (G, p) is an embedding p of the vertices of a simple graph G into a given normed space. With a given framework a natural question is whether it is in some sense “rigid”. In Euclidean spaces many types of rigidity such as global, redundant and universal have been studied intensely [8, 12, 26]. We wish to detect whether a framework in a general normed space is structurally rigid in the sense that either any continuous motion of the vertices that preserves the edge lengths corresponds to an isometric motion of the embedded vertices (continuous rigidity) or that the embedding is locally unique up to an isometric map (local rigidity). In Euclidean space, one method is to consider the a priori stronger notion of infinitesimal rigidity as this implies local and continuous rigidity (see for example [7]). We shall prove the below theorem (found in Sect. 4):
Theorem 1.1
Let (G, p) be a constant (see Sect. 4) finite framework in a finite dimensional normed space X, then the following are equivalent:
-
(i)
(G, p) is infinitesimally rigid in X,
-
(ii)
(G, p) is locally rigid in X,
-
(iii)
(G, p) is continuously rigid in X.
In 1978/79 L. Asimow and B. Roth proved Theorem 1.1 in the special case where X is Euclidean [4, 5]. Recently research has been undertaken into framework rigidity in non-Euclidean normed spaces, in particular spaces with \(\ell _p\) norms (\(p \in [1,\infty ]\)) [17], polyhedral norms [15] and matrix norms such as the Schatten p-norms [16]. For recent research into infinitesimal rigidity we refer the reader to [13, 25] for frameworks with symmetry, [11, 14] for infinitesimal rigidity concerning alternative types of frameworks, and [23] for frameworks on surfaces.
In Sect. 3 we will present a rigorous study of the orbit and the trivial motion space of a set of points. We will give an upper bound for the dimension of the space of trivial motions which will be achievable by most placements. Utilising this we shall in Sect. 4 prove Theorem 1.1.
In Sect. 5 we shall obtain further bounds on the dimension of the space of trivial infinitesimal motions for frameworks that lie on some hyperplane of the normed space. These results will allow us to prove that no small framework (a framework with less vertices than the dimension of the normed space plus one) on two or more vertices is infinitesimally rigid in a non-Euclidean space (see Theorem 5.8).
2 Preliminaries
All normed spaces \((X, \Vert \cdot \Vert )\) shall be assumed to be over \(\mathbb {R}\) and finite dimensional; further we shall denote a normed space by X when there is no ambiguity. For any normed space X we shall use the notation \(B_r(x)\), \(B_r[x]\) and \(S_r[x]\) for the open ball, closed ball and the sphere with centre x and radius \(r > 0\) respectively. We shall define a normed space to be a Euclidean space if its norm is generated by an inner product, otherwise X is a non-Euclidean (normed) space.
Given normed spaces X, Y we shall denote by L(X, Y) the normed space of all linear maps from X to Y with the operator norm \(\Vert \cdot \Vert _{\text {op}}\) and A(X, Y) to be space of all affine maps from X to Y with the norm topology. If \(X=Y\) we shall abbreviate to L(X) and A(X) and if \(Y= \mathbb {R}\) with the standard norm we define \(X^*:= L(X, \mathbb {R})\) and refer to the operator norm as \(\Vert \cdot \Vert \) when there is no ambiguity. We denote by \(\iota \) the identity map on X.
For a \(C^1\)-differentiable manifold M we shall denote by \(T_x M\) the tangent space of M at \(x \in M\) and \(TM := \bigcup _{x \in M} T_x M\). For a general reference on the theory of manifolds we refer the reader to [2, Sect. 3].
2.1 Differentiation
For normed spaces X, Y and \(U \subset X\), \(V \subset Y\) we define a map \(f:U \rightarrow V\) to be (Fréchet) differentiable at \(x_0 \in U^\circ \) (the interior of U) if there exists a linear map \(df(x_0):X \rightarrow Y\) such that
as \(h \rightarrow 0\); we refer to \(df(x_0)\) as the (Fréchet) derivative of f at \(x_0\). If \(U' \subset U^\circ \) is open and f is differentiable at all points in \(U'\) we say that f is differentiable on \(U'\). If f is differentiable on \(U'\) and the map
is continuous then we say that f is \(C^1\)-differentiable on \(U'\) and define df to be the \(C^1\)-derivative of f; if \(U'=U\) we just say that f is \(C^1\)-differentiable. For all \(k \in \mathbb {N}\) we define inductively \(d^k f := d (d^{k-1} f)\) where \(d^1f :=df\) and \(d^0f := f\); by this we define f to be \(C^k\)-differentiable if \(d^k f\) exists and is continuous. If f is \(C^k\)-differentiable for all \(k \in \mathbb {N} \cup \{0\}\) we say f is \(C^\infty \)-differentiable or smooth. If f is \(C^k\)-differentiable and bijective with \(C^k\)-differentiable inverse we say that f is a \(C^k\)-diffeomorphism or smooth diffeomorphism if \(k = \infty \).
Some of the results referenced refer specifically to Gâteaux differentiation, however we will only consider Lipschitz maps between finite dimensional normed spaces and in this case Gâteaux differentiability is equivalent to differentiability by [6, Prop. 4.3]. If we were to observe the connection between the rigidity map and the rigidity operator of an infinite framework this would not hold to be true.
For \(C^k\)-manifolds M and N with \(k \in \mathbb {N} \cup \{0, \infty \}\) we define a map \(f :M \rightarrow N\) to be \(C^k\)-differentiable if for any \(x \in M\) and chart \((V, \psi )\) of N with \(f(x) \in N\) there exists a chart \((U, \phi )\) of M such that \(x \in U\), \(f(U) \subset V\) and \(\psi \circ f \circ \phi ^{-1}\) is \(C^k\)-differentiable on U. If f also has a \(C^k\)-differentiable inverse then it is a \(C^k\)-diffeomorphism. For \(k \ge 1\) we may define for each \(x \in M\) the maps \(df(x) :T_x M \rightarrow T_{f(x)} N\) and \(df :TM \rightarrow TN\) that will be consistent if M, N are normed spaces, we refer the reader to [2, Sect. 3.3] for more detail.
Remark 2.1
If we have a continuous path \(\alpha :(a,b) \rightarrow X\) that is differentiable at \(t \in (a,b)\) with differential \(\alpha '(t)\) in the traditional sence, i.e.,
then \(\alpha '(t) = d \alpha (t) (1)\).
2.2 Support Functionals, Smoothness and Strict Convexity
Let \(x \in X\) and \(f \in X^*\), then we say that f is support functional of x if \(\Vert f\Vert = \Vert x\Vert \) and \(f(x) = \Vert x\Vert ^2\). By an application of the Hahn–Banach theorem it can be shown that every point must have a support functional.
We say that a non-zero point x is smooth if it has a unique support functional and define \({\text {smooth}}(X)\subseteq X \setminus \{0\}\) to be the set of smooth points of X. If \({\text {smooth}}(X)\cup \{0\} =X\) then we say that X is smooth. We define a norm to be strictly convex if \(\Vert tx +(1-t) y\Vert < 1\) for all distinct \(x,y \in S_1[0]\) and \(t \in (0,1)\).
The dual map of X is the map \(\varphi :{\text {smooth}}(X)\cup \{0\} \rightarrow X^*\) that sends each smooth point to its unique support functional and \(\varphi (0)=0\). It is immediate that \(\varphi \) is homogeneous since f is the support functional of x if and only if af is the support functional of ax for \(a \ne 0\).
Remark 2.2
If X is Euclidean with inner product \(\langle \cdot , \cdot \rangle \) then all non-zero points are smooth and we have \(\varphi (x) = \langle x, \cdot \rangle \) where \(\langle x, \cdot \rangle :y \mapsto \langle x, y \rangle \).
Proposition 2.3
For any normed space X the following properties hold:
-
(i)
For \(x_0 \ne 0\), \(x_0 \in {\text {smooth}}(X)\) if and only if \(x \mapsto \Vert x\Vert \) is differentiable at \(x_0\).
-
(ii)
If \(x \mapsto \Vert x\Vert \) is differentiable at \(x_0\) then it has derivative \(\frac{1}{\Vert x_0\Vert }\,\varphi (x_0)\).
-
(iii)
The set \({\text {smooth}}(X)\) is dense in X and \({\text {smooth}}(X)^c\) has measure zero with respect to the Lebesgue measure on X
-
(iv)
The map \(\varphi \) is continuous.
Proof
(i) & (ii) By [19, Lem. 1], \(x \mapsto \Vert x\Vert \) is differentiable at \(x_0\) if and only if \(x_0 \in {\text {smooth}}(X)\) with derivative \(\frac{1}{\Vert x_0\Vert }\,\varphi (x_0)\).
(iii) The result follows from (i) and [24, Thm. 25.5] as \(x \mapsto \Vert x\Vert \) is convex.
(iv) As \(\Vert \cdot \Vert \) is convex, by [24, Thm. 25.5], the map \(x \mapsto \frac{1}{\Vert x\Vert }\,\varphi (x)\) is continuous on \({\text {smooth}}(X)\); further, as \(\Vert \cdot \Vert \) is continuous, \(\varphi \) is continuous on \({\text {smooth}}(X)\) also. Let \((x_n)_{n \in \mathbb {N}}\) be a sequence in \({\text {smooth}}(X)\) that converges to 0. As \(\Vert \varphi (x_n)\Vert = \Vert x_n\Vert \) then \(\Vert \varphi (x_n)\Vert \rightarrow 0\) as \(n \rightarrow \infty \). As \(\varphi (0)=0\) then \(\varphi \) is continuous at \(0 \in X\) also. \(\square \)
2.3 Isometry Groups
We shall define \({\text {Isom}}(X, \Vert \cdot \Vert )\) to be the group of isometries of \((X, \Vert \cdot \Vert )\) and \({\text {Isom}}^{\mathrm{Lin}}(X, \Vert \cdot \Vert )\) to be the group of linear isometries of X with the group actions being composition; we shall denote these as \({\text {Isom}}(X)\) and \({\text {Isom}}^{\mathrm{Lin}}(X)\) if there is no ambiguity. It can be seen by Mazur–Ulam’s theorem [27] that all isometries of a finite dimensional normed space are affine, i.e., each isometry is the unique composition of a linear isometry followed by a translation, thus \({\text {Isom}}(X)\) has the topology inherited from A(X). It follows from the Closed Subgroup theorem [2, Thm. 5.1.14] that for any normed space the group of isometries is a Lie group (a smooth finite dimensional manifold with smooth group operations) while the group of linear isometries is a compact Lie group since it is closed and bounded in L(X).
Lemma 2.4
Let X be a d-dimensional normed space, then the following holds:
-
(i)
There exists a unique Euclidean space \((X, \Vert \cdot \Vert _2)\) such that \({\text {Isom}}(X, \Vert \cdot \Vert )\) is a subgroup and a closed smooth submanifold of \({\text {Isom}}(X, \Vert \cdot \Vert _2)\) and \({\text {Isom}}^{\mathrm{Lin}}(X, \Vert \cdot \Vert )\) is a subgroup and a closed smooth submanifold of \({\text {Isom}}^{\mathrm{Lin}}(X, \Vert \cdot \Vert _2)\).
-
(ii)
If X is Euclidean then:
-
(a)
\(\dim {\text {Isom}}(X) = {d(d+1)}/{2}\),
-
(b)
\(\dim {\text {Isom}}^{\mathrm{Lin}}(X) = {d(d-1)}/{2}\).
-
(a)
-
(iii)
If X is non-Euclidean then:
-
(a)
\(d \le \dim {\text {Isom}}(X) \le {d(d-1)}/{2} +1\),
-
(b)
\(0 \le \dim {\text {Isom}}^{\mathrm{Lin}}(X) \le {(d-1)(d-2)}/{2} +1\).
-
(a)
Proof
(i) This follows from [27, Cor. 3.3.4] and the Closed Subgroup theorem [2, Thm. 5.1.14].
(ii) See [10, Sect. 2.5.5] and [10, Sect. 2.5.9].
(iii) [22, Lem. 4].\(\square \)
2.4 Placements and Bar–Joint Frameworks
We shall assume that all graphs are simple, i.e., no loops or parallel edges, however we will allow them to have a countably infinite vertex set unless we explicitly state otherwise. We will denote V(G) and E(G) to be the vertex and edge sets of G respectively. If H is a subgraph of G we will represent this by \(H \subseteq G\). For a set S we shall denote by \(K_S\) the complete graph on the set S.
Let X be a normed space. For any set S we say \(p \in X^S\) is a placement of S in X; we will denote this (p, S) if we need to clarify what set p is the placement of. For a graph G we say p is a placement of G in X if p is a placement of V(G). We define a (bar–joint) framework to be a pair (G, p) where G is a graph and p is a placement of G in X. For all X and S we will gift \(X^S\) the product topology from X; if \(|S|< \infty \) we define the norm
on \(X^S\). For \(x \in X^S\) and \(T \subset S\) we define \(x|_{T} := (x_v)_{v \in T} \in X^T\).
A placement p is spanning in X if the set \(\{p_v: v\in S\}\) affinely spans X. A placement p is in general position if for any choice of distinct vertices \(v_0, v_1, \ldots , v_n \in S\) (\(n \le \dim X\)) the set \(\{p_{v_i} : i = 0,1 ,\ldots ,n\}\) is affinely independent. It is immediate that if p is in general position and \(|S| \ge \dim X +1\) then p is spanning. We denote the set of placements of S in general position by \(\mathcal {G}(S) \subseteq X^S\); likewise for any graph G we let \(\mathcal {G}(G) := \mathcal {G}(V(G))\). If S is finite then \(\mathcal {G}(S)\) is an open dense subset of \(X^S\) and \(X^S \setminus \mathcal {G}(S)\) has measure zero; we can see this as \(\mathcal {G}(S)\) is the complement of an algebraic set.
For placements (q, T), (p, S) we say (q, T) is a subplacement of (p, S) (or \((q,T) \subseteq (p,S)\)) if \(T \subseteq S\) and \(p_v = q_v\) for all \(v \in T\). For frameworks (H, q) and (G, p) we say (H, q) is a subframework of (G, p) (or \((H,q) \subseteq (G,p)\)) if \(H \subseteq G\) and \(p_v = q_v\) for all \(v \in V(H)\). If H is also a spanning subgraph we say that (H, q) is a spanning subframework of (G, p).
3 Trivial Motions of Placements
3.1 Structure of the Orbit of a Placement
Let \(\Gamma \) be a Lie group and M a (finite dimensional) smooth manifold. If there exists a smooth group action
we say that \(\phi \) is a Lie group action of \(\Gamma \) on M. We define the following for all \(x \in M\):
-
(i)
the stabiliser of x, \({\text {Stab}}_x := \{g \in \Gamma : g.x = x\}\),
-
(ii)
the orbit of x, \(\mathcal {O}_x := \{g.x : g \in \Gamma \}\),
-
(iii)
\(\phi _x:\Gamma \rightarrow \mathcal {O}_x\), \(g \mapsto g.x\).
We say that \(\Gamma \) acts properly on M if the map
is proper, i.e., the preimage of any compact set is compact. If H is a closed subgroup of \(\Gamma \) then by [2, Thm. 5.1.16] \(\Gamma /H\) (the set of left cosets gH, \(g \in \Gamma \)) has a unique manifold structure such that the quotient map \(\pi :\Gamma \rightarrow \Gamma /H\) is a smooth surjective submersion, i.e., \(d\pi (g)\) is surjective for all \(g \in \Gamma \).
Lemma 3.1
[1, Cor. 4.1.22] Let \(\phi \) be a Lie group action of \(\Gamma \) on M. Suppose \(\Gamma \) acts properly on M, then \(\mathcal {O}_x\) is a closed smooth submanifold of M that is diffeomorphic to \(\Gamma /{\text {Stab}}_x\) under the map \(\tilde{\phi }_x :g{\text {Stab}}_x \mapsto g.x\).
For any set S, \(x \in X^S\) and affine map \(g \in A(X)\) we define \(g.x := (g(x_v))_{v \in S}\). With this notation we define for any S the map
If \(|S|< \infty \) then this is a Lie group action of \({\text {Isom}}(X)\) on \(X^S\); we shall always refer to this group action if we mention \({\text {Isom}}(X)\) acting on \(X^S\).
Lemma 3.2
Let (p, S) be a placement in X, then \(\mathcal {O}_p\) is closed in \(X^{S}\).
Proof
Let \((q^n)_{n \in \mathbb {N}}\) be a convergent sequence in \(\mathcal {O}_p\) with limit \(q \in X^S\). Following from the definition of \(\mathcal {O}_p\), for each \(n \in \mathbb {N}\) there exist \(g^n \in {\text {Isom}}(X)\) such that \(g^n.p=q^n\). It follows from Mazur–Ulam’s theorem [27] that for each \(n \in \mathbb {N}\) there exist \(G_n \in {\text {Isom}}^{\mathrm{Lin}}(X)\) and \(x_n \in X\) such that \(g_n = T_{x_n} \circ G_n\), where \(T_{x_n}\) is the translation map \(y \mapsto y+x_n\).
As \({\text {Isom}}^{\mathrm{Lin}}(X)\) is compact, there exists a convergent subsequence \((G_{n_k})_{k \in \mathbb {N}}\) of \((G_n)_{n \in \mathbb {N}}\) with limit \(G \in {\text {Isom}}^{\mathrm{Lin}}(X)\). For any \(v \in V(G)\),
converges, thus \((x_{n_k})_{k \in \mathbb {N}}\) converges also to some \(x \in X\). If we define \(q := T_x \circ G . p \in \mathcal {O}_p\) then q is the limit of \((q^{n_k})_{k \in \mathbb {N}}\). Since \((q^n)_{n \in \mathbb {N}}\) is a convergent sequence then it also has limit q as required. \(\square \)
Lemma 3.3
For any X and \(|S| < \infty \) the group of isometries \({\text {Isom}}(X)\) acts properly on \(X^S\).
Proof
Let \(((g_n.p^n,p^n))_{n \in \mathbb {N}}\) be a convergent sequence in the image of \(\theta :{\text {Isom}}(X) \times X^S \rightarrow X^S \times X^S\) with limit (q, p). It follows from Mazur–Ulam’s theorem [27] that for each \(n \in \mathbb {N}\) there exist \(G_n \in {\text {Isom}}^{\mathrm{Lin}}(X)\) and \(x_n \in X\) such that \(g_n = T_{x_n} \circ G_n\), where \(T_{x_n}\) is the translation map \(y \mapsto y+x_n\). As \(((g_n.p^n,p^n))_{n \in \mathbb {N}}\) converges then \((g_n.p^n)_{n \in \mathbb {N}}\) and \((p^n)_{n \in \mathbb {N}}\) are bounded in \(X^S\), thus \((x_n)_{n \in \mathbb {N}}\) is bounded as
it follows by Bolzano–Weierstrass that we have a convergent subsequence \((x_{n_k})_{k \in \mathbb {N}}\) with limit \(x \in X\). Since \({\text {Isom}}^{\mathrm{Lin}}(X)\) is compact, there exists a convergent subsequence \((G_{n_{k_l}})_{l \in \mathbb {N}}\) of \((G_{n_k})_{k \in \mathbb {N}}\) with limit \(G \in {\text {Isom}}^{\mathrm{Lin}}(X)\); this implies \((g_{n_{k_l}})_{l \in \mathbb {N}}\) converges to \(g := T_x \circ G\). As \(((g_n,p^n))_{n \in \mathbb {N}}\) has a convergent subsequence it follows that \(\theta \) is proper as required. \(\square \)
Lemma 3.4
Let p be a placement of a finite set in X, then \(\mathcal {O}_p\) is a closed smooth submanifold of \(X^{V(G)}\) and the map
is a smooth diffeomorphism.
Proof
By Lemmas 3.3 and 3.1 it follows that \(\mathcal {O}_p\) is a closed smooth submanifold of \(X^{V(G)}\) diffeomorphic to \({\text {Isom}}(X)/{\text {Stab}}_p\) under the diffeomorphism \(\tilde{\phi }_p\). \(\square \)
Lemma 3.5
Let \((q,T) \subset (p,S)\) be placements in X where the affine span of \(\{p_v :v \in S\}\) is equal to the affine span of \(\{q_v :v \in T\}\). If \(|T| < \infty \) then \(\mathcal {O}_p\) is a smooth manifold that is diffeomorphic to \(\mathcal {O}_q\) and the restriction map
is a smooth diffeomorphism.
Proof
Define the (finite dimensional) linear spaces
We note that the linear map \(\tilde{\rho }:A_p \rightarrow A_q\) where \(\tilde{\rho }(x) := x|_{T}\) is a continuous linear isomorphism. This implies the map \(\tilde{\rho }^{-1}|_{\mathcal {O}_q}\) is a smooth embedding into \(A_p\) with image \(\mathcal {O}_p\). By Lemma 3.4, \(\mathcal {O}_q\) is a smooth manifold, thus \(\mathcal {O}_q\) is diffeomorphic to \(\mathcal {O}_p\) and \(\rho := \tilde{\rho }|_{\mathcal {O}_p}^{\mathcal {O}_q}\) is a smooth diffeomorphism. \(\square \)
We will define a continuous path through a placement p in \(X^S\) to be a family \(\alpha := (\alpha _v)_{v \in S}\) of continuous paths \(\alpha _v :(-\delta ,\delta ) \rightarrow X\) (for some fixed \(\delta >0\)) where \(\alpha _v(0) = p_v\) for all \(v \in S\). If \(\alpha (t):= (\alpha _v(t))_{v \in S} \in \mathcal {O}_p\) for all \(t \in (-\delta ,\delta )\) then \(\alpha \) is a trivial finite motion.
Let \(u \in X^S\). If there exists a trivial finite motion \(\alpha \) of p that is differentiable at \(t=0\) and \(u_v = \alpha '_v (0)\) for all \(v \in S\) then we say that u is a trivial (infinitesimal) motion of p. For any placement p we shall denote \(\mathcal {T}(p)\) to be the the set all trivial infinitesimal motions of p.
Theorem 3.6
Let p be a placement in X, then \(\mathcal {O}_p\) is a smooth manifold with tangent space \(\mathcal {T}(p)\) at p and
is a smooth diffeomorphism.
Proof
Choose a finite subplacement (q, T) of (p, S) so that the p and q affinely span the same space, then by Lemma 3.4, \(\mathcal {O}_q\) is a smooth manifold diffeomorphic to \({\text {Isom}}(X)/{\text {Stab}}_q\) under the smooth diffeomorphism \(\tilde{\phi }_q\). By Lemma 3.5, \(\mathcal {O}_p\) is a smooth manifold diffeomorphic to \({\text {Isom}}(X)/{\text {Stab}}_p\) and the restriction map \(\rho :\mathcal {O}_p \rightarrow \mathcal {O}_q\) is a smooth diffeomorphism. As \(\tilde{\phi }_p = \rho ^{-1} \circ \tilde{\phi }_q\) then it is also a smooth diffeomorphism. It follows from its definition that \(\mathcal {T}(p)\) is the tangent space of \(\mathcal {O}_p\) at p. \(\square \)
Corollary 3.7
The map \(\phi _p\) is a smooth submersion and \(d \phi _p(\iota ):T_\iota {\text {Isom}}(X) \rightarrow \mathcal {T}(p)\) is surjective with \(d \phi _p(\iota ) g= g.p\) for all \(g \in T_\iota {\text {Isom}}(X)\). Further, \(\ker d \phi _p(\iota ) = T_\iota {\text {Stab}}_p\).
Proof
By Theorem 3.6, \(\tilde{\phi }_p\) is a smooth diffeomorphism. We note that \(\phi _p = \tilde{\phi }_p \circ \pi \) where \(\pi :{\text {Isom}}(X) \rightarrow {\text {Isom}}(X)/{\text {Stab}}_p\) is the natural quotient map. By the Closed Subgroup theorem [2, Thm. 5.1.14], \(\pi \) is a smooth submersion, thus \(\phi _p\) is a smooth submersion also and \(d \phi _p(\iota )\) is surjective. As \(\tilde{\phi }_p\) is a smooth diffeomorphism then \(\ker d \phi _p(\iota ) = \ker \pi \) as required. \(\square \)
Corollary 3.8
Let (p, S) and (q, T) be placements in X where the affine span of \(\{p_v :v \in S\}\) is equal to the affine span of \(\{q_v :v \in T\}\), then the following hold:
-
(i)
The orbits \(\mathcal {O}_p\) and \(\mathcal {O}_q\) are diffeomorphic.
-
(ii)
\(\dim \mathcal {T}(p)=\dim \mathcal {T}(q)\).
-
(iii)
If \((q,T) \subseteq (p,S)\) then the restriction map
$$\begin{aligned} \rho :\mathcal {O}_p \rightarrow \mathcal {O}_q, ~ (x_v)_{v \in S} \mapsto (x_v)_{v \in T} \end{aligned}$$is a smooth diffeomorphism.
Proof
(iii) Choose a finite subplacement \((r, U) \subseteq (q,T) \subseteq (p,S)\) so that the affine span of \(\{r_v :v \in U\}\) is equal to the affine span of \(\{q_v :v \in T\}\). Define the restriction maps \(\rho _T :\mathcal {O}_q \rightarrow \mathcal {O}_r\) and \(\rho _S :\mathcal {O}_p \rightarrow \mathcal {O}_r\), then by Lemma 3.5, \(\rho _T, \rho _S\) are smooth diffeomorphisms. As \(\rho = \rho _T^{-1} \circ \rho _S\) then it is also a smooth diffeomorphism.
(i) If \((q,T) \subseteq (p,S)\) this follows from (iii). Suppose (q, T) is not a subplacement of (p, S). Define \((t,S \sqcup T) \) to be the placement where \(t|_{S}=p\) and \(t|_{T} = q\). We note all three placements have the same affine span of their placement points. As \((p,S) \subset (t, S \sqcup T)\) and \((q,T) \subseteq (t, S \sqcup T)\) then by (iii) we have \(\mathcal {O}_p \cong \mathcal {O}_{t} \cong \mathcal {O}_q\) as required.
(ii) By Theorem 3.6, \(\mathcal {O}_p\) has tangent space \(\mathcal {T}(p)\) at p and \(\mathcal {O}_q\) has tangent space \(\mathcal {T}(q)\) at q. By (i), \(\mathcal {O}_p \cong \mathcal {O}_q\) and so \(\dim \mathcal {T}(p)=\dim \mathcal {T}(q)\). \(\square \)
3.2 Upper and Lower Bounds of the Dimension of \(\mathcal {T}(p)\)
Proposition 3.9
The following hold for any placement p:
-
(i)
\(d \phi _p(\iota )\) is injective if and only if \(\phi _p\) is a smooth local diffeomorphism, i.e., \(d \phi _p(g)\) is bijective for all \(g \in {\text {Isom}}(X)\).
-
(ii)
\(\phi _p\) is injective if and only if \(\phi _p\) is a smooth diffeomorphism.
If either (i) or (ii) hold then \(\dim \mathcal {T}(p) = {\text {Isom}}(X)\).
Proof
If \(\phi _p\) is a local diffeomorphism it follows \(d \phi _p(\iota )\) is bijective. Suppose \(d \phi _p(\iota )\) is injective. Choose \(g \in {\text {Isom}}(X)\), then \(\dim \ker d\phi _p(g) = 0\); this follows as there exists non-zero \(u \in \ker d\phi _p(g)\) with corresponding smooth curve \(\alpha :(-1,1) \rightarrow {\text {Isom}}(X)\) (i.e., \(\alpha (0)=g\), \(\alpha '(0) =u\)) then the curve \(t \mapsto g^{-1}\alpha (t)\) generates a non-zero tangent vector at \(\iota \) that lies in the kernel of \(d \phi _p(\iota )\). By this it follows that \(d \phi _p(\iota )\) is injective if and only if \(d\phi _p(g)\) is injective for all \(g \in {\text {Isom}}(X)\). By Corollary 3.7 it follows that \(d \phi _p(g)\) is bijective for all \(g \in {\text {Isom}}(X)\) and so is a local diffeomorphism.
If \(\phi _p\) is injective then \({\text {Stab}}_p\) is trivial, thus \({\text {Isom}}(X)/{\text {Stab}}_p ={\text {Isom}}(X)\) and \(\tilde{\phi }_p = \phi _p\). By Theorem 3.6 it then follows \(\phi _p\) is a smooth diffeomorphism. Conversely suppose \(\phi _p\) is a smooth diffeomorphism, then as \(\phi _p = \tilde{\phi }_p \circ \pi \) it follows that the quotient map \(\pi \) is a diffeomorphism. This implies \(\pi \) is a group isomorphism, thus \({\text {Stab}}_p\) is trivial and \(\phi _p\) is injective.
If either (i) or (ii) hold then \(d \phi _p(\iota )\) is bijective and \(\dim \mathcal {T}(p) = {\text {Isom}}(X)\). \(\square \)
Definition 3.10
We define a placement p to be full if \(\phi _p\) is a local diffeomorphism and isometrically full if \(\phi _p\) is a diffeomorphism.
It is immediate that any isometrically full placement is full. By Proposition 3.9 (i), our notion of full agrees with that given in [16]. The set of full placements of a set S will be denoted by \({\text {Full}}(S)\) and likewise the set of full placements of a graph G will be denoted by \({\text {Full}}(G)\).
Corollary 3.11
All spanning placements are isometrically full.
Proof
Suppose \(g.p=p\) and choose \(v_0, \ldots , v_d \in S\) so that \(p_{v_0}, \ldots , p_{v_d}\) is an affine basis of X, then \(g(p_{v_i})=p_{v_i}\) for all \(i=0, \ldots ,d\). By Mazum–Ulam’s theorem [27], g is affine and so since \(p_{v_0}, \ldots , p_{v_d}\) is an affine basis of X this map must be unique. As \(\iota .p=p\) then \(g = \iota \) and \(\phi _p\) is injective. The result now follows by Proposition 3.9 (ii). \(\square \)
Example 3.12
We shall denote by X the space \(\mathbb {R}^2\) with the \(\ell _3\)-norm. The linear isometries of X are generated by the \(\pi /2\) anticlockwise rotation around the origin and the reflection in the line \(\{(t,0):t \in \mathbb {R} \}\). Let \(S = \{v_1,v_2\}\) and (p, S) and (q, S) be the non-spanning placements in X where \(p_{v_1}=q_{v_1}=0\), \(p_{v_2}=(1,0)\) and \(q_{v_2} = (1,2)\). Both placements are full in X, however q is isometrically full while p is not. This example shows that while all spanning placements are isometrically full and all isometrically full placements are full the reverse is not necessarily true.
Proposition 3.13
Let \(d +1 \le |S|< \infty \) and \(\dim X =d\). Then \({\text {Full}}(S)\) is an open dense subset of \(X^S\) and \({\text {Full}}(S)^c\) has measure zero with respect to the Lebesgue measure on \(X^S\).
Proof
Since \(|S| \ge d+1\) then all placements in general position are spanning. By Corollary 3.11 we have \(\mathcal {G}(S) \subset {\text {Full}}(S)\), thus as \(\mathcal {G}(S)\) is dense in \(X^S\) then \({\text {Full}}(S)\) is dense in \(X^S\). Since \(\mathcal {G}(S)^c\) is an algebraic set then it has measure zero, thus it follows \({\text {Full}}(S)^c\) also has measure zero.
Define the affine map
The set of injective maps of \(L(T_{\iota } {\text {Isom}}(X),X^S)\) is open. We note \({\text {Full}}(S)\) is the preimage of the set of injective maps of \(L(T_{\iota } {\text {Isom}}(X),X^S)\) under F by Proposition 3.9 (ii) and so \({\text {Full}}(S)\) is open. \(\square \)
Corollary 3.14
All isometrically full placements in X are spanning if and only if X is Euclidean.
Proof
Suppose all isometrically full placements in X are spanning, then it follows by Proposition 3.9 (ii) that for all linear hyperplanes Y of X there exists a linear map \(T_Y \ne \iota \) that is invariant on Y. By [3, (4.7)], X is Euclidean.
Conversely suppose X is Euclidean. If p is a non-spanning placement then p lies in some affine hyperplane H. We note that if h is the reflection in H then \(h.p =p\), thus by Proposition 3.9 (ii) p is not isometrically full. \(\square \)
We may now give an upper and lower bound for the dimension of \(\mathcal {T}(p)\).
Theorem 3.15
For any placement p in a d-dimensional space X,
with \(\dim \mathcal {T}(p) = \dim {\text {Isom}}(X)\) if and only if p is full.
Proof
By Corollary 3.7, \(d \phi _p(\iota ):T_\iota {\text {Isom}}(X) \rightarrow \mathcal {T}(p)\) is surjective, thus \(\dim \mathcal {T}(p) \le \dim {\text {Isom}}(X)\). Let \(x_1, \ldots , x_d \in X\) be a basis and define for each \(i \in \{1, \ldots , d\}\) the trivial finite flex \(\alpha (i)\) where for each \(v \in S\) we have \(\alpha (i)_v :(-1,1) \rightarrow X\), \(t \mapsto p_v + tx_i\). We note that \((\alpha (i)'_v(0))_{v \in S} = (x_i)_{v \in S} \in \mathcal {T}(p)\) for each \(i \in \{1, \ldots , d\}\), thus \(\dim \mathcal {T}(p) \ge d\).
If p is full then by Proposition 3.9, \(\dim \mathcal {T}(p) = \dim {\text {Isom}}(X)\). If \(\dim \mathcal {T}(p) = \dim {\text {Isom}}(X)\) then by Corollary 3.7, \(d \phi _p (\iota )\) is bijective; it then follows by Proposition 3.9 (i) that p is full. \(\square \)
A rigid motion of X is a family \(\gamma :=(\gamma _x)_{x \in X}\) of continuous maps \(\gamma _x :(-\delta ,\delta ) \rightarrow X\), \(x \in X\) (for some fixed \(\delta >0\)) where \(\gamma _x(0) =x\) and \(\Vert \gamma _x(t) - \gamma _y(t) \Vert = \Vert x - y\Vert \) for all \(x, y \in X\) and \(t \in (-\delta , \delta )\). The following shows that our definition of a trivial finite motion agrees with the definition given in [17] if a framework is isometrically full.
Proposition 3.16
Let p be an isometrically full placement in X. If \(\alpha \) is a continuous path through p in \(X^S\) then the following are equivalent:
-
(i)
\(\alpha \) is a trivial finite motion.
-
(ii)
There exists a unique continuous path \(h:(-\delta , \delta ) \rightarrow {\text {Isom}}(X)\) such that \(h_t(p_v)= \alpha _v(t)\) for all \(t \in (-\delta ,\delta )\), \(v \in S\).
-
(iii)
There exists a unique rigid motion \(\gamma \) such that \(\gamma _{p_v} = \alpha _v\) for all \(v \in S\).
Proof
(\({\hbox {i}}) \Rightarrow ({\hbox {ii}}\)) As \(\alpha \) is a continuous path in \(\mathcal {O}_p\) and \(\phi _p\) is a smooth diffeomorphism we define the unique continuous path \(h := \phi ^{-1}_p \circ \alpha \).
(\({\hbox {ii}}) \Rightarrow ({\hbox {iii}}\)) Define \(\gamma \) to be the unique family of maps \(\gamma \) where \(\gamma _x(t) = h_t(x)\) for all \(x \in X\) and \(t \in (-\delta , \delta )\), then \(\gamma \) is a rigid motion as required.
(\({\hbox {iii}}) \Rightarrow ({\hbox {i}}\)) We note that \(\gamma \) restricted to the set \(\{p_v : v\in S\}\) is a trivial finite motion. \(\square \)
4 Equivalence of Continuous, Local and Infinitesimal Rigidity
4.1 Continuous, Local and Infinitesimal Rigidity
We say that an edge \(vw \in E(G)\) of a framework (G, p) is well-positioned if \(p_v -p_w \in {\text {smooth}}(X)\); if this holds we define \(\varphi _{v,w} := \varphi \bigl (\frac{p_v-p_w}{\Vert p_v-p_w\Vert } \bigr )\). If all edges of (G, p) are well-positioned we say that (G, p) is well-positioned and p is a well-positioned placement of G. We shall denote the subset of well-positioned placements of G in X by the set \(\mathcal {W}(G)\).
Lemma 4.1
Let G be finite, then \(\mathcal {W}(G)\) a dense subset of \(X^{V(G)}\) and \(\mathcal {W}(G)^c\) has measure zero with respect to the Lebesgue measure on \(X^{V(G)}\).
Proof
By Proposition 2.3 (iii), the set \({\text {smooth}}(X)\) is dense and its compliment has measure zero, thus the result holds for all graphs with a single edge. Suppose the result holds for all graphs with \(n-1\) edges and let G be any graph with n edges. Choose \(vw \in E(G)\), and define \(G_1,G_2\) to be the graphs on V(G) where \(E(G_1) = E(G) \setminus \{vw\}\) and \(E(G_2) = \{vw\}\) then \(\mathcal {W}(G_1)^c\) and \(\mathcal {W}(G_2)^c\) have measure zero by assumption. As \(\mathcal {W}(G)^c = \mathcal {W}(G_1)^c \cup \mathcal {W}(G_2)^c\) then \(\mathcal {W}(G)^c\) has measure zero also; this further implies \(\mathcal {W}(G)\) is also dense. The result now follows by induction. \(\square \)
We define the rigidity map of G (in X) to be the continuous map
and for well-positioned placements p we also define the rigidity operator of G at p in X to be the continuous linear map
For any framework we define the configuration space of (G, p) in X to be the set \(f_G^{-1} [f_G(p)]\).
Proposition 4.2
[19, Prop. 6] If G is finite then \(f_G\) is differentiable at p if and only if p is a well-positioned placement of G; if this holds then the rigidity operator at p is the derivative of the rigidity map at p.
Lemma 4.3
If G is finite then the map
is continuous.
Proof
This follows from Proposition 2.3 (iv). \(\square \)
For a finite graph G we say that a well-positioned framework (G, p) is regular if for all \(q \in \mathcal {W}(G)\) we have \({\text {rank}}df_G(p) \ge {\text {rank}}df_G(q)\). We shall denote the subset of \(\mathcal {W}(G)\) of regular placements of G by \(\mathcal {R}(G)\).
Lemma 4.4
Let G be finite, then \(\mathcal {R}(G)\) is a non-empty open subset of \(\mathcal {W}(G)\).
For this lemma we shall need to use the fact that the rank function on the space of linear maps between finite dimensional normed spaces X, Y is lower semi-continuous, i.e., for all \(c \ge 0\) the set \(\{ T \in L(X,Y) : {\text {rank}}T \ge c \}\) is open.
Proof
Let \(n := \sup \{{\text {rank}}df_G(p) : p \in \mathcal {W}(G) \}\). The rank function \(T \mapsto {\text {rank}}T\) is lower semi-continuous and by Lemma 4.3, \(df_G\) is continuous, thus the map
is lower semi-continuous. As \(\mathcal {R}(G) = f^{-1}[[n , \infty )]\) then \(\mathcal {R}(G)\) is open. \(\square \)
We define a finite flex of a framework (G, p) to be a continuous path \(\alpha \) through a placement p where \(\Vert \alpha _v(t) - \alpha _w(t) \Vert = \Vert p_v - p_w \Vert \) for all \(vw \in E(G)\) and \(t \in (-\delta ,\delta )\). If \(\alpha \) is a trivial finite motion of a placement p of G we say \(\alpha \) is a trivial finite flex of (G, p); we note that \(\alpha \) will automatically be a finite flex of (G, p) as isometries preserve distance.
If the only finite flexes of (G, p) are trivial then (G, p) is continuously rigid (in X); (G, p) will be defined to be continuously flexible if it is not continuously rigid. For a finite framework (G, p) we say (G, p) is locally rigid (in X) if there exists a neighbourhood \(U \subseteq X^{V(G)}\) of p such that \(f^{-1}_G[f^{-1}_G(p)] \cap U = \mathcal {O}_p \cap U\); likewise we shall define a framework to be locally flexible if it is not locally rigid. We classify these as types of finite rigidity.
The following result proves that our definition for “continuous flexibility” is equivalent to the definition of “flexibility” given in [4].
Proposition 4.5
Let (G, p) be a framework in X. If (G, p) is continuously flexible then there exists a finite flex \(\alpha := (\alpha _v)_{v \in V(G)}\) with \(\alpha _v:(-\delta ,\delta )\rightarrow X\) for all \(v \in V(G)\), such that \(\alpha (t) \notin \mathcal {O}_p\) for all \(t \ne 0\).
Proof
Suppose (G, p) is continuously flexible, then there exists a non-trivial finite flex \(\beta :(-r,r)\rightarrow X^{V(G)}\) for all \(v \in V(G)\); we note that \(\beta \) is continuous by definition. Let \(A := f_G^{-1}[f_G(p)] \setminus \mathcal {O}_p\). By Lemma 3.2, A is an open subset of \(f_G^{-1} [f_G(p)]\), thus \(\beta ^{-1}[A]\) is an open set in \((-r,r)\). Any open set of \(\mathbb {R}\) is the countable union of disjoint open intervals, thus there exists \((a,b) \subset \beta ^{-1}[A]\) where (without loss of generality) we may assume \(a \notin \beta ^{-1}[A]\).
As \(\beta (a) \in \mathcal {O}_p\), choose \(g \in {\text {Isom}}(X)\) such that \(g.p = \beta (a)\). We now define \(\alpha \) to be the finite flex where \(\delta := b-a\), and
\(\square \)
We define \(u \in X^{V(G)}\) to be a trivial (infinitesimal) flex of (G, p) if u is a trivial motion of p. If (G, p) is well-positioned we say that \(u \in X^{V(G)}\) is an (infinitesimal) flex of (G, p) if \(df_G(p) u =0\). The following proposition shows a link between finite and infinitesimal flexes for frameworks.
Lemma 4.6
Let (G, p) be a well-positioned framework in X and \(\alpha \) a finite flex of (G, p) that is differentiable at 0, then \((\alpha '_v(0))_{v \in V(G)}\) is an infinitesimal flex of (G, p).
Proof
This follows from the proof of [17, Lem. 2.1(ii)]. \(\square \)
Since all trivial flexes of (G, p) are trivial motions of p we shall also denote \(\mathcal {T}(p)\) to be the set all trivial infinitesimal flexes (G, p). If (G, p) is well-positioned we define \(\mathcal {F}(G,p)\) to be the space of all infinitesimal flexes of (G, p). The latter is clearly a linear space as it is exactly the kernel of the rigidity operator. By Lemma 4.6, it follows \(\mathcal {T}(p) \subseteq \mathcal {F}(G,p)\).
A well-positioned framework (G, p) is infinitesimally rigid (in X) if every flex is trivial and infinitesimally flexible (in X) otherwise. We shall define a well-positioned (G, p) framework to be independent if the rigidity operator of G at p, \(df_G(p)\), is surjective (or equivalently, if G is finite, \(|E(G)| = {\text {rank}}df_G(p)\)) and define (G, p) to be dependent otherwise. If a framework is infinitesimally rigid and independent we shall say that it is isostatic. We shall use the convention that any framework with no edges (regardless of placement) is independent and that \((K_1,p)\) is isostatic for any choice of placement p. It is immediate that if a framework is independent then its placement is regular, however the reverse does not necessarily hold.
Remark 4.7
In the setting of Euclidean space, all of the above definitions agree with those used in [4, 5].
Example 4.8
Let G be a (possibly infinite) tree with vertex set \(\{v_1,v_2, \ldots \}\) and well-positioned placement p. By possibly reordering, we shall assume that for every \(n \in \mathbb {N}\), the vertex \(v_n\) is connected to exactly one vertex \(v_i \in \{v_1, \ldots ,v_{n-1}\}\) by an edge. Choose any \(a \in \mathbb {R}^{E(G)}\). We define \(u \in X^{V(G)}\) inductively by setting \(u_{v_1} =0\) and choosing \(u_{v_n}\) such that \(\varphi _{v_n , v_i}(u_{v_n}-u_{v_i}) =a_{v_n,v_i}\) for the unique vertex \(v_i \in \{v_1, \ldots ,v_{n-1} \}\) connected to \(v_n\) by an edge. As \(df_G(p)(u) = a\), (G, p) is independent. If we chose G to be a finite tree, (G, p) would be regular also.
Lemma 4.9
Let (G, p) be a finite (possibly not spanning) framework in a d-dimensional normed space X with \(|V(G)| \ge d+1\). Suppose \(q \in \mathcal {R}(G)\) is full, then the following hold:
-
(i)
If (G, p) is independent then (G, p) is regular and (G, q) is independent.
-
(ii)
If (G, p) is infinitesimally rigid then (G, p) is regular, p is full and (G, q) is infinitesimally rigid.
Proof
(i) As (G, p) is independent then \(df_G(p)\) is surjective. As surjective linear maps have maximal possible rank then (G, p) is regular. Since q is regular it follows that (G, q) is independent.
(ii) As (G, q) is regular then by the Rank–Nullity theorem we have
thus by Theorem 3.15, \(\dim \mathcal {T}(q) \le \dim \mathcal {T}(p) \le \dim {\text {Isom}}(X)\). As q is full then by Theorem 3.15, \(\dim \mathcal {T}(q) = \dim {\text {Isom}}(X)\). It follows that \(\dim \mathcal {T}(p) = \dim {\text {Isom}}(X)\) and thus p is full. From the inequality it also follows that (G, q) is infinitesimally rigid. \(\square \)
Lemma 4.10
Let (G, p) be a independent framework and \((H,q) \subset (G,p)\), then (H, q) is also independent.
Proof
Choose \(a \in \mathbb {R}^{E(H)}\). As \(a \times (0)_{vw \in E(G) \setminus E(H)} \in \mathbb {R}^{E(G)}\) and (G, p) is independent there exists \(x \in X^{V(G)}\) such that \(df_G(p)(x) = a \times (0)_{vw \in E(G) \setminus E(H)}\). We now note \(df_H(q)(x|_{V(H)}) =a\) as required. \(\square \)
The following gives us some necessary and sufficient conditions for infinitesimal rigidity.
Theorem 4.11
[19, Thm. 10] Let finite (G, p) be well-positioned in X, then the following hold:
-
(i)
If (G, p) is independent then \(|E(G)| = (\dim X) |V(G)| - \dim \mathcal {F}(G,p)\).
-
(ii)
If (G, p) is infinitesimally rigid then \(|E(G)| \ge (\dim X) |V(G)| - \dim \mathcal {T}(p)\).
The following gives an equivalence for isostaticity.
Proposition 4.12
Let (G, p) be a well-positioned framework in X. If any two of the following properties hold then so does the third (and (G, p) is isostatic):
-
(i)
\(|E(G)| = (\dim X)|V(G)| - \dim \mathcal {T}(p)\),
-
(ii)
(G, p) is infinitesimally rigid,
-
(iii)
(G, p) is independent.
Proof
Apply the Rank–Nullity theorem to the rigidity operator of G at p. The result follows the same method as [9, Lem. 2.6.1.c]. \(\square \)
Using the results from the last section we may now give a stronger result for independent frameworks.
Corollary 4.13
Let (G, p) be a finite independent framework with \(|V(G)|\ge \dim X +1\). Then for all \(H \subset G\) with \(|V(H)| \ge d+1\) we have \(|E(H)| \le (\dim X)|V(H)| - \dim {\text {Isom}}(X)\). If (G, p) is also isostatic then \(|E(G)| = (\dim X)|V(G)| - \dim {\text {Isom}}(X)\).
Proof
By Lemmas 4.1 and 4.4, since \(\mathcal {G}(G)\) is an open dense subset of \(X^{V(G)}\) and \(\mathcal {G}(G)^c\) has measure zero the set \(\mathcal {R}(G) \cap \mathcal {G}(G)\) is non-empty, thus we choose \(p'\) to be a regular placement of G in general position. Since \((G,p')\) is regular it follows that it is also independent.
Define \(q := p'|_{V(H)}\), then (H, q) is in general position. As \((H,q) \subseteq (G,p')\) then by Proposition 4.10, (H, q) is independent; furthermore as H has at least \(d+1\) vertices then q is spanning. By Theorem 4.11, we have \(|E(H)| = (\dim X)|V(H)| - \dim \mathcal {F}(H,q)\). By Corollary 3.11 and Proposition 3.9, \(\dim \mathcal {T}(q) = \dim {\text {Isom}}(X)\), thus as \(\mathcal {T}(q) \subset \mathcal {F}(H,q)\) we have the required inequality.
If (G, p) is also isostatic then by Proposition 4.12, \(|E(G)| = (\dim X)|V(G)| - \dim \mathcal {T}(p)\). By Lemma 4.9 (ii), p is full, thus by Theorem 3.15, \(\dim \mathcal {T}(p) = \dim {\text {Isom}}(X)\) as required. \(\square \)
4.2 Proof of Theorem 1.1
For a finite graph G, we say that a well-positioned framework (G, p) is constant if there is a neighbourhood \(\mathcal {N}(p)\) of p in \(X^{V(G)}\) such that \(\mathcal {N}(p) \subset \mathcal {W}(G)\) and \({\text {rank}}df_G(q) = {\text {rank}}df_G(p)\) for all \(q \in \mathcal {N}(p)\). We shall denote \(\mathcal {C}(G)\) to be the subset of \(\mathcal {W}(G)\) of constant placements of G.
By Lemma 4.4, if a regular placement of a finite graph G lies in the interior of \(\mathcal {W}(G)\) then it will be constant. For Euclidean spaces \(\mathcal {R}(G)= \mathcal {C}(G)\) as \(\mathcal {R}(G)\) is an open dense subset of \(X^{V(G)}\) (see [4, Sect. 3] for more details), however this does not hold for all normed spaces; see Example 4.17.
Lemma 4.14
Let (G, p) a constant finite framework in X, then there exists an open neighbourhood \(U \subset X^{V(G)}\) of p such that \(f^{-1}_G [f_G(p)] \cap U\) is a \(C^1\)-manifold with tangent space \(\mathcal {F}(G,p)\) at p and \(\mathcal {O}_p \cap U\) is a \(C^1\)-submanifold of \(f^{-1}_G [f_G(p)] \cap U\).
Proof
Since (G, p) is constant p is an interior point of \(\mathcal {W}(G)\), so by Proposition 4.2 and Lemma 4.3, \(f_G\) is \(C^1\)-differentiable with constant rank on an open neighbourhood of p in \(X^{V(G)}\). By the Constant Rank Theorem ([2, Thm. 2.5.15]) there exists an open neighbourhood \(U \subset X^{V(G)}\) of p such that \(f^{-1}_G [f_G(p)] \cap U\) is a \(C^1\)-manifold with tangent space \(\ker df_G(p) =\mathcal {F}(G,p)\) at p.
By Theorem 3.6, \(\mathcal {O}_p\) is a smooth manifold. As \(\mathcal {O}_p \cap U \subseteq f^{-1}_G[f_G(p)] \cap U \subseteq X^{V(G)}\) and both are \(C^1\)-submanifolds of \(X^{V(G)}\) then the inclusion map \(\mathcal {O}_p \cap U \hookrightarrow f^{-1}_G[f_G(p)] \cap U\) is a \(C^1\)-embedding, thus \(\mathcal {O}_p \cap U\) is a \(C^1\)-submanifold of \(f^{-1}_G [f_G(p)] \cap U\). \(\square \)
We are now ready to prove Theorem 1.1.
Proof of Theorem 1.1
By Lemma 4.14, \(\mathcal {O}_p \cap U\) is a \(C^1\)-submanifold of \(f^{-1}_G [f_G(p)] \cap U\) for some open neighbourhood U of p. As manifolds are locally path-connected we may assume we chose U small enough such that \(f^{-1}_G [f_G(p)] \cap U\) and \(\mathcal {O}_p \cap U\) are path-connected.
(Infinitesimal rigidity \(\Leftrightarrow \) Local rigidity): Since \(\mathcal {O}_p \cap U\) is a \(C^1\)-submanifold of \(f^{-1}_G [f_G(p)] \cap U\) we have
this is equivalent to saying (G, p) is infinitesimally rigid if and only if (G, p) is locally rigid.
(Continuous rigidity \(\Rightarrow \) Local rigidity): Suppose (G, p) is continuously rigid. Choose \(q \in f^{-1}_G [f_G(p)] \cap U\), then there exists a continuous path from p to q in \(f^{-1}_G[f_G(p)] \cap U\). This implies that we may define a finite flex \(\alpha \) of (G, p) such that \(\alpha (t_0) =q\) for some \(t_0 \in (-\delta ,\delta )\). Since (G, p) is continuously rigid then \(\alpha \) is trivial and thus a continuous path in \(\mathcal {O}_p\). It now follows \(q \in \mathcal {O}_p \cap U\) as required.
(Local rigidity \(\Rightarrow \) Continuous rigidity): Suppose (G, p) is locally rigid, then there exists \(\varepsilon >0\) such that \(B_\varepsilon (p) \subset U\) (the open ball with respect to the normed space \((X^{V(G)}, \Vert \cdot \Vert _{V(G)})\)) and \(f^{-1}_G [f_G(p)] \cap B_\varepsilon (p) = \mathcal {O}_p \cap B_\varepsilon (p)\). First note that both \(f^{-1}_G [f_G(p)]\) and \(\mathcal {O}_p\) are invariant under \({\text {Isom}}(X)\). Choose any \(q \in \mathcal {O}_p\), then there exists \(g \in {\text {Isom}}(X)\) such that \(g.p=q\). We now note that
As this holds for all \(q \in \mathcal {O}_p\) then \(\mathcal {O}_p\) is open in \(f_G^{-1}[f_G(p)]\). By Lemma 3.4, \(\mathcal {O}_p\) is closed in \(X^{V(G)}\), thus \(\mathcal {O}_p\) is clopen in \(f_G^{-1}[f_G(p)]\).
Define \(f_G^{-1} [f_G(p)]^\Gamma \) to be the path-connected component of \(f_G^{-1} [f_G(p)]\) that contains p with the subspace topology, then the only clopen set in \(f_G^{-1} [f_G(p)]^\Gamma \) is itself. Define \(\mathcal {O}_p^\Gamma := \mathcal {O}_p \cap f_G^{-1} [f_G(p)]^\Gamma \), then \(\mathcal {O}_p^\Gamma \) is clopen since \(\mathcal {O}_p\) is clopen. This implies that \(\mathcal {O}_p^\Gamma = f_G^{-1} [f_G(p)]^\Gamma \) and so any finite flex \(\alpha \) lies in \(\mathcal {O}_p\). \(\square \)
4.3 Examples and Non-examples
Example 4.15
Suppose G is any finite graph and \({\text {smooth}}(X)\) is an open subset of X (most standard normed spaces fit this criteria, an example would be any \(\ell ^d_q\) space). We note \(\mathcal {W}(G)\) will be an open subset of \(X^{V(G)}\) and so by Lemma 4.4, \(\mathcal {R}(G)\) will be an open subset of \(X^{V(G)}\). It now follows that every regular placement will be constant, thus by Theorem 1.1, if (G, p) is infinitesimally rigid then it will be continuously and locally rigid also. Further, following a similar method to Lemma 4.4, we note that \(\mathcal {C}(G)\) will also be an open dense subset of \(X^{V(G)}\).
Example 4.16
For any finite graph G and \(q \in (1, \infty )\), it follows from the proof of [18, Lem. 2.7] that all constant placements of G in \(\ell _q^d\) are also regular.
Example 4.17
For any d-dimensional real linear space X and finite set \(F \subset X^*\), we may define the polyhedral norm
By [15, Prop. 6], all well-positioned placements of finite graphs are constant, thus by Theorem 1.1, finite and infinitesimal rigidity are equivalent for any well-positioned finite framework; see [15, Thm. 7] for an alternative proof of the equivalence of infinitesimal rigidity and continuous rigidity.
Not all constant placements are regular however; in fact, \(\mathcal {R}(G) \ne \mathcal {C}(G)\) if and only if G contains a cycle. To see this, we first choose \(x,y \in {\text {smooth}}(X)\) such that \(\varphi (x), \varphi (y)\) are linearly independent. Let G be a graph with vertices \(\{v_1, \ldots , v_n\}\) and a cycle C; by reordering we may assume \(v_1 v_n\) is an edge of C. Define p be the placement of G with \(p_{v_i} = i x\) for all \(i=1, \ldots ,n\), and q be the placement of G where \(q_{v_i} = i x\) for all \(i=1, \ldots ,n\) and \(q_{v_n} = \varepsilon y + x\), with \(\varepsilon >0\) chosen such that \(\varphi (q_{v_n} - q_{v_i})\) is a scalar multiple of \(\varphi (x)\) for all \(i \ge 2\). Since both p, q are well-positioned they are also constant. By direct calculation, we note that
as they are both connected and all edges have the same support functional. If we choose \(u \in X^{V(G)}\) with \(u_{v_n} \in \ker \varphi (x) \setminus \{0\}\) and \(u_{v_i}=0\) otherwise, then \(u \in \mathcal {F}(G\setminus \{v_1,v_n \},q) \setminus \mathcal {F}(G,q)\). This implies \({\text {rank}}df_G(q) > |E(G)|-1\), thus p is a constant placement of G that is not regular.
Example 4.18
Let (G, p) be a finite infinitesimally rigid, full and constant framework in a 2-dimensional normed space X. Further, suppose there exist distinct \(v_1,v_2 \in V(G)\) such that \(y := \frac{p_{v_1} - p_{v_2}}{\Vert p_{v_1}-p_{v_2}\Vert } \in {\text {smooth}}(X)\). We now define the framework \((G',p')\), where \(G'\) is the graph with
and \(p'\) is the placement where
By choosing u to be the flex with \(u_{v_0} \in \ker \varphi (y)\) and \(u_v =0\) for all \(v \ne v_0\), we note that \((G',p')\) is infinitesimally flexible.
Two possible placements of the vertices \(v_0,v_1,v_2 \) of \((G',p')\) as defined in Example 4.18. The dotted lines represent \(S_r[p_{v_1}]\) and \(S_r[p_{v_2}]\) for \(r := \frac{1}{2}\Vert p_{v_1} - p_{v_2}\Vert \). For the left placement, \(v_0\) can be moved as indicated by the arrows, while for the right placement, \(v_0\) can be seen to be fixed
Consider \(\varphi (y)^{-1}[1]\) with respect to the topology of \(S_1^*[0]\). We now have two possibilities (Fig. 1):
-
(i)
If y lies in the interior of \(\varphi (y)^{-1}[1]\), then \((G',p')\) is constant.
-
(ii)
If y lies on the boundary of \(\varphi (y)^{-1}[1]\), then \((G',p')\) is not constant.
If (i) holds, by Theorem 1.1, \((G',p')\) is continuously and locally flexible also. Suppose (ii) and choose a sufficiently close framework \((G',q')\) such that \(f_{G'}(p')= f_{G'}(q')\). By applying isometries we may assume \(q'_v=p'_v\) for all \(v \in V(G)\) as (G, p) is locally rigid. By [21, Prop. 31], either \(q' = p'\) or the line
is contained in \(S_1[0]\). If the latter holds then y lies in the interior of L, thus \(q'=p'\) and \((G',p')\) is locally rigid. It now follows from the proof of Theorem 1.1 that \((G',p')\) is continuously rigid. As \((G',p')\) is not constant this does not contradict Theorem 1.1.
In the following example, we shall construct a normed space that contains a framework that is locally flexible, continuously rigid and not constant. We shall denote the standard Euclidean norm of \(\mathbb {R}^2\) by \(\Vert \cdot \Vert _2\).
Example 4.19
Define for each \(n \in \mathbb {N}\) the linear functions \(f_n,g_n :\mathbb {R}^2 \rightarrow \mathbb {R}\), where for any \(r>0\) and \(\theta \in (-\pi ,\pi ]\),
We now define the normed space \(X := (\mathbb {R}^2, \Vert \cdot \Vert )\), where for all \((x,y) \in X\),
or equivalently,
The norm \(\Vert \cdot \Vert \) has been defined so that \(S_1[0]\) is formed from the unit circle by replacing the arc from \({(-1)^j\pi }/{2^n} +k\pi \) to \({(-1)^j\pi }/{2^{n+1}} +k\pi \) by a straight line between the two points for each \(j,k \in \{0,1\}\) and \(n \ge 2\); see Fig. 2.
We note that for any \((x,y) = (r \cos \theta , r \sin \theta )\), \((x,y) \in {\text {smooth}}(X)\) if and only if \(r \ne 0\) and \(\theta \ne {\pm \pi }/{2^n}\) or \({\pm \pi }/{2^n} + \pi \) for any \(n \ge 2\); further, if (x, y) is smooth then,
The framework (G, p) (left) and the unit ball of X (right) as described in Example 4.19. The unit ball is obtained by “shaving pieces off” the unit disc
Let G be the complete graph on \(v_1,v_2,v_3,v_4\) and p the well-positioned placement of G in X with
For \(\theta \in (-\tan ^{-1}({1}/{3}),\tan ^{-1}({1}/{3}))\), denote by \(R(\theta ) \in {\text {Isom}}^{\mathrm{Lin}}(X)\) the anticlockwise rotation around the origin by an angle \(\theta \). We note that \(R(\theta )\) is an isometry of X if and only if \(\theta = 0\), however \(f_G( R(\theta ).p) = f_G(p)\) if and only if either \(\theta = 0\), \(\theta = {\pm \pi }/{2^n}\) or \({\pm \pi }/{2^n} +\pi \). As \(R({\pi }/{2^n}).p \rightarrow p\) as \(n \rightarrow \infty \) and \(R({\pi }/{2^n}).p \in f^{-1}_G[f_G(p)] \setminus \mathcal {O}_p\) for all \(n \in \mathbb {N}\), (G, p) is locally flexible.
Given \(\theta \in (-\tan ^{-1}({1}/{3}),\tan ^{-1}({1}/{3}))\), we note that \((G, R(\theta ).p)\) is well-positioned if \(\theta \ne {\pi }/{2^n}\) for any \(n \in \mathbb {N}\), and infinitesimally rigid if \(\theta \ne {3 \pi }/{2^n}\) for any \(n \in \mathbb {N}\) also. As (G, p) is infinitesimally flexible and can be approximated by infinitesimally rigid placements, (G, p) is not constant.
Let \(\alpha \) be a non-trivial finite flex of (G, p). Define \(H := (V(G), E(G) \setminus \{v_1 v_2 \})\) and
We observe that there exists an open neighbourhood \(U \subset X^{V(G)}\) of p such that
thus we may choose \(0<\varepsilon < \delta \) such that \(\alpha (t) \in U\) for all \(t \in (-\varepsilon , \varepsilon )\), there exists \(g_t \in {\text {Isom}}(\mathbb {R}^2, \Vert \cdot \Vert _2 )\) such that \(\alpha (t) = g_t.p\). As \(\alpha \) is non-trivial, by applying translations and reflections, reparameterising, and choosing a sufficiently small value \(\varepsilon >0\), we may assume that for all \(t \in [0, \varepsilon )\),
Choose \(n \in \mathbb {N}\) large enough such that \({\pi }/{2^n} \in [0, \varepsilon )\). Then
contradicting that \(\alpha \) is a finite flex of (G, p). It now follows that (G, p) is continuously rigid.
Remark 4.20
Example 4.19 is surprising, as for Euclidean normed spaces continuous rigidity and local rigidity are always equivalent (see [4, Prop. 1]). It is currently an open question to decide whether continuous rigidity and local rigidity are always equivalent for a given normed space.
5 Flexibility of Small Frameworks and Stronger Bounds for \(\mathcal {T}(p)\)
For any placement p in X we shall define \(\mathcal {T}_2(p)\) to denote the space of trivial motions of p in \((X,\Vert \cdot \Vert _2)\), the unique Euclidean space for \((X,\Vert \cdot \Vert )\) as defined in Lemma 2.4. If we refer to just X we shall be referring to the general normed space \((X,\Vert \cdot \Vert )\).
Lemma 5.1
\(\mathcal {T}(p)\) is a linear subspace of \(\mathcal {T}_2(p)\).
Proof
By Lemma 2.4, \({\text {Isom}}(X,\Vert \cdot \Vert ) \subseteq {\text {Isom}}(X, \Vert \cdot \Vert _2)\). It now follows that \(\mathcal {T}(p) \subseteq \mathcal {T}_2(p)\). \(\square \)
For Euclidean spaces we have the following equality for the dimension of the space of trivial motions for non-spanning placements.
Lemma 5.2
[9, Lem. 2.3.3] Let (p, S) be a placement in X where \(d = \dim X\) and n is the dimension of the affine span of \(\{p_v : v \in S \}\). Then
We now wish to obtain an upper and lower bound for the dimension of the space of trivial motions for non-spanning placements. To do this we shall first find an upper-bound for when \(|S|=2\) in non-Euclidean normed spaces and then use an inductive argument.
Lemma 5.3
Let \(x_0 \in X \setminus \{0\}\) and \(\dim X =d\). Then the set
is a closed smooth submanifold of X; further \(\dim \mathcal {O}(x_0) =d-1\) if and only if X is Euclidean.
Proof
Since \({\text {Isom}}^{\mathrm{Lin}}(X)\) is compact then \({\text {Isom}}^{\mathrm{Lin}}(X)\) gives rise to a proper Lie group action on X by \(x \mapsto T(x)\) for all \(T \in {\text {Isom}}^{\mathrm{Lin}}(X)\), \(x \in X\). As \(\mathcal {O}(x_0)\) is the orbit of \(x_0\) (with respect to \({\text {Isom}}^{\mathrm{Lin}}(X)\)) then by Lemma 3.1, \(\mathcal {O}(x_0)\) is a closed smooth submanifold of X.
First suppose X is Euclidean. By [27, Cor. 3.3.3], \({\text {Isom}}^{\mathrm{Lin}}(X)\) acts transitively on \(S_{\Vert x_0\Vert }[0]\), thus \(\mathcal {O}(x_0) = S_{\Vert x_0\Vert }[0]\). As the unit sphere of a Euclidean space is the d-sphere and \(S_{\Vert x_0\Vert }[0] = \Vert x_0\Vert S_{1}[0]\) we have \(\dim \mathcal {O}(x_0) =d-1\).
Now suppose \(\dim \mathcal {O}(x_0) =d-1\). If \(d=1\) the result is immediate so assume \(d >1\). The set \(S_{\Vert x_0\Vert }[0]\) is a closed connected topological submanifold of X with dimension \(d-1\) as it is homeomorphic to the d-sphere. Since \(\mathcal {O}(x_0) \subset S_{\Vert x_0\Vert }[0]\) then \(\mathcal {O}(x_0)\) is a closed subset of \(S_{\Vert x_0\Vert }[0]\). As \(\dim \mathcal {O}(x_0) = \dim S_{\Vert x_0\Vert }[0]\) it follows from Brouwer’s theorem for invariance of domain [20, Thm. 1.18] that the inclusion map \(\mathcal {O}(x_0) \hookrightarrow S_{\Vert x_0\Vert }[0]\) is an open map and thus \(\mathcal {O}(x_0)\) is an open subset of \(S_{\Vert x_0\Vert }[0]\). As the only clopen non-empty subset of \(S_{\Vert x_0\Vert }[0]\) is itself we have \(\mathcal {O}(x_0) = S_{\Vert x_0\Vert }[0]\). This implies \({\text {Isom}}^{\mathrm{Lin}}(X)\) acts transitively on \(S_{\Vert x_0\Vert }[0]\), thus by [27, Cor. 3.3.5], X is Euclidean. \(\square \)
Lemma 5.4
Let (p, S) be a general positioned placement in a d-dimensional space X where \(|S|=2\). Then \(\dim \mathcal {T}(p) \le 2d-1\) with equality if and only if X is Euclidean.
Proof
By Lemmas 5.1 and 5.2 it follows \(\dim \mathcal {T}(p) \le 2d-1\) and \(\dim \mathcal {T}(p) = 2d-1\) if X is Euclidean and p is in general position.
Now suppose \(\dim \mathcal {T}(p) = 2d-1\). Let \(S=\{v_1,v_2\}\), then without loss of generality we may assume \(p_{v_1}=0\). If \(d=1\) the result holds trivially so we may suppose \(d>1\). As p is in general position then \(p_{v_2} \ne 0\). By Lemma 5.3, \(\mathcal {O}(p_{v_2})\) is a closed smooth submanifold of X. It follows from [2, Lem. 3.3.4] that we may identify the tangent space of \(\mathcal {O}(p_{v_2})\) at \(p_{v_2}\) with a subspace of X; by calculation we see that the tangent space of \(\mathcal {O}(p_{v_2})\) at \(p_{v_2}\) is \(\{ u \in X : (0,u) \in \mathcal {T}(p) \}\). Since \(\dim \mathcal {T}(p) =d + (d-1)\) and the trivial motions generated by translations form a d-dimensional subspace then it follows \(\mathcal {O}(p_{v_2})\) has dimension \(d-1\). By Lemma 5.3 the space X is Euclidean as required. \(\square \)
Lemma 5.5
Let (p, S) be a placement in a d-dimensional space X and \(\{p_v :v \in S\}\) have an affine span of dimension \(k-1\) where \(2 \le k \le d\). Suppose \((p',S')\) is a placement where \((p,S) \subset (p',S')\) and the dimension of the affine span of \(\{p'_v :v \in S'\}\) is k, then
Proof
Choose \(T :=\{v_0, \ldots , v_{k-1}\}\) and \(T' := T \cup \{v_{k}\}\) where \(v_i \in S\) for \(i \in \{0, \ldots ,k-1\}\), \(v_{k} \in S'\) and \(p'_{v_0}, \ldots , p'_{v_{k}}\) have affine span with dimension k. Define the linear restriction map
and the placements \((q,T) \subset (p,S)\) and \((q',T') \subset (p',S')\). We note that \(P(\mathcal {T}_2(q')) \subseteq \mathcal {T}_2(q)\) and \(P(\mathcal {T}(q')) \subseteq \mathcal {T}(q)\). Choose any \(u \in \mathcal {T}(q)\), then by Corollary 3.7 there exists \(h \in T_\iota {\text {Isom}}(X)\) such that \(u = h.q\). By Corollary 3.7, \(h.q' \in \mathcal {T}(q')\), thus as \(P(h.q')= h.q\) we have \(P(\mathcal {T}(q')) = \mathcal {T}(q)\). By a similar argument we can see that \(P(\mathcal {T}_2(q')) = \mathcal {T}_2(q)\) also.
By the Rank–Nullity theorem applied to \(P|_{\mathcal {T}_2(q')}\) and Lemma 5.2
By Lemma 5.1 and the Rank–Nullity theorem applied to \(P|_{\mathcal {T}(q')}\)
By Corollary 3.8 (ii), \(\mathcal {T}(q) \cong \mathcal {T}(p)\) and \(\mathcal {T}(q') \cong \mathcal {T}(p')\) and so the result follows. \(\square \)
Proposition 5.6
Let (p, S) be a placement in a d-dimensional normed space X where \(\{p_v :v \in S \}\) has an affine span of dimension \(1 \le n \le d\). Then
with equality if and only if X is Euclidean.
Proof
If X is Euclidean then the result follows by Lemma 5.2.
Suppose X is non-Euclidean. If \(n=1\) then the result follows by Lemma 5.4 and Corollary 3.8 (ii). Let \(n >1\) and suppose the theorem holds for all \(m= 1, \ldots , n-1\). Choose \(v_1, \ldots , v_n \in S\) so that \(p_{v_1}, \ldots , p_{v_n}\) are affinely independent and define \(T:= \{v_1, \ldots , v_n \}\). If we define \(q := p|_T\) then \(\{q_v : v = v_1, \ldots , v_n\}\) has an affine span with dimension \(n-1\), thus by assumption \(\dim \mathcal {T}(q) < {n(2d - n+1)}/{2}\). By Lemma 5.5 it follows that
\(\square \)
We define a framework (G, p) in a d-dimensional normed space to be small if \(|V(G)| \le d +1\). The following is a well-known result for Euclidean spaces.
Proposition 5.7
Let X be d-dimensional Euclidean space and (G, p) be a small well-positioned framework, then (G, p) is isostatic if and only if G is a complete graph and p is in general position.
Proof
(\(\Rightarrow \)) If (G, p) is isostatic it follows by Proposition 4.12 and Lemma 5.2 that \(|E(G)| = {|V(G)|(|V(G)|-1)}/{2}\), thus G is a complete graph.
Suppose p is not in general position, then there exist distinct vertices \(v_0, \ldots , v_n, w \in V(G)\) such that the affine span of \(p_{v_0}, \ldots , p_{v_n}\) is \(Y \subset X\), the affine span of \(\{p_v :v \in V(G)\}\). Define for each \(v \in V(G)\) the vector \(u_v\) where \(u_v=0\) if \(v \ne w\) and \(u_w \in (Y - p_{v_0})^\perp \setminus \{0\}\), then \(u := (u_v)_{v \in V(G)} \in X^{V(G)}\) is an infinitesimal flex of (G, p). If u is trivial then by Corollary 3.7 there exists an affine map \(g \in T_{\iota } {\text {Isom}}(X)\) such that \(g.p = u\). As \(p_{v_0}, \ldots , p_{v_n}\) is an affine basis of Y and \(g(p_{v_i})=0\) for all \(i=0,1, \ldots ,n\) then \(g(y)=0\) for all \(y \in Y\). However \(g(p_w) \ne 0\) and so no such affine map g may exist. This implies u is a non-trivial flex which contradicts the infinitesimal rigidity of (G, p).
(\(\Leftarrow \)) This follows from [9, Thm. 2.4.1.d]. \(\square \)
Using Theorem 3.15 we can now state our own result for small frameworks for non-Euclidean spaces.
Theorem 5.8
Let (G, p) be a small well-positioned framework with in a d-dimensional non-Euclidean normed space X, then (G, p) is infinitesimally flexible or \(|V(G)|=1\).
Proof
If \(|V(G)|=1\) then (G, p) is infinitesimally rigid by definition. Suppose \(|V(G)| \ge 2\) and the affine span of \(\{p_v:v \in V(G)\}\) has dimension n. Define the map \(f:\mathbb {R} \rightarrow \mathbb {R}\) where
We note that f is increasing on the interval \([0, d-1]\) and \(f(d-1)=f(d)\), thus it follows that \(f(|V(G)|-1) \ge f(n)\). We note
thus by Theorem 4.11, (G, p) is infinitesimally flexible. \(\square \)
Remark 5.9
(Final remark) We remark that combinatorial characterisations of infinitesimal rigidity have recently been obtained in some normed space contexts. However other forms of rigidity, such as redundant and global rigidity, have not yet been explored in general normed spaces.
References
Abraham, R., Marsden, J.E.: Foundations of Mechanics, 2nd edn. Addison-Wesley, Reading (1978)
Abraham, R., Marsden, J.E., Raiţu, T.S.: Manifolds, Tensor Analysis, and Applications, 3rd edn. Springer, New York (2002)
Amir, D.: Characterizations of Inner Product Spaces. Operator Theory: Advances and Applications, vol. 20. Birkhäuser, Basel (1986)
Asimow, L., Roth, B.: The rigidity of graphs. Trans. Am. Math. Soc. 245, 279–289 (1978)
Asimow, L., Roth, B.: The rigidity of graphs II. J. Math. Anal. Appl. 68(1), 171–190 (1979)
Benyamini, Y., Lindenstrauss, J.: Geometric Nonlinear Functional Analysis, vol. I. American Mathematical Society Colloquium Publications, vol. 48. American Mathematics Society, Providence (2000)
Gluck, H.: Almost all simply connected closed surfaces are rigid. In: Geometric Topology. Lecture Notes in Mathematics, vol. 438, pp. 225–239. Springer, Berlin (1975)
Gortler, S.J., Thurston, D.P.: Characterizing the universal rigidity of generic frameworks. Discret. Comput. Geom. 51(4), 1017–1036 (2014)
Graver, J., Servatius, B., Servatius, H.: Combinatorial Rigidity Graduate Studies in Mathematics, vol. 2. American Mathematics Society, Providence (1993)
Hall, B.: Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics, vol. 222. Springer, New York (2003)
Jackson, B., Jordán, T.: The generic rank of body-bar-and-hinge frameworks. Eur. J. Combin. 31(2), 574–588 (2010)
Jordán, T.: Combinatorial rigidity: graphs and matroids in the theory of rigid frameworks. Technical report TR-2014-12. Egerváry Research Group, Budapest (2014)
Jordán, T., Kaszanitzky, V.E., Tanigawa, S.: Gain-sparsity and symmetry-forced rigidity in the plane. Discret. Comput. Geom. 55(2), 314–372 (2016)
Katoh, N., Tanigawa, S.: A proof of the molecular conjecture. Discret. Comput. Geom. 45(4), 647–700 (2011)
Kitson, D.: Finite and infinitesimal rigidity with polyhedral norms. Discret. Comput. Geom. 54(2), 390–411 (2015)
Kitson, D., Levene, R.H.: Graph rigidity for unitarily invariant matrix norms (2017). arXiv:1709.08967
Kitson, D., Power, S.C.: Infinitesimal rigidity for non-Euclidean bar-joint frameworks. Bull. Lond. Math. Soc. 46(4), 685–697 (2014)
Kitson, D., Power, S.C.: The rigidity of infinite graphs. Discret. Comput. Geom. 60(3), 531–557 (2018)
Kitson, D., Schulze, B.: Maxwell–Laman counts for bar-joint frameworks in normed spaces. Linear Algebra Appl. 481, 313–329 (2015)
Lee, J.M.: Manifolds and Differential Geometry. Graduate Studies in Mathematics, vol. 107. American Mathematical Society, Providence (2009)
Martini, H., Swanepoel, K.J., Weiß, G.: The geometry of Minkowski spaces—a survey. Part I. Expo. Math. 19(2), 97–142 (2001)
Montgomery, D., Samelson, H.: Transformation groups of spheres. Ann. Math. 44(3), 454–470 (1943)
Nixon, A., Owen, J.C., Power, S.C.: Rigidity of frameworks supported on surfaces. SIAM J. Discret. Math. 26(4), 1733–1757 (2012)
Rockafellar, R.T.: Convex Analysis. Princeton Mathematical Series, vol. 28. Princeton University Press, Princeton (1970)
Schulze, B., Tanigawa, S.: Infinitesimal rigidity of symmetric bar-joint frameworks. SIAM J. Discret. Math. 29(3), 1259–1286 (2015)
Tanigawa, S.: Sufficient conditions for the global rigidity of graphs. J. Comb. Theory Ser. B 113, 123–140 (2015)
Thompson, A.C.: Minkowski Geometry. Encyclopedia of Mathematics and its Applications, vol. 63. Cambridge University Press, Cambridge (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Dewar, S. Equivalence of Continuous, Local and Infinitesimal Rigidity in Normed Spaces. Discrete Comput Geom 65, 655–679 (2021). https://doi.org/10.1007/s00454-019-00135-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-019-00135-5
Keywords
- Bar–joint frameworks
- Infinitesimal rigidity
- Continuous rigidity
- Local rigidity
- Finite dimensional normed spaces