Structures · Analysis
NonUnitalIsometricContinuousFunctionalCalculus
An extension of the NonUnitalContinuousFunctionalCalculus requiring that cfcₙHom is an
isometry.
- Shape
- 3 explicit arguments · adds isometric
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances3
- Real
- Complex
- NNReal
How is a type an instance?
Loading the hierarchy index…
Assumed by70
- IsGreatest.nnnorm_cfcₙ_nnreal
- IsGreatest.norm_cfcₙ
- isometry_cfcₙHom
- norm_apply_le_norm_cfcₙ
- apply_le_nnnorm_cfcₙ_nnreal
- ContinuousOn.cfcₙ_nnreal
- CStarAlgebra.norm_posPart_le
- norm_cfcₙ_le
- ContinuousOn.cfcₙ_nnreal_of_mem_nhdsSet
- CFC.nnnorm_nnrpow
- ContinuousOn.cfcₙ
- IsGreatest.nnnorm_cfcₙ
- continuousOn_cfcₙ
- Filter.Tendsto.cfcₙ_nnreal
- norm_cfcₙ_lt
- lipschitzOnWith_cfcₙ_fun_of_subset
- Filter.Tendsto.cfcₙ
- continuousOn_cfcₙ_nnreal
- nnnorm_cfcₙ_nnreal_lt
- CStarAlgebra.norm_negPart_le
- norm_cfcₙ_le_iff
- norm_cfcₙHom
- ContinuousWithinAt.cfcₙ_nnreal
- nnnorm_apply_le_nnnorm_cfcₙ
- NonUnitalIsometricContinuousFunctionalCalculus.norm_quasispectrum_le
- continuousOn_cfcₙ_setProd
- lipschitzOnWith_cfcₙ_fun
- CFC.nnnorm_sqrt
- nnnorm_cfcₙ_nnreal_le
- continuousOn_cfcₙ_nnreal_setProd
- NonUnitalIsometricContinuousFunctionalCalculus.isGreatest_quasispectrum
- NonUnitalIsometricContinuousFunctionalCalculus.isometric
- continuous_cfcₙHomSuperset_left
- ContinuousOn.cfcₙ_nnreal'
- MonotoneOn.nnnorm_cfcₙ
- norm_cfcₙ_lt_iff
- CFC.continuousOn_sqrt
- ContinuousOn.cfcₙ'
- ContinuousOn.cfcₙ_of_mem_nhdsSet
- ContinuousWithinAt.cfcₙ
- nnnorm_cfcₙ_lt_iff
- NonUnitalIsometricContinuousFunctionalCalculus.nnnorm_quasispectrum_le
- nnnorm_cfcₙHom
- Continuous.cfcₙ_nnreal_of_mem_nhdsSet
- nnnorm_cfcₙ_lt
- Continuous.cfcₙ
- CFC.continuousOn_nnrpow
- CFC.norm_nnrpow
- IsSelfAdjoint.norm_eq_max_norm_posPart_negPart
- continuousOn_cfcₙ_setProd_nhdsSet