相关论文: The Hahn-Banach theorem in spaces of nonlinear gen…
In this paper we introduce Hausdorff locally convex algebra topologies on subalgebras of the whole algebra of nonlinear generalized functions. These topologies are strong duals of Fr\'echet-Schwartz space topologies and even strong duals of…
Modelling of singularities given by discontinuous functions or distributions by means of generalized functions has proved useful in many problems posed by physical phenomena. We introduce in a systematic way generalized functions of…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We give improved bounds for our theorem in [GW09], which shows that a system of linear forms on $\mathbb{F}_p^n$ with squares that are linearly independent has the expected number of solutions in any linearly uniform subset of…
We present some remarks about the embedding of spaces of Schwartz distributions into spaces of Colombeau generalized functions. We show that the various constructions of such embeddings existing in the literature lead in fact to the same…
We survey several applications of fixed point theorems in the theory of invariant subspaces. The general idea is that a fixed point theorem applied to a suitable map yields the existence of invariant subspaces for an operator on a Banach…
In this paper, we deal with a notion of Banach space-valued mappings defined on a set consisting of finite graphs with uniformly bounded vertex degree. These functions will be endowed with certain boundedness and additivity criteria. We…
We study homomorphisms on the algebra of analytic functions of bounded type on a Banach space. When the domain space lacks symmetric regularity, we show that in every fiber of the spectrum there are evaluations (in higher duals) which do…
Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…
Convexity is an important notion in non linear optimization theory as well as in infinite dimensional functional analysis. As will be seen below, very simple and powerful tools will be derived from elementary duality arguments (which are…
Using the framework of Colombeau algebras of generalized functions, we prove the existence and uniqueness results for global generalized solvability of semilinear hyperbolic systems with nonlinear nonlocal boundary conditions. We admit…
We present a geometric approach to defining an algebra $\hat{\mathcal G}(M)$ (the Colombeau algebra) of generalized functions on a smooth manifold $M$ containing the space ${\mathcal D}'(M)$ of distributions on $M$. Based on differential…
We consider distributions on a closed compact manifold $M$ as maps on smoothing operators. Thus spaces of certain maps between $\Psi^{-\infty}(M)\to \mathcal{C}^{\infty}(M)$ are considered as generalized functions. For any collection of…
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…
We demonstrate that the Cartan-Thullen theorem and its generalisation to the context of generalised convexity, which we establish herein, can be regarded as consequences of the classical theorems of functional analysis: the Banach-Steinhaus…
We prove the version of interpolation theorem for non-commutative vector-valued fully symmetric spaces associated with fully symmetric Banach function spaces and a von Neumann algebra equipped with a faithful semifinite normal trace.
It is well known that finite-dimensional polyhedral convex sets can be generated by finitely many points and finitely many directions. Representation formulas in this spirit are obtained for convex polyhedra and generalized convex polyhedra…
In this work, using a new geometrical approach we study to the existence of the fixed-point of mappings that independence of the smoothness, and also of their single-values or multi-values. This work proved the theorems that generalize in…
The aim of this paper is to present a survey of some recent results obtained in the study of spaces with asymmetric norm. The presentation follows the ideas from the theory of normed spaces (topology, continuous linear operators, continuous…
We study large linear structures inside sets arising in the theory of norm-attaining operators. We provide several results in the context of lineability, spaceability, maximal-spaceability, and $(\alpha, \beta)$-spaceability for sets of…