A Jordan curve theorem for 2-dimensional tilings

DOI10.1016/J.TOPOL.2021.107773MaRDI QIDQ2049889zbMATH OpenOpenAlexFDO

Authors Diego Fajardo-Rojas, Natalia Jonard-Pérez

Publication date 27 August 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.07644

zbMATH Keywords

Alexandrov topologiescycle in graphdigital planeJordan curvesimple closed curvetiling

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10) Connectivity (05C40) Tilings in (2) dimensions (aspects of discrete geometry) (52C20) Quotient spaces, decompositions in general topology (54B15) Connected and locally connected spaces (general aspects) (54D05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30) Connections of general topology with other structures, applications (54H99) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: The classical Jordan curve theorem for digital curves asserts that the Jordan curve theorem remains valid in the Khalimsky plane. Since the Khalimsky plane is a quotient space of $mathbb{R}^2$ induced by a tiling of squares, it is natural to ask for which other tilings of the plane it is possible to obtain a similar result. In this paper we prove a Jordan curve theorem which is valid for every locally finite tiling of $mathbb{R}^2$. As a corollary of our result, we generalize some classical Jordan curve theorems for grids of points, including Rosenfeld's theorem.

Review text

In this paper the authors study the Jordan curve theorem, which is valid for every locally finite tiling of \(\mathbb{R}^2\). (Thus, they state that the tilings that they are based on are locally finite collections.) They also generalize the Jordan curve theorem for grids of points, including Rosenfeld's theorem. Firstly, they introduce the meaning of the digital version of a tiling \(\mathcal{T}\) of \(\mathbb{R}^2\), denoted by \(\mathcal{D}_T\), and prove basic properties of these topological spaces. One of the main results related to \(\mathcal{D}_T\) is given as follows: \begin{itemize} \item Let \(\mathcal{T}\) be a tiling. Then \(\mathcal{D}_T\) is an Alexandrov space. \end{itemize} Moreover, they generalize the definition of Jordan curve, introducing the notion of a digital Jordan curve. With this the authors prove the main theorem of the paper, which is stated as follows: \begin{itemize} \item Let \(\mathcal{T}\) be a tiling and \(J\subset \mathcal{D}_T\) be a digital Jordan curve. Then \(\mathcal{D}_T\setminus J\) has exactly two connected components. \end{itemize} In addition, they study open and closed digital Jordan curves and insert the notion of the well-behaved digital Jordan curve. Based on this theory they present a generalization of Rosenfeld's theorem.

Recommendations

• scientific article; zbMATH DE number 2079715
• A Jordan Curve Theorem in the Digital Plane
• Jordan curves in the digital plane
• Digital Jordan curves
• Another Jordan curve theorem in the topological space \((\mathbb Z^2,w)\)

Cites work

• A characterization of parallel thinning algorithms
• A converse to the Jordan curve theorem for digital curves
• A quotient-universal digital topology
• A theory of binary digital pictures
• A Topological Approach to Digital Topology
• Adjacency in digital pictures
• Arcs and Curves in Digital Pictures
• Boundaries in digital planes
• Computer graphics and connected topologies on finite ordered sets
• Connectivity in Digital Pictures
• Digital Jordan curves---a graph-theoretical approach to a topological theorem
• Digital Topology
• Graph theory
• scientific article; zbMATH DE number 3725283 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• The topology of digital images

Cited in

(5)

• Semi-Jordan curve theorem on the Marcus-Wyse topological plane
• scientific article; zbMATH DE number 605346 (Why is no real title available?)
• A Jordan curve theorem on a 3D ball through Brownian motion
• Bridging graph-theoretical and topological approaches: connectivity and Jordan curves in the digital plane
• The converse of the Jordan curve theorem and a characterization of planar maps

This page was built for publication: A Jordan curve theorem for 2-dimensional tilings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2049889)