(Tonelli’s theorem for series over arbitrary sets). Let be sets (possibly infinite or uncountable), and be a doubly infinite sequence of extended non-negative reals indexed by and . Show that
We know that
Let with and finite and and . As the are positive, or zero, we can write
and the result follows.