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

The proofs of K. Oka's Coherence Theorems are based on Weierstrass' Preparation (division) Theorem. Here we formulate and prove a Weak Coherence Theorem without using Weierstrass' Preparation Theorem, but only with power series expansions:…

In this paper we study a weaker form of the property $\text{\textbf{L}}_{o,o}$ called the weak $\text{\textbf{L}}_{o,o}$ and its uniform version called the weak $\text{BPB}_{\text{op}}$ which is again a weaker form the property…

It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break…

We prove general kernel theorems for operators acting between coorbit spaces. These are Banach spaces associated to an integrable representation of a locally compact group and contain most of the usual function spaces (Besov spaces,…

In this paper we show the weak Banach-Saks property of the Banach vector space $(L_\mu^p)^m$ generated by $m$ $L_\mu^p$-spaces for $1\leq p<+\infty,$ where $m$ is any given natural number. When $m=1,$ this is the famous Banach-Saks-Szlenk…

In this paper, we prove the strong convergence theorems for nearly nonexpansive mappings, using the modified Picard-Mann hybrid iteration process in the context of uniformly convex Banach space.

We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there always exists a canonically computable tempered two-sided…

The Connes Embedding Problem (CEP) asks whether every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor. We show that the CEP is equivalent to the computability of the universal theory of every type II_1 von…

We introduce the Hahn quantum variational calculus. Necessary and sufficient optimality conditions for the basic, isoperimetric, and Hahn quantum Lagrange problems, are studied. We also show the validity of Leitmann's direct method for the…

Associated with every separable Hilbert space $\mathcal{H}$ and a given localized frame, there exists a natural test function Banach space $\mathcal{H}^1$ and a Banach distribution space $\mathcal{H}^{\infty}$ so that $\mathcal{H}^1 \subset…

A subsequence principle is obtained, characterizing Banach spaces containing $c_0$, in the spirit of the author's 1974 characterization of Banach spaces containing $\ell^1$. Definition: A sequence $(b_j)$ in a Banach space is called {\it…

This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…

Let $A$ be a Banach algebra and $\phi\in \Delta(A)\cup\{0\}$. We say that $A$ is $\Delta$-weak $\phi$-amenable if there exists an $m\in A^{**}$ such that $m(\phi)=0$ and $m(\psi.a)=\psi(a)$ for each $\psi\in \Delta(A)$ and $a\in…

In this paper we study conditions on a Banach space X that ensure that the Banach algebra K(X) of compact operators is amenable. We give a symmetrized approximation property of X which is proved to be such a condition. This property is…

We obtain exhaustive results and treat in a unified way the question of boundedness, compactness, and weak compactness of composition operators from the Bloch space into any space from a large family of conformally invariant spaces that…

In this paper, we extend the Banach contraction principle to metric-like as well as partial metric spaces (not essentially complete) equipped with an arbitrary binary relation. Thereafter, we derive some fixed point results which are…

In this brief note we provide a simple approach to give a new proof of the well known fact that the Banach-Alaoglu theorem and the Tychonoff product theorem for compact Hausdorff spaces are equivalent.

The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant…