wrongalot2.bsky.social
@wrongalot2.bsky.social
sorry pointwise*
January 30, 2025 at 2:29 PM
No, look at the complete lattice of the powerset of natural numbers, take the sequence x(n) = {1,...,n}. Then liminf x = limsup x = N but (E,N] where E={0,2,4,...} is an neighborhood of N containing none of the x(n)
January 27, 2025 at 7:22 PM
Question: if you take a complete lattice, generate the topology via open intervals in the lattice, do topological limit and the order limit always coincide?
January 26, 2025 at 10:13 PM
Oh nice yea! Liminf and limsup are well defined in any complete lattice. And if they are equal, you can define that to be the limit. No topology needed!
January 26, 2025 at 10:11 PM
And I guess saying it's bounded say by [-b,b] then that's implicitly using that [-b,b] is a complete lattice
January 26, 2025 at 9:49 PM
So it holds for extended real valued random variables but not real valued, unless it's assumed the set {X_i(omega)|i in I} is bounded for all omega
January 26, 2025 at 9:48 PM