A uniform boundedness theorem for \(L^\infty(\mu,E)\) (Q1813053)

Let \((\Omega,\Sigma,\mu)\) be a finite, atomless measure space and \(E\) be a normed space. Let \(L^ \infty(\mu,E)\) denote the space of essentially bounded, \(\mu\)-measurable functions from \(\Omega\) into \(E\). It is proved that \(L^ \infty(\mu,E)\) is always barrelled, regardless of the barrelledness of \(E\). We also give similar results for some subspaces of \(L^ \infty(\mu,E)\). These results are proved using a sliding-hump technique combined with a proposition about Banach disks generated by bounded sequences.