Compact de l^1(IR)

Soit (a_n) une suite de réels > 0.
On note A = {(un) de l^1(IR) / |u_n| =<|a_n| pour tout n}. Trouver une condition nécessaire et suffisante sur (a_n)
pour que A soit compact.

N.B: l^1(IR) l'e.v.n des suites réelles (u_n) telles que \sum |u_n| <+00.

Voir


Un compact de l^1(IR)