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.
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.
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.
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 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.
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…
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 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 …
The notion of linear Hahn-Banach extension operator was first studied in detail by Heinrich and Mankiewicz (1982). Previously, J. Lindenstrauss (1966) studied similar versions of this notion in the context of non separable reflexive Banach spaces. Subsequently, Sims and Yost (1989) proved the existence of linear Hahn-Banach extension operators via interspersing subspaces in a purely Banach space theoretic set up. In this paper, we study similar questions in the context of Banach modules and module homomorphisms, in particular, Banach algebras of operators on Banach spaces. Based on Dales, Kani…
As a cornerstone of functional analysis, Hahn Banach theorem constitutes an indispensable tool of modern analysis where its impact extends beyond the frontiers of linear functional analysis into several other domains of mathematics, including complex analysis, partial differential equations and ergodic theory besides many more. The paper is an attempt to draw attention to certain applications of the Hahn Banach theorem which are less familiar to the mathematical community, apart from highlighting certain aspects of the Hahn Banach phenomena which have spurred intense research activity over the…
We present here a simple and direct proof of the classic geometric version of Hahn-Banach Theorem from its analitic version, in the real case. The reciprocal implication, and the direct proofs of both versions, are already well kown, but they are also summarized. For the complex case, in both versions the Hahn-Banach Theorem is deduced from the real case, as it is well known.
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local' version of this theorem. The result is applied to study the uo-dual of a Banach lattice that was recently introduced in [3]. We also provide a simplified approach to the measure-free characterization of uniform integrability established in [8].
We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and detailed characterizations of best approximations from certain important cones in Hilbert space.
[REVISED VERSION] The aim of this paper is to state a sharp version of the König supremum theorem, an equivalent reformulation of the Hahn--Banach theorem. We apply it to derive statements of the Lagrange multipliers, Karush-Kuhn-Tucker and Fritz John type, for nonlinear infinite programs. We also show that a weak concept of convexity coming from minimax theory, infsup-convexity, is the adequate one for this kind of results.
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 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$.
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 study, we analyze the various strengthening and weakening of the uniqueness of the Hahn--Banach extension. In addition, we consider the case in which $Y$ is an ideal of $X$. In this context, we study the property-$(U)/ (SU)/ (HB)$ and property-$(k-U)$ for a subspace $Y$ of a Banach space $X$. We obtain various new characterizations of these properties. We discuss various examples in the classical Banach spaces, where the aforementioned properties are satisfied and where they fail. It is observed that a hyperplane in $c_0$ has property-$(HB)$ if and only if it is an $M$-summand. Conside…
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 isometr…
It is observed that a natural analog of the Hahn-Banach theorem is valid for metric functionals but fails for horofunctions. Several statements of the existence of invariant metric functionals for individual isometries and 1-Lipschitz maps are proved. Various other definitions, examples and facts are pointed out related to this topic. In particular it is shown that the metric (horofunction) boundary of every infinite Cayley graphs contains at least two points.
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…
This paper is partly a survey of certain kinds of results and proofs in additive combinatorics, and partly a discussion of how useful the finite-dimensional Hahn-Banach theorem can be. The most interesting single result is probably a simpler proof of a key step in the proof of the Green-Tao theorem, but several other applications of the method are given. A similarly simplified proof of the Green-Tao transference principle was obtained independently (and expressed in a rather different language) by Reingold, Trevisan, Tulsiani and Vadhan.
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.
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multi-valued function Sep and a natural notion of reducibility for multi-valued functions, we obtain a computational counterpart of the subsystem of second order arithmetic WKL_0. We study analogies and differences between WKL_0 and the class of Sep-computable mul…
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.
In this paper we study two properties viz. property-$U$ and property-$SU$ of a subspace $Y$ of a Banach space which correspond to the uniqueness of the Hahn-Banach extension of each linear functional in $Y^*$ and in addition to that this association forms a linear operator of norm-1 from $Y^*$ to $X^*$. It is proved that, under certain geometric assumptions on $X, Y, Z$ these properties are stable with respect to the injective tensor product; $Y$ has property-$U$ ($SU$) in $Z$ if and only if $X\otimes_\e^\vee Y$ has property-$U$ ($SU$) in $X\otimes_\e^\vee Z$. We prove that when $X^*$ has the …
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.
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.
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…
The basic results for nonlinear operators are given. These results include nonlinear versions of classical uniform boundedness theorem and Hahn-Banach theorem. Furthermore, the mappings from a metrizable space into another normed space can fall in some normed spaces by defining suitable norms. The results for the mappings on the metrizable spaces can be applied to the operators on the space of bounded linear functionals corresponding to the Dirac's delta function.
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.
We present here the General formulation of the problem of existence and construction of upper and lower envelope for an arbitrary function with values from the completion of the ordered set ${\rm S}$ for a certain class of functions with values in ${\rm S}$. The task is parsed only for the simplest case of model class of homogeneous functions. Consider only order-algebraic version without the involvement of the topology.
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…
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 …
We study Hahn-Banach extensions of multilinear forms defined on Banach sequence spaces. We characterize $c_0$ in terms of extension of bilinear forms, and describe the Banach sequence spaces in which every bilinear form admits extensions to any superspace.
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 show in this paper that a certain class of normed modules over the algebra of all bounded operators on a Hilbert space possesses a homological property which is a kind of a functional-analytic version of the standard algebraic property of flatness. We mean the preservation, under projective tensor multiplication of modules, of the property of a given morphism to be isometric. As an application, we obtain several extension theorems for different types of modules, called Arveson-Wittstock type theorems. These, in their turn, have, as a straight corollary, the `genuine' Arveson-Wittstock Theor…