-
Locally solid convergence structures
Authors:
E. Bilokopytov,
J. Conradie,
V. G. Troitsky,
J. H. van der Walt
Abstract:
While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of convergence structures, we develop a theory of locally solid convergences, which generalize locally solid topologies but also includes many important non-topological co…
▽ More
While there is a well developed theory of locally solid topologies, many important convergences in vector lattice theory are not topological. Yet they share many properties with locally solid topologies. Building upon the theory of convergence structures, we develop a theory of locally solid convergences, which generalize locally solid topologies but also includes many important non-topological convergences on a vector lattice. We consider some natural modifications of such structures: unbounded, bounded, and Choquet. We also study some specific convergences in vector lattices from the perspective of locally solid convergence structures.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Atomicity of Boolean algebras and vector lattices in terms of order convergence
Authors:
Antonio Avilés,
Eugene Bilokopytov,
Vladimir G. Troitsky
Abstract:
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with respect to order convergence if and only the vector lattice is complete and atomic. Additionally we provide a direct proof of the fact that uo convergence on an…
▽ More
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with respect to order convergence if and only the vector lattice is complete and atomic. Additionally we provide a direct proof of the fact that uo convergence on an Archimedean vector lattice is induced by a topology if and only if the vector lattice is atomic.
△ Less
Submitted 5 March, 2024; v1 submitted 25 November, 2023;
originally announced November 2023.
-
A representation of sup-completion
Authors:
Achintya Raya Polavarapu,
Vladimir G. Troitsky
Abstract:
It was showed by Donner in 1982 that every order complete vector lattice $X$ may be embedded into a cone $X^s$, called the sup-completion of $X$. We show that if one represents the universal completion of $X$ as $C^\infty(K)$, then $X^s$ is the set of all continuous functions from $K$ to $[-\infty,\infty]$ that dominate some element of $X$. This provides a functional representation of $X^s$, as we…
▽ More
It was showed by Donner in 1982 that every order complete vector lattice $X$ may be embedded into a cone $X^s$, called the sup-completion of $X$. We show that if one represents the universal completion of $X$ as $C^\infty(K)$, then $X^s$ is the set of all continuous functions from $K$ to $[-\infty,\infty]$ that dominate some element of $X$. This provides a functional representation of $X^s$, as well as an easy alternative proof of its existence.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Uniformly closed sublattices of finite codimension
Authors:
Eugene Bilokopytov,
Vladimir G. Troitsky
Abstract:
The paper investigates uniformly closed subspaces, sublattices, and ideals of finite codimension in Archimedean vector lattices. It is shown that every uniformly closed subspace (or sublattice) of finite codimension may be written as an intersection of uniformly closed subspaces (respectively, sublattices) of codimension one. Every uniformly closed sublattice of codimension $n$ contains a uniforml…
▽ More
The paper investigates uniformly closed subspaces, sublattices, and ideals of finite codimension in Archimedean vector lattices. It is shown that every uniformly closed subspace (or sublattice) of finite codimension may be written as an intersection of uniformly closed subspaces (respectively, sublattices) of codimension one. Every uniformly closed sublattice of codimension $n$ contains a uniformly closed ideal of codimension at most $2n$. If the vector lattice is uniformly complete then every ideal of finite codimension is uniformly closed. Results of the paper extend (and are motivated by) results of [AL90a,AL90b] and , as well as Kakutani's characterization of closed sublattices of $C(K)$ spaces.
△ Less
Submitted 12 March, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Free Banach lattices
Authors:
T. Oikhberg,
M. A. Taylor,
P. Tradacete,
V. G. Troitsky
Abstract:
We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how properties of an operator $T:E\rightarrow F$ between Banach spaces transfer to the associated lattice homomorphism…
▽ More
We investigate the structure of the free $p$-convex Banach lattice $FBL^{(p)}[E]$ over a Banach space $E$. After recalling why such a free lattice exists, and giving a convenient functional representation of it, we focus our study on how properties of an operator $T:E\rightarrow F$ between Banach spaces transfer to the associated lattice homomorphism $\overline{T}:FBL^{(p)}[E]\rightarrow FBL^{(p)}[F]$. Particular consideration is devoted to the case when the operator $T$ is an isomorphic embedding, which leads us to examine extension properties of operators into $\ell_p$, and several classical Banach space properties such as being a G.T. space. A detailed investigation of basic sequences and sublattices of free Banach lattices is provided. In addition, we begin to build a dictionary between Banach space properties of $E$ and Banach lattice properties of $FBL^{(p)}[E]$. In particular, we characterize the existence of lattice copies of $\ell_1$ in $FBL^{(p)}[E]$ and show that $FBL[E]$ has an upper $p$-estimate if and only if $id_{E^*}$ is $(q,1)$-summing ($\frac{1}{p}+\frac{1}{q}=1$). We also highlight the significant differences between $FBL^{(p)}$-spaces depending on whether $p$ is finite or infinite. For example, we show that $FBL^{(\infty)}[E]$ is lattice isometric to $FBL^{(\infty)}[F]$ whenever $E$ and $F$ have monotone finite dimensional decompositions, while, on the other hand, when $p<\infty$ and $E^*$ is smooth, $FBL^{(p)}[E]$ determines $E$ isometrically.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Order and uo-convergence in spaces of continuous functions
Authors:
Eugene Bilokopytov,
Vladimir G. Troitsky
Abstract:
We present several characterizations of uo-convergent nets or sequences in spaces of continuous functions $C(Ω)$, $C_b(Ω)$, $C_0(Ω)$, and $C^\infty(Ω)$, extending results of [vdW18]. In particular, it is shown that a sequence uo-converges iff it converges pointwise on a co-meagre set. We also characterize order bounded sets in spaces of continuous functions. This leads to characterizations of orde…
▽ More
We present several characterizations of uo-convergent nets or sequences in spaces of continuous functions $C(Ω)$, $C_b(Ω)$, $C_0(Ω)$, and $C^\infty(Ω)$, extending results of [vdW18]. In particular, it is shown that a sequence uo-converges iff it converges pointwise on a co-meagre set. We also characterize order bounded sets in spaces of continuous functions. This leads to characterizations of order convergence.
△ Less
Submitted 16 October, 2021;
originally announced October 2021.
-
Net convergence structures with applications to vector lattices
Authors:
M. O'Brien,
V. G. Troitsky,
J. H. van der Walt
Abstract:
Convergence is a fundamental topic in analysis that is most commonly modelled using topology. However, there are many natural convergences that are not given by any topology; e.g., convergence almost everywhere of a sequence of measurable functions and order convergence of nets in vector lattices. The theory of convergence structures provides a framework for studying more general modes of converge…
▽ More
Convergence is a fundamental topic in analysis that is most commonly modelled using topology. However, there are many natural convergences that are not given by any topology; e.g., convergence almost everywhere of a sequence of measurable functions and order convergence of nets in vector lattices. The theory of convergence structures provides a framework for studying more general modes of convergence. It also has one particularly striking feature: it is formalized using the language of filters. This paper develops a general theory of convergence in terms of nets. We show that it is equivalent to the filter-based theory and present some translations between the two areas. In particular, we provide a characterization of pretopological convergence structures in terms of nets. We also use our results to unify certain topics in vector lattices with general convergence theory.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Free Banach lattices under convexity conditions
Authors:
Héctor Jardón-Sánchez,
Niels Jakob Laustsen,
Mitchell A. Taylor,
Pedro Tradacete,
Vladimir G. Troitsky
Abstract:
We prove the existence of free objects in certain subcategories of Banach lattices, including $p$-convex Banach lattices, Banach lattices with upper $p$-estimates, and AM-spaces. From this we immediately deduce that projectively universal objects exist in each of these subcategories, extending results of Leung, Li, Oikhberg and Tursi (\emph{Israel J.\ Math.}~2019). In the $p$-con\-vex and AM-space…
▽ More
We prove the existence of free objects in certain subcategories of Banach lattices, including $p$-convex Banach lattices, Banach lattices with upper $p$-estimates, and AM-spaces. From this we immediately deduce that projectively universal objects exist in each of these subcategories, extending results of Leung, Li, Oikhberg and Tursi (\emph{Israel J.\ Math.}~2019). In the $p$-con\-vex and AM-space cases, we are able to explicitly identify the norms of the free Banach lattices, and we conclude by investigating the structure of these norms in connection with nonlinear $p$-summing maps.
△ Less
Submitted 12 January, 2021; v1 submitted 10 January, 2021;
originally announced January 2021.
-
Bibasic sequences in Banach lattices
Authors:
M. A. Taylor,
V. G. Troitsky
Abstract:
Given a Schauder basic sequence $(x_k)$ in a Banach lattice, we say that $(x_k)$ is bibasic if the expansion of every vector in $[x_k]$ converges not only in norm, but also in order. We prove that, in this definition, order convergence may be replaced with uniform convergence, with order boundedness of the partial sums, or with norm boundedness of finite suprema of the partial sums.
The results…
▽ More
Given a Schauder basic sequence $(x_k)$ in a Banach lattice, we say that $(x_k)$ is bibasic if the expansion of every vector in $[x_k]$ converges not only in norm, but also in order. We prove that, in this definition, order convergence may be replaced with uniform convergence, with order boundedness of the partial sums, or with norm boundedness of finite suprema of the partial sums.
The results in this paper extend and unify those from the pioneering paper "Order Schauder bases in Banach lattices" by A.Gumenchuk et al. In particular, we are able to characterize bibasic sequences in terms of the bibasis inequality, a result they obtained under certain additional assumptions.
We then embark on a deeper study of their properties. We show that they are independent of ambient space, stable under small perturbations, and preserved under sequentially uniformly continuous norm isomorphic embeddings. We consider several special kinds of bibasic sequences, including permutable sequences, i.e., sequences for which every permutation is bibasic, and absolute sequences, i.e., sequences where expansions remain convergent after we replace every term with its modulus. We provide several equivalent characterizations of absolute sequences, showing how they relate to bibases and to further modifications of the basis inequality.
We further consider bibasic sequences with unique order expansions. We show that this property does generally depend on ambient space, but not for the inclusion of $c_0$ into $\ell_\infty$. We also show that small perturbations of bibases with unique order expansions have unique order expansions, but this is not true if "bibases" is replaced with "bibasic sequences".
Finally, we consider uo-bibasic sequences, which are obtained by replacing order convergence with uo-convergence in the definition of a bibasic sequence. We show that such sequences are very common.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Simple constructions of $\mathrm{FBL}(A)$ and $\mathrm{FBL}[E]$
Authors:
V. G. Troitsky
Abstract:
We show that the free Banach lattice $\mathrm{FBL}(A)$ may be constructed as the completion of $\mathrm{FVL}(A)$ with respect to the maximal lattice seminorm $ν$ on $\mathrm{FVL}(A)$ with $ν(a)\le 1$ for all $a\in A$. We present a similar construction for the free Banach lattice $\mathrm{FBL}[E]$ generated by a Banach space $E$.
We show that the free Banach lattice $\mathrm{FBL}(A)$ may be constructed as the completion of $\mathrm{FVL}(A)$ with respect to the maximal lattice seminorm $ν$ on $\mathrm{FVL}(A)$ with $ν(a)\le 1$ for all $a\in A$. We present a similar construction for the free Banach lattice $\mathrm{FBL}[E]$ generated by a Banach space $E$.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
Vector lattices admitting a positively homogeneous continuous function calculus
Authors:
Niels Jakob Laustsen,
Vladimir G. Troitsky
Abstract:
We characterize the Archimedean vector lattices that admit a positively homogeneous continuous function calculus by showing that the following two conditions are equivalent for each $n$-tuple $\boldsymbol{x} = (x_1,\ldots,x_n)\in X^n$, where $X$ is an Archimedean vector lattice and $n\in\mathbb N$:
- there is a vector lattice homomorphism $Φ_{\boldsymbol{x}}\colon H_n\to X$ such that…
▽ More
We characterize the Archimedean vector lattices that admit a positively homogeneous continuous function calculus by showing that the following two conditions are equivalent for each $n$-tuple $\boldsymbol{x} = (x_1,\ldots,x_n)\in X^n$, where $X$ is an Archimedean vector lattice and $n\in\mathbb N$:
- there is a vector lattice homomorphism $Φ_{\boldsymbol{x}}\colon H_n\to X$ such that $Φ_{\boldsymbol{x}}(π_i^{(n)})=x_i$ $(i\in\{1,\ldots,n\})$, where $H_n$ denotes the vector lattice of positively homogeneous, continuous, real-valued functions defined on $\mathbb R^n$ and $π_i^{(n)}\colon\mathbb R^n\to\mathbb R$ is the $i^{\text{th}}$ coordinate projection;
- there is a positive element $e\in X$ such that $e\geqslant\lvert x_1\rvert\vee\cdots\vee\lvert x_n\rvert$ and the norm $\lVert x\rVert_e = \inf\bigl\{λ\in[0,\infty)\:\colon\:\lvert x\rvert\leλe\bigr\}$, defined for each $x$ in the order ideal $I_e$ of $X$ generated by $e$, is complete when restricted to the closed sublattice of $I_e$ generated by $x_1,\ldots,x_n$.
Moreover, we show that a vector space which admits a `sufficiently strong' $H_n$-function calculus for each $n\in\mathbb N$ is automatically a vector lattice, and we explore the situation in the non-Archimedean case by showing that some non-Archimedean vector lattices admit a positively homogeneous continuous function calculus, while others do not.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
Krivine's Function Calculus and Bochner integration
Authors:
Vladimir G Troitsky,
Mehmet Selçuk Türer
Abstract:
We prove that Krivine's Function Calculus is compatible with integration. Let $(Ω,Σ,μ)$ be a finite measure space, $X$ a Banach lattice, $x\in X^n$, and $f\colon\mathbb R^n\timesΩ\to\mathbb R$ a function such that $f(\cdot,ω)$ is continuous and positively homogeneous for every $ω\inΩ$, and $f(s,\cdot)$ is integrable for every $s\in\mathbb R^n$. Put $F(s)=\int f(s,ω)dμ(ω)$ and define $F(x)$ and…
▽ More
We prove that Krivine's Function Calculus is compatible with integration. Let $(Ω,Σ,μ)$ be a finite measure space, $X$ a Banach lattice, $x\in X^n$, and $f\colon\mathbb R^n\timesΩ\to\mathbb R$ a function such that $f(\cdot,ω)$ is continuous and positively homogeneous for every $ω\inΩ$, and $f(s,\cdot)$ is integrable for every $s\in\mathbb R^n$. Put $F(s)=\int f(s,ω)dμ(ω)$ and define $F(x)$ and $f(x,ω)$ via Krivine's Function Calculus. We prove that under certain natural assumptions $F(x)=\int f(x,ω)dμ(ω)$, where the right hand side is a Bochner integral.
△ Less
Submitted 22 January, 2019; v1 submitted 26 December, 2017;
originally announced December 2017.
-
Unbounded norm topology beyond normed lattices
Authors:
M. Kandić,
H. Li,
V. G. Troitsky
Abstract:
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_α)$ un-converges to $y$ in $Y$ with respect to $X$ if $\Bigl\lVert\lvert y_α-y\rvert \wedge x\Bigr\rVert\to 0$ for every $x\in X_+$. We extend several known results about un-convergence and un-topology…
▽ More
In this paper, we generalize the concept of unbounded norm (un) convergence: let $X$ be a normed lattice and $Y$ a vector lattice such that $X$ is an order dense ideal in $Y$; we say that a net $(y_α)$ un-converges to $y$ in $Y$ with respect to $X$ if $\Bigl\lVert\lvert y_α-y\rvert \wedge x\Bigr\rVert\to 0$ for every $x\in X_+$. We extend several known results about un-convergence and un-topology to this new setting. We consider the special case when $Y$ is the universal completion of $X$. If $Y=L_0(μ)$, the space of all $μ$-measurable functions, and $X$ is an order continuous Banach function space in $Y$, then the un-convergence on $Y$ agrees with the convergence in measure. If $X$ is atomic and order complete and $Y=\mathbb R^A$ then the un-convergence on $Y$ agrees with the coordinate-wise convergence.
△ Less
Submitted 23 October, 2017; v1 submitted 30 March, 2017;
originally announced March 2017.
-
Unbounded Norm Topology in Banach Lattices
Authors:
M. Kandić,
M. A. A. Marabeh,
V. G. Troitsky
Abstract:
A net $(x_α)$ in a Banach lattice $X$ is said to un-converge to a vector $x$ if $\bigl\lVert\lvert x_α-x\rvert\wedge u\bigr\rVert\to 0$ for every $u\in X_+$. In this paper, we investigate un-topology, i.e., the topology that corresponds to un-convergence. We show that un-topology agrees with the norm topology iff $X$ has a strong unit. Un-topology is metrizable iff $X$ has a quasi-interior point.…
▽ More
A net $(x_α)$ in a Banach lattice $X$ is said to un-converge to a vector $x$ if $\bigl\lVert\lvert x_α-x\rvert\wedge u\bigr\rVert\to 0$ for every $u\in X_+$. In this paper, we investigate un-topology, i.e., the topology that corresponds to un-convergence. We show that un-topology agrees with the norm topology iff $X$ has a strong unit. Un-topology is metrizable iff $X$ has a quasi-interior point. Suppose that $X$ is order continuous, then un-topology is locally convex iff $X$ is atomic. An order continuous Banach lattice $X$ is a KB-space iff its closed unit ball $B_X$ is un-complete. For a Banach lattice $X$, $B_X$ is un-compact iff $X$ is an atomic KB-space. We also study un-compact operators and the relationship between un-convergence and weak*-convergence.
△ Less
Submitted 21 January, 2017; v1 submitted 19 August, 2016;
originally announced August 2016.
-
Unbounded Norm Convergence in Banach Lattices
Authors:
Y. Deng,
M. O'Brien,
V. G. Troitsky
Abstract:
A net $(x_α)$ in a vector lattice $X$ is unbounded order convergent to $x \in X$ if $\lvert x_α- x\rvert \wedge u$ converges to $0$ in order for all $u\in X_+$. This convergence has been investigated and applied in several recent papers by Gao et al. It may be viewed as a generalization of almost everywhere convergence to general vector lattices. In this paper, we study a variation of this converg…
▽ More
A net $(x_α)$ in a vector lattice $X$ is unbounded order convergent to $x \in X$ if $\lvert x_α- x\rvert \wedge u$ converges to $0$ in order for all $u\in X_+$. This convergence has been investigated and applied in several recent papers by Gao et al. It may be viewed as a generalization of almost everywhere convergence to general vector lattices. In this paper, we study a variation of this convergence for Banach lattices. A net $(x_α)$ in a Banach lattice $X$ is unbounded norm convergent to $x$ if $\lVert\lvert x_α- x\rvert \wedge u\rVert\to 0$ for all $u\in X_+$. We show that this convergence may be viewed as a generalization of convergence in measure. We also investigate its relationship with other convergences.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Locally piecewise affine functions and their order structure
Authors:
Samer Adeeb,
Vladimir G. Troitsky
Abstract:
Piecewise affine functions on subsets of $\mathbb R^m$ were studied in \cite{Ovchinnikov:02,Aliprantis:06a,Aliprantis:07a,Aliprantis:07}. In this paper we study a more general concept of a locally piecewise affine function. We characterize locally piecewise affine functions in terms of components and regions. We prove that a positive function is locally piecewise affine iff it is the supremum of a…
▽ More
Piecewise affine functions on subsets of $\mathbb R^m$ were studied in \cite{Ovchinnikov:02,Aliprantis:06a,Aliprantis:07a,Aliprantis:07}. In this paper we study a more general concept of a locally piecewise affine function. We characterize locally piecewise affine functions in terms of components and regions. We prove that a positive function is locally piecewise affine iff it is the supremum of a locally finite sequence of piecewise affine functions. We prove that locally piecewise affine functions are uniformly dense in $C(\mathbb R^m)$, while piecewise affine functions are sequentially order dense in $C(\mathbb R^m)$.
This paper is partially based on \cite{Adeeb:14}.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Uo-convergence and its applications to Cesàro means in Banach lattices
Authors:
Niushan Gao,
Vladimir G. Troitsky,
Foivos Xanthos
Abstract:
A net $(x_α)$ in a vector lattice $X$ is said to uo-converge to $x$ if $|x_α-x|\wedge u\xrightarrow{\rm o}0$ for every $u\ge 0$. In the first part of this paper, we study some functional-analytic aspects of uo-convergence. We prove that uo-convergence is stable under passing to and from regular sublattices. This fact leads to numerous applications presented throughout the paper. In particular, it…
▽ More
A net $(x_α)$ in a vector lattice $X$ is said to uo-converge to $x$ if $|x_α-x|\wedge u\xrightarrow{\rm o}0$ for every $u\ge 0$. In the first part of this paper, we study some functional-analytic aspects of uo-convergence. We prove that uo-convergence is stable under passing to and from regular sublattices. This fact leads to numerous applications presented throughout the paper. In particular, it allows us to improve several results in [26,27]. In the second part, we use uo-convergence to study convergence of Cesàro means in Banach lattices. In particular, we establish an intrinsic version of Komlós' Theorem, which extends the main results of [35,16,31] in a uniform way. We also develop a new and unified approach to Banach-Saks properties and Banach-Saks operators based on uo-convergence. This approach yields, in particular, short direct proofs of several results in [21,24,25].
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Spaces of regular abstract martingales
Authors:
Vladimir G. Troitsky,
Foivos Xanthos
Abstract:
In \cite{Troitsky:05,Korostenski:08}, the authors introduced and studied the space $\mathcal M_r$ of regular martingales on a vector lattice and the space $M_r$ of bounded regular martingales on a Banach lattice. In this note, we study these two spaces from the vector lattice point of view. We show, in particular, that these spaces need not be vector lattices. However, if the underlying space is o…
▽ More
In \cite{Troitsky:05,Korostenski:08}, the authors introduced and studied the space $\mathcal M_r$ of regular martingales on a vector lattice and the space $M_r$ of bounded regular martingales on a Banach lattice. In this note, we study these two spaces from the vector lattice point of view. We show, in particular, that these spaces need not be vector lattices. However, if the underlying space is order complete then $\mathcal M_r$ is a vector lattice and $M_r$ is a Banach lattice under the regular norm.
△ Less
Submitted 7 January, 2015;
originally announced January 2015.
-
Fremlin Tensor Products of Concavifications of Banach Lattices
Authors:
Vladimir G. Troitsky,
Omid Zabeti
Abstract:
Suppose that $E$ is a uniformly complete vector lattice and $p_1,..., p_n$ are positive reals. We prove that the diagonal of the Fremlin projective tensor product of $E_{(p_1)},..., E_{(p_n)}$ can be identified with $E_{(p)}$ where $p = p_1+...+p_n$ and $E_{(p)}$ stands for the $p$-concavification of $E$. We also provide a variant of this result for Banach lattices. This extends the main result of…
▽ More
Suppose that $E$ is a uniformly complete vector lattice and $p_1,..., p_n$ are positive reals. We prove that the diagonal of the Fremlin projective tensor product of $E_{(p_1)},..., E_{(p_n)}$ can be identified with $E_{(p)}$ where $p = p_1+...+p_n$ and $E_{(p)}$ stands for the $p$-concavification of $E$. We also provide a variant of this result for Banach lattices. This extends the main result of [BBPTT].
△ Less
Submitted 4 January, 2013;
originally announced January 2013.
-
Irreducible Semigroups of Positive Operators on Banach Lattices
Authors:
Niushan Gao,
Vladimir G. Troitsky
Abstract:
The classical Perron-Frobenius theory asserts that an irreducible matrix $A$ has cyclic peripheral spectrum and its spectral radius $r(A)$ is an eigenvalue corresponding to a positive eigenvector. In Radjavi (1999) and Radjavi and Rosenthal (2000), this was extended to semigroups of matrices and of compact operators on $L_p$-spaces. We extend this approach to operators on an arbitrary Banach latti…
▽ More
The classical Perron-Frobenius theory asserts that an irreducible matrix $A$ has cyclic peripheral spectrum and its spectral radius $r(A)$ is an eigenvalue corresponding to a positive eigenvector. In Radjavi (1999) and Radjavi and Rosenthal (2000), this was extended to semigroups of matrices and of compact operators on $L_p$-spaces. We extend this approach to operators on an arbitrary Banach lattice $X$. We prove, in particular, that if $\iS$ is a commutative irreducible semigroup of positive operators on $X$ containing a compact operator $T$ then there exist positive disjoint vectors $x_1,...,x_r$ in $X$ such that every operator in $\iS$ acts as a positive scalar multiple of a permutation on $x_1,...,x_r$. Compactness of $T$ may be replaced with the assumption that $T$ is peripherally Riesz, i.e., the peripheral spectrum of $T$ is separated from the rest of the spectrum and the corresponding spectral subspace $X_1$ is finite dimensional. Applying the results to the semigroup generated an irreducible peripherally Riesz operator $T$, we show that $T$ is a cyclic permutation on $x_1,...,x_r$, $X_1=\Span{x_1,...,x_r}$, and if $S=\lim_j b_jT^{n_j}$ for some $(b_j)$ in $\mathbb R_+$ and $n_j\to\infty$ then $S=c(T_{|X_1})^k\oplus 0$ for some $c\ge 0$ and $0\le k<r$. We also extend results of Abramovich et al. (1992) and Grobler (1995) about peripheral spectra of irreducible operators.
△ Less
Submitted 16 August, 2012;
originally announced August 2012.
-
The 2-concavification of a Banach lattice equals the diagonal of the Fremlin tensor square
Authors:
Qingying Bu,
Gerard Buskes,
Alexey I. Popov,
Adi Tcaciuc,
Vladimir G. Troitsky
Abstract:
We investigate the relationship between the diagonal of the Fremlin projective tensor product of a Banach lattice $E$ with itself and the 2-concavification of $E$.
We investigate the relationship between the diagonal of the Fremlin projective tensor product of a Banach lattice $E$ with itself and the 2-concavification of $E$.
△ Less
Submitted 25 September, 2011;
originally announced September 2011.
-
Norm closed operator ideals in Lorentz sequence spaces
Authors:
Anna Kaminska,
Alexey I. Popov,
Eugeniu Spinu,
Adi Tcaciuc,
Vladimir G. Troitsky
Abstract:
In this paper, we study the structure of closed algebraic ideals in the algebra of operators acting on a Lorentz sequence space.
In this paper, we study the structure of closed algebraic ideals in the algebra of operators acting on a Lorentz sequence space.
△ Less
Submitted 30 August, 2011;
originally announced August 2011.
-
Almost invariant half-spaces of operators on Banach spaces
Authors:
George Androulakis,
Alexey I. Popov,
Adi Tcaciuc,
Vladimir G. Troitsky
Abstract:
We introduce and study the following modified version of the Invariant Subspace Problem: whether every operator T on a Banach space has an almost invariant half-space, that is, a subspace Y of infinite dimension and infinite codimension such that Y is of finite codimension in T(Y). We solve this problem in the affirmative for a large class of operators which includes quasinilpotent weighted shif…
▽ More
We introduce and study the following modified version of the Invariant Subspace Problem: whether every operator T on a Banach space has an almost invariant half-space, that is, a subspace Y of infinite dimension and infinite codimension such that Y is of finite codimension in T(Y). We solve this problem in the affirmative for a large class of operators which includes quasinilpotent weighted shift operators on l_p (1 \le p < \infty) or c_0.
△ Less
Submitted 6 January, 2009;
originally announced January 2009.
-
A version of Lomonosov's theorem for collections of positive operators
Authors:
Alexey I. Popov,
Vladimir G. Troitsky
Abstract:
It is known that for every Banach space X and every proper WOT-closed subalgebra A of L(X), if A contains a compact operator then it is not transitive. That is, there exist non-zero x in X and f in X* such that f(Tx)=0 for all T in A. In the case of algebras of adjoint operators on a dual Banach space, V.Lomonosov extended this as follows: without having a compact operator in the algebra, |f(Tx)…
▽ More
It is known that for every Banach space X and every proper WOT-closed subalgebra A of L(X), if A contains a compact operator then it is not transitive. That is, there exist non-zero x in X and f in X* such that f(Tx)=0 for all T in A. In the case of algebras of adjoint operators on a dual Banach space, V.Lomonosov extended this as follows: without having a compact operator in the algebra, |f(Tx)| is less than or equal to the essential norm of the pre-adjoint operator T_* for all T in A. In this paper, we prove a similar extension (in case of adjoint operators) of a result of R.Drnovsek. Namely, we prove that if C is a collection of positive adjoint operators on a Banach lattice X satisfying certain conditions, then there exist non-zero positive x in X and f in X* such that f(Tx) is less than or equal to the essential norm of T_* for all T in C.
△ Less
Submitted 21 July, 2008;
originally announced July 2008.
-
Classes of strictly singular operators and their products
Authors:
George Androulakis,
Pandelis Dodos,
Gleb Sirotkin,
Vladimir G. Troitsky
Abstract:
V. D. Milman proved in \cite{Milman:70} that the product of two strictly singular operators on $L_p[0,1]$ ($1\le p<\infty$) or on $C[0,1]$ is compact. In this note we utilize Schreier families $§_ξ$ in order to define the class of $§_ξ$-strictly singular operators, and then we refine the technique of Milman to show that certain products of operators from this class are compact, under the assumpt…
▽ More
V. D. Milman proved in \cite{Milman:70} that the product of two strictly singular operators on $L_p[0,1]$ ($1\le p<\infty$) or on $C[0,1]$ is compact. In this note we utilize Schreier families $§_ξ$ in order to define the class of $§_ξ$-strictly singular operators, and then we refine the technique of Milman to show that certain products of operators from this class are compact, under the assumption that the underlying Banach space has finitely many equivalence classes of Schreier-spreading sequences. Finally we define the class of $§_ξ$-hereditarily indecomposable Banach spaces and we examine the operators on them.
△ Less
Submitted 19 December, 2006; v1 submitted 1 September, 2006;
originally announced September 2006.
-
On norm closed ideals in L(\ell_p\oplus\ell_q)
Authors:
B. Sari,
Th. Schlumprecht,
N. Tomczak-Jaegermann,
V. G. Troitsky
Abstract:
It is well known that the only proper non-trivial norm-closed ideal in the algebra L(X) for X=\ell_p (1 \le p < \infty) or X=c_0 is the ideal of compact operators. The next natural question is to describe all closed ideals of L(\ell_p\oplus\ell_q) for 1 \le p,q < \infty, p \neq q, or, equivalently, the closed ideals in L(\ell_p,\ell_q) for p < q. This paper shows that for 1 < p < 2 < q < \infty…
▽ More
It is well known that the only proper non-trivial norm-closed ideal in the algebra L(X) for X=\ell_p (1 \le p < \infty) or X=c_0 is the ideal of compact operators. The next natural question is to describe all closed ideals of L(\ell_p\oplus\ell_q) for 1 \le p,q < \infty, p \neq q, or, equivalently, the closed ideals in L(\ell_p,\ell_q) for p < q. This paper shows that for 1 < p < 2 < q < \infty there are at least four distinct proper closed ideals in L(\ell_p,\ell_q), including one that has not been studied before. The proofs use various methods from Banach space theory.
△ Less
Submitted 19 September, 2005;
originally announced September 2005.
-
Strictly semi-transitive operator algebras
Authors:
H. P. Rosenthal,
V. G. Troitsky
Abstract:
An algebra A of operators on a Banach space X is called strictly semi-transitive if for all non-zero x,y in X there exists an operator S in A such that Sx=y or Sy=x. We show that if A is norm-closed and strictly semi-transitive, then every A-invariant linear subspace is norm-closed. Moreover, Lat A is totally and well ordered by reverse inclusion. If X is complex and A is transitive and strictly…
▽ More
An algebra A of operators on a Banach space X is called strictly semi-transitive if for all non-zero x,y in X there exists an operator S in A such that Sx=y or Sy=x. We show that if A is norm-closed and strictly semi-transitive, then every A-invariant linear subspace is norm-closed. Moreover, Lat A is totally and well ordered by reverse inclusion. If X is complex and A is transitive and strictly semi-transitive, then A is WOT-dense in L(X). It is also shown that if A is an operator algebra on a complex Banach space with no invariant operator ranges, then A is WOT-dense in L(X). This generalizes a similar result for Hilbert spaces proved by Foias.
△ Less
Submitted 1 September, 2003;
originally announced September 2003.
-
Minimal vectors in arbitrary Banach spaces
Authors:
Vladimir G. Troitsky
Abstract:
We extend the method of minimal vectors to arbitrary Banach spaces. It is proved, by a variant of the method, that certain quasinilpotent operators on arbitrary Banach spaces have hyperinvariant subspaces.
We extend the method of minimal vectors to arbitrary Banach spaces. It is proved, by a variant of the method, that certain quasinilpotent operators on arbitrary Banach spaces have hyperinvariant subspaces.
△ Less
Submitted 23 January, 2003;
originally announced January 2003.
-
Measures of non-compactness of operators on Banach lattices
Authors:
Vladimir G. Troitsky
Abstract:
Andreu et al [2] and Sadovskii [11] used representation spaces to study measures of non-compactness and spectral radii of operators on Banach lattices. In this paper, we develop representation spaces based on the nonstandard hull construction (which is equivalent to the ultrapower construction). As a particular application, we present a simple proof and some extensions of the main result of de P…
▽ More
Andreu et al [2] and Sadovskii [11] used representation spaces to study measures of non-compactness and spectral radii of operators on Banach lattices. In this paper, we develop representation spaces based on the nonstandard hull construction (which is equivalent to the ultrapower construction). As a particular application, we present a simple proof and some extensions of the main result of de Pagter and Schep [6] on the monotonicity of the measure of non-compactness and the spectral radius of AM-compact operators. We also use the representation spaces to characterize d-convergence and discuss the relationship between d-convergence and the measures of non-compactness.
△ Less
Submitted 6 October, 2002;
originally announced October 2002.
-
A theorem of Krein revisited
Authors:
Timur Oikhberg,
Vladimir G. Troitsky
Abstract:
M. Krein proved in 1948 that if T is a continuous operator on a normed space leaving invariant an open cone, then its adjoint T* has an eigenvector. We present generalizations of this result as well as some applications to C*-algebras, operators on l_1, operators with invariant sets, contractions on Banach lattices, the Invariant Subspace Problem, and von Neumann algebras.
M. Krein proved in 1948 that if T is a continuous operator on a normed space leaving invariant an open cone, then its adjoint T* has an eigenvector. We present generalizations of this result as well as some applications to C*-algebras, operators on l_1, operators with invariant sets, contractions on Banach lattices, the Invariant Subspace Problem, and von Neumann algebras.
△ Less
Submitted 24 September, 2002;
originally announced September 2002.
-
Spectrum of a weakly hypercyclic operator meets the unit circle
Authors:
S. J. Dilworth,
Vladimir G. Troitsky
Abstract:
It is shown that every component of the spectrum of a weakly hypercyclic operator meets the unit circle. The proof is based on the lemma that a sequence of vectors in a Banach space whose norms grow at geometrical rate doesn't have zero in its weak closure.
It is shown that every component of the spectrum of a weakly hypercyclic operator meets the unit circle. The proof is based on the lemma that a sequence of vectors in a Banach space whose norms grow at geometrical rate doesn't have zero in its weak closure.
△ Less
Submitted 23 August, 2002;
originally announced August 2002.
-
On quasi-affine transforms of Read's operator
Authors:
Thomas Schlumprecht,
Vladimir G. Troitsky
Abstract:
We show that C.J.Read's example of an operator T on l_1 which does not have any non-trivial invariant subspaces is not the adjoint of an operator on a predual of l_1. Furthermore, we present a bounded diagonal operator D such that even though its inverse is unbounded, but D^{-1}TD is a bounded operator with invariant subspaces, and is adjoint to an operator on c_0.
We show that C.J.Read's example of an operator T on l_1 which does not have any non-trivial invariant subspaces is not the adjoint of an operator on a predual of l_1. Furthermore, we present a bounded diagonal operator D such that even though its inverse is unbounded, but D^{-1}TD is a bounded operator with invariant subspaces, and is adjoint to an operator on c_0.
△ Less
Submitted 1 December, 2001;
originally announced December 2001.
-
Spectral Radii of Bounded Operators on Topological Vector Spaces
Authors:
Vladimir G. Troitsky
Abstract:
In this paper we develop a version of spectral theory for bounded linear operators on topological vector spaces. We show that the Gelfand formula for spectral radius and Neumann series can still be naturally interpreted for operators on topological vector spaces. Of course, the resulting theory has many similarities to the conventional spectral theory of bounded operators on Banach spaces, thoug…
▽ More
In this paper we develop a version of spectral theory for bounded linear operators on topological vector spaces. We show that the Gelfand formula for spectral radius and Neumann series can still be naturally interpreted for operators on topological vector spaces. Of course, the resulting theory has many similarities to the conventional spectral theory of bounded operators on Banach spaces, though there are several important differences. The main difference is that an operator on a topological vector space has several spectra and several spectral radii, which fit a well-organized pattern.
△ Less
Submitted 8 April, 2000;
originally announced April 2000.
-
Lomonosov's theorem cannot be extended to chains of four operators
Authors:
Vladimir G. Troitsky
Abstract:
We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if T is the operator on l_1 without a non-trivial closed invariant subspace constructed by C.J.Read, then there are three operators S_1, S_2 and K (non-multiples of the identity) such that T commutes with S_1, S_1 commutes with S_2, S_2 commutes with K, an…
▽ More
We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if T is the operator on l_1 without a non-trivial closed invariant subspace constructed by C.J.Read, then there are three operators S_1, S_2 and K (non-multiples of the identity) such that T commutes with S_1, S_1 commutes with S_2, S_2 commutes with K, and K is compact. It is also shown that the commutant of T contains only series of T.
△ Less
Submitted 17 September, 1998;
originally announced September 1998.
-
On the modulus of C. J. Read's operator
Authors:
Vladimir G. Troitsky
Abstract:
Let T be the quasinilpotent operator on ell_1 without an invariant subspace constructed by C. J. Read in [R3]. We prove that the modulus of this operator has an invariant subspace (and even an eigenvector). This answers a question posed by Y. Abramovich, C. Aliprantis and O. Burkinshaw in [AAB1,AAB3]
Let T be the quasinilpotent operator on ell_1 without an invariant subspace constructed by C. J. Read in [R3]. We prove that the modulus of this operator has an invariant subspace (and even an eigenvector). This answers a question posed by Y. Abramovich, C. Aliprantis and O. Burkinshaw in [AAB1,AAB3]
△ Less
Submitted 27 May, 1998;
originally announced May 1998.
