Porous set
In mathematics, a porous set is a concept in the study of metric spaces. Like the concepts of meagre and measure zero sets, a porous set can be considered "sparse" or "lacking bulk"; however, porous sets are not equivalent to either meagre sets or measure zero sets, as shown below.
Definition
Let (X, d) be a complete metric space and let E be a subset of X. Let B(x, r) denote the closed ball in (X, d) with centre x ∈ X and radius r > 0. E is said to be porous if there exist constants 0 < α < 1 and r0 > 0 such that, for every 0 < r ≤ r0 and every x ∈ X, there is some point y ∈ X with
A subset of X is called σ-porous if it is a countable union of porous subsets of X.
Properties
- Any porous set is nowhere dense. Hence, all σ-porous sets are meagre sets (or of the first category).
- If X is a finite-dimensional Euclidean space Rn, then porous subsets are sets of Lebesgue measure zero.
- However, there does exist a non-σ-porous subset P of Rn which is of the first category and of Lebesgue measure zero. This is known as Zajíček's theorem.
- The relationship between porosity and being nowhere dense can be illustrated as follows: if E is nowhere dense, then for x ∈ X and r > 0, there is a point y ∈ X and s > 0 such that
- However, if E is also porous, then it is possible to take s = αr (at least for small enough r), where 0 < α < 1 is a constant that depends only on E.
gollark: That would be a job for the OS.
gollark: imagine actually thinking about programs before writing them
gollark: At some point your pseudocode has to be executed somehow to *do* anything?
gollark: What, so if you just ignore things which depend on implementation details they'll just work fine?
gollark: It seems like your attitude is the sort of thing which causes awful performance, useless programs, and side channel attacks.
References
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.