Continuity of the visibility function in the boundary
The authors prove that a visibility function of a compact subset \(S\) of Euclidean \(d\)-space is continuous at a point if and only if the set of restricted visibility of this point has null Lebesgue outer measure. Let us recall the notions required for understanding this theorem. We say that \(x\) is called to see \(y\) via \(S\) if the segment connecting \(x\) and \(y\) is a subset of \(S\). Clear visibility of \(y\) from \(x\) via \(S\) means that there exists a neigbourhood \(U_y\) of \(y\) such that \(x\) sees all points of \(U_y\cap S\) via \(S\). The star of \(x\) in \(S\) is defined as the set \(\text{st}(x,S)\) of points of \(S\) that see \(x\) via \(S\). By the set of restricted visibility of \(p\) in \(S\) the authors mean the set of all points of \(S\) that see \(p\) via \(S\) but do not see it clearly. The function \(v_S(x) =\mu_d(\text{st} (x,S))\), where \(\mu_d\) denotes the Lebesgue \(d\)-dimensional outer measure, is called the visibility function of \(S\).
This page was built for publication: Continuity of the visibility function in the boundary
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1573680)
