Computable neighbourhoods of points in semicomputable manifolds (CROSBI ID 237128)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Iljazović, Zvonko ; Validžić, Lucija
engleski
Computable neighbourhoods of points in semicomputable manifolds
We examine conditions under which a semicomputable set in a computable metric space contains computable points. We prove that computable points in a semicomputable set S are dense if S is a manifold (possibly with boundary) or S has the topological type of a polyhedron. Moreover, we find conditions under which a point in some set has a computable compact neighbourhood in that set. In particular, we show that a point x in a semicomputable set has a computable compact neighbourhood if x has a neighbourhood homeomorphic to Euclidean space.
Computable metric space ; Computable point ; Computable neighbourhood ; Manifold ; Polyhedron
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
168 (4)
2017.
840-859
objavljeno
0168-0072
1873-2461
10.1016/j.apal.2016.10.015