Real interpolation for mixed Lorentz spaces and Minkowski's inequality

We prove embeddings and identities for real interpolation spaces between mixed Lorentz spaces. This partly relies on Minkowski's (reverse) integral inequality in Lorentz spaces L^p, r (X) under optimal assumptions on the exponents (p, r) (0, ) (0, ].