EDB — 063

Esercizi

1. [063] Ricordiamo che

   \[ A^ c=X⧵ A=\{ x∈ X:x∉ A\} \]

   è il complementare di \(A\) in \(X\) (come già definito in [23S]↺↻).. Mostrate che

   \[ (\limsup _{n\to \infty } A_ n)^ c=\liminf _{n\to \infty } (A_ n ^ c)~ ~ . \]