Continuity of the visibility function in the boundary (Q1573680)

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\).