Struct WeakConvergenceData 

pub struct WeakConvergenceData {
    pub sequence: Vec<Vec<f64>>,
    pub weak_limit: Option<Vec<f64>>,
    pub is_bounded: bool,
}

Data representing weak convergence in a Banach space.

Fields

sequence: Vec<Vec<f64>>

Sequence of vectors (represented as finite-dimensional approximations).

weak_limit: Option<Vec<f64>>

Weak limit, if it exists.

is_bounded: bool

Whether the sequence is bounded (Banach-Alaoglu prerequisite).

Implementations

impl WeakConvergenceData

pub fn new(sequence: Vec<Vec<f64>>) -> Self

Creates weak convergence data.

pub fn check_weak_convergence(&self, limit: &[f64], tol: f64) -> bool

Checks weak convergence to a given vector (tests against standard basis functionals).

pub fn banach_alaoglu_applies(&self) -> bool

Banach-Alaoglu: bounded sequences in reflexive spaces have weakly convergent subsequences.

pub fn last_norm(&self) -> Option<f64>

Returns the strong norm of the last element.

Trait Implementations

impl Clone for WeakConvergenceData

fn clone(&self) -> WeakConvergenceData

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WeakConvergenceData

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.