[ | \lambda x | = |\lambda| \mathbbC | x | \quad \textor more generally \quad | \lambda x | = |\lambda| \mathbbBC | x | ? ] But ( |\lambda|_\mathbbBC = \sqrt ) works, giving a real norm. However, to preserve the bicomplex structure, one uses :
The bicomplex spectrum of ( T ) is: [ \sigma_\mathbbBC(T) = \lambda \in \mathbbBC : \lambda I - T \text is not invertible . ] In idempotent form: [ \sigma_\mathbbBC(T) = \sigma_\mathbbC(T_1) \mathbfe 1 + \sigma \mathbbC(T_2) \mathbfe_2 ] where the sum is in the sense of idempotent decomposition: ( \alpha \mathbfe_1 + \beta \mathbfe_2 : \alpha \in \sigma(T_1), \beta \in \sigma(T_2) ). Basics of Functional Analysis with Bicomplex Sc...
( T ) is bounded if there exists ( M > 0 ) such that ( | T x | \leq M | x | ) for all ( x ). This is equivalent to ( T_1 ) and ( T_2 ) being bounded complex operators. [ | \lambda x | = |\lambda| \mathbbC
Any bicomplex Banach space ( X ) is isomorphic (as a real Banach space) to ( X_1 \oplus X_2 ), where ( X_1, X_2 ) are complex Banach spaces, and bicomplex scalars act by: [ (z_1 + z_2 \mathbfj) (x_1 \mathbfe_1 + x_2 \mathbfe_2) = (z_1 - i z_2) x_1 \mathbfe_1 + (z_1 + i z_2) x_2 \mathbfe_2. ] Any bicomplex Banach space ( X ) is