In mathematical analysis, Lorentz spaces, introduced by George Lorentz in the 1950s, are generalisations of the more familiar L p spaces.
The Lorentz spaces are denoted by L p , q . Like the L p spaces, they are characterized by a norm (technically a quasinorm) that encodes information about the "size" of a function, just as the L p norm does. The two basic qualitative notions of "size" of a function are: how tall is graph of the function, and how spread out is it. The Lorentz norms provide tighter control over both qualities than the L p norms, by exponentially rescaling the measure in both the range ( p ) and the domain ( q ). The Lorentz norms, like the L p norms, are invariant under arbitrary rearrangements of the values of a function.
The Lorentz space on a measure space ( X , μ ) is the space of complex-valued measurable functions f on X such that the following quasinorm is finite
∥ f ∥ L p , q ( X , μ ) = p 1 q ∥ t μ { | f | ≥ t } 1 p ∥ L q ( R + , d t t ) where 0 < p < ∞ and 0 < q ≤ ∞ . Thus, when q < ∞ ,
∥ f ∥ L p , q ( X , μ ) = p 1 q ( ∫ 0 ∞ t q μ { x : | f ( x ) | ≥ t } q p d t t ) 1 q . and, when q = ∞ ,
∥ f ∥ L p , ∞ ( X , μ ) p = sup t > 0 ( t p μ { x : | f ( x ) | > t } ) . It is also conventional to set L ∞ , ∞ ( X , μ ) = L ∞ ( X , μ ) .
The quasinorm is invariant under rearranging the values of the function f , essentially by definition. In particular, given a complex-valued measurable function f defined on a measure space, ( X , μ ) , its decreasing rearrangement function, f ∗ : [ 0 , ∞ ) → [ 0 , ∞ ] can be defined as
f ∗ ( t ) = inf { α ∈ R + : d f ( α ) ≤ t } where d f is the so-called distribution function of f , given by
d f ( α ) = μ ( { x ∈ X : | f ( x ) | > α } ) . Here, for notational convenience, inf ∅ is defined to be ∞ .
The two functions | f | and f ∗ are equimeasurable, meaning that
μ ( { x ∈ X : | f ( x ) | > α } ) = λ ( { t > 0 : f ∗ ( t ) > α } ) , α > 0 , where λ is the Lebesgue measure on the real line. The related symmetric decreasing rearrangement function, which is also equimeasurable with f , would be defined on the real line by
R ∋ t ↦ 1 2 f ∗ ( | t | ) . Given these definitions, for 0 < p < ∞ and 0 < q ≤ ∞ , the Lorentz quasinorms are given by
∥ f ∥ L p , q = { ( ∫ 0 ∞ ( t 1 p f ∗ ( t ) ) q d t t ) 1 q q ∈ ( 0 , ∞ ) , sup t > 0 t 1 p f ∗ ( t ) q = ∞ . When ( X , μ ) = ( N , # ) (the counting measure on N ), the resulting Lorentz space is a sequence space. However, in this case it is convenient to use different notation.
for ( a n ) n = 1 ∞ ∈ R N (or C N in the complex case), let ∥ ( a n ) n = 1 ∞ ∥ p = ( ∑ n = 1 ∞ | a n | p ) 1 / p denote the p-norm for 1 ≤ p < ∞ and ∥ ( a n ) n = 1 ∞ ∥ ∞ = sup | a n | the ∞-norm. Denote by ℓ p the Banach space of all sequences with finite p-norm. Let c 0 the Banach space of all sequences satisfying lim | a n | = 0 , endowed with the ∞-norm. Denote by c 00 the normed space of all sequences with only finitely many nonzero entries. These spaces all play a role in the definition of the Lorentz sequence spaces d ( w , p ) below.
Let w = ( w n ) n = 1 ∞ ∈ c 0 ∖ ℓ 1 be a sequence of positive real numbers satisfying 1 = w 1 ≥ w 2 ≥ w 3 ⋯ , and define the norm ∥ ( a n ) ∥ d ( w , p ) = sup σ ∈ Π ∥ ( a σ ( n ) w n 1 / p ) n = 1 ∞ ∥ p . The Lorentz sequence space d ( w , p ) is defined as the Banach space of all sequences where this norm is finite. Equivalently, we can define d ( w , p ) as the completion of c 00 under ∥ ⋅ ∥ d ( w , p ) .
The Lorentz spaces are genuinely generalisations of the L p spaces in the sense that, for any p , L p , p = L p , which follows from Cavalieri's principle. Further, L p , ∞ coincides with weak L p . They are quasi-Banach spaces (that is, quasi-normed spaces which are also complete) and are normable for 1 < p < ∞ and 1 ≤ q ≤ ∞ . When p = 1 , L 1 , 1 = L 1 is equipped with a norm, but it is not possible to define a norm equivalent to the quasinorm of L 1 , ∞ , the weak L 1 space. As a concrete example that the triangle inequality fails in L 1 , ∞ , consider
f ( x ) = 1 x χ ( 0 , 1 ) ( x ) and g ( x ) = 1 1 − x χ ( 0 , 1 ) ( x ) , whose L 1 , ∞ quasi-norm equals one, whereas the quasi-norm of their sum f + g equals four.
The space L p , q is contained in L p , r whenever q < r . The Lorentz spaces are real interpolation spaces between L 1 and L ∞ .