We establish an approximation theorem for a sequence oflinear elastic strains approaching a compact set in L 1 by thesequence of linear strains of mapping bounded in Sobolev space W 1,p . We apply this result to establish equalities forsemiconvex envelopes for functions defined on linear strains via a construction of quasiconvex functions with linear growth.