Let ${\mathcal N}$ and ${\mathcal M}$ be nests on Banach spaces $X$ and $Y$ over the (real or complex) field $\mathbb F$ and let $\mbox{\rm Alg}{\mathcal N}$ and $\mbox{\rm Alg}{\mathcal M}$ be the associated nest algebras, respectively. It is shown that a map $Φ:{\rm Alg}{\mathcal N}\rightarrow{\rm Alg}{\mathcal M}$ is a Lie ring isomorphism (i.e., $Φ$ is additive, Lie multiplicative and bijective) if and only if $Φ$ has the form $Φ(A) = TAT^{-1} + h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$ or $Φ(A)=-TA^*T^{-1}+h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$, where $h$ is an additive functional vanishing on all commutators and $T$ is an invertible bounded linear or conjugate linear operator when $\dim X=\infty$; $T$ is a bijective $τ$-linear transformation for some field automorphism $τ$ of $\mathbb F$ when $\dim X<\infty$.
We extend to Banach space nest algebras the theory of essential supports and support function pairs of their bimodules, thereby obtaining Banach space counterparts of long established results for Hilbert space nest algebras. Namely, given a Banach space nest algebra $\mathcal A$, we charaterise the maximal and the minimal $\mathcal A$-bimodules having a given essential support function or support function pair. These characterisations are complete except for the minimal $\mathcal A$-bimodule corresponding to a support function pair, in which case we make some headway. We also show that the wea…
Let ${\mathcal N}$ be a nest on a complex Banach space $X$ and let $\mbox{ Alg}{\mathcal N}$ be the associated nest algebra. We say that an operator $Z\in \mbox{ Alg}{\mathcal N}$ is an all-derivable point of $\mbox{ Alg}{\mathcal N}$ if every linear map $δ$ from $\mbox{ Alg}{\mathcal N}$ into itself derivable at $Z$ (i.e. $δ$ satisfies $δ(A)B+Aδ(B)=δ(Z)$ for any $A,B \in \mbox{ Alg}{\mathcal N}$ with $AB=Z$) is a derivation. In this paper, it is shown that every injective operator and every operator with dense range in $\mbox{Alg}{\mathcal N}$ are all-derivable points of $\mbox{Alg}{\mathcal …
The goal of this paper is to study band-dominated operators on Banach spaces with Schauder basis with respect to uniformly locally finite metric spaces as well as the Banach algebras generated by them: the so called uniform Roe algebras. We investigate several kinds of isomorphisms between those Banach spaces (e.g., isomorphisms preserving norm, order, algebraic structure, etc) and prove several rigidity results on when a certain kind of isomorphism between the uniform Roe algebras implies that the base metric spaces are (bijectively) coarsely equivalent.
Megrelishvili defines \emph{light groups} of isomorphisms of a Banach space as the groups on which the Weak and Strong Operator Topologies coincide, and proves that every bounded group of isomorphisms of Banach spaces with the Point of Continuity Property (PCP) is light. We investigate this concept for isomorphism groups $G$ of classical Banach spaces $X$ without the PCP, specially isometry groups, and relate it to the existence of $G$-invariant LUR or strictly convex renormings of $X$.
In this paper we study different aspects of the representation of weak*-compact convex sets of the bidual $X^{**}$ of a separable Banach space $X$ via a nested sequence of closed convex bounded sets of $X$.
Let N_1 (resp.N_2) be a nest A (resp. B) be the corresponding nest algebra, A_0 (resp. B_0) be the subalgebra of compact operators. We prove that the nests N_1, N_2 are isomorphic if and only if the algebras A, B are weakly-* Morita equivalent if and only if the algebras A_0, B_0 are strongly Morita equivalent. We characterize the nest isomorphisms which implement stable isomorphism between the corresponding nest algebras.
Ordered vector spaces E and F are said to be order isomorphic if there is a (not necessarily linear) bijection between them that preserves order. We investigate some situations under which an order isomorphism between two Banach lattices implies the persistence of some linear lattice structure. For instance, it is shown that if a Banach lattice E is order isomorphic to C(K) for some compact Hausdorff space K, then E is (linearly) isomorphic to C(K) as a Banach lattice. Similar results hold for Banach lattices order isomorphic to c_0, and for Banach lattices that contain a closed sublattice ord…
Let $X$ and $Y$ be compact Hausdorff spaces, and $E$, $F$ be Banach lattices. Let $C(X,E)$ denote the Banach lattice of all continuous $E$-valued functions on $X$ equipped with the pointwise ordering and the sup norm. We prove that if there exists a Riesz isomorphism $\mathnormalΦ: C(X,E)\to C(Y,F)$ such that $\mathnormalΦf$ is non-vanishing on $Y$ if and only if $f$ is non-vanishing on $X$, then $X$ is homeomorphic to $Y$, and $E$ is Riesz isomorphic to $F$. In this case, $\mathnormalΦ$ can be written as a weighted composition operator: $\mathnormalΦ f(y)=\mathnormalΠ(y)(f(φ(y)))$, where $φ$ …
Banach non-isomorphism of type III and semifinite noncommutative $L_p$-spaces
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology（哈尔滨工业大学数学学院）；School of Mathematics and Statistics, University of NSW（新南威尔士大学数学与统计学院）
We prove that if X is a separable infinite dimensional Banach space then its isomorphism class has infinite diameter with respect to the Banach-Mazur distance. One step in the proof is to show that if X is elastic then X contains an isomorph of c_0. We call X elastic if for some K < infinity for every Banach space Y which embeds into X, the space Y is K-isomorphic to a subspace of X. We also prove that if X is a separable Banach space such that for some K < infinity every isomorph of X is K-elastic then X is finite dimensional.
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism provide complete invariants for a great number of mathematical structures up to their corresponding notion of isomorphism. The same is shown to hold for (1) complete separable metric spaces up to uniform homeomorphism, (2) separable Banach spaces up to Lipschitz isomorphism, and (3) up to (complemented) biembeddability, (4) Polish groups up to topological isomo…
We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or infinity, and rtsr(T(N)) = 2 occurs only when N is of ordinal type less than omega^2 and the dimensions of the atoms grows sufficiently quickly. We introduce general results on `partial matrix algebras' ov…
We prove that if $K$ and $L$ are compact spaces and $C(K)$ and $C(L)$ are isomorphic as Banach spaces then $K$ has a $π$-base consisting of open sets $U$ such that $\bar{U}$ is a continuous image of some compact subspace of $L$. This gives some information on isomorphic classes of the spaces of the form $C([0,1]^κ)$ and $C(K)$ where $K$ is Corson compact.
This paper contains two improvements on a theorem of S. N. Bernstein for Banach spaces. We show that if $X$ is an arbitrary infinite-dimensional Banach space, $\{Y_n\}$ is a sequence of strictly nested subspaces of $ X$ and if $\{d_n\}$ is a non-increasing sequence of non-negative numbers tending to 0, then for any $c\in(0,1]$ we can find $x_{c} \in X$, such that the distance $ρ(x_{c}, Y_n)$ from $x_{c}$ to $Y_n$ satisfies $$ c d_n \leq ρ(x_{c},Y_n) \leq 4c d_n,~\mbox{for all $n\in\mathbb N$}. $$ We prove the above inequality by first improving Borodin (2006)'s result for Banach spaces by weak…
We improve the known results about the complexity of the relation of isomorphism between separable Banach spaces up to Borel reducibility, and we achieve this using the classical spaces $c_0$, $\ell_p$ and $L_p$, $1 \leq p <2$. More precisely, we show that the relation $E_{K_σ}$ is Borel reducible to isomorphism and complemented biembeddability between subspaces of $c_0$ or $\ell_p, 1 \leq p <2$. We show that the relation $E_{K_σ} \otimes =^+$ is Borel reducible to isomorphism, complemented biembeddability, and Lipschitz equivalence between subspaces of $L_p, 1 \leq p <2$.
We show that if $T$ is an isometry (as metric spaces) from an open subgroup of the group of the invertible elements in a unital semisimple commutative Banach algebra onto an open subgroup of the group of the invertible elements in a unital Banach algebra, then $T(1)^{-1}T$ is an isometrical group isomorphism. In particular, $T(1)^{-1}T$ is extended to an isometrical real algebra isomorphism from $A$ onto $B$.
We show that the class of all Banach spaces which are isomorphic to $ c_{0} $ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. The proof employs a recent Bourgain-Delbaen construction by Argyros, Gasparis and Motakis.
Let $\mathcal{X}$ be a Banach space over the complex field $\mathbb{C}$ and $\mathcal{B(X)}$ be the algebra of all bounded linear operators on $\mathcal{X}$. Let $\mathcal{N}$ be a non-trivial nest on $\mathcal{X}$, ${\rm Alg}\mathcal{N}$ be the nest algebra associated with $\mathcal{N}$, and $L\colon {\rm Alg}\mathcal{N}\longrightarrow \mathcal{B(X)}$ be a linear mapping. Suppose that $p_n(x_1,x_2,\cdots,x_n)$ is an $(n-1)$-th commutator defined by $n$ indeterminates $x_1, x_2, \cdots, x_n$. It is shown that $L$ satisfies the rule $$ L(p_n(A_1, A_2, \cdots, A_n))=\sum_{k=1}^{n}p_n(A_1, \cdots…
A Banach algebra A is self-induced if the multiplication is an isomorphism from the A-balanced projective tensor-square of A to A. The class of self-induced Banach algebras is a natural generalization of unital Banach algebras, providing a fertile framework for developing homological aspects of unital Banach algebras. Elementary results with applictions to computations of the bounded Hochschild cohomology groups H^1(A,A^*) with emphasis on A=A(X), the approximable operators on a Banach space X, are given.
We show that if $T$ is an isometry (as metric spaces) between the invertible groups of unital Banach algebras, then $T$ is extended to a surjective real-linear isometry up to translation between the two Banach algebras. Furthermore if the underling algebras are closed unital standard operator algebras, $(T(e_A))^{-1}T$ is extended to a surjective real algebra isomorphism; if $T$ is a surjective isometry from the invertible group of a unital commutative Banach algebra onto that of a unital semisimple Banach algebra, then $(T(e_A))^{-1}T$ is extended to a surjective isometrical real algebra isom…
Following a result of Hatori, Miura and Tagaki ([4]) we give here a spectral characterization of an isomorphism from a $C^\star$-algebra onto a Banach algebra. We then use this result to show that a $C^\star$-algebra $A$ is isomorphic to a Banach algebra $B$ if and only if there exists a surjective function $ϕ:A\rightarrow B$ satisfying (i) $σ\left(ϕ(x)ϕ(y)ϕ(z)\right)=σ\left(xyz\right)$ for all $x,y,z\in A$ (where $σ$ denotes the spectrum), and (ii) $ϕ$ is continuous at $\mathbf 1$. A simple example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative B…
A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if $E_0$ does not reduce to isomorphism of the subspaces of a space, in particular, if the subspaces of the space admit a classification up to isomorphism by real numbers, then any subspace with an unconditional basis is isomorphic to its square and hyperplanes and has an isomorphically homogeneous subsequence.
In this paper, we show that the essentiality of the scole of an ideal B i a semi-simple Banach algebra A implies that any invertibility preserving isomorphism on A is a Jordan homomorphism. Specially ...
Let $\mathcal{A}$ and $\mathcal{B}$ be standard operator algebras on Banach spaces $\mathcal{X}$ and $\mathcal{Y}$, respectively. In this paper, we show that every bijection completely preserving quadratic operators from $\mathcal{A}$ onto $\mathcal{B}$ is either an isomorphism or (in the complex case) a conjugate isomorphism.
There exists a real hereditarily indecomposable Banach space $X$ such that the quotient space $L(X)/S(X)$ by strictly singular operators is isomorphic to the complex field (resp. to the quaternionic division algebra). Up to isomorphism, the example with complex quotient space has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek from 1986. The quaternionic example, on the …
We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-space, a spectral invariant called `spectral configuration', which contains considerably more information than its spectrum as an operator. It is shown that the spectral configuration describes the isom…
We prove several dichotomies on linear embeddings between Banach spaces. Given an arbitrary Banach space X with a basis, we show that the relations of isomorphism and bi-embedding are meager or co-meager on the Polish set of block-subspaces of X. We relate this result with tightness and minimality of Banach spaces. Examples and open questions are provided.
There is a natural isomorphism from image to complement of nullspace, for a bounded linear map from a real Banach space onto a closed subspace of a real Hilbert space. This generalizes Riesz representation (self-duality of Hilbert space). The isomorphism helps solve the pressure equation of fluid dynamics.
The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $Δ$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(Δ, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(Δ, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(Δ, X)$ …
Let $K_1$, $K_2$ be compact Hausdorff spaces and $E_1, E_2$ be Banach spaces not containing a copy of $c_0$. We establish lower estimates of the Banach-Mazur distance between the spaces of continuous functions $\mathcal{C}(K_1, E_1)$ and $\mathcal{C}(K_2, E_2)$ based on the ordinals $ht(K_1)$, $ht(K_2)$, which are new even for the case of spaces of real valued functions on ordinal intervals. As a corollary we deduce that $\mathcal{C}(K_1, E_1)$ and $\mathcal{C}(K_2, E_2)$ are not isomorphic if $ht(K_1)$ is substantially different from $ht(K_2)$.
Let $A$ and $B$ be unital semi-simple commutative Banach algebras. In this paper we study two-variable polynomials $p$ which satisfy the following property: a map $T$ from $A$ onto $B$ such that the equality \[ σ(p(Tf,Tg))=σ(p(f,g)), \quad f,g \in A \] holds is an algebra isomorphism.
We deal with isomorphic Banach-Stone type theorems for closed subspaces of vector-valued continuous functions. Let $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. For $i=1,2$, let $E_i$ be a reflexive Banach space over $\mathbb{F}$ with a certain parameter $λ(E_i)>1$, which in the real case coincides with the Schaffer constant of $E_i$, let $K_i$ be a locally compact (Hausdorff) topological space and let $\mathcal{H}_i$ be a closed subspace of $\mathcal{C}_0(K_i, E_i)$ such that each point of the Choquet boundary $\mathcal{Ch}_{\mathcal{H}_i} K_i$ of $\mathcal{H}_i$ is a weak peak point. We show that…
Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)-valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)-valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).
We describe the spectrum of weighted $d$-isomorphisms of Banach lattices restricted on closed subspaces that are "rich" enough to preserve some "memory" of the order structure of the original lattice. The examples include (but are not limited to) weighted isometries of Hardy spaces on the polydisk and unit ball in $\mathds{C}^n$.
The parabolic algebra was introduced by Katavolos and Power, in 1997, as the operator algebra acting on $L^2(R)$ that is weakly generated by the translation and multiplication semigroups. In particular, they proved that this algebra is reflexive and is equal to the Fourier binest algebra, that is, to the algebra of operators that leave invariant the subspaces of the Volterra nest and its analytic counterpart. We prove that a similar result holds for the corresponding algebras acting on $L^p(R)$, where $1<p<\infty$. It is also shown that the reflexive closures of the Fourier binests on $L^p(R)$…
In this paper we address some basic questions of the Banach space structure of the nest algebras in the trace class; in particular, we study whether any two of them are isomorphic to each other, and show that the nest algebras in the trace class have bases. We construct three non-isomorphic examples of nest algebras in $c_1$; present a new proof of the primarity of $c_1$ (Arazy, [Ar1], [Ar2]), and prove that $K(H)$, and the nest algebras in $B(H)$ are primary.
For $p,q\in [1,\infty)$, we study the isomorphism problem for the $p$- and $q$-convolution algebras associated to locally compact groups. While it is well known that not every group can be recovered from its group von Neumann algebra, we show that this is the case for the algebras $\mathrm{CV}_p(G)$ of $p$-convolvers and $\mathrm{PM}_p(G)$ of $p$-pseudomeasures, for $p\neq 2$. More generally, we show that if $\mathrm{CV}_p(G)$ is isometrically isomorphic to $\mathrm{CV}_q(H)$, with $p,q\neq 2$, then $G$ must be isomorphic to $H$ and $p$ and $q$ are either equal or conjugate. This implies that …
A topological setting is defined to study the complexities of the relation of equivalence of embeddings (or "position") of a Banach space into another and of the relation of isomorphism of complex structures on a real Banach space. The following results are obtained: a) if $X$ is not uniformly finitely extensible, then there exists a space $Y$ for which the relation of position of $Y$ inside $X$ reduces the relation $E_0$ and therefore is not smooth; b) the relation of position of $\ell_p$ inside $\ell_p$, or inside $L_p$, $p \neq 2$, reduces the relation $E_1$ and therefore is not reducible t…
In this note, we consider the smallest submaximal space structure μ(X) on a Banach space X. We derive a characterization of μ(X) up to complete isometric isomorphism in terms of a universal property. Also, we show that an injective Banach space has a unique submaximal space structure and we explore some duality relations of μ-spaces. Key Words: operator spaces, maximal operator spaces, submaximal spaces, μ- spaces.
We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a continuous section space into an other. However, we demonstrate by an example that a non-surjective linear isometry can be far away from a subbundle embedding.
Let $M$ and $N$ be unital Jordan-Banach algebras, and let $M^{-1}$ and $N^{-1}$ denote the sets of invertible elements in $M$ and $N$, respectively. Suppose that $\mathfrak{M}\subseteq M^{-1}$ and $\mathfrak{N}\subseteq N^{-1}$ are clopen subsets of $M^{-1}$ and $N^{-1}$, respectively, which are closed for powers, inverses and products of the form $U_{a} (b)$. In this paper we prove that for each surjective isometry $Δ: \mathfrak{M}\to \mathfrak{N}$ there exists a surjective real-linear isometry $T_0: M\to N$ and an element $u_0$ in the McCrimmon radical of $N$ such that $Δ(a) = T_0(a) +u_0$ f…
Let $A$ and $B$ be unital semisimple commutative Banach algebras and $T$ a map from the invertible group $A^{-1}$ onto $B^{-1}$. Linearity and multiplicativity of the map are not assumed. We consider the hypotheses on $T$: (1) $σ(TfTg)=σ(fg)$; (2) $σ_π(TfTg-α)\cap σ_π(fg-α)\ne \emptyset$; (3) $\mathrm{r} (TfTg-α)=\mathrm{r}(fg-α)$ hold for some non-zero complex number $α$ and for every $f, g\in A^{-1}$, where $σ(\cdot)$ (resp. $σ_π(\cdot)$) denotes the (resp. peripheral) spectrum and $\rr(\cdot)$ denotes the spectral radius. Under each of the hypotheses we show representations for $T$ and unde…
A group G is representable in a Banach space X if G is isomorphic to the group of isometries on X in some equivalent norm. We prove that a countable group G is representable in a separable real Banach space X in several general cases, including when $G=\{-1,1\} \times H$, H finite and $\dim X \geq |H|$, or when G contains a normal subgroup with two elements and X is of the form c_0(Y) or $\ell_p(Y)$, $1 \leq p <+\infty$. This is a consequence of a result inspired by methods of S. Bellenot and stating that under rather general conditions on a separable real Banach space X and a countable bounde…
The aim of this paper is to establish Pontryagin's principles in a dicrete-time infinite-horizon setting when the state variables and the control variables belong to infinite dimensional Banach spaces. In comparison with previous results on this question, we delete conditions of finiteness of codi-mension of subspaces. To realize this aim, the main idea is the introduction of new recursive assumptions and useful consequences of the Baire category theorem and of the Banach isomorphism theorem.
We construct a family of separable Hilbertian operator spaces, such that the relation of complete isomorphism between the subspaces of each member of this family is complete $\ks$. We also investigate some interesting properties of completely unconditional bases of the spaces from this family. In the Banach space setting, we construct a space for which the relation of isometry of subspaces is equivalent to equality of real numbers.
We apply the metrical approach to Sobolev spaces, which arise in various evolution PDEs. Functions from those spaces are defined on an interval and take values in a family of Banach spaces. In this case we adapt the definition of Newtonian spaces. For a monotone family, we show the existence of weak derivative, obtain an isomorphism to the standard Sobolev space, and provide some scalar characteristics.
Taking the l^1-completion and the topological dual of the singular chain complex gives rise to l^1-homology and bounded cohomology respectively. In contrast to l^1-homology, major structural properties of bounded cohomology are well understood by the work of Gromov and Ivanov. Based on an observation by Matsumoto and Morita, we derive a mechanism linking isomorphisms on the level of homology of Banach chain complexes to isomorphisms on the level of cohomology of the dual Banach cochain complexes and vice versa. Therefore, certain results on bounded cohomology can be transferred to l^1-homology…
We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis $ which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results; for example, in combination with a result of B. Maurey, V. Milman and N. Tomczak-Jaegermann, we show that an unconditional basis of a Banach spa…
Let $X$ and $Y$ be completely regular spaces and $E$ and $F$ be Hausdorff topological vector spaces. We call a linear map $T$ from a subspace of $C(X,E)$ into $C(Y,F)$ a \emph{Banach-Stone map} if it has the form $Tf(y) = S_{y}(f(h(y))$ for a family of linear operators $S_{y} : E \to F$, $y \in Y$, and a function $h: Y \to X$. In this paper, we consider maps having the property: \cap^{k}_{i=1}Z(f_{i}) \neq\emptyset\iff\cap^{k}_{i=1}Z(Tf_{i}) \neq \emptyset, where $Z(f) = \{f = 0\}$. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces…
We show that among compact subsets of the plane which are drawings of linear graphs, two sets $σ$ and $τ$ are homeomorphic if and only if the corresponding spaces of absolutely continuous functions (in the sense of Ashton and Doust) are isomorphic as Banach algebras. This gives an analogue for this class of sets to the well-known result of Gelfand and Kolmogorov for $C(Ω)$ spaces.
For the solution of operator equations, Stevenson introduced a definition of frames, where a Hilbert space and its dual are {\em not} identified. This means that the Riesz isomorphism is not used as an identification, which, for example, does not make sense for the Sobolev spaces $H_0^1(Ω)$ and $H^{-1}(Ω)$. In this article, we are going to revisit the concept of Stevenson frames and introduce it for Banach spaces. This is equivalent to $\ell^2$-Banach frames. It is known that, if such a system exists, by defining a new inner product and using the Riesz isomorphism, the Banach space is isomorph…
