Results 51 to 60 of about 854 (144)
The Hahn-Banach Theorem in Type Theory
We give the basic deønitions for pointfree functional analysis and present constructive proofs of the Alaoglu and Hahn-Banach theorems in the setting of formal topology.
Negri, S. +5 more
core
An extension of the Banach-Stone theorem
International audienceWe establish an extension of the Banach-Stone theorem to a class of isomorphism more general than isometries in a non compact framework. Some applications are given.
MOHAMMED BACHIR, Bachir, Mohammed
core +1 more source
From linear to metric functional analysis. [PDF]
Karlsson A.
europepmc +1 more source
On maximal immediate extensions of valued division algebras [PDF]
We show an extension theorem for strictly contracting bilinear mappings into a spherically complete valued vector space and we apply this result to prove that every maximal valued division algebra having the same characteristic as its residue division ...
Schörner, Erwin
core +1 more source
Lipschitz Carnot-Carathéodory Structures and their Limits. [PDF]
Antonelli G +2 more
europepmc +1 more source
Free Banach lattices under convexity conditions. [PDF]
Jardón-Sánchez H +4 more
europepmc +1 more source
Amenability and Hahn-Banach extension property for set-valued mappings
Amenability is an important notion in harmonic analysis on groups and semigroups, and their associated Banach algebras. In this paper, we present some characterization of a semitopological semigroup $S$ on the existence of a left invariant mean on $\text{
Yao, Liangjin, Lau, Anthony To-Ming
core
Mean value theorems and a Taylor theorem for vector valued functions
Two mean value theorems and a Taylor theorem for functions with values in a locally convex topological vector space are proved without the use of the Hahn-Banach extension ...
Vyborny R.
core +1 more source
Free boundary methods and non-scattering phenomena. [PDF]
Salo M, Shahgholian H.
europepmc +1 more source
A distributional approach to fractional Sobolev spaces and fractional variation: asymptotics I. [PDF]
Comi GE, Stefani G.
europepmc +1 more source

