On section sets of neighborhoods of graphs of semicontinuous functions. (English) Zbl 1250.26003
A set \(A\subset\mathbb{R}^2\) is purely unrectifiable if \(\mathcal H^1(\text{graph}(\gamma)\cap A)=0\) for every Lipschitz curve \(\gamma\) and \(A\) is uniformly purely unrectifiable if for every \(K\geq 0\) and every \(\varepsilon>0\) there is an open set \(U\) with \(A\subset U\) such that \(\mathcal H^1(\text{graph}(g)\cap U)\leq\varepsilon\) for every \(K\)-Lipschitz function \(g\) in any rotated Cartesian coordinates. It is not known whether these notions coincide for \(G_\delta\) set (they coincide for \(F_\sigma\) sets).
The author considers \(G_\delta\) sets which are purely unrectifiable graphs of lower semicontinuous functions. The main result of the paper is the following. Let \(f:[0,1]\to[0,1]\) be a lower semicontinuous function with purely unrectifiable graph. Then for any \(\varepsilon>0\) there is an open set \(U\supset\text{graph}(f)\) with every vertical section of one-dimensional Lebesgue measure at most \(\varepsilon\).
The author considers \(G_\delta\) sets which are purely unrectifiable graphs of lower semicontinuous functions. The main result of the paper is the following. Let \(f:[0,1]\to[0,1]\) be a lower semicontinuous function with purely unrectifiable graph. Then for any \(\varepsilon>0\) there is an open set \(U\supset\text{graph}(f)\) with every vertical section of one-dimensional Lebesgue measure at most \(\varepsilon\).
Reviewer: Szymon Glab (Łódź)
MSC:
26A15 | Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable |
28A75 | Length, area, volume, other geometric measure theory |
28A78 | Hausdorff and packing measures |