“…A construção original de Arens para o caso bilinear, que depois foi generalizada para o caso multilinear por Aron e Berner, é a seguinte: dado um operador bilinear 𝐴 ∶ 𝑋 1 × 𝑋 2 ⟶ 𝑌 entre espaços de Banach, defina os seguintes operadores bilineares: 𝐴 * ∶ 𝑌 * × 𝑋 1 ⟶ 𝑋 * 2 , 𝐴 * (𝑦 * , 𝑥 1 )(𝑥 2 ) = 𝑦 * (𝐴(𝑥 1 , 𝑥 2 )), 𝐴 * * ∶ 𝑋 * * 2 × 𝑌 * ⟶ 𝑋 * 1 , 𝐴 * * (𝑥 * * 2 , 𝑦 * )(𝑥 1 ) = 𝑥 * * 2 (𝐴 * (𝑦 * , 𝑥 1 )) e 𝐴 * * * ∶ 𝑋 * 1 × 𝑋 * * 2 ⟶ 𝑌 * * , 𝐴 * * * (𝑥 * * 1 , 𝑥 * * 2 )(𝑦 * ) = 𝑥 * * 1 (𝐴 * * (𝑥 * * 2 , 𝑦 * )). É imediato que 𝐴 * * * é um operador bilinear que satisfaz a igualdade 𝐽 𝑌 •𝐴 = 𝐴 * * * •(𝐽 𝑋 1 , 𝐽 𝑋 2 ), isto é, 𝐴 * * * é uma extensão bidual de 𝐴. Desde então, 𝐴 * * * tem sido chamada de extensão de Arens de 𝐴 e fortemente estudada na teoria (veja, por exemplo, [15,20,21,22,51,74,75,80]). Seguindo a mesma técnica, define-se a extensão de Arens de um operador 𝑚-linear 𝐴, denotada por 𝐴 * (𝑚+1) , que também vem sendo muito estudada (veja, por exemplo [13,14,17,19,26,29,39,56]).…”