BoundedOperator

Trait BoundedOperator 

Source
pub trait BoundedOperator<V, W = V, B = Bounded>: LinearOperator<V, W>{
    // Required method
    fn operator_norm(&self) -> f64;

    // Provided method
    fn is_bounded_by(&self, bound: f64) -> bool { ... }
}
Expand description

A bounded linear operator.

A linear operator T is bounded if there exists M > 0 such that ||Tx|| ≤ M||x|| for all x.

The operator norm is ||T|| = sup{||Tx|| : ||x|| = 1}.

§Type Parameters

  • V - Domain space element type
  • W - Codomain space element type
  • B - Boundedness phantom marker

Required Methods§

Source

fn operator_norm(&self) -> f64

Compute or estimate the operator norm ||T||.

Provided Methods§

Source

fn is_bounded_by(&self, bound: f64) -> bool

Check if the operator is bounded by a given constant.

Implementors§

Source§

impl<S, T, V, W, U> BoundedOperator<V, U> for CompositeOperator<S, T, V, W, U>
where S: BoundedOperator<W, U, Bounded>, T: BoundedOperator<V, W, Bounded>,

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for CompactMatrixOperator<P, Q, R>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for FiniteRankOperator<P, Q, R>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for FredholmMatrixOperator<P, Q, R>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for IdentityOperator<Multivector<P, Q, R>>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for MatrixOperator<P, Q, R>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for ProjectionOperator<P, Q, R>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for ScalingOperator<Multivector<P, Q, R>>

Source§

impl<const P: usize, const Q: usize, const R: usize> BoundedOperator<Multivector<P, Q, R>> for ZeroOperator<Multivector<P, Q, R>>