Hi
If E is non empty set on a measurable space. and that (A_n)_{n \geq 1} be elements in powerset 2^E.
I wish to show that
lim_n sup B_n = lim_n inf B_n = \bigcup_{n=1} ^{\infty} B_n
this is supposedly only true if B_n \subseteq B_{n+1} for all n \geq 1, and that
lim_n sup B_n = lim_n inf B_n = \bigcap_{n=1} ^{\infty} B_n
which is only true if
B_n \supseteq B_{n+1} for all n \geq 1.
What I know:
What is that lim_n inf B_n = union (all m) of intersections (all n > m) of B_n
and
lim_n sup B_n = intersection (all m) of unions (all n > m) of B_n.
then if lim_n sup B_n = lim_n inf B_n = lim B_n
Could somebody please give me a hint on how to use the above to show that
lim_n sup B_n = lim_n inf B_n = \cup_{n=1} ^\infty B_n
and
lim_n sup B_n = lim_n inf B_n = \cap_{n=1} ^\infty B_n
???
Sincerely Yours
Euroman25