Struct OuterMeasure 

pub struct OuterMeasure {
    pub base: LebesgueMeasure,
}

Carathéodory outer measure construction.

The outer measure μ*(A) = inf { Σ μ(Eᵢ) : A ⊆ ⋃ Eᵢ } is constructed from any set function μ on covering sets.

Fields

base: LebesgueMeasure

The base covering measure (e.g., length of intervals).

Implementations

impl OuterMeasure

pub fn new() -> Self

Create an outer measure from the Lebesgue base measure.

pub fn estimate(&self, a: f64, b: f64, n_covers: usize) -> f64

Estimate μ*(A) by covering A with n_covers equal sub-intervals.

pub fn verify_caratheodory(&self, a_lo: f64, a_hi: f64) -> bool

Verify Carathéodory’s condition: μ*(E) = μ*(E ∩ A) + μ*(E ∩ Aᶜ) for measurable A, numerically on the interval [0,1].

Trait Implementations

impl Default for OuterMeasure

fn default() -> Self

Returns the “default value” for a type.