The Strassen law of the iterated logarithm in Banach function spaces

Abstract

We consider, as a sample path space, a Banach function space of measurable functions defined by a function norm | · |. We prove that Brownian motion B satisfies Strassen's law of the iterated logarithm with respect to the associate order continuous function norm | · | whenever the | B | is finite almost surely.