Related papers: Banach's theorem in higher order reverse mathemati…
We consider a monotone increasing operator in an ordered Banach space having $u_-$ and $u_+$ as a strong super- and subsolution, respectively. In contrast with the well studied case $u_+ < u_-$, we suppose that $u_- < u_+$. Under the…
We consider linear bounded operators acting in Banach spaces with a basis, such operators can be represented by an infinite matrix. We prove that for an invertible operator there exists a sequence of invertible finite-dimensional operators…
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
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,…
A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…
We give a systematic construction of inverse-closed (Banach) subalgebras in general higher-dimensional non-commutative tori
We prove level-by-level upper and lower bounds on the strength of determinacy for finite differences of sets in the hyperarithmetical hierarchy in terms of subsystems of finite-and transfinite-order arithmetic, extending the…
In this paper, using generalized metric projection, we propose a new extragradient method for finding a common element of the solutions set of a generalized equilibrium problem and a variational inequality for an $\alpha$-inverse-strongly…
A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…
We describe a theory of finite sets, and investigate the analogue of Dedekind's theory of natural number systems (simply infinite systems) in this theory. Unlike the infinitary case, in our theory, natural number systems come in differing…
We introduce the concept of shifting distance functions, and we establish a new fixed point theorem which generalizes the Banach contraction principle. An example is provided to illustrate our result.
We augment the dimension of the Euclidean space by one and the Picard iteration of a contraction by a simple iteration on the real line such that the resulting iteration becomes monotone increasing and bounded with respect to the order…
In this paper we extend the notion of $\varphi$-mixing to set-valued random sequences that take values in the family of closed subsets of a Banach space. Several strong laws of large numbers for such $\varphi$-mixing sequences are stated…
Chapter 1 deals with the problem of the existence of an upper/lower envelope from a convex cone or, more generally, a convex set for functions on the projective limit of vector lattices with values in the completion of the Kantorovich space…
We show any subset $A\subset\mathbb{N}$ with positive upper Banach density contains the pattern $\{m,m+[n\alpha],\dots,m+k[n\alpha]\}$, for some $m\in\mathbb{N}$ and $n=p-1$ for some prime $p$, where…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…
We introduce a sheaf theoretic viewpoint on functional analysis designed for infinite dimensional Lie group actions. We develop functional calculus for Banach valued functors and, in particular, prove the existence of an exponential map for…
We give conditions for local diagonalization of analytic operator families acting between real or complex Banach spaces. The transformations are constructed from an operator Toeplitz matrix obtained from Jordan chains of increasing length.…
In this note, we analyze frequently hypercyclic solutions of abstract higher-order differential equations in separable infinite-dimensional complex Banach spaces. We essentially apply results from the theory of $C$-regularized semigroups,…
Recent reverses for the discrete generalised triangle inequality and its continuous version for vector-valued integrals in Banach spaces are surveyed. New results are also obtained. Particular instances of interest in Hilbert spaces and for…