The space Weak L^1 consists of all measurable functions on [0,1] such that
q(f) = sup_{c>0} c λ{t : |f(t)| > c}
is finite, where λdenotes Lebesgue measure. Let ρbe the gauge functional of the unit ball {f : q(f) \leq 1} of the quasi- norm q, and let N be the null space of ρ. The normed envelope of Weak L^1, which we denote by W, is the space (Weak L^1/N, ρ). The Banach envelope of Weak L^1, \overline{W}, is the completion of W. We show that \overline{W} is isometrically lattice isomorphic to a sublattice of W. It is also shown that all rearrangement invariant Banach function spaces are isometrically isomorphic to a sublattice of W.
Let $X$ and $E$ be $f$-algebras and $p:X \to E_+$ be a monotone vector norm. Then the triple $(X,p,E)$ is called a lattice-normed $f$-algebraic space. In this paper, we show a generalization of the extension of the Hahn-Banach theorem for operators on the lattice-normed $f$-algebras, in which the extension of one step of that is not similar to the other Hahn-Banach theorems. Also, we give some applications and results.
For a new class of topological vector spaces, namely $κ$-normed spaces, and associated quasisemilinear topological preordered space is defined and investigated. This structure arise naturally from the consideration of a $κ$-norm, that is a distance function between a point and a $G_δ$-subset. For it, analogs of the Hahn-Banach theorem are proved.
In this paper, we present the generalization of B-contraction and C-contraction due to Sehgal and Hicks respectively. We also study some properties of C-contraction in probabilistic metric space.
In this paper, we will see that the Cartesian product of two 2-Banach spaces is also 2-Banach space and discuss some properties of closed linear operator in linear 2-normed space. We also describe the concept of different types of continuity of b-linear functional and derive the Uniform Boundedness Principle and Hahn-Banach extension theorem for b-linear functionals in the case of linear 2-normed spaces. We also introduce the notion of weak*convergence for the sequence of bounded b-linear functionals relative to linear 2-normed space.
The concept of b-linear functional and its different types of continuity in linear n-normed space are presented and some of their properties are being established. We derive the Uniform Boundedness Principle and Hahn-Banach extension Theorem with the help of bounded b-linear functionals in the case of linear n-normed spaces and discuss some examples and applications. Finally, we present the concept of weak*convergence for the sequence of bounded b-linear functionals in linear n-normed space.
In order to measure qualitative properties we introduce a notion of a type for arbitrary normed spaces which measures the worst possible growth of partial sums of sequences weakly converging to zero. The ideas can be traced back to Banach and Mazur who used this type to compare the so-called linear dimension of classical Banach spaces. As an application we compare the linear dimension and investigate isomorphy of some classical Banach spaces.
We show that every dominated linear operator from an Banach-Kantorovich space over atomless Dedekind complete vector lattice to a sequence Banach lattice $l_p(Γ)$ or $c_0(Γ)$ is narrow. As a conse- quence, we obtain that an atomless Banach lattice cannot have a finite dimensional decomposition of a certain kind. Finally we show that if a linear dominated operator T from lattice-normed space V to Banach- Kantorovich space W is order narrow then the same is its exact dominant $\ls T\rs$.
In this paper we introduce the notion of D-valued 2-norm on hy- perbolic or D-valued modules. Further, we define D-linear 2-functional on these modules and consider some of their properties. We also establish the Hahn- Banach type extension theorem for D-linear 2-functionals.
We establish variant Khintchine inequalities on normed spaces of Hanner type and cotype, in which the Rademacher distribution corresponding to classical Khintchine inequality is replaced by general symmetric distributions. The proof involves the $p$-barycenter and Birkhoff's ergodic theorem. More importantly, by employing these Khintchine inequalities, we get some lower bounds for Banach-Mazur distance between $l^p$-ball and a general centrally symmetric convex body.
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…
The aim of this article is to extend results of M.~Popov and second named author about orthogonally additive narrow operators on vector lattices. The main object of our investigations are an orthogonally additive narrow operators between lattice-normed spaces. We prove that every $C$-compact laterally-to-norm continuous orthogonally additive operator from a Banach-Kantorovich space $V$ to a Banach lattice $Y$ is narrow. We also show that every dominated Uryson operator from Banach-Kantorovich space over an atomless Dedekind complete vector lattice $E$ to a sequence Banach lattice $\ell_p(Γ)$ o…
Let A be a commutative normed algebra, K a class of normed A-modules. A normed A-module Z is called extremely flat with respect to K, if, for every isometric morphism of normed A-modules, belonging to K, the non-completed projective A-module tensor product of this morphism and the identity morphism on Z, is also isometric. In the present paper we take, in the capacity of A, the algebra c_0 of vanishing sequences and consider the class of the so-called homogeneous modules, over the latter algebra, denoted by H. The main theorem gives a full description of essential homogeneous modules over the …
We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a notion of $p$-orthogonal decomposition in order smooth p-normed spaces. We prove that if the $\infty$-orthogonal decomposition holds in an order smooth $\infty$-normed space, then the 1-orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.
Quasi *-algebras form an essential class of partial *-algebras, which are algebras of unbounded operators. In this work, we aim to construct tensor products of normed, respectively Banach quasi *-algebras, and study their capacity to preserve some important properties of their tensor factors, like for instance, *-semisimplicity and full representability.
The quotient shape types of normed vectorial spaces(over the same field) with respect to Banach spaces reduce to those of Banach spaces. The finite quotient shape type of normed spaces is an invariant of the (algebraic) dimension, but not conversely. The converse holds for separable normed spaces as well as for the bidual-like spaces (isomorphic to their second dual spaces). As a consequence, the Hilbert space $l_2$, or even its (countably dimensional, unitary) direct sum subspace may represent the unique quotient shape type of all $2^\aleph_0$-dimensional normed spaces. An application yields …
Let $X$ be a real separable normed space $X$ admitting a separating polynomial. We prove that each continuous function from a subset $A$ of $X$ to a real Banach space can be uniformly approximated by restrictions to $A$ of functions which are analytic on open subsets of $X$. Also we prove that each continuous function to a complex Banach space from a complex separable normed space admitting a separating $*$-polynomial can be uniformly approximated by $*$-analytic functions.
We extend Pisier's abstract version of Grothendieck's theorem to general non-locally convex quasi-Banach spaces. We also prove a related result on factoring operators through a Banach space and apply our results to the study of vector-valued inequalities for Sidon sets. We also develop the local theory of (non-locally convex) spaces with duals of weak cotype 2.
We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth $\infty$-normed spaces $V$ that are $M$-ideals in $\tilde{V}.$ Here $\tilde{V}$ is the order unit space obtained by adjoining an order unit to $V.$ To prove these results, we develop an order theoretic version of the "Alfsen-Efffros' cone decomposition theorem" for order smooth $1$-normed spaces. (As a quick application of this result, we sharpen a result on the ext…
In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.
We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$. Our theory is analogous to, but distinct from, an existing theory of `operator spaces'; it is designed to relate to general spaces $L^p$ for $p\in [1,\infty]$, and in particular to $L^1$-spaces, rather than to $L^2$-spaces. After recalling in Chapter 1 some results in functional analysis, especially in Banach space, Hilbert space, Banach algebra, and Banach lattice theory t…
We give a detailed proof D. Handelman's theorem stating (in the context of an order unit normed space) that a monotone sigma-complete order unit normed space is a Banach space.
The aim of this article is to extend results of Maslyuchenko O., Mykhaylyuk V. Popov M. about narrow operators on vector lattices. We give a new definition of a narrow operator where a vector lattice as the domain space of a narrow operator is replaced with a lattice-normed space. We prove that every GAM-compact (bo)-norm continuous linear operator from a Banach-Kantorovich space V to a Banach lattice Y is narrow. Then we show that, under some mild conditions, a continuous dominated operator is narrow if and only if its exact dominant is narrow.
Let C be a nonempty closed convex subset of a Banach space $E$. In this paper we introduce a new definition for variational inequality V I (C, B) on E that generalizes the analogue definition on Hilbert spaces. We generalize (u, v)-cocoercive mappings and v-strongly monotone mappings from Hilbert spaces to Banach spaces. Then we prove the generalized variational inequality V I (C, B) is singleton for (u, v)-cocoercive mappings under appropriate assumptions on Banach spaces that extends and improves [S. Saeidi, Comments on relaxed (u, v)-cocoercive mappings. Int. J. Nonlinear Anal. Appl. 1 (201…
In this article, we will give a characterization of Banach bimodules over $C^*$-algebras of compact operators that arises from operator spaces as well as a characterization of (F)-Banach bundles amongst all (H)-Banach bundles over a hyper-Stonian space. These two characterizations are concerned with whether certain natural map from a Banach bimodule to its canonical bidual is isometric (we call such bimodule \emph{regular}).
We investigate quasi-Banach operator ideal products $({\frak{A}}\circ{\frak{B}},\mathbf{A\circ B})$ which contain $(\frak{L}_2, \mathbf{L}_2)$ as a factor. In particular, we ask for conditions which guarantee that $\mathbf{A\circ B}$ is even a norm if each factor of the product is a 1-Banach ideal. In doing so, we reveal the strong influence of the existence of such a norm in relation to the accessibility of the product ideal and the structure of its factors.
The Erberlein-Smulian Theorem asserts that for complete normed spaces, that is Banach spaces, a subset is weak compact if and only if it is weak sequentially compact. In this paper it is shown that the completeness of the normed space is not necessary for the above mentioned result.
Let C be a nonempty closed convex subset of a real normed linear space $E$ and u, v are positive numbers. In this paper we introduce some new definitions that generalize the analogue definitions from real Hilbert spaces to real normed linear spaces. Indeed, we generalize (u, v)-cocoercive mappings and v-strongly monotone mappings and V I (C, B) for a mapping $B$, from real Hilbert spaces to real normed linear spaces. Then we prove that the generalized variational inequality V I (C, B) is singleton for (u, v)-cocoercive mappings under appropriate assumptions on Banach spaces that extends and im…
We consider real spaces only. Definition. An operator $T:X\to Y$ between Banach spaces $X$ and $Y$ is called a Hahn-Banach operator if for every isometric embedding of the space $X$ into a Banach space $Z$ there exists a norm-preserving extension $\tilde T$ of $T$ to $Z$. A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to characterize pairs of finite-dimensional normed spaces $(X,Y)$ such that there exists a Hahn-Banach operator $T:X\to Y$ of rank $k$. The latter result is a generalization of a recent …
In the first part of our note we prove that every Weakly Lindelöf Determined (WLD) (in particular, every reflexive) non-separable Banach $X$ space contains two dense linear subspaces $Y$ and $Z$ that are not densely isomorphic. This means that there are no further dense linear subspaces $Y_0$ and $Z_0$ of $Y$ and $Z$ which are linearly isomorphic. Our main result (Theorem B) concerns the existence of biorthogonal systems in normed spaces. In particular, we prove under the Continuum Hypothesis (CH) that there exists a dense linear subspace of $\ell_2(ω_1)$ (or more generally every WLD space of …
If a Banach-space operator has a complemented range, then its normed-space adjoint has a complemented kernel and the converse holds on a reflexive Banach space. It is also shown when complemented kernel for an operator is equivalent to complemented range for its normed-space adjoint. This is applied to compact operators and to compact perturbations. In particular, compact perturbations of semi-Fredholm operators have complemented range and kernel for both the perturbed operator and its normed-space adjoint
Nonstandard hulls of a vector lattice were introduced and studied in \cite{E10,E9,E7,E5,E3}. In recent paper \cite{EG}, these notions were extended to ordered vector spaces. In the present paper, following the construction of associated Banach-Kantorovich space \cite{E8}, we describe and investigate nonstandard hull of a lattice-normed space, which is a generalization of nonstandard hull of a normed space.
For a real normed space $X$, we study the $n$-dual space of $\left(X,\left\Vert \cdot \right\Vert \right) $ and show that the space is a Banach space. Meanwhile, for a real normed space $X$ of dimension $d\geq n$ which satisfies property (G), we discuss the $n$-dual space of $\left(X,\left\Vert \cdot,\ldots,\cdot \right\Vert _{G}\right) $, where $% \left\Vert \cdot,\ldots,\cdot \right\Vert _{G}$ is the Gähler $n$% -norm. We then investigate the relationship between the $n$-dual space of $% \left(X,\left\Vert \cdot \right\Vert \right) $ and the $n$-dual space of $% \left(X,\left\Vert \cdot,\ldo…
Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed spaces. We give conditions for norm-attainability of linear functionals in Banach spaces, non-power operators on $H$ and elementary operators. Lastly, we characterize a new notion of norm-attainability for power operators in normed spaces.
We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countabl…
Two different notions of approximate Birkhoff-James orthogonality in nor\-med linear spaces have been introduced by Dragomir and Chmie\-liń\-ski. In the present paper we consider a global and a local approximate symmetry of the Birkhoff-James orthogonality related to each of the two definitions. We prove that the considered orthogonality is approximately symmetric in the sense of Dragomir in all finite-dimensional Banach spaces. For the other case, we prove that for finite-dimensional polyhedral Banach spaces, the approximate symmetry of the orthogonality is equivalent to some newly introduced…
We define the ($w^\ast$-) boundedness property and the ($w^\ast$-) surjectivity property for sets in normed spaces. We show that these properties are pairwise equivalent in complete normed spaces by characterizing them in terms of a category-like property called ($w^\ast$-) thickness. We give examples of interesting sets having or not having these properties. In particular, we prove that the tensor product of two $w^\ast$-thick sets in $\Xastast$ and $\Yast$ is a $w^\ast$-thick subset in $L(X,Y)^\ast$ and obtain as a concequense that the set $w^\ast -exp\:B_{K(l_2)^\ast}$ is $w^\ast$-thick.
The aim of this note is to introduce the space D_{U}(V,W) of the dominated Uryson operators on lattice-normed spaces. We prove an "Up-and-down" type theorem for a positive abstract Uryson operator defined on a vector lattice and taking values in a Dedekind complete vector lattice. This result we apply to prove the decomposability of the lattice valued norm of the space D_{U}(V,W) of all dominated Uryson operators. We obtain that, for a lattice-normed space V and a Banach-Kantorovich space W the space D_{U}(V,W) is also a Banach-Kantorovich space. We prove that under some mild conditions, a dom…
A generalization of Problem 73 of Mazur and Orlicz in the Scottish Book was introduced from L. Harris. The exact value of the constant that appears there is known when complex normed linear spaces are considered. In this paper, we give estimates in the case of an arbitrary real normed linear space and a real $\ell_p$ space. Moreover, if $F(x)$ is a power series, $ρ$ its radius of uniform convergence and $ρ_{\substack{A}}$ its radius of analyticity, we prove that $ρ_{\substack{A}}\geqρ/\sqrt{2}$ and give some respective results for the $n$th Fréchet derivative of $F(x)$.
Motivated by the questions in the theory of Fredholm stability in Banach space and Kato's strictly singular operators we answer several natural questions concerning ``orthogonality'' in normed spaces and the properties of metric projections. What the reader will see below might have benn known long ago, but we did not find it in the literature. Some open (for us) questions are formulated at the end of Sections 7 and 9.
We study Banach envelopes for commutative symmetric sequence or function spaces, and noncommutative symmetric spaces of measurable operators. We characterize the class $(HC)$ of quasi-normed symmetric sequence or function spaces $E$ for which their Banach envelopes $\widehat{E}$ are also symmetric spaces. The class of symmetric spaces satisfying $(HC)$ contains but is not limited to order continuous spaces. Let $\mathcal{M}$ be a non-atomic, semifinite von Neumann algebra with a faithful, normal, $σ$-finite trace $τ$ and $E$ be as symmetric function space on $[0,τ(1))$ or symmetric sequence sp…
We try to create a wise definition of 'angle spaces'. Based on an idea of Ivan Singer, we introduce a new concept of an angle in real Banach spaces, which generalizes the euclidean angle in Hilbert spaces. With this angle it is shown that in every two-dimensional subspace of a real Banach space we can describe elements uniquely by polar coordinates.
It is well known that in the calculus of variations and in optimization there exist many formulations of the fundamental propositions on the attainment of the infima of sequentially weakly lower semicontinuous coercive functions on reflexive Banach spaces. By either some constructive skills or the regularization skill by inf--convolutions we show in this paper that all these formulations together with their important variants are equivalent to each other and equivalent to the reflexivity of the underlying space. Motivated by this research, we also give a characterization for a normed space to …
By means of the direct limit technique, with every normed space X it is associated a bidualic (Banach) space $\tilde{X} (D^2( \tilde{X}) \cong \tilde{X} $ - called the hyperdual of $X$) that contains (isometrically embedded) $X$ as well as all the even (normed) duals $D^{2n}(X)$, which make an increasing sequence of the category retracts. The algebraic dimension dim $\tilde{X}$ = dim $X$ (dim $\tilde{X}$ = $2^{\aleph_0}$ ), whenever dim $X \neq \aleph_0$, (dim $X = \aleph_0$). Furthermore, the correspondence $X \mapsto \tilde{X}$ extends to a faithful covariant functor (called the hyperdual fu…
In this paper, using the fixed point and direct methods, we prove the generalized Hyers-Ulam-Rassias stability of a Cauchy-Jensen additive functional equation in various normed spaces. The concept of Hyers-Ulam-Rassias stability originated from Th. M. Rassias stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300.
We study the existence of cubic quotients of finite-dimensional quasi-normed spaces, that is, quotients well isomorphic to $\ell_{\infty}^k$ for some $k.$ We give two results of this nature. The first guarantees a proportional dimensional cubic quotient when the envelope is cubic; the second gives an estimate for the size of a cubic quotient in terms of a measure of non-convexity of the quasi-norm.
We show how to construct nonlocally convex quasi-Banach spaces $X$ whose dual separates the points of a dense subspace of $X$ but does not separate the points of $X$. Our examples connect with a question raised by Pietsch [About the Banach envelope of $l_{1,\infty}$, Rev. Mat. Complut. 22 (2009), 209-226] and shed light into the unexplored class of quasi-Banach spaces with nontrivial dual which do not have sufficiently many functionals to separate the points of the space.
In this article we investigate some general properties of the multiplier algebras of normed spaces of continuous functions (NSCF). In particular, we prove that the multiplier algebra inherits some of the properties of the NSCF. We show that it is often possible to construct NSCF's which only admit constant multipliers. In order to do that, using a method from [23], we prove that any separable Banach space can be realized as a NSCF over any separable metrizable space. On the other hand, we give a sufficient condition for non-separability of a multiplier algebra.
