An L-embedded Banach spaace is a Banach space which is complemented in its bidual such that the norm is additive between the two complementary parts. On such spaces we define a topology, called an abstract measure topology, which by known results coincides with the usual measure topology on preduals of finite von Neumann algebras (like $L_1([0,1])$). Though not numerous, the known properties of this topology suffice to generalize several results on subspaces of $L_1([0,1])$ to subspaces of arbitrary L-embedded spaces.
See title. (A Banach space is said to be L-embedded if it is complemented in its bidual such that the norm between the two complementary subspaces is additive.)
In recent decades, topology has come to play an increasing role in some geometric aspects of Banach space theory. The class of so-called $w^*$-locally relatively compact sets was introduced recently by Fonf, Pallares, Troyanski and the author, and were found to be a useful topological tool in the theory of isomorphic smoothness and polyhedrality in Banach spaces. We develop the topological theory of these sets and present some Banach space applications.
In this note the following version of Phillips' lemma is proved. The L-projection of an L-embedded space - that is of a Banach space which is complemented in its bidual such that the norm between the two complementary subspaces is additive - is weak-weakly sequentially continuous.
In this note the following is proved. Separable L-embedded spaces - that is separable Banach spaces which are complemented in their biduals such that the norm between the two complementary subspaces is additive - have property (X) which, by a result of Godefroy and Talagrand, entails uniqueness of the space as a predual.
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 Ba…
We prove that a Banach lattice $X$ which does not contain the $l^n_{\infty}$-uniformly has an equivalent norm which is uniformly Kadec-Klee for a natural topology $τ$ on $X$. In case the Banach lattice is purely atomic, the topology $τ$ is the coordinatewise convergence topology.
In this article we investigate the disjointly non-singular (DNS) operators. Following [8] we say that an operator $T$ from a Banach lattice $F$ into a Banach space $E$ is DNS, if no restriction of $T$ to a subspace generated by a disjoint sequence is strictly singular. We partially answer a question from [8] by showing that this class of operators forms an open subset of $L\left(F,E\right)$ as soon as $F$ is order continuous. Moreover, we show that in this case $T$ is DNS if and only if the norm topology is the minimal topology which is simultaneously stronger than the unbounded norm topology …
In this paper, we study $un$-dual (in symbol, $\ud{E}$) of Banach lattice $E$ and compare it with topological dual $E^*$. If $E^*$ has order continuous norm, then $E^* = \ud{E}$. We introduce and study weakly unbounded norm topology ($wun$-topology) on Banach lattices and compare it with weak topology and $uaw$-topology. In the final, we introduce and study $wun$-Dunford-Pettis opertors from a Banach lattice $E$ into Banach space $X$ and we investigate some of its properties and its relationships with others known operators.
The aim of this note is study the topology generated by Lipschitz slices in the unit sphere of a Banach space. We prove that the above topology agrees with the weak topology in the unit sphere and, as a consequence, we obtain Lipschitz characterizations of classical linear topics in Banach spaces, as Radon-Nikodym property, convex point of continuity property and strong regularity, which shows that the above classical linear properties only depend on the natural uniformity in the Banach space given by the metric and the linear structure.
Several recent papers investigated unbounded and statistical versions of order convergence and topology convergence in locally solid Riesz space. In this papers, we study the statistical unbounded order and topology convergence in Riesz spaces and Banach lattices. In particular, we study the relationship of those convergence and characterize order continuous, KB, reflexive Banach lattices in terms of these convergence.
In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it is shown that this topology is Hausdorff if A is the algebra of once continuously differentiable functions on an interval, but that if A is a uniform algebra then this topology is Hausdorff if and only if A has spectral synthesis. An example is given of a strongly regular, uniform algebra for which every maximal ideal has a bounded approximate identity, but…
We start the systematic study of Fréchet spaces which are $\aleph$-spaces in the weak topology. A topological space $X$ is an $\aleph_0$-space or an $\aleph$-space if $X$ has a countable $k$-network or a $σ$-locally finite $k$-network, respectively. We are motivated by the following result of Corson (1966): If the space $C_{c}(X)$ of continuous real-valued functions on a Tychonoff space $X$ endowed with the compact-open topology is a Banach space, then $C_{c}(X)$ endowed with the weak topology is an $\aleph_0$-space if and only if $X$ is countable. We extend Corson's result as follows: If the …
M. Talagrand showed that, for the Cech-Stone compactification βω of the space of natural numbers, the norm and the weak topology generate different Borel structures in the Banach space C(βω). We prove that the Borel structures in C(βω) generated by the weak and the pointwise topology are also different. We also show that in C(ω*), where ω*=βω- ω, there is no countable family of pointwise Borel sets separating functions from C(ω*).
In this paper, we present a geometric form of the Hahn-Banach extension theorem for $L^{0}-$linear functions and prove that the geometric form is equivalent to the analytic form of the Hahn-Banach extension theorem. Further, we use the geometric form to give a new proof of a known basic strict separation theorem in random locally convex modules. Finally, using the basic strict separation theorem we establish the Goldstine-Weston theorem in random normed modules under the two kinds of topologies----the $(ε,λ)-$topology and the locally $L^{0}-$convex topology, and also provide a counterexample s…
Using the game approach to fragmentability, we give new and simpler proofs of the following known results: (a) If the Banach space admits an equivalent Kadec norm, then its weak topology is fragmented by a metric which is stronger than the norm topology. (b) If the Banach space admits an equivalent rotund norm, then its weak topology is fragmented by a metric. (c) If the Banach space is weakly locally uniformly rotund, then its weak topology is fragmented by a metric which is stronger than the norm topology.
A Banach space $X$ is reflexive if the Mackey topology $τ(X^*,X)$ on $X^*$ agrees with the norm topology on $X^*$. Borwein [B] calls a Banach space $X$ {\it sequentially reflexive\/} provided that every $τ(X^*,X)$ convergent {\it sequence\/} in $X^*$ is norm convergent. The main result in [B] is that $X$ is sequentially reflexive if every separable subspace of $X$ has separable dual, and Borwein asks for a characterization of sequentially reflexive spaces. Here we answer that question by proving \proclaim Theorem. {\sl A Banach space $X$ is sequentially reflexive if and only if $\ell_1$ is not…
It is a translation of an old paper of mine. We describe the topology tau_p in the space Pi_p(Y,X), for which the closures of convex sets in tau_p and in *-weak topology of the space Pi_p(Y,X) are coincident. Thereafter, we investigate some properties of the space Pi_p, related to this new topology. 2010-remark: Occasionally, the topology is coincides with the lambda_p-topology from the paper "Compact operators which factor through subspaces of l_p", Math. Nachr. 281(2008), 412-423 by Deba Prasad Sinha and Anil Kumar Karn.
Let X be a separable metric space and let βbe the strict topology on the space of bounded continuous functions on X, which has the space of τ-additive Borel measures as a continuous dual space. We prove a Banach-Dieudonneé type result for the space of bounded continuous functions equipped with β. As a consequence, this space is hypercomplete and a Pták space. Additionally, the closed graph, inverse mapping and open mapping theorems holds for linear maps between space of this type.
We study the class of Banach spaces $X$ such that the locally convex space $(X,μ(X,Y))$ is complete for every norming and norm-closed subspace $Y \subset X^*$, where $μ(X,Y)$ denotes the Mackey topology on $X$ associated to the dual pair $\langle X,Y\rangle$. Such Banach spaces are called fully Mackey complete. We show that fully Mackey completeness is implied by Efremov's property ($\mathcal{E}$) and, on the other hand, it prevents the existence of subspaces isomorphic to $\ell_1(ω_1)$. This extends previous results by Guirao, Montesinos and Zizler [J. Math. Anal. Appl. 445 (2017), 944-952] a…
We prove in this short report that for arbitrary weak converging sequence of sigma-finite Borelian measures in the separable Banach space there is a compact embedded separable subspace such that this measures not only are concentrated in this subspace but weak converge therein.
A Banach space $X$ is said to have property ($μ^s$) if every weak$^*$-null sequence in $X^*$ admits a subsequence such that all of its subsequences are Cesàro convergent to $0$ with respect to the Mackey topology. This is stronger than the so-called property (K) of Kwapień. We prove that property $(μ^s)$ holds for every subspace of a Banach space which is strongly generated by an operator with Banach-Saks adjoint (e.g. a strongly super weakly compactly generated space). The stability of property $(μ^s)$ under $\ell^p$-sums is discussed. For a family $\mathcal{A}$ of relatively weakly compact s…
For a Banach space $X$ we shall denote the set of all closed subspaces of $X$ by $G(X)$. In some kinds of problems it turned out to be useful to endow $G(X)$ with a topology. The main purpose of the present paper is to survey results on two the most common topologies on $G(X)$.
This paper deals with the interplay of the geometry of the norm and the weak topology in Banach spaces. Both dual and intrinsic connections between weak forms of rotundity and smoothness ared discussed. Weakly exposed points, weakly locally uniformly rotund spaces, smoothness, duality and the interplay of all the above are studied.
Being motivated by the famous Kaplansky theorem we study various sequential properties of a Banach space $E$ and its closed unit ball $B$, both endowed with the weak topology of $E$. We show that $B$ has the Pytkeev property if and only if $E$ in the norm topology contains no isomorphic copy of $\ell_1$, while $E$ has the Pytkeev property if and only if it is finite-dimensional. We extend Schlüchtermann and Wheeler's result by showing that $B$ is a (separable) metrizable space if and only if it has countable $cs^\ast$-character and is a $k$-space. As a corollary we obtain that $B$ is Polish if…
We prove that if $X$ is a quasi-normed space which possesses an infinite countable dimensional subspace with a separating dual, then it admits a strictly weaker Hausdorff vector topology. Such a topology is constructed explicitly. As an immediate consequence, we obtain an improvement of a well-known result of Kalton-Shapiro and Drewnowski by showing that a quasi-Banach space contains a basic sequence if and only if it contains an infinite countable dimensional subspace whose dual is separating. We also use this result to highlight a new feature of the minimal quasi-Banach space constructed by …
A Banach space $X$ is said to have property (K) if every $w^*$-convergent sequence in $X^*$ admits a convex block subsequence which converges with respect to the Mackey topology. We study the connection of this property with strongly weakly compactly generated Banach spaces and its stability under subspaces, quotients and $\ell^p$-sums. We extend a result of Frankiewicz and Plebanek by proving that property (K) is preserved by $\ell^1$-sums of less than $\mathfrak{p}$ summands. Without any cardinality restriction, we show that property (K) is stable under $\ell^p$-sums for $1<p<\infty$.
We give a characterisation of the separable Banach spaces with the Daugavet property which is applied to study the Daugavet property in the projective tensor product of an $L$-embedded space with another non-zero Banach space. The former characterisation also motivates the introduction of two indices related to the Daugavet property and a short study of them.
Is shown that any separable superreflexive Banach space X may be isometrically embedded in a separable superreflexive Banach space Z=Z(X) (which, in addition, is of the same type and cotype as X) such that its conjugate admits a continuous surjection on each its subspace. This gives an affirmative answer on S. Banach problem: Whether there exists a Banach space X, non isomorphic to a Hilbert space, which admits a continuous linear surjection on each its subspace and is essentially different from l_1?
A boundary for a Banach space is a subset of the dual unit sphere with the property that each element of the Banach space attains its norm on an element of that subset. Trivially, the pointwise convergence with respect to such a boundary is coarser than the weak topology on the Banach space. Godefroy's Boundary Problem asks whether nevertheless both topologies have the same bounded compact sets. This paper contains the answer in the positive.
We study how well a quasi-Banach space can be coarsely embedded into a Hilbert space. Given any quasi-Banach space X which coarsely embeds into a Hilbert space, we compute its Hilbert space compression exponent. We also show that the Hilbert space compression exponent of X is equal to the supremum of the amounts of snowflakings of X which admit a bi-Lipschitz embedding into a Hilbert space.
We introduce the notion of orthogonality in a vector space with a topology on it. To serve our purpose, we define orthogonality space for a given vector space X, using the topology on it. We show that for a suitable choice of orthogonality space, Birkhoff-James orthogonality in a Banach space is a particular case of the orthogonality introduced by us. We characterize the right additivity of orthogonality in our setting and obtain a necessary and sufficient condition for a Banach space to be smooth as a corollary to our characterization. Finally, using our notion of orthogonality, we obtain a t…
In this paper we give some results about the approximation of a Lipschitz function on a Banach space by means of $Δ$-convex functions. In particular, we prove that the density of $Δ$-convex functions in the set of Lipschitz functions for the topology of uniform convergence on bounded sets characterizes the superreflexivity of the Banach space. We also show that Lipschitz functions on superreflexive Banach spaces are uniform limits on the whole space of $Δ$-convex functions.
We prove that every Banach space, not necessarily separable, can be isometrically embedded into a $\mathcal L_{\infty}$-space in a way that the corresponding quotient has the Radon-Nikodym and the Schur properties. As a consequence, we obtain $\mathcal L_\infty$ spaces of arbitrary large densities with the Schur and the Radon-Nikodym properties. This extents the a classical result by J. Bourgain and G. Pisier.
The paper investigates the variation of the spectrum of operators in infinite dimensional Banach spaces. In particular, it is shown that the spectrum function is Borel from the space of bounded operators on a separable Banach space; equipped with the strong operator topology, into the Polish space of compact subsets of the closed unit disc of the complex plane; equipped with the Hausdorff topology. Remarks and results are given when other topologies are used.
Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces: a singleton, the real line, a closed half-plane, the Hilbert cube multiplied by the half-line, the separable Hilbert space, or a Hilbert space of density not less than continuum.
This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is universal for this class?
In the article is introduced a new class of Banach spaces that are called sub B-convex. Namely, a Banach space X is said to be B -convex if it may be represented as a direct sum l_1+ W, where W is B-convex. It will be shown that any separable sub B-convex Banach space X may be almost isometrically embedded in a separable Banach space G(X) of the same cotype as X, which has a series of properties. Namely, G(X) is an approximate envelope, i.e. any separable Banach space which is finitely representable in G(X) may be almost isometrically embedded into G(X); G(X)is almost isotropic; G(X) is existe…
We continue the investigation of the behaviour of octahedral norms in tensor products of Banach spaces. Firstly, we will prove the existence of a Banach space $Y$ such that the injective tensor products $l_1\widehat{\otimes}_\varepsilon Y$ and $L_1\widehat{\otimes}_\varepsilon Y$ both fail to have an octahedral norm, which solves two open problems from the literature. Secondly, we will show that in the presence of the metric approximation property octahedrality is preserved from a non-reflexive $L$-embedded Banach space taking projective tensor products with an arbitrary Banach space.
We prove that the following three properties for a Banach space are all different from each other: every finite convex combination of slices of the unit ball is (1) relatively weakly open, (2) has nonempty interior in relative weak topology of the unit ball, and (3) intersects the unit sphere. In particular, the $1$-sum of two Banach spaces does not have property (1), but it has property (2) if both the spaces have property (1); the Banach space $C[0,1]$ does not have property (2), although it has property (3).
Following [3] we say that a Tychonoff space $X$ is an Ascoli space if every compact subset $\mathcal{K}$ of $C_k(X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_\mathbb{R}$-space, hence any $k$-space, is Ascoli. Let $X$ be a metrizable space. We prove that the space $C_{k}(X)$ is Ascoli iff $C_{k}(X)$ is a $k_\mathbb{R}$-space iff $X$ is locally compact. Moreover, $C_{k}(X)$ endowed with the weak topology is Ascoli iff $X$ is countable and discrete. Using some basic concepts from probability theory and measure-theoretic properties of $\ell_1$,…
In this paper we collect results concerning the {operator-norm} convergent {Trotter} product formula for two semigroups $\{\e^{- t A}\}_{t\geq 0}$, $\{\e^{- t B}\}_{t\geq 0}$, with densely defined generators $A$ and $B$ in a {Banach} space. Although the {strong} convergence in Banach space for contraction semigroups is known since the seminal paper by Trotter (1959), which after more than three decades was extended to convergence in the {operator-norm} topology in {Hilbert} spaces by Rogava (1993), the {operator-norm} convergence in a {Banach} space was established only in (2001).
We analyze the ergodic properties of power-bounded operators on a reflexive Banach space of the form "scalar plus compact-power", and show that they are almost periodic (all the orbits are conditionally compact). If such an operator is weakly mixing, then it is stable (its powers converge in the strong operator topology).Let X-ISP be the separable reflexive indecomposable Banach space constructed by Argyros and Motakis, in which every operator has an invariant subspace. We conclude that every power-bounded operator on a closed subspace of X-ISP is almost periodic.
Known results are reviewed about the bounded and convex bounded variants, bT and cbT, of a topology T on a real Banach space. The focus is on the cases of T = w(P*, P) and of T = m(P*, P), which are the weak* and the Mackey topologies on a dual Banach space P*. The convex bounded Mackey topology, cbm(P*, P), is known to be identical to m(P*, P). As for bm(P*, P), it is conjectured to be strictly stronger than m(P*, P) or, equivalently, not to be a vector topology (except when P is reflexive). Some uses of the bounded Mackey and the bounded weak* topologies in economic theory and its applicatio…
In this article we give a homological characterization of the topology of Stein spaces over any valued base field. In particular, when working over the field of complex numbers, we obtain a characterization of the usual Euclidean (transcendental) topology of complex analytic spaces. For non-Archimedean base fields the topology we characterize coincides with the topology of the Berkovich analytic space associated to a non-Archimedean Stein algebra. Because the characterization we used is borrowed from a definition in derived geometry, this work should be read as a contribution towards the found…
In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(μ)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result when the topological dual $E^*$ of $E$ is almost square. We finish the paper by proving that the norm of the free Banach lattice generated by a Banach space of dimension $ \geq 2$ is nowhere Fréchet di…
Bounded linear operators on separable Banach spaces algebraically similar to the classical Volterra operator $V$ acting on $C[0,1]$ are characterized. From this characterization it follows that $V$ does not determine the topology of $C[0,1]$, which answers a question raised by Armando Villena. A sufficient condition for an injective bounded linear operator on a Banach space to determine its topology is obtained. From this condition it follows, for instance, that the Volterra operator acting on the Hardy space $\H^p$ of the unit disk determines the topology of $\H^p$ for any $p\in[1,\infty]$.
An operator $T$ from a Banach lattice $E$ into a Banach space is disjointly non-singular ($DN$-$S$, for short) if no restriction of $T$ to a subspace generated by a disjoint sequence is strictly singular. We obtain several results for $DN$-$S$ operators, including a perturbative characterization. For $E=L_p$ ($1< p<\infty$) we improve the results, and we show that the $DN$-$S$ operators have a different behavior in the cases $p=2$ and $p\neq 2$. As an application we prove that the strongly embedded subspaces of $L_p$ form an open subset in the set of all closed subspaces.
The abscissas of convergence, uniform convergence and absolute convergence of vector valued Dirichlet series with respect to the original topology and with respect to the weak topology $σ(X,X')$ of a locally convex space $X$, in particular of a Banach space $X$, are compared. The relation of their coincidence with geometric or topological properties of the underlying space $X$ is investigated. Cotype in the context of Banach spaces, and nuclearity and certain topological invariants for Fréchet spaces play a relevant role.
In this note a large class of primary Banach spaces is characterized. Namely, it will be demonstrated that under the Continuum Hypothesis the ultrapower of any infinite dimensional nonsuperreflexive Banach space is always primary. Consequently, any infinite dimensional nonsuperreflexive Banach space can be isometrically embedded into its primary ultrapowers.
We obtain the following characterization of Hilbert spaces. Let $E$ be a Banach space whose unit sphere $S$ has a hyperplane of symmetry. Then $E$ is a Hilbert space iff any of the following two conditions is fulfilled: a) the isometry group ${\rm Iso}\, E$ of $E$ has a dense orbit in S; b) the identity component $G_0$ of the group ${\rm Iso}\, E$ endowed with the strong operator topology acts topologically irreducible on $E$. Some related results on infinite dimentional Coxeter groups generated by isometric reflexions are given which allow to analyse the structure of isometry groups containin…
We study biorthogonal sequences with special properties, such as weak or weak-star convergence to 0, and obtain an extension of the Josefson-Nissenzweig theorem. This result is applied to embed analytic disks in the fiber over 0 of the spectrum of H^infinity (B), the algebra of bounded analytic functions on the unit ball B of an arbitrary infinite dimensional Banach space. Various other embedding theorems are obtained. For instance, if the Banach space is superreflexive, then the unit ball of a Hilbert space of uncountable dimension can be embedded analytically in the fiber over 0 via an embed…
Let $B(E,F)$ denote the set of all bounded linear operators from $E$ into $F$, and $B^+(E,F)$ the set of double splitting operators in $B(E,F)$. When both $E,F$ are infinite dimensional , in $B(E,F)$ there are not more elementary transformations in matrices so that lose the way to discuss the path connectedness of such sets in $B^+(E,F)$ as $Φ_{m,n}=\{T\in B(E,F): \dim N(T)=m<\infty \ \mbox{and} \ \mathrm{codim}R(T)=n<\infty\},$ $F_k=\{T\in B(E,F): \mathrm{rank}\, T =k<\infty\}$, and so forth. In this paper we present five theorems on projections and splitting subspaces in Banach spaces instea…
In this article, we apply the approach of relative algebraic geometry towards analytic geometry to the category of bornological and Ind-Banach spaces (non-Archimedean or not). We are able to recast the theory of Grosse-Klönne dagger affinoid domains with their weak G-topology in this new language. We prove an abstract recognition principle for the generators of their standard topology (the morphisms appearing in the covers). We end with a sketch of an emerging theory of dagger affinoid spaces over the integers, or any Banach ring, where we can see the Archimedean and non-Archimedean worlds com…
