On Automatic Continuity of Linear Operators in Certain Classes of Non-Associative Topological Algebras

In this paper, we address the problem of automatic continuity of homomorphisms in some topological non associative * -algebras. To do this, we introduce and study on a non-associative algebra equipped with an involution * a notion we call * -semi-simplicity. It is based on the study of certain sided ideals called * -ideals.


Introduction
In this work, we define for an algebra in involution * (A, *) a concept that we call *semi-simplicity, it rests on the study of certain ideals.The interest thus is to restrict with a family of the ideals instead of considering all the left ideals.This concept of *semi-simplicity will contribute also under investigation of the problem of the automatic continuity of the linear operators in the topological algebras.While being based on the fact that the property to be locally bounded, is more essential, for an Banach algebra, that locally convexity, we were interested in the p-normed algebras (0 < p  1) [4].We propose too to generalize the results known in the case of the Banach algebras to the case of the complete pnormed non associative algebras, in particular the non commutative Jordan algebras.We then show that if A is a *semi-simple p-normed non commutative

2-Preliminaries
Throughout this work, the algebras considered are supposed to be complex, non associative, unital and not necessarily commutative; and (0 < p  1).An algebra over IK is a IK-vector space A with a bilinear map (x, y) → x.y of A × A into A. If this product is associative (resp commutative), we say that the algebra is associative (resp.commutative).An algebra A is a Jordan algebra if every (x, y) Let A be an algebra, we denote by A + the algebra A equipped with its vector space structure and the product • defined by : algebra of Jordan-Banach, one calls the spectral ray of, noted r (a), the limit lim n→+  ||a n || 1/n if it exists.A *-ring is a ring with a map *: A → A that is an involution.More precisely, * is required to satisfy the following properties: (x + y)* = x* + y*, (x y)* = y* x*, 1* = 1, (x*)* = x for all x, y in A. This is also called an involutive ring, and ring with involution.Elements such that x* = x are called self-adjoint.
Also, one can define *-versions of algebraic objects, such as ideal and subring, with the requirement to be *-invariant: x ∈ I ⇒ x* ∈ I and so on.
A *-algebra A is a *-ring, with involution *, such that (

3-Automatic Continuity
One of the first results on the automatic continuity of homomorphism to dense image is in Rickart: Let  Is a homomorphism of a Banach algebra A on an strongly semi-simple Banach algebra B. if the image of  is dense in B, then  is automatically continuous.

Theorem 3.2 [3]
Let T a homomorphism of a Jordan-Banach algebra A on a Jordan-Banach algebra B. If B is strongly semi-simple and if the image of T is dense in B, then T is automatically continuous.Of its share, A.R. Palacios generalized the two theorems with the case of the complete normed associative power algebras.

Theorem 3.3 [4]
Any homomorphism with dense image of an complete normed associative power algebras A on an strongly semi-simple complete normed associative power algebras is automatically continuous.
The notion of separating space characterizes the continuity of linear operator.The utility of separating space comes owing to the fact that a linear operator is bounded if, and only if, its separating space is reduced to the singleton {0} ( [6]).

Definition: 3.1
Let T a linear application of a complete p-normed space X in a complete pnormed space Y.Then, the separating space σ (T) of Y is the subset of Y defined by: Let X and Y two complete p-normed space, then the separating space σ (T) of any a linear application T: X  Y is a closed subspace of Y.

Proof.
Evidently σ (T) is a subspace vector of Y. Let (yk)k a sequence in σ(T) converging to y of Y.
then, zk Based on the fact that the property of being locally bounded, is more essential for a complete normed algebra, the local convexity and using specific techniques nonassociative algebras, we establish a complete p-normed Jordan algebra is the continuous inverse.Next, we show that the closure of own proper ideal of a complete p-normed Jordan algebra A is a own proper ideal.In particular, any maximal ideal of A is closed.

Definition 3.2
A topological algebra A is called locally bounded if t.v.sA is locally bounded i.e.
If it has a neighborhood U of 0, bounded (i.e absorbed by every neighborhood V of 0: V U   ) A necessary and sufficient condition for a t.v.s either locally bounded is given by the following theorem Rovelin:

Theorem 3.4 ([1])
A t.v.s is locally bounded if, and only if, its topology may be defined by a p-norm IIeIIP where p is a fixed real number 0 <p  1.As in the associative case, a characterization of locally bounded algebras complete unit is given by the following theorem:

Theorem 3.5[1]
Let A be a complete metrizable nc Jordan unital algebra.Then the following assertions are equivalent: 1) There exist on A an equivalent distance d define the topology of A and such that d(x,y)  d(x,0).d(0,y).
2) A is locally bounded.
3) The IIeIIP topology of A may be defined by a norm II.IIp, 0 <p  1. Checking IIxyIIP  IIxIIP IIyIIP for all x, y and IIeII p= 1.A topological algebra equipped with a p-nome checking IIxyIIP  IIxIIP IIyIIP will be called later p-normed algebra, it is clear that when p = 1, we find the notion of normed algebra.

Proposition 3.2
Let a complete p-normed Jordan algebra A unital with unit e, then any element x of A such that IIx -eIIp <1 is invertible.

Proof.
Consider the associated algebra BL (A) of bounded linear maps A, it is a complete p-normed algebra for the norm II.IIp defined by:

Remark
If A is unital flexible and x is invertible in A, then L 1


x (e) is unique and denoted x -1 .As a result, the application x  x -1 to L -Inv (A) in L -Inv (A) is a homeomorphism.

Corollary 3.2
Let A be a complete p-normed Jordan algebra A, then the closure of any proper ideal of A is a proper ideal of A. In particular, any maximal ideal of A is closed.

Proof.
Let M be a maximal ideal of A, then e M and M  Let A an n.c Jordan *-algebra.We called *-radical of A, noted Rad*(A), the intersection of all * -maximal ideals of A. A is called *semi-simple if Rad*(A) = {0}.

Proposition 3.3
Let A be a non-associative *-algebra and M *-maximal ideal which is not maximal.Then there exists a maximal ideal N of A such that M = N  N * . Proof.
As M is not maximum, there is a maximal ideal N of A such that M  N. Since Let A be a complete p-normed n.c Jordan *-algebra A, then all *-maximal *-ideal M of A is closed.

Proof.
If M is a maximal ideal of A, then M is closed.Otherwise, there is a maximal ideal N of A such that M = N  N * (proposition 3. Let J a ideal of A such as J  I.According to what precedes, A = J  J * .Let i  I, then there exists j, j' J such that i = j + j'*.However i -j = j'*  I  I * = {0}, from where i = j, therefore I = J.Consequently, I am a minimal ideal of A. Let J an ideal of I, then J is an ideal of A. Indeed, let a A and j J, then it exists i,i' * such that a = i + i' * .From where aj = (i + i' * )j = ij + i' * j.However A² we have xy = yx and (x² y)x = x² y.An algebra A is a non-commutative Jordan algebra (n.c Jordan algebra) if every (x, y) ∈ A² we have x (yx) =(xy)x and x² (yx) =( x² y)x.
IIp where II.IIp is the p-norm of the algebra A. Then, it suffices to note that Lx-Lx-e = Lx = I, where I is the identity of A  Theorem 3.4 Let A be a complete p-normed Jordan algebra A, then the set (L -Inv (A)) of l-invertible elements of A is open from A. Proof.It is known that the set Inv (BL (A)) of invertible elements of BL (A) is open [16].Furthermore, A is metrisable and complete, so x is invertible if and only if Lx (resp.Rx) is invertible in BL (A).Since GL: x  Lx (resp.RL: x  Rx) is continuous and L-invd(A) = G 1  L = (Inv(BL(A)) (resp.L-invg (A) = R 1  L = (Inv(BL(A))), whereas L-invd(A) is an open of A  Corollary 3.1

Proposition 3 . 5 Proposition 3 . 6
3).Since N (resp.N *) is closed, it is deduced that M is closed in A. Let A be a complete p-normed n.c Jordan algebra A and a  A, then the spectrum of a noted Sp(a) = {   ℂ:/ a-λe  Gj(A)} where Gj(A) is the set of elements a invertible of A is a non-empty set of ℂ, indeed: SpA(a) = SpC(a)(a) where ℂ (a) is an associative and commutative pnormed algebra.Moreover, if A is complete, then SpA(a) is a compact of ℂ  Let T a linear application of a complete p-normed unital algebra A in a complete p-normed unital algebra B. then, if T is surjective, the separating space σ (T) is proper ideal of Y.Proof.Let b  B and y  σ (T).y  σ(T), there then there exists a sequence (an)n  A such that:an     p 0 et T(an)     p y.Suppose that T is surjective, then there exists aA such that T (a) = B; Then, ana     p 0 et T(ana) = T(an)(T(a) = T(an)b     p yb, Consequently yb  σ(T).Let us show that σ (T) is a proper ideal of B. As A and B are unital, T (eA) = eB.For all, a A, Sp(T(a))  Sp(a).Then rB(T(a))  rA(a) a A.Let c an element of center of B, then rB(T(a))  rB(c -T(a)) + rB(T(a))  II c -T(a)IIp + IIaIIp Suppose that eB  σ(T).Then, there exists a (an)n  A such that: eB is an element of center of B, rB(T(eA)) = rB(eB)  II eB -T(an)IIp + IIan IIp     p 0 What contradicts the fact that rB(eB) = 1  Let A an *simple non associative *-algebra which is not simple.Then, there exists a subalgebra simple unit I of A such that A = I  I * .Proof.Let I a proper ideal of A. I  I * is one *ideal, therefore I  I * = {0} or I  I * = A. If I  I * = A then I = A, which is absurd.From where I  I * = {0}.There is also I + I* is one *ideal, then I + I* = {0} or I + I* = A. If I + I* = {0}, then I = {0}, which contradicts the fact that I am proper.Therefore, A = I  I * .

Lemma 3 . 1
, i' * j  I * I  I  I * = {0}, consequently aj = ij J.As I am a minimal ideal, then J = {0} or I = J.Thus, I am simple subalgebra.On other hand, I am unital and if 1 indicates the unit of A, then there exists e, e' I such that 1 = e + e' * .Let x I, we are: x = x1 = xe + x e'*, but x -xe = x e'*  I  I * = {0}, from where x = xe.In the same way, we checked that x = xe.Consequently, I am unital of unit e  Let T a homomorphism of an complete p-normed n.c Jordan algebra of A in an complete p-normed n.c Jordan algebra B, for any element a in A, r(T(a))  r(a).