Vrijeme: 02:04

Skupovi - teži zadatak 1

Neka je (A_n)_{n = 1}^\infty (proizvoljan) niz skupova. Definiramo sljedeća dva skupa: \limsup A_n=\bigcap_{N=1}^{\infty}\left(\bigcup_{n \geq N} A_n\right), te \liminf A_n=\bigcup_{N=1}^{\infty}\left(\bigcap_{n \geq N} A_n\right). Dokažite sljedeće dvije tvrdnje:

Skup \limsup A_n sadrži one i samo one x-eve koji se nalaze u beskonačno mnogo skupova A_n.

Skup \liminf A_n sadrži one i samo one x-eve koji se nalaze u svim skupovima A_n, osim možda konačno mnogo njih.