Source author record

Lixin Cheng

Lixin Cheng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

On the third problem of Halmos on Banach spaces

Assume that $X$ is a complex separable infinite dimensional Banach space and $\mathcal{B}(X)$ denotes the Banach algebra of all bounded linear operators from $X$ to itself. In 1970, P.R. Halmos raised ten open problems in Hilbert spaces. The third one is the following: If an intransitive operator $T$ has an inverse, is its inverse also intransitive? This question is closely related to the invariant subspace problem. Ever since Enflo's celebrated counterexample on $\ell_1$ answered the invariant subspace problem in negative, the Banach space setting of the third question of Halmos has become more interesting. In this paper, we give an affirmative answer to this problem under certain spectral conditions. As an application, we show that for an invertible operator $T$ with Dunford's Property ($C$), if $T^{-1}$ is intransitive and there exists a connected component $Ω$ of $intσ(T^{-1})^\land$ which is off the origin such that $Ω\capρ_F(T^{-1})\neq \emptyset$, then $T$ is also intransitive. In the end of the paper, we show that a sufficient and necessary condition for that there exists a bounded linear operator without non-trivial invariant subspaces on the infinite dimensional space $L_1(Ω,\sum,μ)$ (resp., $C(K)$, the space of bounded continuous functions on a complete metric space $K$) is that $(Ω,\sum,μ)$ is $σ$-finite (resp., $K$ is compact).

preprint2021arXiv

On countable determination of the Kuratowski measure of noncompactness

A long-standing question in the theory of measures of noncompactness is that for the Kuratowski measure of noncompactness $α$ defined on a metric space $M$, and for every bounded subset $B\subset M$, is there a countable subset $B_0\subset B$ such that $α(B_0)=α(B)$? In this paper, we give an affirmative answer to the question above. It is done by showing that for each nonempty set $B$ of a Banach space, there is a countable subset $B_0\subset B$ so that $B$ is strongly finitely representable in $B_0$, and that there is a free ultrafilter $\mathcal U$ so that $B$ is affinely isometric to a subset of the ultrapower $[{\rm co}(B_0)]_\mathcal U$ of ${\rm co}(B_0)$.

preprint2020arXiv

On order preserving and order reversing mappings defined on cones of convex functions

In this paper, we first show that for a Banach space $X$ there is a fully order reversing mapping $T$ from ${\rm conv}(X)$ (the cone of all extended real-valued lower semicontinuous proper convex functions defined on $X$) onto itself if and only if $X$ is reflexive and linearly isomorphic to its dual $X^*$. Then we further prove the following generalized ``Artstein-Avidan-Milman'' representation theorem: For every fully order reversing mapping $T:{\rm conv}(X)\rightarrow {\rm conv}(X)$ there exist a linear isomorphism $U:X\rightarrow X^*$, $x_0^*, \;φ_0\in X^*$, $α>0$ and $r_0\in\mathbb R$ so that \begin{equation}\nonumber (Tf)(x)=α(\mathcal Ff)(Ux+x^*_0)+\langleφ_0,x\rangle+r_0,\;\;\forall x\in X, \end{equation} where $\mathcal F: {\rm conv}(X)\rightarrow {\rm conv}(X^*)$ is the Fenchel transform. Hence, these resolve two open questions. We also show several representation theorems of fully order preserving mappings defined on certain cones of convex functions. For example, for every fully order preserving mapping $S:{\rm semn}(X)\rightarrow {\rm semn}(X)$ there is a linear isomorphism $U:X\rightarrow X$ so that \begin{equation}\nonumber (Sf)(x)=f(Ux),\;\;\forall f\in{\rm semn}(X),\;x\in X, \end{equation} where ${\rm semn}(X)$ is the cone of all lower semicontinuous seminorms on $X$.

preprint2013arXiv

On universal left-stability of $ε$-isometries

Let $X$, $Y$ be two real Banach spaces, and $\eps\geq0$. A map $f:X\rightarrow Y$ is said to be a standard $\eps$-isometry if $|\|f(x)-f(y)\|-\|x-y\||\leq\eps$ for all $x,y\in X$ and with $f(0)=0$. We say that a pair of Banach spaces $(X,Y)$ is stable if there exists $γ>0$ such that for every such $\eps$ and every standard $\eps$-isometry $f:X\rightarrow Y$ there is a bounded linear operator $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ such that $\|Tf(x)-x\|\leqγ\eps$ for all $x\in X$. $X (Y)$ is said to be left (right)-universally stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show that if a dual Banach space $X$ is universally-left-stable, then it is isometric to a complemented $w^*$-closed subspace of $\ell_\infty(Γ)$ for some set $Γ$, hence, an injective space; and that a Banach space is universally-left-stable if and only if it is a cardinality injective space; and universally-left-stability spaces are invariant.

preprint2013arXiv

Universal stability of Banach spaces for $\varepsilon$-isometries

Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X\rightarrow Y$ is said to be $(α,γ)$-stable (with respect to $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ for some $α, γ>0$) if $T$ is a linear operator with $\|T\|\leqα$ so that $Tf-Id$ is uniformly bounded by $γ\varepsilon$ on $X$. The pair $(X,Y)$ is said to be stable if every standard $\varepsilon$-isometry $f:X\rightarrow Y$ is $(α,γ)$-stable for some $α,γ>0$. $X (Y)$ is said to be universally left (right)-stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show that universal right-stability spaces are just Hilbert spaces; every injective space is universally left-stable; a Banach space $X$ isomorphic to a subspace of $\ell_\infty$ is universally left-stable if and only if it is isomorphic to $\ell_\infty$; and that a separable space $X$ satisfies the condition that $(X,Y)$ is left-stable for every separable $Y$ if and only if it is isomorphic to $c_0$.