Simple connectivity is not locally computable for connected 3D images

It is well known that “is connected” is not locally computable for 2D (or, hence, higher dimensional) images. We show that “is simply connected” and “is contractible” are locally computable for connected images in 2D, but not in 3D. Orientability of a surface is likewise not locally computable.

[1]  Azriel Rosenfeld,et al.  Winding and Euler numbers for 2D and 3D digital images , 1991, CVGIP Graph. Model. Image Process..

[2]  Berthold K. P. Horn Extended Gaussian images , 1984, Proceedings of the IEEE.