Para-linearity as the nonassociative counterpart of linearity

Abstract

In an octonionic Hilbert space H, the octonionic linearity is taken to fail for the maps induced by the octonionic inner products, and it should be replaced with the octonionic para-linearity. However, to introduce the notion of the octonionic para-linearity we encounter an insurmountable obstacle. That is, the axiom pu, u = p u, u for any octonion p and element u ∈ H introduced by Goldstine and Horwitz in 1964 can not be interpreted as a property to be obeyed by the octonionic para-linear maps. In this article, we solve this critical problem by showing that this axiom is in fact non-independent from others. This enables us to initiate the study of octonionic para-linear maps. We can thus establish the octonionic Riesz representation theorem which, up to isomorphism, identifies two octonionic Hilbert spaces with one being the dual of the other. The dual space consists of continuous left para-linear functionals and it becomes a right O-module under the multiplication defined in terms of the second associators which measures the failure of O-linearity. This right multiplication has an alternative expression (f ⊙ p)(x) = pf (p −1 x)p, which is a generalized Moufang identity. Remarkably, the multiplication is compatible with the canonical norm, i.e., ||f ⊙ p|| = ||f || |p| . Our final conclusion is that para-linearity is the nonassociative counterpart of linearity.

Non-associative Categories of Octonionic Bimodules

“…We now give a characterization of O-para-linear maps in terms of the real part operators. The proof runs in completely the same manner as in our previous work [13].…”

“…Recently, we [13] introduce a notion of O-para-linear functional. In fact, we can generalize this notion to a more general case of O-para-linear maps between O-modules.…”

“…If we write A p (x, f ) = px, f − p x, f =: [p, x, f ], as we have denoted in [13], then identity (3.9) can be rephrased as…”

“…In this subsection, we shall generalize the notion of para-linear functions developed in our previous work [13] to arbitrary para-linear maps between O-modules.…”

“…for any p ∈ O and x ∈ H. The importance of octonionic para-linear maps has been shown in the octonionic Riesz representation theorem which provides a bijection between an O-Hilbert space H and its dual space consisting of O-para-linear functions [13]. We will further study O-para-linear operators between octonionic Hilbert spaces.…”