scholarly journals Singular homology algorithm for MA-spaces

2019 ◽  
Vol 23 (Suppl. 6) ◽  
pp. 2139-2147
Author(s):  
Demir Unver

The work on digitizing subspaces of the 2-D Euclidean space with a certain digital approach is an important discipline in both digital geometry and topology. The present work considers Marcus-Wyse topological approach which was established for studying 2-D digital spaces, ?2. We introduce the digital singular homology groups of MA-spaces (M-topological space with an M-adjacency), and we compute singular homology groups of some certain MA-spaces, we give a formula for singular homology groups of 2-D simple closed MA-curves, and an algorithm for determining homology groups of an arbitrary MA-space.

2004 ◽  
Vol 97-98 ◽  
pp. 85-90
Author(s):  
Stepas Janušonis

Eight-dimensional topological space providing an object evolution in time, including causes of evolution is presented. Part of Euclidean space separated by any close surface from complementary space, where any Euclidean point of space is juxtaposed with parameter, is being felt as an object. Coplanar approximation of flat planar devices is based on the flat, homogeneous, isotropic planar object and chaotic medium. The new, more general approximation of the topological space by equidistant surfaces, suitable for spatial planar objects, is presented. Selfformation of spatial objects (homogeneous, non-homogeneous, anisotropic), medium (chaotic, chaotic oriented, homogeneous oriented, structural) based on non-homeomorpheous mapping in peculiar points and evolution irreversibility, is discussed.


2017 ◽  
Vol 19 (06) ◽  
pp. 1750002 ◽  
Author(s):  
Debora Impera ◽  
Michele Rimoldi

In this paper, we obtain rigidity results and obstructions on the topology at infinity of translating solitons of the mean curvature flow in the Euclidean space. Our approach relies on the theory of [Formula: see text]-minimal hypersurfaces.


1988 ◽  
Vol 1 (3) ◽  
pp. 177-196 ◽  
Author(s):  
Efim Khalimsky

Integer and digital spaces are playing a significant role in digital image processing, computer graphics, computer tomography, robot vision, and many other fields dealing with finitely or countable many objects. It is proven here that every finite T0-space is a quotient space of a subspace of some simplex, i.e. of some subspace of a Euclidean space. Thus finite and digital spaces can be considered as abstract simplicial structures of subspaces of Euclidean spaces. Primitive subspaces of finite, digital, and integer spaces are introduced. They prove to be useful in the investigation of connectedness structure, which can be represented as a poset, and also in consideration of the dimension of finite spaces. Essentially T0-spaces and finitely connected and primitively path connected spaces are discussed.


2014 ◽  
Vol 22 (2) ◽  
pp. 179-186 ◽  
Author(s):  
Karol Pąk

Summary Let us recall that a topological space M is a topological manifold if M is second-countable Hausdorff and locally Euclidean, i.e. each point has a neighborhood that is homeomorphic to an open ball of E n for some n. However, if we would like to consider a topological manifold with a boundary, we have to extend this definition. Therefore, we introduce here the concept of a locally Euclidean space that covers both cases (with and without a boundary), i.e. where each point has a neighborhood that is homeomorphic to a closed ball of En for some n. Our purpose is to prove, using the Mizar formalism, a number of properties of such locally Euclidean spaces and use them to demonstrate basic properties of a manifold. Let T be a locally Euclidean space. We prove that every interior point of T has a neighborhood homeomorphic to an open ball and that every boundary point of T has a neighborhood homeomorphic to a closed ball, where additionally this point is transformed into a point of the boundary of this ball. When T is n-dimensional, i.e. each point of T has a neighborhood that is homeomorphic to a closed ball of En, we show that the interior of T is a locally Euclidean space without boundary of dimension n and the boundary of T is a locally Euclidean space without boundary of dimension n − 1. Additionally, we show that every connected component of a compact locally Euclidean space is a locally Euclidean space of some dimension. We prove also that the Cartesian product of locally Euclidean spaces also forms a locally Euclidean space. We determine the interior and boundary of this product and show that its dimension is the sum of the dimensions of its factors. At the end, we present several consequences of these results for topological manifolds. This article is based on [14].


1968 ◽  
Vol 11 (3) ◽  
pp. 453-455 ◽  
Author(s):  
Shwu-Yeng T. Lin

Let E be a metric Baire space and f a real valued function on E. Then the set of points of almost continuity in E is dense (everywhere) in E.Our purpose is to set this result in its most natural context, relax some very restricted hypotheses, and to supply a direct proof. More precisely, we shall prove that the metrizability of E in Theorem H may be removed, and that the range space may be generalized from the (Euclidean) space of real numbers to any topological space satisfying the second axiom of countability [2].


Mathematics ◽  
2020 ◽  
Vol 8 (4) ◽  
pp. 599
Author(s):  
Sang-Eon Han ◽  
Selma Özçağ

The present paper is concerned with the Alexandroff one point compactification of the Marcus-Wyse (M-, for brevity) topological space ( Z 2 , γ ) . This compactification is called the infinite M-topological sphere and denoted by ( ( Z 2 ) ∗ , γ ∗ ) , where ( Z 2 ) ∗ : = Z 2 ∪ { ∗ } , ∗ ∉ Z 2 and γ ∗ is the topology for ( Z 2 ) ∗ induced by the topology γ on Z 2 . With the topological space ( ( Z 2 ) ∗ , γ ∗ ) , since any open set containing the point “ ∗ ” has the cardinality ℵ 0 , we call ( ( Z 2 ) ∗ , γ ∗ ) the infinite M-topological sphere. Indeed, in the fields of digital or computational topology or applied analysis, there is an unsolved problem as follows: Under what category does ( ( Z 2 ) ∗ , γ ∗ ) have the fixed point property (FPP, for short)? The present paper proves that ( ( Z 2 ) ∗ , γ ∗ ) has the FPP in the category M o p ( γ ∗ ) whose object is the only ( ( Z 2 ) ∗ , γ ∗ ) and morphisms are all continuous self-maps g of ( ( Z 2 ) ∗ , γ ∗ ) such that | g ( ( Z 2 ) ∗ ) | = ℵ 0 with ∗ ∈ g ( ( Z 2 ) ∗ ) or g ( ( Z 2 ) ∗ ) is a singleton. Since ( ( Z 2 ) ∗ , γ ∗ ) can be a model for a digital sphere derived from the M-topological space ( Z 2 , γ ) , it can play a crucial role in topology, digital geometry and applied sciences.


Author(s):  
Martin Raussen

A directed space is a topological space $X$ together with a subspace $\vec {P}(X)\subset X^I$ of directed paths on $X$ . A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology of the associated spaces $\vec {P}(X)_-^+$ of directed paths between a source ( $-$ ) and a target ( $+$ )—up to homotopy. If it is, moreover, homotopic to the identity map—in a directed sense—such a symmetry will be called an inessential d-map, and the paper explores the algebra and topology of inessential d-maps. Comparing two d-spaces $X$ and $Y$ ‘up to symmetry’ yields the notion of a directed homotopy equivalence between them. Under appropriate conditions, all directed homotopy equivalences are shown to satisfy a 2-out-of-3 property. Our notion of directed homotopy equivalence does not agree completely with the one defined in Goubault (2017, arxiv:1709:05702v2) and Goubault, Farber and Sagnier (2020, J. Appl. Comput. Topol. 4, 11–27); the deviation is motivated by examples. Nevertheless, directed topological complexity, introduced in Goubault, Farber and Sagnier (2020) is shown to be invariant under our notion of directed homotopy equivalence. Finally, we show that directed homotopy equivalences result in isomorphisms on the pair component categories of directed spaces introduced in Goubault, Farber and Sagnier (2020).


1970 ◽  
Vol 39 ◽  
pp. 167-198 ◽  
Author(s):  
Marston Morse ◽  
Stewart Scott Cairns

Let there be given a compact topological manifold Mn. If Mn admits a “triangulation” it is known that the fundamental invariants, namely the connectivities of Mn over fields, the Betti numbers and torsion coefficients over Z of the singular homology groups of Mn, are finite and calculable. However it is not known that a “triangulation” of Mn always exists when n > 3.


2015 ◽  
Vol 22 (4) ◽  
Author(s):  
Sadi Bayramov ◽  
Cigdem Gündüz (Aras) ◽  
Leonard Mdzinarishvili

AbstractIn the category of soft topological spaces, a singular homology group is defined and the homotopic invariance of this group is proved [Internat. J. Engrg. Innovative Tech. (IJEIT) 3 (2013), no. 2, 292–299]. The first aim of this study is to define relative homology groups in the category of pairs of soft topological spaces. For these groups it is proved that the axioms of dimensional and exactness homological sequences hold true. The axiom of excision for singular homology groups is also proved.


Sign in / Sign up

Export Citation Format

Share Document