Filter-dependent versions of the uniform boundedness principle

DOI10.1016/J.JMAA.2020.124705MaRDI QIDQ1995777zbMATH OpenOpenAlexFDO

Publication date 25 February 2021

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.01663

Banach space filters on \(\mathbb{N}\)Fréchet space uniform boundedness principle

Locally convex Fréchet spaces and (DF)-spaces (46A04) Normed linear spaces and Banach spaces; Banach lattices (46B99) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Abstract: For every filter

m a t h c a l F

on

m a t h b b N

, we introduce and study corresponding uniform

m a t h c a l F

-boundedness principles for locally convex topological vector spaces. These principles generalise the classical uniform boundedness principles for sequences of continuous linear maps by coinciding with these principles when the filter

m a t h c a l F

equals the Fr'echet filter of cofinite subsets of

m a t h b b N

. We determine combinatorial properties for the filter

m a t h c a l F

which ensure that these uniform

m a t h c a l F

-boundedness principles hold for every Fr'echet space. Furthermore, for several types of Fr'echet spaces, we also isolate properties of

m a t h c a l F

that are necessary for the validity of these uniform

m a t h c a l F

-boundedness principles. For every infinite-dimensional Banach space

X

, we obtain in this way exact combinatorial characterisations of those filters

m a t h c a l F

for which the corresponding uniform

m a t h c a l F

-boundedness principles hold true for

X

.

Review text

A filter \(\mathcal F\) on \(\mathbb{N}\) is called: \(1^{\circ}\) a weak \(P^+\)-filter if for every decreasing sequence \((A_k)_k\) of sets in \(\mathcal F\) and for every \(\mathcal F\)-stationary set \(I\subseteq \mathbb{N}\) there exists an \(\mathcal F\)-stationary set \(B\subseteq I\) such that \(B\subseteq^*A_k\) for every \(k\); \(2^{\circ}\) a \(P^+\)-filter if for every sequence \((A_k)_k\) of \(\mathcal F\)-stationary sets, there exists an \(\mathcal F\)-stationary set \(B\) such that \(B\subseteq^*A_k\) for every \(k\); \(3^{\circ}\) a rapid\({}^+\) filter if for every \(\mathcal F\)-stationary set \(I\subseteq \mathbb{N}\) and every strictly increasing function \(f: \mathbb{N}\to \mathbb{N}\) there exists an \(\mathcal F\)-stationary set \(B\subseteq I\) such that the function enumerating \(B\) dominates \(f\), i.e., \(f\leq\eta_B\). Let \(X, Y\) be topological vector spaces. The authors call a sequence \((T_i)_i\) in \(\mathcal L(X,Y)\) \(\mathcal F\)-stationary-equicontinuous if for every \(\mathcal F\)-stationary set \(I\subseteq \mathbb{N}\) and every \(0\)-neighbourhood \(V\) in \(Y\), there exists a \(0\)-neighbourhood \(U\) in \(X\) such that \((\exists J\in\mathcal F^+,J\subseteq I)\,(\forall i\in J)\,T_i[U]\subseteq V\). Further, the stationary uniform \(\mathcal F\)-boundedness principle is said to hold for continuous linear maps from \(X\) to \(Y\) when every pointwise \(\mathcal F\)-bounded sequence in \(\mathcal L(X,Y)\) is \(\mathcal F\)-stationary-equicontinuous, and it holds for \(X\) if it holds for the pair \(X,Y\) for every locally convex space \(Y\). Among other results, the following is proved. The following statements are equivalent for a filter \(\mathcal F\) on \( \mathbb{N}\): \(1^{\circ}\) There exists an infinite-dimensional Banach space \(X\) such that the (stationary) uniform \(\mathcal F\)-boundedness principle holds for \(X\); \(2^{\circ}\) The (stationary) uniform \(\mathcal F\)-boundedness principle holds for every Fréchet space \(X\); \(3^{\circ}\) \(\mathcal F\) is both a rapid\({}^+\) and (weak) \(P^+\)-filter.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Filter-dependent versions of the uniform boundedness principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995777)