If you want a different appraoch this might interest you (third post first five lines).
I am trying to prove that, if and almost everywhere on the I, for all functions in L^2(I), then almost everywhere.
I've twiddled a bit but don't see a way to relate values at a single point to value of the norm. For instance, I start by taking any such that and any , then there is an such that and . I can try to square both sides of the last inequality, but it doesn't seem to help. I seem to need to relate the norm of the functions to the value of the functions at x, but I don't see how. I guess I could try to talk about a sequence of upper functions that approaches each function, but that seems like it's way too gritty for this problem. I thought of multiplying the norm times the absolute value, since the absolute value is a constant, but that doesn't seem to help. I'm out of ideas.
I think I sort of solved it a while ago by showing that , but it turns out that proving that this entails the desired consequence requires more measure theory than we've dealt with in our analysis class.
... Well, maybe it would be fruitful to attack it from the definition of "measure 0" which we take to be a set of points which can be covered by neighborhoods, the sum of whose lengths (in ) is arbitrarily small. I'm fiddling with it from that angle now.
The problem is subtle. I assume that by "I" you mean or some bounded interval.
At first I wanted to suggest using the density of the continuous functions in spaces with a standard argument, but that may be too complicated.
Since your domain is compact, -convergence implies -convergence. Do you agree?
Recall that a sequence converges in measure to if, for every ,
as .
The following two intermediate lemmata imply your result.
Lemma 1. If in , then in measure.
Lemma 2. If in measure, then there is a subsequence such that a.e.
(I'm paraphrasing from section 2.4 of Folland's book, if you have access to it.)
I haven't looked at the details of Jose's suggestion closely, but my intuition says that the same idea is present there too.