Proof of L^2 Norm Property
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.