I have a question. say, let be a sequence of measurable functions with the same domain. and let .
Then ?
i do not see why they are equal. to me the right side is bigger. please help me understand.
Well, since is the supremum over a finite set it is equal to some element from that set so if for some . Now using the fact that for all we get the other direction so the sets are equal.