Abstract
We consider the following setting: suppose that we are given a manifold M in \({\mathbb {R}}^d\) with positive reach. Moreover assume that we have an embedded simplical complex \({\mathcal {A}}\) without boundary, whose vertex set lies on the manifold, is sufficiently dense and such that all simplices in \({\mathcal {A}}\) have sufficient quality. We prove that if, locally, interiors of the projection of the simplices onto the tangent space do not intersect, then \({\mathcal {A}}\) is a triangulation of the manifold, that is, they are homeomorphic.
Similar content being viewed by others
1 Introduction
Triangulations have played a central role in Computational Geometry since its foundation, Delaunay triangulations being the ones that have been studied most frequently [1, 2, 11, 20]. One of the main applications of Delaunay triangulations was to find triangulations of surfaces or, more generally, manifolds embedded in Euclidean space. Sometimes a distinction is made between meshing, where one assumes that the manifold is known, and reconstruction or learning, where one cannot query the manifold as needed but can only use a given sample.
Although the Computational Geometry community has mainly focused on Delaunay triangulations (until recently), the classical mathematics literature did not constrain itself to it [7, 21]. This paper, together with its companion [3], places itself in this broader scope.
In the Delaunay setting, the closed ball property [14] is often used to prove that a simplicial complexFootnote 1 is homeomorphic to the manifold in question, see for example [1]. Edelsbrunner and Shah [14] defined the restricted Delaunay complex of a submanifold M of Euclidean space as the nerve of the Voronoi diagram on M when the ambient Euclidean metric is used. They showed that if M is compact, then the restricted Delaunay complex is homeomorphic to M when the Voronoi diagram satisfies the closed ball property: Voronoi faces are closed topological balls of the appropriate dimension. The closed ball property is purely topological and finding sampling conditions that ensure that the closed ball property holds is not easy [8, 11].
In this paper we will assume that M is a \(C^2\) submanifold of \({\mathbb {R}}^d\), whose (positive) reach is denoted by \({\text {rch}} M\). The reach of M, defined by [15], is the infimum of distances between points in M and points in its medial axis, the points in ambient space for which there does not exist a unique closest point in M. The tangent space of M at a point p is denoted by \(T_p M\).
A first attempt to depart from the use of the closed ball property and to define conditions similar in spirit to those reported in this paper can be found in [4]. In [3] we explored triangulation conditions in a very general setting, which does not require the manifold to be embedded, and for general maps. The conditions were chosen such that they are more directly applicable compared to the closed ball property.
The triangulation criteria of [3] encompass tangential Delaunay complexes [4], and the intrinsic triangulations explored in [12]. The search for a universal framework incorporating [4, 12] was the main motivation for [3]. The new conditions we introduce in this paper are of the same vein as those results. There are however also noticeable differences:
-
The setting of [3] is more abstract. In this paper we restrict ourselves to submanifolds of Euclidean space. This affords a more precise analysis and thus better constants.
-
The conditions in [3] were formulated in terms of vertex sanity. Vertex sanity says that if a vertex is mapped by a ‘nice’ coordinate map into the star of some (other) vertex, then the vertex is in fact a vertex of this star. This is quite different from the conditions that we formulate here.
-
In [3] the simplicial complex \({\mathcal {A}}\) was assumed to be a piecewise linear (PL) manifold [18, 19]. This condition is much stronger than the one we examine here.
The conditions in this paper are very natural and seem to be generally applicable and complementary to the results of [3]. In particular, they apply to a recent triangulation algorithm due to one of the authors of the present paper [10].
In this algorithm, the triangulation is found as the support of a simplicial cycle over \({\mathbb {Z}}/2{\mathbb {Z}}\). As such, it is pure and any \((m-1)\)-simplex has an even number of (and therefore at least 2) m-dimensional cofaces.Footnote 2 It is therefore what is called below a simplicial complex without boundary. It is proven in [10] that, under precise sampling conditions, the support of this minimal cycle meets both the topological and the local geometrical conditions required by Theorem 1.6 below. These conditions can be informally stated as follows:
Simplicial complexes without boundary We make a topological assumption on \({\mathcal {A}}\), namely that \({\mathcal {A}}\) is m-dimensional and each \((m-1)\)-simplex in \({\mathcal {A}}\) has at least two m-dimensional cofaces. We call a complex satisfying these conditions a simplicial complex without boundary (Definition 3.6). We stress that this is a rather weak topological assumption compared to the condition of being a combinatorial m-manifold, which requires the linkFootnote 3 of any k-simplex to be homeomorphic to the \((m -k-1)\)-sphere \({\mathbb {S}}^{m-k-1}\).
Local geometric conditions We assume that the simplex diameters are small with respect to \({\text {rch}}M\) and that the ratio between the smallest height and the diameter of each simplex is lower bounded by some constant (see Theorem 1.6 (a) for a precise statement). Moreover, for any \(p\in {\mathcal {P}}\), two m-simplices lying in a small neighborhood of p have disjoint interior projection on the plane tangent to \(M\) at p (Theorem 1.6 (b)).
Intuitively, once the interiors of the (local) projection of m-simplices on a local tangent plane of \(M\) are disjoint, the conditions for homeomorphism seem not far. In fact we will see that \({\mathcal {A}}\) is ambient isotopic to \(M\).
Even though we have specific applications in mind, we formulate the statements in a setting that is as general as possible, albeit in the embedded setting. This is in the hope that it will be used in a wide range of applications in Manifold Meshing and Learning. We restrict ourselves to connected manifolds since the extension to non-connected manifolds consists merely of applying the result to each connected component.
1.1 Notation
Notation 1.1
(Simplex quality) The thickness of an m-simplex \(\varvec{\sigma }\), denoted \(t(\varvec{\sigma })\), is given by a/mL, where \(a=a(\varvec{\sigma })\) is the smallest altitude of \(\varvec{\sigma }\) and \(L=L(\varvec{\sigma })\) is the length of the longest edge. The altitude of a vertex in a simplex is the distance from the vertex to the affine hull of the opposite face. Observe that \(t(\sigma )\le 1/m\) and we have conjectured in [9] that the largest thickness that can be achieved is in fact \(O(m^{-3/2})\). We set \(t(\varvec{\sigma })=1\) if \(\varvec{\sigma }\) has dimension 0.
Remark 1.2
A sliver is a simplex whose thickness is small compared to its longest edge length. In Theorem 1.6 we will exclude slivers by assuming a lower bound on \(t(\sigma )/L\).
Notation 1.3
(Simplicial complexes) We consider a simplicial complex \({\mathcal {A}}\) whose vertex set \({\mathcal {A}}^0\) is identified with a finite set \({\mathcal {P}}\subset {\mathbb {R}}^N\). The carrier of \({\mathcal {A}}\) (i.e., the underlying topological space), is denoted \(|{\mathcal {A}}|\), and we have a natural piecewise linear map \(\iota :|{\mathcal {A}}| \rightarrow {\mathbb {R}}^N\), but we do not assume a priori that \(\iota \) is an embedding, i.e., we cannot assume that \(|{\mathcal {A}}| \subset {\mathbb {R}}^N\). Nonetheless, we identify the simplices in \({\mathcal {A}}\) with their image under \(\iota \), and when there is no ambiguity, \(\varvec{\sigma }\in {\mathcal {A}}\) may refer to a geometric simplex \(\iota (\sigma ) \subset {\mathbb {R}}^N\) as well as the abstract simplex \(\sigma \in {\mathcal {A}}\). Similarly, we write \(x\in |{\mathcal {A}}|\) as a shorthand for \(x\in \iota (|{\mathcal {A}}|)\).
Notation 1.4
(Projection maps) We denote by \(\mathrm {pr}_{\!T_pM}\) the projection on the tangent plane \(T_p M\), by \(\mathrm {pr}_{\!M}\) the closest point projection onto the manifold, and by \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) the composition \(\mathrm {pr}_{\!M}\circ \iota \).
Notation 1.5
(Balls) \(\ B(x , \rho )\) and \(B^\circ (x , \rho )\) respectively denote the closed and open ball with center x and radius \(\rho \).
1.2 Main Result
Theorem 1.6
(Triangulation of submanifolds) Let \(M\subset {\mathbb {R}}^N\) be a connected \(C^2\) m-dimensional submanifold of \({\mathbb {R}}^N\) with reach \({\text {rch}}M >0\), and \({\mathcal {P}}\subset M\) a finite set of points. Suppose that \({\mathcal {A}}\) is an m-dimensional simplicial complex without boundary, as in Definition 3.6, whose vertex set \({\mathcal {A}}^0\) is identified with \({\mathcal {P}}\). Let \(L,t>0\) be such that for any m-simplex \(\varvec{\sigma }\in {\mathcal {A}}\) one has \(t \le t(\varvec{\sigma })\) and \(L(\varvec{\sigma }) \le L\). Suppose that the following conditions are satisfied.
-
(a)
All simplices are small with respect to the reach, and with respect to their quality:
$$\begin{aligned} \frac{L}{{\text {rch}}M} \le \min {\biggl ( \frac{1}{8}, t\sin \frac{\pi }{8}\biggr )}. \end{aligned}$$(1) -
(b)
The projection of m-simplices on local tangent planes have disjoint interiors: for every \(p \in {\mathcal {P}}\) and \(\varvec{\sigma }_1,\varvec{\sigma }_2 \in {\mathcal {A}}\) with \(|\varvec{\sigma }_1|, |\varvec{\sigma }_2| \subset B( p, 2.8 L)\),
$$\begin{aligned} \varvec{\sigma }_1 \ne \varvec{\sigma }_2 \Rightarrow \mathrm {pr}_{\!T_pM}(|\varvec{\sigma }_1|)^\circ \cap \mathrm {pr}_{\!T_pM}(|\varvec{\sigma }_2|)^\circ = \emptyset , \end{aligned}$$where the superscript \(\circ \) denotes the interior operator.
Then, the following conclusions hold:
-
(i)
The inclusion \(\iota :|{\mathcal {A}}| \rightarrow {\mathbb {R}}^N\) is an embedding, and we can identify \(\iota (|{\mathcal {A}}|)\) with \(|{\mathcal {A}}|\).
-
(ii)
The closest-point projection map \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}:|{\mathcal {A}}| \rightarrow M\) is a homeomorphism, so \(M\) is compact, and there is an ambient isotopy bringing \(|{\mathcal {A}}|\) to \(M\).
Remark 1.7
Thanks to condition (a) there are no slivers.
Remark 1.8
As noticed in Notation 1.1, t decreases with m and the bound on \(L/{\text {rch}}M\) in condition (a) decreases at least as fast as O(1/m) or perhaps \(O(m^{-3/2})\) as the dimension m of the manifold increases.
Remark 1.9
Condition (a) of the theorem could be improved with minor, only quantitative, changes in the proof. In the bound (1) there is in fact a trade-off between the constant bound (i.e., 1/8) and the bound depending on t (i.e., \(t\sin (\pi /8)\)). The latter one could be replaced by any value strictly below \(t \sin (\pi /4)\) by a sufficiently large reduction in the constant bound, which is certainly better for large m, since, as seen in the previous remark, t may decrease as fast as \(O(m^{-3/2})\).
2 Definitions and Submanifold Geometry
In this section, we make the following assumptions.
Hypothesis 2.1
(Geometric assumptions) \(M\subset {\mathbb {R}}^N\) is a connected \(C^2\) m-dimensional submanifold of \({\mathbb {R}}^N\) with positive reach, \({\text {rch}}M >0\), and \({\mathcal {P}}\subset M\) is a finite set of points. \({\mathcal {A}}\) is an m-dimensional simplicial complex whose vertex set \({\mathcal {A}}^0\) is identified with \({\mathcal {P}}\). Let L and t be positive real numbers such that for any m-simplex \(\varvec{\sigma }\in {\mathcal {A}}\),
We now recall the following five results. Lemma 2.2 is proven in [5, Cor. 2]. Lemma 2.3 is a variant of a result of Whitney [21, Sect. IV.15] proven in [2, Lem. 8.11]. Lemma 2.4 is proven in [5, Cor. 3], Lemma 2.5 is proven in [15, Thm. 4.8(7)], and Lemma 2.6 is proven in [2, Lem. 7.9].
Lemma 2.2
(Tangent balls) For any \(p\in M\), any open ball \(B^\circ (c,r)\) that is tangent to \(M\) at p and whose radius r satisfies \(r\le {\text {rch}}M\) does not intersect \(M\).
Lemma 2.3
(Simplex-tangent space angle bounds) Under Hypothesis 2.1, if \(\varvec{\sigma }\in {\mathcal {A}}\) and p is a vertex of \(\varvec{\sigma }\), then
Lemma 2.4
(Variation of tangent space) Under Hypothesis 2.1, if \(p,q \in M\), then
Lemma 2.5
(Distance to tangent space) Under Hypothesis 2.1, if \(p,q \in M\), then
Lemma 2.6
(Hausdorff distance between \(M\) and \(|{\mathcal {A}}|\)) Under Hypothesis 2.1, if x is in \(|{\mathcal {A}}|\), then
Apart from the results we just recalled we will also use
Lemma 2.7
(Hausdorff distance between a simplex and its vertices) For any compact set \(C\subset {\mathbb {R}}^d\) with diameter L (the largest distance between any two points in C) the following statement about the convex hull of C, \({\text {hull}}C\), holds: for every \(x \in {\text {hull}}C\) there exists \(p \in C\) such that
In particular, for any simplex \(\varvec{\sigma }\) with diameter L, if \(x \in \varvec{\sigma }\) then there is a vertex p of \(\varvec{\sigma }\) such that
Proof
Jung’s Theorem [17] says that in the d-dimensional Euclidean space, the radius r of the smallest ball enclosing a convex polyhedron is at most \(L \sqrt{{ d}/({2(d+1) })}\). The compact set C can be approximated arbitrarily well by a finite set \({{\widetilde{C}}}\) in Hausdorff distance and Jung’s Theorem applies to the convex polyhedron \({\text {hull}}{{\widetilde{C}}}\).
Since the map that sends a compact set to its convex hull: \(C\mapsto {\text {hull}}C\) is 1-Lipschitz for the Hausdorff distance, one can extend Jung’s Theorem by continuity to get the same bound for the smallest ball enclosing \({\text {hull}}C\). Note that \(L \sqrt{{ d}/({2(d+1) })}\le {L}/{\sqrt{2}}\). Let B(c, r) be the smallest ball enclosing C. The center c of that ball belongs to \({\text {hull}}C\) since, otherwise, we would decrease the distance of c to any point in C by projecting c to its closest point in \({\text {hull}}C\). We have that any \(p \in C\) is at distance at most r from c. Moreover, if \(x \in {\text {hull}}C\setminus \{c\}\), then there is \(p \in C\) extremal in the direction \(\overrightarrow{cx}\), see Fig. 1 for an illustration. Let us write y for the orthogonal projection of p on the line cx, then the segment cy contains x and the distance to p cannot increase when going from c to y. Therefore \(d(x,p) \le d(c,p) \le r\). \(\square \)
3 Pseudo-Manifolds, Whitney’s Lemma, and Simplicial Complexes Without Boundary
Definition 3.1
(Pure simplicial complex) An m-dimensional simplicial complex is pure if any simplex has at least one coface of dimension m.
Definition 3.2
(Pseudo-manifold) An m-dimensional simplicial complex is called a pseudo-manifold if it is pure and if any \((m-1)\)-simplex has exactly two m-dimensional cofaces.
Definition 3.3
(Pseudo-manifold with boundary) An m-dimensional simplicial complex is a pseudo-manifold with boundary if it is pure and if any \((m-1)\)-simplex has at most two m-dimensional cofaces. The boundary \(\partial {{\mathcal {B}}}\) of an m-dimensional pseudo-manifold simplicial complex \({{\mathcal {B}}}\) with boundary, is the \((m-1)\)-simplicial complex made of the closure of all \((m-1)\)-simplices with exactly one m-dimensional coface, that is the simplices and their faces.
Remark 3.4
Usual definitions of pseudo-manifolds require moreover the complex to be strongly connected, which means that its dual graph, i.e., the graph with one vertex for each m-simplex and one edge for each pair of m-simplices sharing an \((m-1)\)-simplex, is connected. In our context, this property is not required in the assumptions of the theorem. It is a consequence of the theorem as we prove a homeomorphism to a manifold.
Our main result (Theorem 1.6) does not require any global orientability for the manifold \(M\) or the simplicial complex without boundary \({\mathcal {A}}\). It applies to non-orientable manifolds as well. However, in the proof of the theorem, we will need to orient locally a pseudo-submanifold of \({\mathcal {A}}\) with boundary. We first recall that an m-chain is the formal sum of m-simplices weighted by (integer) coefficients, see [18, p. 27] for a more precise definition or [16, p. 105].
Definition 3.5
(Oriented pseudo-manifold) An m-dimensional pseudo-manifold with boundary \({{\mathcal {B}}}\) is said to be oriented if each m-simplex is given an orientation such that, if \(\varGamma \) is the m-chain over \({{\mathbb {Z}}}\) (or \({{\mathbb {R}}}\)) with coefficient 1 on each m-simplex of \({{\mathcal {B}}}\) then the support of \(\partial \varGamma \) is precisely \(\partial {{\mathcal {B}}}\).
The concept of a pseudo-manifold can be further weakened to a simplicial complex without boundary:
Definition 3.6
(Simplicial complex without boundary) An m-dimensional simplicial complex is called a simplicial complex without boundary if it is pure and if any \((m-1)\)-simplex has at least two m-dimensional cofaces.
Remark 3.7
We stress that any pseudo-manifold (without boundary) is a simplicial complex without boundary but the converse is not true in general.
Theorem 1.6 actually holds for simplicial complexes without boundary (see Definition 3.6).
Definition 3.8
(Simplexwise positive map) Let \({{\mathcal {B}}}\) be an oriented m-dimensional pseudo-manifold with boundary. A piecewise linear map \(F:{{\mathcal {B}}} \rightarrow {\mathbb {R}}^m\) is said to be simplexwise positive if the image \(F(\sigma ) = [ F(v_0),\ldots ,F(v_m)]\) of each oriented m-simplex \(\sigma = [ v_0,\ldots ,v_m] \in {{\mathcal {B}}}\) is a non-degenerate m-simplex embedded in \({\mathbb {R}}^m\) and is positively oriented.
Having introduced these definitions, we are ready to state an adapted version of a topological result of Whitney [21, App. II, Sect. 15] which will be the main tool for the proof of Theorem 1.6.
In Lemma 3.9, the simplexwise positive map is piecewise linear instead of being merely assumed piecewise smooth as in Whitney’s original statement. Indeed, this makes the proof simpler and suffices in our context. Also our version states that the map is not only one-to-one but in fact a homeomorphism: this is an easy consequence of Whitney’s original proof as well. The proof given in [21, App. II, Sect. 15] is not very easy to follow, because some small steps are skipped. This is one of the reasons that we have included a detailed proof of the following lemma in the appendix. The other reason is that we altered Whitney’s original statement somewhat to fit the current context.
Lemma 3.9
(after Whitney) Assume that the following conditions are satisfied:
-
(C1)
\({\mathcal {C}}\) is an oriented finite m-pseudo-manifold with boundary and \(F :|{\mathcal {C}}| \rightarrow {\mathbb {R}}^m\) is a simplexwise positive map.
-
(C2)
\({\mathbf {R}}\subset {\mathbb {R}}^m\) is a connected open set such that \({\mathbf {R}}\cap F(|\partial {{\mathcal {C}}}|) =\emptyset \).
-
(C3)
There exists a point \(y \in {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|)\) such that \(F^{-1}(y)\) is a single point, where \({\mathcal {C}}^{m-1}\) denotes the \((m-1)\)-skeleton of \({\mathcal {C}}\).
Then the restriction of F to \(F^{-1}({\mathbf {R}})\) is a homeomorphism between \(F^{-1}({\mathbf {R}})\) and \({\mathbf {R}}\).
4 Proof of Theorem 1.6
The proof of Theorem 1.6 makes use of this classical observation:
Theorem 4.1
(Triangulation of manifolds) Let H be a continuous map from a non-empty m-dimensional finite simplicial complex \({\mathcal {A}}\) to a connected m-manifold without boundary \(M\). If H is injective and the underlying space \(|{\mathcal {A}}|\) of \({\mathcal {A}}\) is a manifold without boundary, then H is a homeomorphism.
Proof
By the invariance of domain theorem [6], we have that H is open and therefore an homeomorphism on its image. Since \({\mathcal {A}}\) is finite, it is compact and \(H(|{\mathcal {A}}|)\) is the image of an open and compact set by an open and continuous map, and is therefore open and compact. Since \(M\) is connected its only open and closed non-empty subset is \(M\) itself, therefore \(H(|{\mathcal {A}}|) = M\). \(\square \)
4.1 Overview of the Proof
We establish Theorem by means of three primary observations. First, in Sect. we show that the conditions of the theorem imply that \({\mathcal {A}}\) is a manifold (Lemma ). This observation, together with the results obtained in demonstration of it, make it a relatively easy exercise in Sect. to demonstrate that \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is injective, and therefore, by Theorem , it is a homeomorphism (Proposition ). Finally, in Sect. we show that \(|{\mathcal {A}}|\) and \(M\) are ambient isotopic.
4.1.1 Constants and Definitions
From Lemma 2.6, we have
which, together with condition (a) of the theorem, gives
Here and throughout this section we will assume that \(p \in {\mathcal {P}}\), and we will prove that \({\mathcal {A}}\) is a manifold in some neighborhood of p. For \(\rho >0\), we define \({\mathcal {A}}_{p, \rho }\) as the subcomplex of \({\mathcal {A}}\) consisting of all m-simplices entirely included in \(B(p, \rho )\) together with all their faces:
The proof relies on the properties of the continuous piecewise linear function
defined as the restriction of \(\mathrm {pr}_{\!T_pM}\) to \(\iota (|{\mathcal {A}}_{p, 2.8 L}|)\). We will focus in particular on the restriction of \(F_{p}\) to \(W_p = F_{p}^{-1}({\mathbf {R}}_p)\), where
Remark 4.2
The size of the set \({\mathbf {R}}_p\) is primarily motivated by convenience in establishing the injectivity of \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) (see (13)). The set \({\mathcal {A}}_{p,2.8L}\) is chosen to be large enough to ensure that condition (C2) of Whitney’s lemma is satisfied for this choice (see (11)).
4.2 The Proof that \({\mathcal {A}}\) is a Manifold
Lemma 4.3
(Manifold complex) If the conditions of Theorem 1.6 are met, then \({\mathcal {A}}\) is an m-manifold complex with \(\{(W_p, F_{p})\}_{p \in {\mathcal {P}}}\) an atlas for \(|{\mathcal {A}}|\).
4.2.1 Overview of the Proof
We first prove that the map \(F_{p}\) and the set \({\mathbf {R}}_p\) meet the conditions of Whitney’s lemma, with \({\mathcal {C}}= {\mathcal {A}}_{p, 2.8 L}\). Using a separate step for each of the three conditions (C1)–(C3), they are shown to be satisfied which gives a homeomorphism between \(W_p\) and \({\mathbf {R}}_p\), and thus proves that \({\mathcal {A}}\) is a manifold.
4.2.2 Step 1: (C1) is Satisfied
Claim 4.4
The m-simplices of \({\mathcal {A}}_{p, 2.8 L}\) can be oriented in such a way that:
-
\({\mathcal {A}}_{p, 2.8 L}\) is an oriented pseudo-manifold with boundary,
-
\(F_{p}\) is simplexwise positive.
Proof of Claim 4.4
In order to prove this claim, we need the angle between a simplex \(\varvec{\sigma }\in {\mathcal {A}}_{p, 2.8 L}\) and the tangent space \(T_p M\) to be strictly less than \(\pi /2\). If \(\varvec{\sigma }\in {\mathcal {A}}_{p, 2.8 L}\), consider a vertex q of \(\varvec{\sigma }\).
We have from Lemma 2.3 that \(\sin \angle (\varvec{\sigma },T_qM) \le {L}/({t {\text {rch}}M})\). From condition (a) of Theorem 1.6, one has \({L}/({t {\text {rch}}M})\le \sin (\pi /8)\) and therefore
Also, from Lemma 2.4, since \(\Vert p-q\Vert \le 2.8 L\) and using condition (a) of the theorem we have
It follows that
which, together with (3) gives
Because this angle is less than \(\pi /2\), the restriction of \(\mathrm {pr}_{\!T_pM}\) to each m-simplex in \({\mathcal {A}}_{p, 2.8 L}\) is injective.
For a given orientation of \(T_pM\), each m-simplex \(\varvec{\sigma }\in {\mathcal {A}}_{p, 2.8 L}\) is oriented in such a way that \(F_{p}(\varvec{\sigma })\) has positive orientation in \(T_pM\).
Consider two distinct simplices \(\varvec{\sigma }_1, \varvec{\sigma }_2 \in {\mathcal {A}}_{p, 2.8 L}\) sharing a common \((m-1)\)-face \(\varvec{\mu }= \varvec{\sigma }_1\cap \varvec{\sigma }_2\). Since \(F_{p}\) is non-degenerate on \(\varvec{\sigma }_1\), it is non-degenerate on \(\varvec{\mu }\) and \(F_{p}(\varvec{\mu })\) spans a hyperplane \(\varPi \) in \(T_pM\). Consider a point \(o'= F_{p}(o)\) in the relative interior of \(F_{p}(\varvec{\mu })\) (see Fig. 2). If \(V_1\) is a neighborhood of o in \(\varvec{\sigma }_1\), then \(F_{p}(V_1)\) covers a neighborhood of \(o'\) in one of the half-spaces bounded by \(\varPi \). The same holds for a neighborhood \(V_2\) of o in \(\varvec{\sigma }_2\) and then condition (b) of the theorem enforces these two half-spaces to be distinct.
Following the same argument, we see that \(\varvec{\mu }\) cannot have as a coface a third m-simplex \(\varvec{\sigma }_3\) as there is no room for three pairwise disjoint open half-spaces in \({\mathbb {R}}^m\) to share a same bounding hyperplane \(\varPi \). Thus \({\mathcal {A}}_{p, 2.8 L}\) is a pseudo-manifold with boundary.
Now consider \(F_{p}(\varvec{\sigma }_1)\) and \(F_{p}(\varvec{\sigma }_2)\) as simplicial chains with coefficients in \({\mathbb {Z}}\) and choose any orientation of \(F_{p}(\varvec{\mu })\). It follows from the previous observation that the signs of the coefficients of \(F_{p}(\varvec{\mu })\) in the respective expressions of \(\partial F_{p}(\varvec{\sigma }_1)\) and \(\partial F_{p}(\varvec{\sigma }_2)\) are opposite. It follows that the coefficient of \(\varvec{\mu }\) in \(\partial (\varvec{\sigma }_1 + \varvec{\sigma }_2)\) is zero. Thus \({\mathcal {A}}_{p, 2.8 L}\) and \(F_{p}\) meet the respective conditions in Definitions 3.5 and 3.8, and the claim is proven. \(\square \)
Claim 4.4 yields
Corollary 4.5
\({\mathcal {A}}\) is a pseudo-manifold, not just a simplicial complex without boundary.
4.2.3 Step 2: (C2) is Satisfied
In order to be able to apply Whitney’s lemma, we need a second claim. Recall the notation \({\mathbf {R}}_p= T_p M\cap B^\circ (p, {L}/{\sqrt{2}} + 2 \eta ))\) and that \(F_{p}\) is the restriction of \(\mathrm {pr}_{\!T_pM}\) to \(\iota (| {\mathcal {A}}_{p, 2.8 L} |)\).
Claim 4.6
\({\mathbf {R}}_p\cap F_{p}( | \partial {\mathcal {A}}_{p, 2.8 L} |)= \emptyset \).
Proof of Claim 4.6
Let \(x \in | \partial {\mathcal {A}}_{p, 2.8 L} |\). Since \({\mathcal {A}}\) is a pseudo-manifold without boundary, x must belong to a simplex in \({\mathcal {A}}_{p, 2.8 L}\) and also to a simplex in \({\mathcal {A}}\setminus {\mathcal {A}}_{p, 2.8 L}\). The latter condition together with the definition of \({\mathcal {A}}_{p, 2.8 L}\) implies that
We are now going to decompose \(\mathrm {pr}_{\!M}(x)-p\) into vectors \({{\mathbf {u}}} \in T_pM\) and \({{\mathbf {v}}}\in N_pM\), where \(N_pM\) denotes the normal space at p. One can write (see Fig. 3):
We now bound \(\Vert {{\mathbf {u}}}\Vert \) and distinguish whether \({{\mathbf {v}}}=0\) or not. If \({{\mathbf {v}}}=0\), i.e., if \( \mathrm {pr}_{\!M}(x) \in T_pM\), then, since \( \mathrm {pr}_{\!M}(x) \notin B(p,1.55 L ) \), one has \(\Vert {{\mathbf {u}}} \Vert \ge 1.55 L\). Let us assume now that \({{\mathbf {v}}}\ne 0\).
The open ball \(B^\circ \) centered at \(c=p + ({ {\text {rch}}M }/{\Vert {{\mathbf {v}}} \Vert }) {{\mathbf {v}}} \) with radius \({\text {rch}}M\) is tangent to \(M\) at p. Since \( \mathrm {pr}_{\!M}(x) \in B(p, 3.05 L) \setminus B(p,1.55 L ) \) and since, from Lemma 2.2, \(B^\circ \) has no intersection with \(M\), one gets the following pair of inequalities:
We first use (7) and the fact that \({\text {rch}}M\ge 8 L\) (by condition (a) of Theorem 1.6) to get
Combining with (6), we obtain
Note that thanks to (6), \(\Vert {{\mathbf {v}}}\Vert <3.05 L\). The minimum of (8) is attained when both terms are equal which happens when \( \Vert {{\mathbf {v}}} \Vert = (1.55^2/16)L= 0.15015625 L\). This gives us in particular
Hence we have in both cases, \({{\mathbf {v}}}=0\) and \({{\mathbf {v}}}\ne 0\),
Moreover, since \(\Vert x - \mathrm {pr}_{\!M}(x) \Vert < \eta \), (2) reads
since projection reduces length. By the triangle inequality, (9) and (10) give us
Therefore, since \({\mathbf {R}}_p\) is defined as \({\mathbf {R}}_p= T_p M\cap B^\circ (p, ( {1}/{\sqrt{2}} + 0.5) L)\), we have proven that \( x \in \partial {\mathcal {A}}_{p, 2.8 L}\) implies \(\mathrm {pr}_{\!T_pM}(x) \notin {\mathbf {R}}_p\). It follows that
which ends the proof of the claim. \(\square \)
4.2.4 Step 3: (C3) is Satisfied
We now denote by \({\mathcal {C}}^{m-1} = {\mathcal {A}}_{p, 2.8 L}^{m-1}\) the \((m-1)\)-skeleton of \({\mathcal {A}}_{p, 2.8L}\), i.e., the simplicial complex made of simplices of \({\mathcal {A}}_{p,2.8 L}\) of dimension at most \(m-1\). Since \(F_{p}(|{\mathcal {C}}^{m-1}|)\) is a finite union of \((m-1)\)-dimensional simplices, it cannot cover the projection of an m-simplex. Therefore condition (b) of Theorem 1.6 shows that there is a \(y \in {\mathbf {R}}_p\setminus F_{p}(|{\mathcal {C}}^{m-1}|)\) such that \(F_{p}^{-1}(y)\) is a single point. All conditions (C1)–(C3) being satisfied, Whitney’s lemma applies, proving the following proposition:
Proposition 4.7
For any \(p \in {\mathcal {P}}\), the restriction of \(F_{p}\) to \(F_{p}^{-1}({\mathbf {R}}_p)\) is a homeomorphism from \(F_{p}^{-1}({\mathbf {R}}_p)\) to \({\mathbf {R}}_p\).
4.2.5 Step 4: Proof of Lemma 4.3
We start with an easy lemma.
Lemma 4.8
For any \(p \in {\mathcal {P}}\) one has
Proof
Recall that \(F_{p}\) is the restriction of \(\mathrm {pr}_{\!T_pM}\) to \(| {\mathcal {A}}_{p, 2.8 L} |\). By definition of \({\mathcal {A}}_{p, 2.8 L}\), and since the diameter of any simplex is upper bounded by L, one has
The second inclusion in the statement of the lemma follows from the second inclusion in (12) and the definition of \(F_{p}\). If \(x \in |{\mathcal {A}}| \cap B(p,L)\) then \(x \in {\mathcal {A}}_{p, 2.8 L}\). Since \(\mathrm {pr}_{\!T_pM}(B(p,L)) \subset B(p,L)\),
This shows that \({\mathcal {A}}\cap B(p,L) \subset F_{p}^{-1}({\mathbf {R}}_p)\). \(\square \)
Claim 4.9
For any \(p \in {\mathcal {P}}={\mathcal {A}}^0\), the restriction of \(F_{p}\) to \(W_p=F_{p}^{-1}({\mathbf {R}}_p)\) yields a homeomorphism onto \({\mathbf {R}}_p\). Thus \(|{\mathcal {A}}|\) is a manifold, and \(\{(W_p,F_{p})\}_{p\in {\mathcal {P}}}\) is an atlas for \(|{\mathcal {A}}|\).
Proof
From Whitney’s lemma, \(F_{p}\) defines a homeomorphism from \(W_p\) to \({\mathbf {R}}_p\). It follows that \(W_p=F_{p}^{-1}({\mathbf {R}}_p)\) is an open m-manifold that contains the star of p, since \(F_{p}^{-1}({\mathbf {R}}_p) \supset {\mathcal {A}}\cap B(p, L)\) (Lemma 4.8). Therefore, because any \(y\in {\mathcal {A}}\) belongs to the star of some vertex p, we have that \(|{\mathcal {A}}|\) is a manifold and \(\{(W_p,F_{p})\}_{p\in {\mathcal {P}}}\) is an atlas. \(\square \)
This completes the proof of Lemma .
Remark 4.10
In order to establish that \({\mathcal {A}}\) is a manifold, we need only consider sets \(U_p\) that are large enough to ensure that \(\{(U_p,F_{p})\}_{p\in {\mathcal {P}}}\) is an atlas. The sets \(W_p\) are larger than we need; by Lemma , it would be sufficient to take \(U_p = B(p,L/{\sqrt{2}}) \cap \iota (|{\mathcal {A}}|)\). Notice that, since \(\mathrm {pr}_{\!T_pM}\) does not increase distances, \(F_p(U_p)\) is contained in the set \(T_pM\cap B(p,L/{\sqrt{2}})\). We used larger sets for convenience in demonstrating below that \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is injective (Proposition ).
Also, the existence of the manifold \(M\) is not essential in the demonstration that \({\mathcal {A}}\) is manifold; it suffices to have a collection of hyperplanes \(\{T_p\}_{p\in {\mathcal {P}}}\) such that \(T_p\) makes a sufficiently small angle with all m-simplices that lie sufficiently close to the vertex p.
4.3 The Proof that \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is a Homeomorphism
Proposition 4.11
(\(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is a homeomorphism) Let \(M\subset {\mathbb {R}}^N\) be a connected \(C^2\) m-dimensional submanifold of \({\mathbb {R}}^N\) with reach \({\text {rch}}M >0\), and \({\mathcal {P}}\subset M\) a finite set of points. Suppose that \({\mathcal {A}}\) is an m-dimensional manifold simplicial complex whose vertex set, \({\mathcal {A}}^0\), is identified with \({\mathcal {P}}\). Let \(L,t>0\) be such that for any m-simplex \(\varvec{\sigma }\in {\mathcal {A}}\) one has \( t \le t(\varvec{\sigma })\) and \(L(\varvec{\sigma }) \le L\). If
-
(a)
all simplices are small with respect to the reach, and with respect to their quality:
$$\begin{aligned} \frac{L}{{\text {rch}}M} \le \min {\biggl ( \frac{1}{8}, t \sin \frac{\pi }{8}\biggr )}; \end{aligned}$$ -
(b)
\(\{(W_p, F_{p})\}_{p \in {\mathcal {P}}}\) is an atlas for \(|{\mathcal {A}}|\);
then
-
(i)
The closest-point projection map \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is a homeomorphism \(|{\mathcal {A}}| \rightarrow M\).
-
(ii)
The inclusion \(\iota :|{\mathcal {A}}| \rightarrow {\mathbb {R}}^N\) is an embedding.
Proof
Let \(x,y \in {\mathcal {A}}\). For convenience, we will write \(x'=\mathrm {pr}_{\!M}(x)\), \(x'' = \mathrm {pr}_{\!T_pM}(x)\) and similarly for y, \(y'\), and \(y''\) (see Fig. 4). Assume that \(\Vert x-y\Vert \ge 2 \eta \). From Lemma 2.6, we have \(\Vert x' - x \Vert < \eta \) and \(\Vert y' - y \Vert < \eta \). The triangle inequality then shows that \( \Vert x' - y' \Vert >0\) and therefore \( x' \ne y' \).
Assume now that \(x,y \in {\mathcal {A}}\) with \(x\ne y\) and \(\Vert x-y\Vert < 2 \eta \), and let us prove that \( x' \ne y' \). From Lemma 2.7, we know that there is \(p\in {\mathcal {P}}\) such that \(\Vert x - p \Vert < L/\sqrt{2}\) and therefore one has
It follows that \(x'',y'' \in T_pM\cap B(p, {L}/{\sqrt{2}} + 2 \eta )\) and, with the notations of Whitney’s lemma applied in a neighborhood of p, this translates to \(F_{p}(x), F_{p}(y) \in {\mathbf {R}}_p\) and \(x,y \in F_{p}^{-1}({\mathbf {R}}_p)\).
Since \(F_{p}\) is a homeomorphism from \(F_{p}^{-1}({\mathbf {R}}_p)\) to \({\mathbf {R}}_p\) (Claim 4.9), it has a continuous inverse \(F_{p}^{-1}:{\mathbf {R}}_p\rightarrow F_{p}^{-1}({\mathbf {R}}_p)\) and the set \(F_{p}^{-1}({\mathbf {R}}_p)\), considered as a subset of \({\mathbb {R}}^{N}\), can then be seen as the graph of a continuous map \(\phi \):
where \(N_pM\) denotes the normal space at p. Let \(\varvec{\sigma }\) be a simplex in \({\mathcal {A}}\) with a non-empty intersection with \(F_{p}^{-1} ({\mathbf {R}}_p)\). Since \( F_{p}^{-1} ({\mathbf {R}}_p) \subset {\mathcal {A}}_{p, 2.8L}\) (Lemma 4.8), we have that \(\varvec{\sigma }\in {\mathcal {A}}_{p, 2.8 L}\). By (4),
Since the graph of \(\phi \) restricted to \({\mathbf {R}}_p\) is made of a (finite) number of simplices whose angles with \(T_pM\) are less than \(3\pi /8\), \(\phi \) is Lipschitz with constant \(\tan (3\pi /8)\). It follows that, with x and y as in (13),
and then
On the other hand, since \(x\in B(p, {L}/{\sqrt{2}} + 2\eta )\) and \(\Vert x - x' \Vert < \eta \) we have
and, since \(\eta =0.25L\),
Equation (15) together with Lemma 2.4 and \(L/{\text {rch}}M\le 1/8\) (condition (a) of Theorem 1.6) gives
It follows that
Therefore, if we assume for a contradiction that \(x'=y'\), we have that \(x-y\) is orthogonal to \(T_{x' }M\), that is \(\angle ( T_{x' }, y-x ) = \pi /2\), and one gets
a contradiction with (14). This concludes the proof that \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is injective. We now can apply Theorem 4.1 which completes the proof of the first claim of the proposition.
Since \(\mathrm {pr}_{\!M}|_{|{\mathcal {A}}|}\) is defined as \(\mathrm {pr}_{\!M}\circ \iota \), the fact that it is a homeomorphism implies the second claim of the proposition: \(\iota \) is an embedding. Proposition 4.12 below applies and we get the required ambient isotopy. \(\square \)
4.4 Ambient Isotopy
Proposition 4.12
Let \(M\) be an m-dimensional submanifold of Euclidean space \({\mathbb {R}}^N\) with reach \({\text {rch}}M>0\) and \(|{\mathcal {A}}|\) a subset of \({\mathbb {R}}^N\) such that:
-
(i)
\(\sup _{x\in |{\mathcal {A}}|} \inf _{y\in M} d(x, y) < {\text {rch}}M\);
-
(ii)
the restriction of \(\mathrm {pr}_{\!M}\), the closest map projection on \(M\) to \(|{\mathcal {A}}|\), is an homeomorphism.
Then \(|{\mathcal {A}}|\) and \(M\) are ambient isotopic.
One can observe that by definition of \({\text {rch}}M\), condition (i) ensures that the definition of \(\mathrm {pr}_{\!M}\) in (ii) is unambiguous.
Proof
By the conditions of the lemma, there are real numbers a and b such that
We define a map \(\varPsi :[0,1] \times {\mathbb {R}}^N \rightarrow {\mathbb {R}}^N\) as follows. Denote by \(M^{\oplus b}\) the b-offset of \(M\), that is, the set of all points in the ambient space at most a distance b from the set \(M\).
For \(x\in M^{\oplus b}\) we know that \(x\mapsto \mathrm {pr}_{\!M}(x) \in M\) and
are continuous. For \(x\in M^{\oplus b}\) , x and \(\alpha (x)\) are in the ball B centered at \(\mathrm {pr}_{\!M}(x)\) with radius b in the normal space to \(M\) at \(\mathrm {pr}_{\!M}(x)\). One has \(x \in |{\mathcal {A}}|\) iff \(x= \alpha (x)\), and if \(x\ne \alpha (x)\) one defines \(\beta (x)\) to be the intersection point of the boundary of B with the half-line starting at \(\alpha (x)\) and going through x.
Define also the real valued function
Observe that if \(x\ne \alpha (x)\) one has by the definition of \(\lambda \) that \(x =(1- \lambda (x)) \alpha (x) + \lambda (x) \beta (x)\). Also, since \(| \lambda (x)| \le {\Vert x- \alpha (x) \Vert }/({b-a})\), we can check that the map
is continuous. We can now give an explicit expression for the ambient isotopy \(\varPsi \):
The map \(\varPsi \) is illustrated in Fig. 5. It is a simple exercise to check that \(\varPsi \) is continuous both in t and x. \(\square \)
Notes
An (abstract) simplicial complex is a collection K of finite non-empty sets, called simplices, such that if \(\sigma \) is an element of K, so is every non-empty subset of \(\sigma \); see for example [18, p. 15].
If \(\tau \) is a face of \(\sigma \), we call \(\sigma \) a coface of \(\tau \), see for example [13, p. 52].
Let \(\sigma \) be a simplex of a complex K. The star of \(\sigma \) in K, denoted by \({\text {star}}\sigma \), is the union of the interiors of all simplices of K having \(\sigma \) as a face. The closure of \( {\text {star}}\sigma \) is denoted \(\overline{{\text {star}}\sigma }\); it is the union of all simplices of K having \(\sigma \) as a face and is called the closed star of \(\sigma \) in K. The link of \(\sigma \) in K, denoted by \({\text {link}}\sigma \), is a union of all simplices of K lying in \(\overline{{\text {star}}\sigma }\) that are disjoint from \(\sigma \). Here we followed [18, p. 371], see also [19, p. 23].
References
Amenta, N., Bern, M.: Surface reconstruction by Voronoi filtering. Discrete Comput. Geom. 22(4), 481–504 (1999)
Boissonnat, J.-D., Chazal, F., Yvinec, M.: Geometric and Topological Inference. Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge (2018)
Boissonnat, J.-D., Dyer, R., Ghosh, A., Wintraecken, M.: Local criteria for triangulation of manifolds. In: 34th International Symposium on Computational Geometry. Leibniz International Proceedings in Informatics, vol. 99, # 9. Leibniz-Zent. Inform., Wadern (2018)
Boissonnat, J.-D., Ghosh, A.: Manifold reconstruction using tangential Delaunay complexes. Discrete Comput. Geom. 51(1), 221–267 (2014)
Boissonnat, J.-D., Lieutier, A., Wintraecken, M.: The reach, metric distortion, geodesic convexity and the variation of tangent spaces. J. Appl. Comput. Topol. 3(1–2), 29–58 (2019)
Brouwer, L.E.J.: Beweis der Invarianz des \(n\)-dimensionalen Gebiets. Math. Ann. 71(3), 305–313 (1911)
Cairns, S.S.: On the triangulation of regular loci. Ann. Math. 35(3), 579–587 (1934)
Cheng, S.-W., Dey, T.K., Ramos, E.A.: Manifold reconstruction from point samples. In: 16th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1018–1027. ACM, New York (2005)
Choudhary, A., Kachanovich, S., Wintraecken, M.: Coxeter triangulations have good quality. Math. Comput. Sci. 14(1), 141–176 (2020)
Cohen-Steiner, D., Lieutier, A., Vuillamy, J.: Lexicographic optimal chains and manifold triangulations (2019). https://hal.archives-ouvertes.fr/hal-02391190
Dey, T.K.: Curve and Surface Reconstruction: Algorithms with Mathematical Analysis. Cambridge Monographs on Applied and Computational Mathematics, vol. 23. Cambridge University Press, Cambridge (2007)
Dyer, R., Vegter, G., Wintraecken, M.: Riemannian simplices and triangulations. Geom. Dedicata 179, 91–138 (2015)
Edelsbrunner, H., Harer, J.L.: Computational Topology. An Introduction. American Mathematical Society, Providence (2010)
Edelsbrunner, H., Shah, N.R.: Triangulating topological spaces. Int. J. Comput. Geom. Appl. 7(4), 365–378 (1997)
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93, 418–491 (1959)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Jung, H.: Ueber die kleinste Kugel, die eine räumliche Figur einschliesst. J. Reine Angew. Math. 123, 241–257 (1901)
Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley, Menlo Park (1984)
Rourke, C.P., Sanderson, B.J.: Introduction to Piecewise-Linear Topology. Springer, Berlin (1982)
Shewchuk, J.R.: Lecture Notes on Delaunay Mesh Generation. University of California at Berkeley (2012). https://people.eecs.berkeley.edu/~jrs/meshpapers/delnotes.pdf
Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)
Acknowledgements
Open access funding provided by the Institute of Science and Technology (IST Austria). Arijit Ghosh is supported by the Ramanujan Fellowship (No. SB/S2/RJN-064/2015), India.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been funded by the European Research Council under the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). The third author is supported by Ramanujan Fellowship (No. SB/S2/RJN-064/2015), India. The fifth author also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411.
Proof of the (Adapted) Whitney Lemma
Proof of the (Adapted) Whitney Lemma
In this appendix we prove our variation of Whitney’s lemma (Lemma 3.9). The proof consists of five claims.
Claim A.1
The restriction \(F|_{{\text {star}}\varvec{\sigma }^{m-1}}\) of F to the star \({\text {star}}\varvec{\sigma }^{m-1}\) of some \((m-1)\)-simplex \(\varvec{\sigma }^{m-1}\) of \({\mathcal {C}}\), with \(\varvec{\sigma }^{m-1} \notin \partial {{\mathcal {C}}}\), is injective and open.
Proof
For a simplex \(\varvec{\sigma }\), let us denote its relative interior by \({\text {int}}\varvec{\sigma }\). By definition of pseudo-manifolds, \(\varvec{\sigma }^{m-1} \notin \partial {{\mathcal {C}}} \) implies that \({\text {star}}\varvec{\sigma }^{m-1}\) is the union of the relative interior \({\text {int}}\varvec{\sigma }_1^m\) and \({\text {int}}\varvec{\sigma }_2^m\) of exactly two proper cofaces (\(\varvec{\sigma }_1\) and \(\varvec{\sigma }_2\)) and the relative interior \({\text {int}}\varvec{\sigma }^{m-1}\) of \(\varvec{\sigma }^{m-1}\) itself.
For \(x\in {\text {int}}\varvec{\sigma }_i^m\), \(i=1,2\), the restriction of F to \(|\varvec{\sigma }_i^m|\) being a non-degenerate linear map, F is locally open at x. Consider now the case where \(x\in {\text {int}}\varvec{\sigma }^{m-1}\). F(x) belongs to the boundary of \(F(|\varvec{\sigma }_1^m|)\). Moreover, \(F({\text {int}}\varvec{\sigma }^{m-1})\) spans a hyperplane \(\varPi \) in \({{\mathbb {R}}}^m\) that separates the space into two closed half spaces \(H^-\) and \(H^+\) with \(H^- \cap H^+ = \varPi \).
Then the fact that \({\mathcal {C}}\) is oriented and that F is simplexwise positive implies that \(F(|\varvec{\sigma }^{m-1}|)\) appears with opposite orientations in the respective boundaries of \(F(|\varvec{\sigma }_1^m|)\) and \(F(|\varvec{\sigma }_2^m|)\). We assume without loss of generality that \(F(|\varvec{\sigma }_1^m|) \subset H^-\): it follows that \(F(|\varvec{\sigma }_2^m|) \subset H^+\). Taking \(\rho >0\) smaller than the distance between F(x) and the image of the boundary of the closed star \(F(\partial \,\overline{{\text {star}}\varvec{\sigma }^{m-1}})\) we have that
and we have proven that \(F|_{{\text {star}}\varvec{\sigma }^{m-1}}\) is open.
From the definition of simplexwise positiveness, the restriction of F to any simplex is injective. Because \({\mathcal {C}}\) is a pseudo-manifold \({\text {star}}\varvec{\sigma }^{m-1} \subset |\varvec{\sigma }_1^m| \cup |\varvec{\sigma }_2^m|\). Now suppose there is a pair \(x,y \in {\text {star}}\varvec{\sigma }^{m-1}\) with \(x\ne y\) and \(F(x)=F(y)\). Let us assume without loss of generality that \(x\in |\varvec{\sigma }_1^m|\). Then we must have \(y\in |\varvec{\sigma }_2^m|\). But since \(F(|\varvec{\sigma }_1^m|) \subset H^-\), \(F(|\varvec{\sigma }_2^m|) \subset H^+\) it follows that \(F(x)=F(y) \in H^- \cap H^+ = \varPi \). Then \(x,y \in |\varvec{\sigma }^{m-1}|\), but again, since F is one-to-one on each simplex, we get \(x=y\). \(\square \)
Claim A.2
Suppose that \(x,y \in | {\mathcal {C}}\setminus \partial {{\mathcal {C}}}|\) are such that \(x \ne y\) and \(F(x)=F(y)\). If \(x\in {\text {int}}\varvec{\sigma }_x\) and \(y\in {\text {int}}\varvec{\sigma }_y\), then \({\text {star}}\varvec{\sigma }_x\cap {\text {star}}\varvec{\sigma }_y= \emptyset \) .
Proof
Indeed, otherwise there would be a simplex \(\varvec{\sigma } \in {\text {star}} \varvec{\sigma }_x\cap {\text {star}}\varvec{\sigma }_y\) such that \(x,y \in \varvec{\sigma }\), but we have \(x \ne y\) and \(F(x)=F(y)\) which contradicts the fact that the restriction of F to \(\varvec{\sigma }\) is injective. \(\square \)
Claim A.3
\(x,y \in {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|)\) implies \(\#\, F^{-1}(x) = \# \,F^{-1}(y)\), where \(\#\,E\) denotes the cardinality of a set E.
Proof
Since \(F(|{\mathcal {C}}^{m-2}|)\) is a finite union of simplices of codimension 2, it cannot disconnect the open set \({\mathbf {R}}\). In other words, \({\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-2}|) \) is path connected.
Consider x and y as in the claim. Since \({\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|) \subset {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-2}|)\), there exists a path \(\gamma :[0,1] \rightarrow {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-2}|)\) such that \(\gamma (0)=x\) and \(\gamma (1)=y\). Assume for a contradiction that for example \(\#\,F^{-1}(x) > \# \,F^{-1}(y)\) and consider \(t_0 = \sup \{t\mid \#\,F^{-1}(\gamma (t)) \ge \#\,F^{-1}(x) \}\). Since \(\gamma (t_0) \in {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-2}|)\), any point \(p \in F^{-1}(\gamma (t_0))\) belongs to the relative interior of a simplex \(\varvec{\sigma }\) of dimension m or \(m-1\). In both cases, thanks to Claim A.1, the restriction of F to the star of \(\varvec{\sigma }\) is open and injective. It follows that there are \( \#\,F^{-1}(\gamma (t_0))\) distinct such stars of simplices whose images cover \(\gamma (t_0)\). Two such stars \({\text {star}}\varvec{\sigma }_1\) and \({\text {star}}\varvec{\sigma }_2\) are disjoint by Claim A.2. But since the restriction of F to each of these stars of simplices is open, there is an open neighborhood of \(\gamma (t_0)\) which is covered at least \(\#\,F^{-1}(\gamma (t_0))\) times, a contradiction with the definition of x, y, and \(t_0\). \(\square \)
Claim A.4
The restriction of F to \({\mathcal {C}}\setminus \partial {{\mathcal {C}}} \) is open.
Proof
Consider a k-simplex \(\varvec{\sigma }^k\), \(0\le k\le m\), of \({\mathcal {C}}\) which is not in \(\partial {{\mathcal {C}}}\): \(\varvec{\sigma }^k \in {\mathcal {C}}\setminus \partial {{\mathcal {C}}}\). Take \(p\in {\text {int}}\varvec{\sigma }^k\), where \({\text {int}}\varvec{\sigma }^k\) is the relative interior of \(\varvec{\sigma }^k\). We denote by \(L= \overline{ {\text {star}}\varvec{\sigma }^{k}}\) the simplicial complex closure of the star of \(\varvec{\sigma }_k\). Since L is a subcomplex of \({\mathcal {C}}\), it inherits from \({\mathcal {C}}\) its property to be an oriented pseudo-manifold on which F is simplexwise positive. Also, since \(\varvec{\sigma }^k \notin \partial {\mathcal {C}}\) we have \(\varvec{\sigma }^k \notin \partial L\). The restriction of F to any m-simplex is injective and since any \(x\in \partial L\) belongs to some m-simplex containing also p, we have that \(F(p)\notin F (\partial L)\). Since \(F (\partial L)\) is compact, there exists an open neighborhood \(U\ni q=F(p)\) such that \(U\cap F (\partial L) = \emptyset \). We can then apply Claim A.3 to the complex L with U playing the role of \({\mathbf {R}}\): the number of inverse images in \(U \setminus F(L^{m-1})\) is constant. But since the image of any m-simplex in L, being a non-degenerate full-dimensional simplex containing q, intersects U, this number is at least one. It follows that \(F(L) \supset U \setminus F(L^{m-1})\). F(L) is compact, because L is compact, and therefore \(F(L) \supset \overline{U \setminus F(L^{m-1}) }\supset U\). Since \(U\cap F (\partial L) = \emptyset \) we have proven that \(U\subset F(L \setminus \partial L)\).
Given a set A, a point p, and \(\epsilon >0\), denote by \({{\mathcal {H}}}_{p,\epsilon } (A) = \{ p+ \epsilon (a-p)\mid a \in A \}\) the image of A by the homothety with center p and ratio \(\epsilon \). Since F is piecewise linear, for any \(\epsilon >0\), one has
It follows that the image of an arbitrary small neighborhood of p covers an open neighborhood of \(q=F(p)\). We have shown that F is open at p. But since any point \(p\in {\mathcal {C}}\setminus \partial {{\mathcal {C}}} \) belongs to the relative interior of some simplex in \({\mathcal {C}}\setminus \partial {{\mathcal {C}}} \), this result applies to any \(p \in {\mathcal {C}}\setminus \partial {{\mathcal {C}}} \). We have thus shown that the restriction of F to \({\mathcal {C}}\setminus \partial {{\mathcal {C}}} \) is open and the claim is proven. Notice that, since \({{\text {star}}\varvec{\sigma }^k}\) is open, we get as a consequence of the claim that the image by F of the star of any k-simplex \(\varvec{\sigma }^k \in {\mathcal {C}}\setminus \partial {{\mathcal {C}}}\) , \(0\le k\le m\), is open. Hence
\(\square \)
Our last claim will end the proof of the lemma:
Claim A.5
If there is \(q \in {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|)\) such that \(F^{-1}(q)\) is a single point then the restriction of F to \(F^{-1}( {\mathbf {R}})\) is injective.
Proof
For a contradiction, assume there are \(x,y \in | {\mathcal {C}}\setminus \partial {{\mathcal {C}}}|\) such that \(x \ne y\) and \(F(x)=F(y)\). There are two simplices \(\varvec{\sigma }_x, \varvec{\sigma }_y \in {\mathcal {C}}\setminus \partial {{\mathcal {C}}}\) such that \(x\in {\text {int}}\varvec{\sigma }_x\) and \(y\in {\text {int}}\varvec{\sigma }_y\).
It follows from (17) that there are two open sets \(U_x\) and \(U_y\), respective open neighborhoods of \(F(x) =F(y)\), covered respectively by \(F({\text {star}}\varvec{\sigma }_x)\) and \(F({\text {star}}\varvec{\sigma }_y)\). Since, from Claim A.2, \({\text {star}}\varvec{\sigma }_x\cap {\text {star}}\varvec{\sigma }_y=\emptyset \) it follows that the points in \(U=U_x\cap U_y\) are covered twice. But since there is \(q\in {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|)\) such that \(F^{-1}(q)\) is a single point, we get from Claim A.3 that any point in \({\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|)\) is covered once, a contradiction since \(U \cap ( {\mathbf {R}}\setminus F(|{\mathcal {C}}^{m-1}|))\ne \emptyset \). \(\square \)
So, to conclude, we have proven that under the conditions of the lemma, the restriction of F to \(F^{-1}({\mathbf {R}})\) is injective (Claim A.5) and open (Claim A.4). Being a one-to-one continuous and open map, the restriction of F to \(F^{-1}({\mathbf {R}})\) is an homeomorphism on its image \({\mathbf {R}}\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boissonnat, JD., Dyer, R., Ghosh, A. et al. Local Conditions for Triangulating Submanifolds of Euclidean Space. Discrete Comput Geom 66, 666–686 (2021). https://doi.org/10.1007/s00454-020-00233-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-020-00233-9