Pointwise bounded family

A family of functions that is bounded at each fixed point of the domain.
Pointwise bounded family

A family F\mathcal{F} of functions f:XRf:X\to\mathbb{R} is pointwise bounded if for every xXx\in X the set of values {f(x):fF}\{f(x): f\in\mathcal{F}\} is bounded in R\mathbb{R}, equivalently

xX,supfFf(x)<. \forall x\in X,\quad \sup_{f\in\mathcal{F}} |f(x)| < \infty.

Pointwise boundedness is weaker than being (which requires one bound to work for all xx at once). Together with hypotheses, it appears in compactness results for subsets of such as .

Examples:

  • On [0,1][0,1], the family {fn}n1\{f_n\}_{n\ge 1} with fn(x)=xnf_n(x)=x^n is pointwise bounded since 0fn(x)10\le f_n(x)\le 1 for all xx and nn.
  • On [0,1][0,1], the family fn(x)=nxf_n(x)=n x is not pointwise bounded (for any fixed x>0x>0, the values nxn x are unbounded as nn\to\infty).