# The Poincare conjecture for digital spaces. Properties of digital n-dimensional disks and spheres

@article{Evako2006ThePC, title={The Poincare conjecture for digital spaces. Properties of digital n-dimensional disks and spheres}, author={Alexander V. Evako}, journal={ArXiv}, year={2006}, volume={abs/cs/0604004} }

Motivated by the Poincare conjecture, we study properties of digital n-dimensional spheres and disks, which are digital models of their continuous counterparts. We introduce homeomorphic transformations of digital manifolds, which retain the connectedness, the dimension, the Euler characteristics and the homology groups of manifolds. We find conditions where an n-dimensional digital manifold is the n-dimensional digital sphere and discuss the link between continuous closed n-manifolds and their…

## Figures and Topics from this paper

## One Citation

Connection between continuous and digital n-manifolds and the Poincare conjecture

- Mathematics, Computer ScienceArXiv
- 2006

It is proved that an LCL collection of n-disks is a cover of a continuous n-Sphere if and only if the intersection graph of this collection is a digital n-sphere.

## References

SHOWING 1-10 OF 18 REFERENCES

Dimension on discrete spaces

- Mathematics, Physics
- 1994

In this paper we develop some combinatorial models for continuous spaces. We study the approximations of continuous spaces by graphs, molecular spaces, and coordinate matrices. We define the…

Topological properties of closed digital spaces: One method of constructing digital models of closed continuous surfaces by using covers

- Mathematics, Computer ScienceComput. Vis. Image Underst.
- 2006

Dimensional properties of graphs and digital spaces

- Mathematics, Computer ScienceJournal of Mathematical Imaging and Vision
- 2004

The dimension of any such graph is defined in three ways, and the equivalence of the three definitions is established, and it is shown that ℤn is an n-dimensional surface for all n≥1.

Representation of smooth surfaces by graphs. Transformations of graphs which do not change the Euler characteristic of graphs

- Computer Science, MathematicsDiscret. Math.
- 1993

This paper applies contractible transformations of molecular spaces to graphs and proves that these transformations do not change the Euler characteristic of a graph.

ON SURFACES IN DIGITAL TOPOLOGY

- Computer Science
- 2001

This paper proves that theclass of digital 2-manifolds without boundary in the grid ZZ agrees with the class of (26, 6)-surfaces defined by Kong-Roscoe and other authors and the separation theorem for digital surfaces stated in [Morgenthaler81] and [Reed84] is obtained.

Some properties of contractible transformations on graphs

- Computer Science, MathematicsDiscret. Math.
- 1994

This paper studies properties of contractible transformations on graphs of molecular spaces and its intersection graphs as a way of tracing the digital images of n-dimensional continuous spaces.

Representing geometric structures ind dimensions: Topology and order

- Mathematics, Computer ScienceDiscret. Comput. Geom.
- 1993

The cell-tuple structure gives a simple, uniform representation of subdivided manifolds which unifies the existing work in the field and provides intuitive clarity in all dimensions.

Discrete Frontiers

- Computer ScienceDGCI
- 2003

The notion of frontier order is introduced which provides a discrete framework for defining frontiers of arbitrary objects and a major result is obtained which guarantees the topological soundness of such frontiers in any dimension.

Representing geometric structures in d dimensions: topology and order

- Computer Science, MathematicsSCG '89
- 1989

The 'cell-tuple structure', a simple, uniform representation of the incidence and ordering information in a subdivided manifold, is introduced and includes the quad-edge data structure of Guibas and Stolfi and the facet-edgeData structure of Dobkin and Laszlo as special cases in dimensions 2 and 3, respectively.

Discrete Surfaces and Frontier Orders

- Mathematics, Computer ScienceJournal of Mathematical Imaging and Vision
- 2005

It will be proved in this article that (in the framework of simplicial complexes) any n-surface is an n-pseudomanifold, and thatAny n-dimensional combinatorial manifold is ann-surface, and it will be shown how topologically consistent Marching Cubes-like algorithms can be designed using the context of partially ordered sets.