An absolutely continuous function with non-\(\sigma\)-porous graph (Q2501018)

Let \((P,\rho)\) be a metric space, \(M\subset P\), \(x\in P\) and \(R>0\). If there exists an open ball \(B(z,r)\) such that \(\rho(x,z)<R\) and \(B(z,r)\cap M=\emptyset\), \(r>0\), then by definition \(\theta(x,R,M)\) is the supremum of such \(r\) and \(p(x,M)=\lim\sup_{R\to 0+}\theta(x,R,M)/R\). A set \(M\subset P\) is called porous if \(p(x,M)>0\) for every \(x\in M\) and \(\sigma\)-porous if it is the countable union of porous sets. The main result of paper is Theorem 1.1. There exists an absolutely continuous function \(f: [-1,1]\to [-1,1]\) such that the graph of \(f\) is a non-\(\sigma\)-porous subset of \(\mathbf R^2\) (with respect to Euclidean metric). The next corollary answers a question raised by \textit{C. Goffman} [Proc. Am. Math. Soc. 123, No.~12, 3701--3703 (1995; Zbl 0854.42003)]. Theorem 3.1. There exists a continuous function \(f:{\mathbf T}\to{\mathbf R}\) with non-\(\sigma\)-porous graph such that its Fourier series converges uniformly on \textbf{T}.