The strange aspect of most compacta (Q2569276): Difference between revisions

It is well-known that `most' continua are pseudoarcs. What this means can be made precise by using Baire spaces and first category subsets thereof. Let \(K\) be a compact subset of some Euclidean space of dimension \(d\geq 2\). The author defines \(K\) to look dense from \(x\in K\) if \(x\) has arbitrarily small neighborhoods \(N\) such that the set of directions of \(N\cap K\) is dense in the sphere \(S^{d-1}\). In addition, \(K\) looks at least half-dense from \(x\in K\) if there is a closed half-space \(H^+\) such that \(x\) has arbitrarily small neighborhoods \(N\) such that the set of directions of \(N\cap K\) is dense in \(S^{d-1}\cap H^+\). In this interesting paper, the author proves results such as: most compact sets look at least half-dense from any of their points, and, most compact sets look dense from most of their points.