Structures · Analysis
CStarModule
A Hilbert C⋆-module is a complex module E endowed with a right A-module structure
(where A is typically a C⋆-algebra) and an inner product ⟪x, y⟫_A which satisfies the
following properties.
- Shape
- 2 explicit arguments · adds inner_add_right, inner_self_nonneg, inner_self, inner_op_smul_right, inner_smul_right_complex, star_inner, norm_eq_sqrt_norm_inner_self
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Complex
How is a type an instance?
Loading the hierarchy index…
Assumed by65
- CStarModule.norm_eq_sqrt_norm_inner_self
- CStarModule.innerₛₗ
- CStarModule.star_inner
- CStarModule.norm_sq_eq
- CStarModule.inner_zero_right
- CStarModule.innerSL
- CStarModule.inner_op_smul_right
- CStarModule.normedAddCommGroup
- CStarModule.norm_nonneg
- CStarModule.inner_self_nonneg
- CStarModule.inner_smul_right_complex
- WithCStarModule.pi_norm_sq
- CStarModule.inner_smul_left_real
- CStarModule.inner_op_smul_left
- CStarModule.inner_smul_left_complex
- WithCStarModule.norm_apply_le_norm
- CStarModule.inner_add_right
- CStarModule.inner_zero_left
- CStarModule.norm_inner_le
- CStarModule.normedSpaceCore
- CStarModule.norm_zero_iff
- WithCStarModule.pi_norm
- CStarModule.inner_smul_right_real
- CStarModule.norm_pos
- WithCStarModule.prod_norm_sq
- WithCStarModule.prod_norm
- CStarModule.inner_self
- WithCStarModule.inner_single_right
- CStarModule.norm_zero
- CStarModule.inner_sub_right
- CStarModule.inner_neg_left
- CStarModule.inner_sub_left
- CStarModule.norm_triangle
- WithCStarModule.max_le_prod_norm
- WithCStarModule.inner_single_left
- CStarModule.inner_add_left
- WithCStarModule.norm_single
- CStarModule.inner_mul_inner_swap_le
- WithCStarModule.instNormedSpaceComplexProd
- WithCStarModule.instNormedAddCommGroupForall
- WithCStarModule.instNormForall
- WithCStarModule.instCStarModuleForall
- WithCStarModule.prod_norm_le_norm_add
- CStarModule.continuous_inner
- WithCStarModule.instNormProd
- WithCStarModule.instNormedAddCommGroupProd
- CStarModule.innerSL_apply
- CStarModule.innerₛₗ_apply
- WithCStarModule.norm_equiv_le_norm_prod
- CStarModule.inner_sum_left