|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
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)
- 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)
Fixing Dino's damage
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 a<b then there exists a null set E (depending on f) such that, if x is not in E, the Lebesgue mean 1/(2e)∫x-ex+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)
The above marked "false theorem" is actually true. I'm currently working out a proof of it (it was assigned by my teacher, Paul J. Sally @ U of C.
The "counter-example" above is actually not a counter-example because, the indicator function is discontinuous everywhere. Proof: Given any x in [0,1], let ɛ = 1/2, for all ʛ>0 there is an x' in (x-ʛ,x+ʛ) such that |x-x'|=1>1/2=ɛ. That x' is in (x-r,x+r) follows from the fact that in any open interval there is an irrational and a rational. This shows that the function cannot be continuous at x because there is no delta for this ɛ. QED
The above theorem should be added back immediately. I'm not sure if I'm the person to do that...??
is this said of a property only true on a set of measure zero? MotherFunctor 06:01, 15 May 2006 (UTC)
Simple example needed
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. -- 126.96.36.199 (talk) 14:58, 30 October 2013 (UTC)
- 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 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)