Strongly measurable function

Strong measurability has a number of different meanings, some of which are explained below.

Values in Banach spaces

For a function f with values in a Banach space (or Fréchet space), strong measurability usually means Bochner measurability.

However, if the values of f lie in the space ${\mathcal {L}}(X,Y)$ of continuous linear operators from X to Y, then often strong measurability means that the operator f(x) is Bochner measurable for each fixed x in the domain of f, whereas the Bochner measurability of f is called uniform measurability (cf. "uniformly continuous" vs. "strongly continuous").

Bounded operators

A family of bounded linear operators combined with the direct integral is strongly measurable, when each of the individual operators is strongly measurable.

Semigroups

A semigroup of linear operators can be strongly measurable yet not strongly continuous.^[1] It is uniformly measurable if and only if it is uniformly continuous, i.e., if and only if its generator is bounded.

References

^ Example 6.1.10 in Linear Operators and Their Spectra, Cambridge University Press (2007) by E.B.Davies

Functional analysis (topics – glossary)

Spaces

Banach Besov Fréchet Hilbert Hölder Nuclear Orlicz Schwartz Sobolev Topological vector
Properties	Barrelled Complete Dual (Algebraic/Topological) Locally convex Reflexive Separable

Theorems

Operators

Algebras

Open problems

Applications

Advanced topics

Category

v t e Analysis in topological vector spaces
Basic concepts	Abstract Wiener space Classical Wiener space Bochner space Convex series Cylinder set measure Infinite-dimensional vector function Matrix calculus Vector calculus
Derivatives	Differentiable vector–valued functions from Euclidean space Differentiation in Fréchet spaces Fréchet derivative Total Functional derivative Gateaux derivative Directional Generalizations of the derivative Hadamard derivative Holomorphic Quasi-derivative
Measurability	Besov measure Cylinder set measure Canonical Gaussian Classical Wiener measure Measure like set functions infinite-dimensional Gaussian measure Projection-valued Vector Bochner / Weakly / Strongly measurable function Radonifying function
Integrals	Bochner Direct integral Dunford Gelfand–Pettis/Weak Regulated Paley–Wiener
Results	Cameron–Martin theorem Inverse function theorem Nash–Moser theorem Feldman–Hájek theorem No infinite-dimensional Lebesgue measure Sazonov's theorem Structure theorem for Gaussian measures
Related	Crinkled arc Covariance operator
Functional calculus	Borel functional calculus Continuous functional calculus Holomorphic functional calculus
Applications	Banach manifold (bundle) Convenient vector space Choquet theory Fréchet manifold Hilbert manifold