Structures · Analysis
HasBesicovitchCovering
A metric space has the Besicovitch covering property if there exist N and τ > 1 such that
there are no satellite configurations of parameter τ with N+1 points. This is the condition that
guarantees that the measurable Besicovitch covering theorem holds. It is satisfied by
finite-dimensional real vector spaces.
- Shape
- One type argument · adds no_satelliteConfig
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- Besicovitch.vitaliFamily
- Besicovitch.tendsto_filterAt
- HasBesicovitchCovering.no_satelliteConfig
- Besicovitch.ae_tendsto_measure_inter_div_of_measurableSet
- Besicovitch.exists_disjoint_closedBall_covering_ae
- Besicovitch.exists_disjoint_closedBall_covering_ae_aux
- Besicovitch.exists_disjoint_closedBall_covering_ae_of_finiteMeasure_aux
- Besicovitch.exists_closedBall_covering_tsum_measure_le
- Besicovitch.ae_tendsto_measure_inter_div
- Besicovitch.ae_tendsto_rnDeriv
Ancestors0
No ancestors.