Home The algebraic size of the family of injective operators
Article Open Access

The algebraic size of the family of injective operators

  • Luis Bernal-González EMAIL logo
Published/Copyright: January 3, 2017

Abstract

In this paper, a criterion for the existence of large linear algebras consisting, except for zero, of one-to-one operators on an infinite dimensional Banach space is provided. As a consequence, it is shown that every separable infinite dimensional Banach space supports a commutative infinitely generated free linear algebra of operators all of whose nonzero members are one-to-one. In certain cases, the assertion holds for nonseparable Banach spaces.

MSC 2010: 47L05; 15A03; 47A05; 47A16

1 Introduction

In the current millenium there has been a generalized interest in the search for large algebraic structures inside nonlinear sets. This area of research is called lineability. Concepts, results and references concerning this topic can be found in the survey [1] and the monograph [2]. In this note, we focus on the family of all injective (or one-to-one) operators defined on a Banach space. Obviously, this family is not a vector space. Only recently (see below) a number of assertions have been established within this context, in the real case. Our aim is to contribute to complete the existing knowledge on lineability of the mentioned family, mainly in the complex infinite dimensional setting.

Our notation will be rather usual. The symbols ℕ, ℕ0, ℚ, ℝ, ℂ will stand for the set of positive integers, the set ℕ ⋃ {0}, the set of rational numbers, the real line, and the field of complex numbers, respectively. The cardinality of the continuum, card(ℝ), is denoted by 𝔠. If X is a Banach space on 𝕂 = ℝ or ℂ then X* and L(X) will represent, respectively, the topological dual space of X and the vector space of all operators on X, that is, the family of all continuous linear self-mappings Τ : XX. Recall that L(X) becomes a linear algebra (in fact, a Banach algebra) if we endow this vector space with the internal law of composition of operators. If TL(X) then the spectrum and the point spectrum of T will be denoted by σ(T) and σP(T), respectively. Recall that σ(T) = {λ ∈ 𝕂 : TλI is not invertible} (I = the identity) and σP(T) is the set of eigenvalues of T, that is, σp(T = {λ ∈ 𝕂 : TλI is not injective} (⊂ σ (T)). The adjoint of T is the operator T* ∈ L(X*) given by (T*φ)(x) = φ(Tx)(φX*, xX).

A few lineability concepts (see [2]) will be convenient in order to establish our findings appropriately. If X is a vector space, α is a cardinal number and AX, then A is said to be: lineable if there is an infinite dimensional vector space M such that M \ {0} ⊂ A, and α-lineable if there exists a vector space M with dim(M) = α and M \ {0} ⊂ A (hence lineability means 0-lineability, where 0 = card(ℕ)). If, in addition, X is contained in some (linear) algebra then A is called: algebrable if there is an algebra M so that M \ {0} ⊂ A and M is infinitely generated, that is, the cardinality of any system of generators of M is infinite; α-algebrable if there is an α-generated algebra M with M \ {0} ⊂ A; strongly algebrable if A ⋃ {0} contains an infinitely generated algebra that is isomorphic with a free algebra, and strongly α-algebrable if A ⋃ {0} contains an α-generated algebra that is isomorphic with a free algebra. Note that if BX is a set whose elements commute respect to the algebra operation, then B is a generating set of some free algebra contained in A ⋃ {0} if, and only if, for any Ν ∈ ℕ and any nonzero polynomial P in N variables without a constant term and any distinct y1,..., yNB we have P(y1,..., yN)∈ A \ {0}. Of course, strong (α-)algebrability implies (α-)algebrability, and this in turn implies (α-, resp.) lineability.

Even if no additional condition of linearity is imposed, there are not many injective self-mappings on ℝ in the algebraic sense, as the following result (see [3]) shows.

Theorem 1.1

The set of injective functions ℝ → ℝ is not 2-lineable.

As for higher dimensions, we gather in the next theorem a number of assertions, which have been recently proved by Jiménez, Maghsoudi, Muñoz and Seoane [4] in the setting of real vector spaces.

Theorem 1.2

Let n,m ∈ ℕ. Then the following holds:

  1. The set {f : ℝn → ℝ m : f is injective} is m-lineable, but not (m + 1)-lineable.

  2. The set { f : R 2 n m R 2 n m : f is linear and bijective} is 2n -lineable.

  3. If m ≥ 3 is odd then the set {f : ℝm → ℝm : f is linear and bijective} is not m-lineable.

Recall that if X is a finite dimensional Banach space then any linear mapping XX is continuous, and any injective linear mapping XX is bijective. Consistently, for a general Banach space, we consider the family

L 1 1 ( X ) : = { linear continuous injective mappings X X } = { T L ( X ) : Ker ( T ) = { 0 } } .

It is well known that the group of bijective operators on a Banach space (equivalently, by the Open Mapping Theorem, the group of invertible operators) is a nonempty open set (see e.g. [5, Chap. 7]). Hence L1–1 (X) contains a nonempty open set, so it is not a too small set, in the topological sense. Thus, it is natural to raise the question of whether L1–1(X) is also large in the algebraic sense. Theorem 1.2 above gave us a partial answer in the realm of real finite dimensional spaces. In [4], the following theorem concerning an important class of infinite dimensional Banach spaces in the real case is also proved.

Theorem 1.3

Let X be a real Banach space with a Schauder basis. Then L1–1(X) is lineable.

In Section 2, we will briefly deal with the finite dimensional case in order to generalize Theorem 1.2. In Section 3, which is the main one, we will extend the aforementioned results to the complex setting when the Banach spaces have infinite dimension. Our main contribution consists of a criterion providing algebrability in this case. Through a modification of this criterion we will also improve Theorem 1.3 by showing that its conclusion still holds -in both real and complex cases- if X is just separable and infinite dimensional. Examples of nonseparable Banach spaces where the result remains valid are also provided.

2 Injective operators on finite dimensional Banach spaces

Theorem 1.1 and item (a) of Theorem 1.2 hold in the case 𝕂 = ℂ with virtually the same proofs. (In the light of the original proof in [4, Theorem 2.4], we can even afford a slight generalization in the initial set ℝn) Observe that, trivially, we have also 1-lineability for the set of bijective linear self-mappings of 𝕂 = ℝ or ℂ (any nonzero multiple of the identity is bijective). Item (c) of Theorem 1.2 also holds for 𝕂 = ℂ, not only for odd m but for all m ∈ ℕ (hence Theorem 1.2(b) is false for m = 1 if we replace ℝ by ℂ). Indeed, the proof of part (c) in [4] (see Remark 2.7, proof of Corollary 2.8 and Remark 2.9 of this reference) was based on properties of determinants and on the fact that any polynomial of odd degree with coefficients in ℝ possesses at least one (real) zero. The restriction “m odd” is not needed in ℂ by the Fundamental Theorem of Algebra.

As a consequence, we can state the following result.

Theorem 2.1

Let m ∈ ℕ and S be a set with card (S) ≤ 𝔠. We have:

  1. For 𝕂 = ℝ or ℂ, the set {f : S → 𝕂m : f is injective} is m-lineable, but not (m + 1)-lineable.

  2. The set {f : ℂm → ℂm : f is linear and bijective} is m-lineable if and only if m = 1.

A natural problem remains open: for 𝕂 = ℝ or ℂ and m ≥ 2, is the family {f : 𝕂m → 𝕂m : f is linear and bijective} (m – 1)-lineable?

3 Injective operators on infinite dimensional Banach spaces

We turn to the infinite dimensional case when the field is 𝕂 = ℂ. Let us establish our criterion (Theorem 3.1), with which a high level of lineability is obtained. Observe that this criterion is not applicable to the finite dimensional setting, because any operator has always (complex) eigenvalues in this case. Note also that, despite the fact that the algebra L(X) is not commutative, our approach furnishes a large commutative algebra.

Theorem 3.1

Let X be a complex Banach space supporting an operator without eigenvalues. Then the family L1–1(X) is strongly 𝔠-algebrable.

The proof will make use of some background about holomorphic functions of operators (see for instance [6, Chap. 1] or [7, Chap. 10]). Let X be a complex Banach space and TL(X). If f is a complex function that is analytic on a neighborhood of σ(T) then it is possible to define an operator f(T) ∈ L(X) satisfying f(T) = I if f(z) ≡ 1, f(T) = T if f(z) ≡ z, (f + g)(T) = f(T) + g(T) and f(T)g(T) = (fg)(T) (where f(T)g(T) denotes composition of f(T) and g(T), while fg denotes pointwise multiplication). Observe that, for fixed T, the operators f(T) form a commutative linear algebra. In the special case of an entire function f : ℂ → ℂ, we have that if f has Taylor expansion f ( z ) = n = 0 a n z n then

f ( T ) = n = 0 a n T n ,

the series being convergent in the norm topology of L(X). Here, T0 = I and Tn+1 = TnT (n ≥ 0). A special version of the spectral mapping theorem (see [7, Theorem 10.33]) reads as follows.

Theorem 3.2

Assume that X is a complex Banach space. Let TL(X) and f : Ω → ℂ be holomorphic on an open set Ω ⊃ σ(T). Then f(σP(T)) ⊂ σP (f(T)). If in addition, f is nonconstant on every connected component of Ω, then f(σP(T)) = σP(f(T)).

The following auxiliary assertion provides a free algebra consisting of entire functions. Its proof is easy and is essentially contained in the proof of Lemma 2.4 in [8], which in turn is in the same spirit as [9, Proposition 7] (see also [10, Theorem 1.5] and [11]); so it will be omitted. Let H0(ℂ) denote the set of all entire functions f with f(0) = 0.

Lemma 3.3

Let H ⊂ (0, +∞) be a set with card (H) = 𝔠 and which is linearly independent over the field ℚ. For each r > 0, consider the function Er(z) ≔ erz – 1. Then {Er : rΗ} is a free system of generators of an algebra contained in H0(ℂ).

In the proof of our Theorem 3.1, Lemma 3.3 plays the role of generating the appropriate algebra by superposing a fixed operator belonging to the considered class with the representatives of a well chosen algebra of functions. This method was already used in [12].

Proof of Theorem 3.1. Consider the algebra 𝓐 generated by the functions Er of Lemma 3.3, that is, the collection all finite linear combinations of products E r 1 m 1 E r N m N ( N N ; r 1 , , r N H ; ( m 1 , , m N ) N 0 N { ( 0 , , 0 ) } ) . Note that the cardinality of the free system {Er}rH is c. By hypothesis, there exists TL(X) such that σP(T) = ∅. Let f ∈ H0(ℂ) such that f is not identically zero. Then f is not constant on Ω = ℂ which is connected. It follows from Theorem 3.2 that σp(f(T)) = fP(T)) = f(∅) = ∅. In particular, 0 ∉ σP(f (T)). Thus, the operator f(T) is injective, that is, f(T) ∈ L1–1(X). Now, consider the family

B := { f ( T ) : f A } ,

which is clearly an algebra. Since 𝓐 ⊂ H0(ℂ), we get 𝓑 \ {0} ⊂ L1–1(X). Clearly, the operators Er(T)(rΗ) generate the algebra 𝓑. It remains to show that they generate 𝓑 in a free way. In other words, we should prove that, if N ∈ ℕ, Q is a complex polynomial in N variables without constant term, r1,..., rN are different numbers in Η and H and Q ( E r 1 ( T ) , , E r N ( T ) ) = 0 , then Q = 0.

To this end, observe that, under the latter assumptions, we get from the properties of holomorphic functions of operators that F ( T ) = 0 , where F ( z ) := Q ( E r 1 ( z ) , , E r N ( z ) ) . . Assume, by way of contradiction, that Q ≠ 0. Since the Er ’s generate a free algebra, we have FH0(ℂ)\{0}. From Theorem 3.2, it follows that

{ 0 } = σ P ( 0 ) = σ P ( F ( T ) ) = F ( σ P ( T ) ) = F ( ) = ,

which is absurd. The proof is finished.

Concerning applications of Theorem 3.1 (see Theorem 3.7 below), a tool that will be used is the following strong result due to Ovsepian and Pelczynski [13] about the structure of separable (real or complex) Banach spaces.

Theorem 3.4

If X is an infinite-dimensional separable Banach space, then there are sequences {en}n≥1X andn}n≥1X* with the following properties:

  1. φm(en) = δmn for all m, n ∈ ℕ.

  2. If φn(x) = 0 for all n ∈ ℕ then x = 0.

  3. ||en|| = 1 for all n ∈ ℕ and supn∈ ℕ ||φn|| < ∞.

Remark 3.5

It is proved in [13] that the sequence {en}n≥1 may satisfy, in addition, that s p a n ¯ {en : n ∈ ℕ} = Χ. Nevertheless, we do not need this property at all.

Since Theorem 3.1 is given in the complex setting, in order to apply it in the real one the technique of complexification will be needed. Recall that if X is a Banach space on ℝ then its complexification X ~ is the vector space on ℂ given by X2 endowed with the operations

( x , y ) + ( u , v ) = ( x + u , y + v ) and c ( x , y ) = ( a x b y , b x + a y ) ,

where c = a + i b, a, b ∈ ℝ, x, y, u, v ∈ X. Then X ~ becomes a Banach space on ℂ under, for instance, the norm ||(x, y)|| = ||x|| + ||y||. If TL(X) then the complexification of T is the operator T ~ on X ~ defined as

T ~ ( x , y ) = ( T x , T y ) .

Note that T n ~ = ( T ~ ) n for all n ≥ 0. Observe also that if f ( z ) = n = 0 a n z n is an entire function with real Taylor coefficients an then the expression f ( T ) = n = 0 a n T n also makes sense and defines an operator on X satisfying f ( T ) ~ = f ( T ~ ) . The following is a variant of Theorem 3.1 when 𝕂 = ℝ.

Lemma 3.6

Let X be a real Banach space and TL(X) be an operator such that σ P ( T ~ ) = . Then the set L1–1(X) is strongly 𝔠-algebrable.

Proof

Observe that Lemma 3.3 also works when the linear algebra 𝓐 generated by the functions Er (r ∈ Η) is considered over 𝕂 = ℝ. Then this algebra is also freely 𝔠-generated and, since H ⊂ ℝ, all its members are entire functions with real Taylor coefficients. As in the proof of Theorem 3.1 we get that the family B := { f ( T ~ ) : f A } is a 𝔠-generated free algebra satisfying B { 0 } L 1 1 ( X ~ ) Let us prove that the algebra

B 1 = { f ( T ) : f A }

is freely generated by the operators Er (T) (rΗ). To this end, let us fix, as in the last part of the proof of Theorem 3.1, functions E r 1 , . . . , E r N as well as a polynomial Q with degree N, but this time with real coefficients. Let F := Q ( E r 1 , , E r N ) and assume that F(T) = 0. Then F ( T ~ ) = F ( T ) ~ = 0 ~ = 0 , so F = 0 as in the mentioned proof. Hence Q = 0 because 𝓐 was freely generated by the Er’s. Finally, each operator f(T) ∈ 𝓑1 \ {0} is one-to-one because, otherwise, there would exist xΧ \ {0} with f(T)x = 0. This would imply that the nonzero vector ( x , 0 ) X ~ satisfies

f ( T ~ ) ( x , 0 ) = f ( T ) ~ ( x , 0 ) = ( f ( T ) x , f ( T ) 0 ) = ( 0 , 0 ) ,

which contradicts the injectivity of f ( T ~ ) . The proof is finished.

We are now ready to show that separability is enough to guarantee algebrability for our family of one-to-one operators.

Theorem 3.7

Assume that X is a separable infinite dimensional Banach space. Then L1–1(X) is strongly 𝔠-algebrable.

Proof. Choose a pair of sequences {en}n≥1X and {φn}n≥1X* with the properties given in Theorem 3.4. Define the mapping

(1) T : x X n = 1 1 2 n φ n ( x ) e n + 1 X .

From property (c) in Theorem 3.4, it follows that

(2) n = 1 1 2 n φ n ( x ) e n + 1 sup n N φ n x < .

Since X is a complete space, (2) shows that the series in (1) converges to a vector of X, so T is well defined. Trivially, T is linear and, by (2), ||Tx|| ≤ C||x|| (xX) with C = supn∈ ℕ ||φn|| < . In other words, TL(X).

Let us show that T lacks eigenvalues. Assume, by way of contradiction, that there is a ∈ σP(T). Then there exists xX \ {0} such that

(3) n=112nφn(x)en+1=ax.

If we let φ1 act on both members of (3) then we get 0 = a φ1(x), thanks to property (a) in Theorem 3.4. Suppose first that a ≠ 0. This implies φ1(x) = 0. By making φ2 act on (3), we obtain 1 2 φ 1 ( x ) = a φ 2 ( x ) , hence φ2(x) = 0. With this procedure, we successively derive φn(x) = 0 for all n ∈ ℕ. It follows from property (b) in Theorem 3.4 that x = 0, which is absurd. Then a = 0 and Tx = 0. Letting φm+1(m ≥ 1) act on (3), we get 1 2 m φ m ( x ) = 0 , so φn(x) = 0 for all n ∈ ℕ, which again implies x = 0, a contradiction. Hence σP(Τ) = ∅. This is valid in both cases 𝕂 = ℝ and 𝕂 = ℂ.

According to Theorem 3.1, L1–1(X) is strongly 𝔠-algebrable if 𝕂 = ℂ. Finally, we will prove by using Lemma 3.6 that the conclusion also holds if 𝕂 = ℝ. All that we have to show is σ P ( T ~ ) = . Assume, contrariwise, that there is c = a + ib ∈ ℂ as well as a vector z = ( x , y ) X ~ { ( 0 , 0 ) } such that T ~ z = c z . Then Tx = axby and Ty = bx + ay. Note that if a = 0 = b then Tx = 0 = Τ y, in which case 0 ∈ σP (Τ) = ∅, which is absurd. Consequently, c ≠ 0 or, that is the same, a2 + b2 ≠ 0. Therefore we have that for some (a, b) ≠ (0, 0) and some (x, y) ≠ (0, 0) the following holds:

(4) n = 1 1 2 n φ n ( x ) e n + 1 = a x b y and n = 1 1 2 n φ n ( y ) e n + 1 = b x + a y .

Letting φ1 and then φm+1(m ∈ ℕ) act on both equalities of (4) we obtain

(5) a φ 1 ( x ) b φ 1 ( y ) = 0 , b φ 1 ( x ) + a φ 1 ( y ) = 0 , and a φ m + 1 ( x ) b φ m + 1 ( y ) = 2 m φ m ( x ) ,

(6) b φ m + 1 ( x ) + a φ m + 1 ( y ) = 2 m φ m ( y ) .

Since (5) is a homogeneous linear system in the unknowns φ1(x), φ1(y) whose determinant is a2 + b2 ≠ 0, one derives φ1(x)= 0 = φ1(y). By proceeding recursively and assuming φm(x)= 0 = φm(y) for an m ∈ ℕ, one finds that (6) is, again, a homogeneous linear system with determinant a2 + b2 ≠ 0. Hence its unique solution is φm+1(x) = 0 = φm+1(y). To summarize, φm(x)= 0 = φm(y) for all m ∈ ℕ, from which it follows that (x, y) = (0, 0) because of Theorem 3.4(b). This contradiction concludes the proof.

Remarks 3.8

1. In particular L1–1(X) is lineable under the assumptions of Theorem 3.7. Notice that our approach is radically different from that of Theorem 1.3 given in [4, Theorem 2.12]. Observe also that this theorem is strengthened in a double direction: the conclusion is reinforced and extended, and our assumptions are weaker because every Banach space with a Schauder basis is separable but, as Enflo proved in [14], the reverse is not true.

2. The conclusion of Theorem 3.7 is optimal, in terms of the cardinality of the generating family of operators. Indeed, since X is separable, it follows that card(X) = 𝔠. Again by separability, card(C (X)) = 𝔠. Hence card(L(X)) = 𝔠 because this cardinality lies between card(X) cand card(C(X)). Then the cardinality of the generating set of the algebra founded in heorem 3.7 is optimal.

Let us give an example of an application of Theorem 3.1 that cannot be derived from Theorem 3.7. Assume that Ω is a topological space and that X is a Banach space of continuous functions Ω → 𝕂. Assume that m : Ω → ℝ is a function such that mfX for all fX. Then the mapping

f X m f X

is well defined and linear, so it defines an operator MmL(X) (the multiplication operator by m) due to the closed graph theorem. Instances of such spaces are the space Χ 1of all continuous functions [0, 1] → 𝕂 (endowed with the supremum norm || · ||) and the space X2of functions [0, 1] → 𝕂 that are continuous and of bounded variation (endowed with the total variation norm ||f|| = |f(0)| + Var[0,1](f)). Notice that Χ1 is separable, while X2 is not. Since each of these spaces Xi is in fact a Banach algebra, one can choose as m any member of Xi. We impose, in addition, that every a-point set m–1({a}) (a ∈ 𝕂) has empty interior in Ω (for instance, take m(x) = x in the above examples X = X1, X2). Then

(9) σ P ( M m ) = and , if K = R , σ P ( M m ~ ) = .

Theorem 3.1 yields that L1–1(X) is strongly 𝔠-algebrable. It is enough to prove (9). With this aim, assume that there exists λσP (Mm), so that there is fX \ {0} with m f = λ f. By continuity, there is a nonempty open set G ⊂ Ω such that f(x) ≠ 0 for all xG. Then m = λ on G, hence m–1 ({λ}) has nonempty interior, a contradiction. Finally, suppose that 𝕂 = ℝ and that there exists λ = a + b i σ P ( M m ~ ) , so that there are functions f, gX with (f, g) ≠ (0, 0) satisfying m f = a fbg and m g = bf + ag. Fix x ∈ Ω \ m–1 ({a}). It follows that

( m ( x ) a ) f ( x ) + b g ( x ) = 0 and b f ( x ) + ( m ( x ) a ) g ( x ) = 0.

The determinant of this homogeneous linear system with unknowns f(x), g(x) is (m(x) – a)2 + b2, which is nonzero because m(x) ≠ a. Then its unique solution is (f(x), g(x)) = (0, 0). Therefore f = 0 and g = 0 on the dense set Ω \ m–1({a}). By continuity, f = 0 = g, that again is a contradiction.

In order to furnish another class of Banach spaces to which Theorem 3.1 applies, we need to recall a concept and some properties coming from hypercyclicity, for whose general theory and results (updated up to 2011) we refer the reader to the excellent books [15] and [16]. If X is a (Hausdorff) topological vector space (over 𝕂 = ℝ or ℂ) then an operator TL(X) is said to be hypercyclic if it possesses a dense orbit, that is, if there is a vector x0X, called hypercyclic for T, such that the set

{ T n x 0 : n 1 } is dense in X .

It is evident that if X supports some hypercyclic operator then X must be separable. In addition, X cannot be finite dimensional. Conversely, if X is an infinite dimensional separable Fréchet (in particular, Banach) space then there is a hypercyclic operator ΤL(X); see, e.g., [16, Chap. 8].

Theorem 3.9

Assume that X is a complex Banach space that is the dual space of some separable infinite dimensional Banach space. Then L1–1(X) is strongly 𝔠-algebrable.

Proof. By hypothesis, there is a separable infinite dimensional Banach space Y such that X = Y*. Choose a hypercyclic operator SL(Y) and define TS*. But the adjoint of any hypercyclic operator has no eigenvalues: see, e.g., [16, Lemma 2.53(a)]. Thus, it suffices to apply Theorem 3.1.

Remarks 3.10

1. Theorem 3.9 covers important examples of nonseparable Banach spaces, such as 𝓁(ℂ) := {x = (xn)n≥1 ∈ ℂ: (xn)n≥1 is bounded} (under the norm ||x|| = supn≥1|xn|) and BV([0, 1],ℂ) := {f : [0, 1] → ℂ : f is of bounded variation} (under the total variation norm) because the former is the dual space of the space 𝓁1(ℂ) of all absolutely summable complex sequences, while the latter is the dual space of the space C([0, 1], ℂ) of continuous complex functions on [0, 1] (Riesz’s theorem).

2. We conjecture that Theorem 3.9 also holds for 𝕂 = ℝ. This is supported by the fact that any separable infinite dimensional Banach space Y supports a mixing operator S, that is, an operator satisfying the following property: for any pair U, V of nonempty open subsets of Y, there exists some Ν ∈ ℕ such that Sn(U)⋂ V ≠ Ø for all nΝ [16, Chap. 8]. This easily implies that S ~ is hypercyclic on Y ~ . Then σ P ( ( S ~ ) ) = . The handicap in order to apply Lemma 3.6 lies in the fact that we need σ P ( S ~ ) = , but ( S ~ ) acts on (Υ × Υ)*, while S ~ does so on Υ* × Υ*.

Despite the last remark, the big algebraic size of the family of injective operators on 𝓁(ℝ) happens to be true. In fact, an approach similar to that used in the proof of Theorem 3.7 shows the following.

Theorem 3.11

Let X be a Banach space that is a subset of the sequence space 𝕂. Assume that every member of the canonical unit sequence (en)n≥1 belongs to X and that the projections

φ m : x = ( x n ) n 1 X x m K ( m N )

are continuous. Then L1–1(X) is strongly 𝔠-algebrable.

Proof. Define Τ by

T : x = ( x n ) n 1 X n = 1 2 n φ n 1 e n + 1 1 x n e n + 1 X

and mimic the proof of Theorem 3.7. The details are left as an exercise.

If our Banach space is reflexive, a result due to H. Salas provides us with a dual pair of large algebras of one-to-one operators.

Theorem 3.12

Let X be a complex infinite dimensional separable reflexive Banach space. Then there are families 𝓕 ⊂ L(X), 𝓖 ⊂ L(X*) satisfying the following properties:

  1. 𝓕 and 𝓖 are commutative linear algebras.

  2. 𝓕 and 𝓖 are freely 𝔠-generated.

  3. Every member of 𝓕 or 𝓖 is injective.

  4. 𝓖 = {S* : S ∈ 𝓕}.

Proof. In 2007, Salas [17] proved that if X is an infinite dimensional Banach space whose dual X* is separable, then there exists a hypercyclic operator Τ on X such that its adjoint T* is also hypercyclic. Under our assumptions, X is, in addition, reflexive, so X = X** = (X*)* is separable. Hence X* is separable (because if the dual Y* of a Banach space Y is separable then Y is itself separable). Therefore we can find a hypercyclic operator ΤL(X) such that T* ∈ L(X*) is hypercyclic. From [16, Lemma 2.53(a)] we have

σ P ( T ) = a n d σ P ( T ) = σ P ( T ) = σ P ( ( T ) ) = .

Then Theorem 3.1 furnishes families 𝓕 ⊂ L(X), 𝓖 ⊂ L(X*) satisfying properties (a), (b) and (c). But it is known (see, e.g., [6, Chap. 1] or [7, Chap. 10]) that f(T*) = (f(T))* for every entire function f, hence by the construction given in the proof of Theorem 3.1 one obtains that (d) is also fulfilled.

We want to finish this paper by posing the following problem, which is in the same spirit as [4, Question 2.14].

Problem

Is L1–1(X) large –in any algebraic sense– for all infinite dimensional Banach spaces?

Acknowledgement

The author is grateful to the referee for helpful suggestions. The author has been supported by the Plan Andaluz de Investigación de la Junta de Andalucía FQM-127 Grant P08-FQM-03543 and by MEC Grant MTM2015-65242-C2-1-P.

References

[1] Bernal-González L., Pellegrino D., Seoane-Sepúlveda J.B., Linear subsets of nonlinear sets in topological vector spaces, Bull. Amer. Math. Soc., 2014, 51, 71-13010.1090/S0273-0979-2013-01421-6Search in Google Scholar

[2] Aron R.M., Bernal-González, L., Pellegrino D., Seoane-Sepúlveda J.B., Lineability: The search for linearity in Mathematics, Monographs and Research Notes in Mathematics, Chapman & Hall/CRC, Boca Raton, FL, 201610.1201/b19277Search in Google Scholar

[3] Gámez-Merino J.L., Muñoz-Fernández G.A., Sánchez V.M., Seoane-Sepúlveda J.B., Sierpiński-Zygmund functions and other problems on lineability, Proc. Amer. Math. Soc., 2010, 138, 3863-387610.1090/S0002-9939-2010-10420-3Search in Google Scholar

[4] Jiménez-Rodríguez P., Maghsoudi S., Muñoz Fernández G.A., Seoane-Sepúlveda J.B., Injective mappings in ℝ and lineability, Bull. Belgian Math. Soc. Simon Stevin, (in press)Search in Google Scholar

[5] Chae S.B., Holomorphy and Calculus in Normed Spaces, Marcel Dekker, New York, 1985Search in Google Scholar

[6] Dowson H.R., Spectral Theory of Linear Operators, Academic Press, London, 1978Search in Google Scholar

[7] Rudin W., Functional Analysis, 2nd ed., McGraw-Hill Book Co., New York, 1991Search in Google Scholar

[8] Bernal-González L., Calderón-Moreno, M.C., Large algebras of singular functions vanishing on prescribed sets, Results Math., (in press), DOI: 10.1007/s00025-016-0569-0DOI: 10.1007/s00025-016-0569-0Search in Google Scholar

[9] Balcerzak M., Bartoszewicz A., Filipczak M., Nonseparable spaceability and strong algebrability of sets of continuous singular functions, J. Math. Anal. Appl., 2013, 407, 263-26910.1016/j.jmaa.2013.05.019Search in Google Scholar

[10] Bartoszewicz A., Bienias M., Filipczak M., Gła̧b S., Strong c-algebrability of strong Sierpiński–Zygmund, smooth nowhere analytic and other sets of functions, J. Math. Anal. Appl., 2014, 412, 620-63010.1016/j.jmaa.2013.10.075Search in Google Scholar

[11] Bartoszewicz A., Gła̧b S., Large function algebras with certain topological properties, J. Function Spaces, 2015, Article ID 761924, 7 pages10.1155/2015/761924Search in Google Scholar

[12] García D., Grecu B.C., Maestre M., Seoane-Sepúlveda J.B., Infinite dimensional Banach spaces of functions with nonlinear properties, Math. Nachr., 2010, 283, 712-72010.1002/mana.200610833Search in Google Scholar

[13] Ovsepian R.I., Pelczynski A., On the existence of a fundamental total and bounded biorthogonal sequence in every separable Banach space, and related constructions of uniformly bounded orthogonal systems in L2, Studia Math., 1975, 54, 149-15910.4064/sm-54-2-149-159Search in Google Scholar

[14] Enflo P., A counterexample to the approximation property in Banach spaces, Acta Math., 1973, 130, 309-31710.1007/BF02392270Search in Google Scholar

[15] Bayart F., Matheron E., Dynamics of Linear Operators, Cambridge Tracts in Mathematics, Cambridge University Press, 200910.1017/CBO9780511581113Search in Google Scholar

[16] Grosse-Erdmann K.G., Peris A., Linear Chaos, Springer, London, 201110.1007/978-1-4471-2170-1Search in Google Scholar

[17] Salas H.N., Banach spaces with separable duals support dual hypercyclic operators, Glasgow Math. J., 2007, 49, 281-29010.1017/S0017089507003692Search in Google Scholar

Received: 2016-8-28
Accepted: 2016-9-8
Published Online: 2017-1-3

© 2016 Bernal-González

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 12.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0005/html
Scroll to top button