相关论文: Computability of the Hahn-Banach Theorem Revisited

We prove some results on weakly almost square Banach spaces and their relatives. On the one hand, we discuss weak almost squareness in the setting of Banach function spaces. More precisely, let $(\Omega,\Sigma)$ be a measurable space, let…

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…

It is well-known that any finite $\Pi^{0}_{1}$-class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of K\H{o}nig's…

A Banach space is said to be Grothendieck if weak and weak$^*$ convergent sequences in the dual space coincide. This notion has been quantificated by H. Bendov\'{a}. She has proved that $\ell_\infty$ has the quantitative Grothendieck…

In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined…

In this paper, we introduce and investigate the concepts of cyclically weakly amenable and point amenable. Then, we compare these concepts with the concepts of weakly amenable and cyclically amenable and find the relation between them. For…

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…

The Hahn-Banach theorem is an extension theorem for linear functionals which preserves certain properties. Specifically, if a linear functional is defined on a subspace of a real vector space which is dominated by a sublinear functional on…

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'…

In this paper, a general hybrid fixed point theorem for the contractive mappings in generalized Banach spaces is proved via measure of weak non-compactness and it is further applied to fractional integral equations for proving the existence…

Denote by $[0,\omega_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,\omega_1)$ be the Banach space of scalar-valued, continuous functions which are defined on…

Let B be a unital Banach algebra. A projection in B which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal A in B. In this set-up we prove a theorem to the effect that the bounded Hochschild…

We study the logical and computational strength of weak compactness in the separable Hilbert space \ell_2. Let weak-BW be the statement the every bounded sequence in \ell_2 has a weak cluster point. It is known that weak-BW is equivalent to…

Using elementary probabilistic methods, in particular a variant of the Weak Law of Large Numbers related to the Bernoulli distribution, we prove that for every infinite compact spaces $K$ and $L$ the product $K\times L$ admits a sequence…

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,…

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…

We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties.…

In this paper, we prove some theorems related to properties of generalized symmetric hybrid mappings in Banach spaces. Using Banach limits, we prove a fixed point theorem for symmetric generalized hybrid mappings in Banach spaces. Moreover,…

The space Weak L^1 consists of all measurable functions on [0,1] such that q(f) = sup_{c>0} c \lambda{t : |f(t)| > c} is finite, where \lambda denotes Lebesgue measure. Let \rho be the gauge functional of the unit ball {f : q(f) \leq 1} of…

We show that for a Banach algebra $A$ with a bounded approximate identity, the amenability of the projective tensor product of A with A, the amenability of the projective tensor product of A with A^{op}and the amenability of A are…