Talk:Almost everywhere

message: I've always used "null set" to refer to a set contained within a set of measure zero, and "set of zero measure" when the set is actually measurable.  (Most of the measures I work with are Borel, not Lebesgue.)
Am I just wrong, or can we change the definitions to reflect this?
-- Anon
I do the same, FWIW.
-- Toby 20:11 Feb 12, 2003 (UTC)
I am no mathematician, but it would be useful to see in this article what distinction is being made between "almost everywhere" and "everywhere". Does the latter apply to neighborhoods rather than elements? --FOo 20:47, 14 Aug 2004 (UTC)
replies: text: The only way I see to construe the first sentence of this article as failing to answer this question is to think that "null set" means "empty set", which is how it is defined in many books, so the sentence is confusing.  I've corrected it. Michael Hardy 00:43, 15 Aug 2004 (UTC)
thread_title: Untitled

message: The following true theorems were removed by User:Dino:
* If f : R → R is Lebesgue measurable and ∫ab|f(x)|dx<∞ for every real numbers ax-e</sub>x+ef(t)dt converges to f(x) as e decreases to zero. In other words, the Lebesgue mean of f converges to f almost everywhere. The set E is called the Lebesgue set of f.
* If f(x,y) is Borel measurable on R2 then for almost every x, the function y→f(x,y) is Borel measurable.
The following false theorem was added:
* A bounded function f : [a, b] -> R is Riemann integrable if and only if it is continuous almost everywhere.
Counter-example: the indicating function of the rationals in [0,1] is constant outside the rationals (hence continuous there.) Since the rationals have measure zero, this function is a.e. continuous. However this is the canonical example of a non-Riemann-integrable function (all lower sums are zero, all upper sums are 1.)
Be more careful next time.
Loisel 17:42, 16 Sep 2004 (UTC)
thread_title:  Fixing Dino's damage 

message: is this said of a property only true on a set of measure zero? MotherFunctor 06:01, 15 May 2006 (UTC)
thread_title:  almost nowhere? 

message: For those of us who aren't dab hands at measure theory, it would be nice to include a simple example which illustrates the essential concept that "almost everywhere" captures, especially vis-a-vis the distinction with the concept of "everywhere". I'm afraid tossing around phrases such as "set of measure zero" - which, I grant, is almost surely technically precise - doesn't help to clarify things all that much for those of us who aren't up to speed on measure theory. For an example of the sort of thing I'm requesting, take a look at the Almost surely article, which has a nice section discussing throwing darts and tossing coins. -- 160.129.138.186 (talk) 14:58, 30 October 2013 (UTC)
replies: text: I agree that a less-technical introduction would be helpful; the most common example of a set of measure zero would simply be a finite number of isolated points.  One could use the example that if \int_a^b f(x) g(x) = 0 for all square-integrable functions g(x), then f(x) must be zero almost everywhere, and give the example of f(x) identically zero versus f(x) nonzero only at a few points, versus f(x) nonzero only at rational points. — Steven G. Johnson (talk) 16:47, 14 February 2014 (UTC)
thread_title:  Simple example needed