Porosities of the sets of attractors

The paper proves Theorem 4.1 (A[0,1] is not σ-strongly porous in K[0,1]) via a careful coding of Cantor-like attractors by sequences in [-3/2, 3/2]^N and a Baire-category argument in the sequence space, with detailed local 0.99-robustness estimates around a chosen attractor, which is correct and complete. The candidate solution reaches the same conclusion but relies on a false auxiliary lemma: it asserts that strong porosity is hereditary to subspaces. This is not true in general metric spaces (and is unnecessary here). While the argument can be repaired by using the true facts that strongly porous implies nowhere dense and that nowhere denseness is hereditary to subspaces (as noted in the paper’s porosity discussion), the proof as written is flawed.