We give continuous separation theorems for convex sets in a real linear space equipped with a norm that can assume the value infinity. In such a space, it may be impossible to continuously strongly separate a point $p$ from a closed convex set not containing $p$, that is, closed convex sets need not be weakly closed. As a special case, separation in finite-dimensional extended normed spaces is considered at the outset.

Let $G$ be a locally compact group with a fixed left Haar measure. In this paper, given a strictly positive Young function ${\rm\Phi}$, we consider $L^{{\rm\Phi}}(G)$ as a Banach left $L^{1}(G)$-module. Then we equip $L^{{\rm\Phi}}(G)$ with the strict topology induced by $L^{1}(G)$ in the sense of Sentilles and Taylor. Some properties of this locally convex topology and a comparison with weak$^{\ast }$, bounded weak$^{\ast }$ and norm topologies are presented.

Let (E, ℱ) be a weakly compactly generated Frechet space and let ℱ0 be another weaker Hausdorff locally convex topology on E. Let X be an ℱ-bounded compact subset of (E, ℱ0). The ℱ0-closed convex hull of X in E is then ℱ0-compact. We also give a new proof, without using Riemann–Lebesgue-integrable (Birkoff-integrable) functions, with the result that if (E, ∥ · ∥) is any Banach space and ℱ0 is fragmented by ∥ · ∥, then the same result holds. Furthermore, the closure of the convex hull of X in ℱ0-topology and in the original topology of E is the same.

While the separable quotient problem is famously open for Banach spaces, in the broader context of barrelled spaces we give negative solutions. Obversely, the study of pseudocompact $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ and Warner bounded $X$ allows us to expand Rosenthal’s positive solution for Banach spaces of the form $ C_{c}(X) $ to barrelled spaces of the same form, and see that strong duals of arbitrary $C_{c}(X) $ spaces admit separable quotients.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}K$ be a locally compact hypergroup endowed with a left Haar measure and let $L^1(K)$ be the usual Lebesgue space of $K$ with respect to the left Haar measure. We investigate some properties of $L^1(K)$ under a locally convex topology $\beta ^1$. Among other things, the semireflexivity of $(L^1(K), \beta ^1)$ and of sequentially$\beta ^1$-continuous functionals is studied. We also show that $(L^1(K), \beta ^1)$ with the convolution multiplication is always a complete semitopological algebra, whereas it is a topological algebra if and only if $K$ is compact.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\langle X,d \rangle $ be a metric space. We characterise the family of subsets of $X$ on which each locally Lipschitz function defined on $X$ is bounded, as well as the family of subsets on which each member of two different subfamilies consisting of uniformly locally Lipschitz functions is bounded. It suffices in each case to consider real-valued functions.

We define the class of weakly approximately divisible unital ${C}^{\ast } $-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any ${C}^{\ast } $-algebra, and quotients. A nuclear ${C}^{\ast } $-algebra is weakly approximately divisible if and only if it has no finite-dimensional representations. We also show that Pisier’s similarity degree of a weakly approximately divisible ${C}^{\ast } $-algebra is at most five.

For a locally compact group $ \mathcal{G} $, we introduce and study a class of locally convex topologies $\tau $ on the measure algebra $M( \mathcal{G} )$ of $ \mathcal{G} $. In particular, we show that the strong dual of $(M( \mathcal{G} ), \tau )$ can be identified with a closed subspace of the Banach space $M\mathop{( \mathcal{G} )}\nolimits ^{\ast } $; we also investigate some properties of the locally convex space $(M( \mathcal{G} ), \tau )$.

The paper deals with the following problem: characterize Tichonov spaces X whose realcompactification υX is a Lindelöf Σ-space. There are many situations (both in topology and functional analysis) where Lindelöf Σ (even K-analytic) spaces υX appear. For example, if E is a locally convex space in the class 𝔊 in sense of Cascales and Orihuela (𝔊 includes among others (LM ) -spaces and (DF ) -spaces), then υ(E′,σ(E′,E))is K-analytic and E is web-bounded. This provides a general fact (due to Cascales–Kakol–Saxon): if E∈𝔊, then σ(E′,E)is K-analytic if and only if σ(E′,E)is Lindelöf. We prove a corresponding result for spaces Cp (X)of continuous real-valued maps on X endowed with the pointwise topology: υX is a Lindelöf Σ-space if and only if X is strongly web-bounding if and only if Cp (X)is web-bounded. Hence the weak* dual of Cp (X)is a Lindelöf Σ-space if and only if Cp (X)is web-bounded and has countable tightness. Applications are provided. For example, every E∈𝔊 is covered by a family {Aα :α∈Ω} of bounded sets for some nonempty set Ω⊂ℕℕ.

Let X be a locally compact space, and 𝔏∞0(X,ι) be the space of all essentially bounded ι-measurable functions f on X vanishing at infinity. We introduce and study a locally convex topology β1(X,ι) on the Lebesgue space 𝔏1(X,ι) such that the strong dual of (𝔏1(X,ι),β1(X,ι)) can be identified with . Next, by showing that β1(X,ι)can be considered as a natural mixed topology, we deduce some of its basic properties. Finally, as an application, we prove that L1 (G) , the group algebra of a locally compact Hausdorff topological group G, equipped with the convolution multiplication is a complete semitopological algebra under the β1 (G)topology.

Let Σ be a set and σ be a positive function on Σ. We introduce and study a locally convex topology β1(Σ,σ) on the space ℓ1(Σ,σ) such that the strong dual of (ℓ1(Σ,σ),β1(Σ,σ)) can be identified with the Banach space . We also show that, except for the case where Σ is finite, there are infinitely many such locally convex topologies on ℓ1(Σ,σ). Finally, we investigate some other properties of the locally convex space (ℓ1(Σ,σ),β1(Σ,σ)) , and as an application, we answer partially a question raised by A. I. Singh [‘L∞0(G)* as the second dual of the group algebra L1 (G)with a locally convex topology’, Michigan Math. J.46 (1999), 143–150].

This paper gives a characterization of nonexpansive mappings from the unit sphere of ℓβ (Γ) onto the unit sphere of ℓβ (Δ) where 0<β≤1. By this result, we prove that such mappings are in fact isometries and give an affirmative answer to Tingley’s problem in ℓβ (Γ) spaces. We also show that the same result holds for expansive mappings between unit spheres of ℓβ (Γ) spaces without the surjectivity assumption.

Answering a question of W. Arendt and M. Kunze in the negative, we construct a Banach space X and a norm closed weak* dense subspace Y of the dual X′ of X such that X, endowed with the Mackey topology μ(X,Y ) of the dual pair 〈X,Y 〉, is not complete.

Given a metrizable locally convex-solid Riesz space of measurable functions we provide a procedure to construct a minimal Fréchet (function) lattice containing it, called its Fatou completion. As an application, we obtain that the Fatou completion of the space L1(ν) of integrable functions with respect to a Fréchet-space-valued measure ν is the space L1w(ν) of scalarly ν-integrable functions. Further consequences are also given.

Let A, B be Archimedean vector lattices and let (ui)i∈I, (vi)i∈I be maximal orthogonal systems of A and B, respectively. In this paper, we prove that if T is a lattice homomorphism from A into B such that for each λ∈ℝ+ and i∈I, then T is linear. This generalizes earlier results of Ercan and Wickstead (Math. Nachr279 (9–10) (2006), 1024–1027), Lochan and Strauss (J. London Math. Soc. (2) 25 (1982), 379–384), Mena and Roth (Proc. Amer. Math. Soc.71 (1978), 11–12) and Thanh (Ann. Univ. Sci. Budapest. Eotvos Sect. Math.34 (1992), 167–171).

We characterize surjective nonexpansive mappings between unit spheres of ℒ∞(Γ)-type spaces. We show that such mappings turn out to be isometries and can be extended to linear isometries on the whole space ℒ∞(Γ).

Well-bounded operators are those which possess a bounded functional calculus for the absolutely continuous functions on some compact interval. Depending on the weak compactness of this functional calculus, one obtains one of two types of spectral theorem for these operators. A method is given which enables one to obtain both spectral theorems by simply changing the topology used. Even for the case of well-bounded operators of type (B), the proof given is more elementary than that previously in the literature.

We prove that in the character group of an abelian topological group, the topology associated (in a standard way) to the continuous convergence structure is the finest of all those which induce the topology of simple convergence on the corresponding equicontinuous subsets. If the starting group is furthermore metrizable (or even almost metrizable), we obtain that such a topology coincides with the compact-open topology. This result constitutes a generalization of the theorem of Banach-Dieudonné, which is well known in the theory of locally convex spaces.

We also characterize completeness, in the class of locally quasi-convex metrizable groups, by means of a property which we have called the quasi-convex compactness property, or briefly qcp (Section 3).

We give several general implicit function and closed graph theorems for ser-valued functions. Let Z be a normed space, X, Y metric spaces with X complete. Let f: X ⇉ Z, F: X × Y ⇉ Z be multifunctions with z0 ∈ f(x0) ∩ F(x0, y0) such that f is open at (x0, y0) and f ‘approximates’ F in an appropriate sense. Suppose that f−1(z) is closed, F(x, y) is compact for each x, y and z and suppose that F(x0, ·) is lower semi-continuous at y0. Then F(·, y) is of closed graph ‘locally’, is open at x0, and there exists a function x(·) with x(y) → x0 for y → y0 such that z0 ∈ F(x(y), (y)) for all y near y0. A more general form dealing with the non-linear rate situation is also established.

We consider the space L1 (ν, X) of all real functions that are integrable with respect to a measure v with values in a real Fréchet space X. We study L-weak compactness in this space. We consider the problem of the relationship between the existence of copies of l∞ in the space of all linear continuous operators from a complete DF-space Y to a Fréchet lattice E with the Lebesgue property and the coincidence of this space with some ideal of compact operators. We give sufficient conditions on the measure ν and the space X that imply that L1 (ν, X) has the Dunford-Pettis property. Applications of these results to Fréchet AL-spaces and Köthe sequence spaces are also given.