Computational topology: ambient isotopic approximation of 2-manifolds

✍ Scribed by Nina Amenta; Thomas J. Peters; Alexander C. Russell

• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 253 KB
• Volume: 305
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(02)00691-6

✦ Synopsis

A fundamental issue in theoretical computer science is that of establishing unambiguous formal criteria for algorithmic output. This paper does so within the domain of computer-aided geometric modeling. For practical geometric modeling algorithms, it is often desirable to create piecewise linear approximations to compact manifolds embedded in R 3 , and it is usually desirable for these two representations to be "topologically equivalent". Though this has traditionally been taken to mean that the two representations are homeomorphic, such a notion of equivalence su ers from a variety of technical and philosophical di culties; we adopt the stronger notion of ambient isotopy. It is shown here, that for any C 2 , compact, 2-manifold without boundary, which is embedded in R 3 , there exists a piecewise linear ambient isotopic approximation. Furthermore, this isotopy has compact support, with speciÿc bounds upon the size of this compact neighborhood. These bounds may be useful for practical application in computer graphics and engineering design simulations. The proof given relies upon properties of the medial axis, which is explained in this paper.