Talk:Σ-algebra

Template:Reqequation

Borel-field

I'm a long way from an expert on this stuff, but I thought that a Borel-field (generated from the family of open subsets of X) is a particular (and very common) example of a sigma-field, but that not all sigma-fields are Borel-fields. Can somebody confirm or deny this? If I am correct, then the article ought not suggest in the first sentence that they are equivalent. —Preceding unsigned comment added by 158.143.65.19 (talk) 10:34, 5 October 2010 (UTC)

Existence

Is exist a infinite sigma algebra on an set X such that be countable?

No, any sigma-algebra is either finite or uncountable. Prumpf 13:14, 12 Oct 2004 (UTC)

So what does

It is the countable analog of a Boolean algebra, and every σ-algebra is a (represented) Boolean algebra.

mean? And is a σ-field just a variant term, or does it mean something slightly different? Dan Hoey 19:03, 9 March 2007 (UTC)

I've answered this to the best of my ability, by changing the opening paragraph. Someone who actually knows about this stuff might vet it. I'm also considering changing the example (which is more suited to Boolean algebra) and moving this segment of the discussion down to the bottom of the discussion page.Dan Hoey 19:23, 11 March 2007 (UTC)

The opening remarks suggest that a sigma algebra satisfies the field axioms - is this true? If so what are the '+' and 'x' operations etc.? --SgtThroat 13:08, 10 Nov 2004 (UTC)

I don't think so. The natural operations are union and intersection, and the identities are trivial, but you hit a problem with the inverses' properties of fields. --Henrygb 01:20, 21 Jan 2005 (UTC)

Font used for denotion in math papers is not important?

The following sentence was deleted: "σ-algebras are sometimes denoted using capital letters of the Fraktur typeface".

Yes, this typeface is not used in this article, but reading math papers I found, that they are usually denoted using it. I did not know, how it is called and how should these letters be read and hoped to find this out in this article, but failed. I found the name of the typeface in other place and I thought this note will be helpful for other people. But it's considered not important...

BTW, no note, that similar constructions which are closed under finite set operations are usually called algebras (this term obviously appeared before σ-algebras). The article does not contain anything more than a definition copied from MathWorld and trivial examples. But other trivial info is irrelevant here... Cmapm 01:07, 3 Jun 2005 (UTC)

Those examples are not trivial. Some of those examples are simple, and such serve to illustrate the concent. Some other examples listed there are actuallly very important, so not trivial either.

The information you inserted is not trivial either. I said it was "not valuable". Please feel free to put it back. It is just when I read the article as a whole, I found that minor point about the font distracting from the overall concent. But there is of course room for disagreement. Oleg Alexandrov 01:43, 3 Jun 2005 (UTC)

Also, you are more than welcome to add content to this article if you feel it is incomplete. Oleg Alexandrov 01:44, 3 Jun 2005 (UTC)

question

For definition 2 of a sigma algebra, it says that for a sigma-algebra X, if E is in X, then so is the complement of E. Does this mean the complement of E in S (i.e. S-E)? Or the complement of E with some universal set?

Thanks!

It means the former. I will now try to make it more explicit in the article. Oleg Alexandrov 02:53, 23 Jun 2005 (UTC)

---

Here is another question. I know this phrasing is standard, but it is quite confusing to people new to sigma-algebras. Let A be a collection of subsets of X. We often say the following: "The sigma-algebra generated by A contains A". In fact, something like this is mentioned in this article. However, the sigma-algebra generated by A does not actually contain A...afterall, A is a collection of sets. Rather, the sigma-algebra generated by A contains all the elements of A. I know this must be obvious to many, but I found it very confusing when first encountering sigma-algebras...and I know that I was not alone.

In the examples section, it is said: "First note that there is a σ-algebra over X that contains U, namely the power set of X." Again, I think we should be perfectly clear. U is not a member of the power set of X. Rather, all memebers of U are members of the power set of X.

To make this abundantly clear, why not include very trivial examples of a sigma-algebra.

Let X = {1,2,3}

Let C = { {1}, {2} }

Then σ(C) = { {}, {1}, {2,3}, {2}, {1,3}, {1,2,3} }.

This is so very clear and obvious. Also notice, C is not a member of sigma-algebra. So we really should refrain from saying "C is in the sigma-algebra generated by C." It is sloppy even though it is standard.

I think you are confusing "containment" and "membership". A set A is said to contain a set B, iff B is a subset of A, that is iff every member of B is a member of A. So, since as you point out, every member of C is a member of σ(C), σ(C) contains C. Paul August ☎ 05:43, 12 October 2005 (UTC)

Well, that certainly would explain it! As you can see, I STILL am getting used to this. :-) Either way, it might be helpful, perhaps to people like myself, to see an example like that above. But your comment is correct and now understood by me. "containment" is NOT the same as "membership". Is there a wikipeida entry for "contains"? If so, we probably should link to it to avoid this confusion...as the mathematical usage of the word "contains" is very different from everday usage.

Name and history

Where does the name "sigma-algebra" come from? When were sigma-algebras introduced? -- Tobias Bergemann 13:39, 22 July 2005 (UTC)

Small sigma and delta are often used the union and intersetion are involved. They seems to be the Greek abbreviation of German words: Summe (sum) and Durchschnitt (intersection). Pura 00:10, 3 October 2005 (UTC)

Notation

I find it somewhat distracting that the notation used in this article, that in sigma-ideal, and that in measurable function, are not in concordance. I'm also unnerved that the usage of X and S in this article is reversed from the common usage I am used to seeing. That is, I'm used to seeing X be the set, and Σ be the collection of subsets, so that (X, Σ) is the sigma-algebra. Sometimes, S is used in place of Σ. Can I flip the notation used here, or will this offend sensibilities?

Also, do we have any article that defines the notation (X, Σ, μ) as a measure space? (I needed a wikilink for this in dynamical system but didn't find one). linas 13:37, 25 August 2005 (UTC)

Actually, I want to harmonize the notation in all three articles. But before doing so, we should agree on a common notation. I propose:

• X be the set
• Σ be the collection of subsets
• E and E_n are the elements of Σ (and leave alone A_n for those articles that already use that).
• μ is the measure.
• (X, Σ) and (Y, T) are the sigma algebras,
• (X, Σ, μ) and (Y, T, ν) are measure spaces.

This change will eliminate/replace the use of F, ${\mathcal {A}}$ and Ω in these three articles. Ugh. Measure (mathematics) is not even self-consistent, switching notation half-way through. linas 13:50, 25 August 2005 (UTC)

Other articles includde:

• Measure-preserving dynamical system

Agree that notation should be harmonised if possible. Your choices are good, although I would perhaps use X' and Σ' instead of Y and T. I guess then μ' is slightly problematic. Whatever :-) Dmharvey Talk 14:38, 26 August 2005 (UTC)

Agree with Linas and Dmharvey's remarks. Linas, doing all these changes will require very careful reading of all the articles and very patient changes. If you have the time, go for it. :) Oleg Alexandrov 15:29, 26 August 2005 (UTC)

Well FWIW, I've just added sigma additivity (copied over from PlantetMath: "additive" using Oleg's new conversion tool ;-) It uses ${\mathcal {A}}$, which I must say I rather like. But I agree with making things consistent and what Linas has proposed would be much better than what we now have. My least favorite part of the suggestion is the T, why not use Tau: Τ ? Paul August ☎ 18:39, August 26, 2005 (UTC)

I've gone and changed the notation in the articles to the proposed standard set forth here, excepting that Τ is used rather than T. For the record, the (Ω,F,P) notation is a standard hailing from probability theory, but its place wasn't in the measure theory articles. I've left the ${\mathcal {A}}$ in sigma additivity because there's a theoretical possibility the concept could come of use in some context other than measure theory, and besides, Paul likes it. Vivacissamamente 04:40, 30 August 2005 (UTC)

By the way, there is a discussion going on at talk:sigma additivity about whether it should be merged into measure (mathematics). I'd appreciate it if others would share their thoughts. Paul August ☎ 15:38, August 28, 2005 (UTC)

Looks like the conversion is complete, thanks to Vivacissamamente -- linas 15:06, 30 August 2005 (UTC)

I agree that there is value in notational consistency. In probability theory, it is commonplace to use Ω for the underlying space, and F or some variant of that letter for the set of all measureable sets. So I'm not so sure notational consistency should cross subject-matter boundaries. Michael Hardy 23:19, 30 August 2005 (UTC)

Except that this subject inherently crosses the boundaries. I don't know what the probability theory notation is, but a sentance should be addded to this article stating that in probability theory, the notation Ω, F is used in place of (X, Σ) but otherwise has the same meaning (or not). linas 06:16, 1 September 2005 (UTC)

Relation to field of sets

Anyone care to wikilink field of sets much earlier in the article, and expound on the difference between that and this? (The difference being that here, the number of intersections & unions is countable)? linas 15:06, 30 August 2005 (UTC)

Boolean algebra

I was wondering, is a sigma-algebra also a boolean algebra. If so, should this be included in the definition? It seems that we are always using the axioms and results (demorgan) of boolean algebras. --anon

Well, any field of sets is a boolean algebra. So I guess this remark belongs in field of sets rather than the particular case of sigma-algebra. Oleg Alexandrov (talk) 21:46, 15 January 2006 (UTC)

Families?

"In mathematics, a σ-algebra ... over a set X is a family Σ of subsets of X that is closed under countable set operations..."

Is "family" meant here in the sense of family (mathematics), or is it just a loose way of saying "set"? If family (mathematics) is meant, then a link should be added. If set is meant, why not just say "set"? Dbtfz 06:04, 19 January 2006 (UTC)

You're right about that. I've changed it to collection. -lethe ^talk 21:25, 25 January 2006 (UTC)

Meaning of terms

I've just read through the current article (having had no knowledge of sigma algebras), and was confused by some terms. It is unclear whether my confusion arises from addressable weaknesses in the article or from lack of prerequisite knowledge on my part.

The problem terms were "countable set operations" (first para), and "(countable) sequence" and "(countable) union" (both in Property 3). I know what a countable set is, and what a set operation is, but the rest of the article leave me unable to guess at the combination.

My guess at the meanings is confounded by an example earlier in this talk page:

Let X = {1,2,3}

Let C = { {1}, {2} }

Then σ(C) = { {}, {1}, {2,3}, {2}, {1,3}, {1,2,3} }.

.. since I had assumed P3 would require {1} U {2} = {1,2} to be included (and hence also its complement {3}). Hv 20:26, 25 January 2006 (UTC)

As far as I can see, that example was written by a confused person and is wrong. For exactly the reasons you state. Now, as for your confusion... well, I'm not sure what you don't get. You can take the union of two sets, the union of three sets, the union of alef-0 sets, or the union of beth-2 sets. The first three are countable set operations (in fact countable unions), while the last is not. -lethe ^talk 20:33, 25 January 2006 (UTC)

Notice how in the definition, the word "countable" is in parentheses. This is because the notation E₁, E₂, … already implies a countable set of sets. The subscripts give a bijection to N. The union of a countable number of sets is a countable set operation. So is the intersection of a countable number of sets. This is what is meant by the phrase "countable set operation". -lethe ^talk 20:36, 25 January 2006 (UTC)

If the example was wrong that clears up most of my confusion (though I'm surprised nobody pointed it out at the time). I'd be interested to see an example of a subset that does not need to be included in the σ-algebra because it can only be generated as the union of an uncountable number of the subsets that are included. Hv 20:40, 25 January 2006 (UTC)

What is it you want to see an example of? If the set can only be generated by uncountable operations, then it does have to be explicitly included, since the axioms of a σ-algebra won't get you to uncountable unions. Unless you mean you want an example of a set that isn't in the algebra. I can surely give you an example. Let C be the set of all singleton subsets of R. Then σ(C) is the set of all countable sets of real numbers and their complements. Any uncountable set with uncountable complement, for example (0,1), will not be in σ(C), even though it is generated by union of elements of C, because the union is uncountable. -lethe ^talk 20:48, 25 January 2006 (UTC)

Ah, got it - the last example makes it perfectly clear to me. Thanks very much. Hv 23:27, 25 January 2006 (UTC)

I'm glad we cleared that up then. Do you have any suggestions for clarifying the language in the article? I looked at it but didn't see anything obvious to change. -lethe ^talk 23:36, 25 January 2006 (UTC)

I think the three phrases I mentioned should all be changed. For "countable set operations" I'd suggest "(a countable number of) set operations"; in P3, I'd replace "(countable) union" with "union" - the current phrase implies that the union must have a countable number of elements, which ain't so.

The tricky one is "(countable) sequence" - it is really just a countable subset of Σ, and the word "sequence" wrongly implies an ordered structure; I suspect the author of those words wanted to avoid confusion arising from that fact that the elements of Σ are themselves sets, but I can't think of a better phrase than "countable subset", and I think better concrete examples would help to clarify for anyone that did get confused as a result.

For examples, I'd suggest X={1,2,3} and generate the minimal SA for {1} - this demonstrates the basic principles and shows that nontrivial SAs exist other than the power set. I'd also suggest a more complex example that brings countability into play: maybe your [C, { r: r in R }] example, or something simpler if anyone can come up with it. These concrete examples should probably go after the trivial SA and powerset, and before the rest (all of which are really too abstract to count as "examples" in the didactic sense). Hv 01:56, 27 January 2006 (UTC)

I implemented some, but not all, of your suggestions. It turns out that the countable example I gave above is actually already in there, in a someone more general phrasing. -lethe ^talk 03:05, 27 January 2006 (UTC)

Thanks Lethe, I think it is a bit clearer now. The only other thing that seems missing is a mention of what σ-algebras are useful for, and in particular what the restriction to countable operations buys us - does the restriction allow more powerful general theorems to be proved, or is it primarily to ensure that things like Borel algebras are well-defined? And is there another type of algebra defined identically except without the restriction to countable operations? Hv 12:06, 28 January 2006 (UTC)

Well, the entire raison d'être of the σ-algebra is to define measures. A measure is an extended nonnegative real function on a σ-algebra (that means it assigns to each number either a nonnegative real number or else ∞). These are in turn used to define Lebesgue integrals, a more powerful alternative to the more familiar Riemann integrals. A field of sets is like a σ-algebra, except it's closed only under finite union and intersection. You asked whether there is a name for something that's closed under arbitrary union and intersection. Well, if there is a name for such a thing, I don't know it. As for your last question, what's the gain of allowing countably infinite unions, instead of finite unions; or alternatively, what do you lose by restricting to countable unions, instead of arbitrary unions. Well, I don't know the answer definitively. I suspect that if you restricted to finite unions, you would lose the completeness properties of the Lebesgue integral, that is you wouldn't be able to integrate the limit of a sequence of integrable functions. You wouldn't be able measure sets like the rationals, the cantor set, or even some nice geometric series of sets. And as for what we lose by not allowing arbitrary unions, well, you can't sum more than countably many nonzero real numbers and get a nonzero result, so It would be pretty meaningless to allow more arbitrary unions. Also, I guess the singleton would have to have positive measure, or else all sets would have measure zero. It would be a mess. -lethe ^talk 12:36, 28 January 2006 (UTC)

Definition of Sigma-Algebra

I am confused by the third requirment of a sigma-algebra. Does this just say that the union of countably many member sets is also a member? In any case, this needs to be rewritten to make it more transparent on a first reading. --Njerseyguy 17:13, 27 February 2006 (UTC)

Well I am the one responsible for the current opaque wording there. Yes indeed, it means that the union of countably many members is a member. I think I wrote it this way in response to a reader who was confused by the term "countable union". Anyway, it can certainly be simplified. See my recent attempt. -lethe ^{talk +} 17:46, 27 February 2006 (UTC)

The definition would be less confusing if the first requirement "Sigma is non-empty" were replaced with "X belongs to Sigma", which is the way I have always seen it done (Wolfram Mathworld does it this way, for example). The fact that X belongs to Sigma is fairly important and using the definition here, the fact that X belongs to Sigma is nto 100% obvious at first glance and must be proven. Gsspradlin (talk) 21:49, 6 November 2013 (UTC)

That change sounds fine to me, in and of itself. But ideally we should find a good secondary source that does it that way (meaning definitely not MathWorld, which besides being a tertiary source, has shown itself many times to be idiosyncratic). Rudin is a pretty solid source, so we should find one of equal quality — maybe Folland? I don't have my copy at hand to see what he does. --Trovatore (talk) 21:54, 6 November 2013 (UTC)

Adjectives and Nouns

I'm not going to make an edit myself, but that lead sentence with "countable set operations" (and others like it) causes problems for people that are not "in the know" (such as myself). Is this article for specialists? I don't think so, personally. Specialists will likely be reading textbooks (of course, if you're not a specialist, why the hell are you reading this!). Personally, I read plenty of textbooks in other areas and find that wikipedia is far better at getting me some basic information on specialized topics then going to, say, a measure theory textbook.

Anyway, we have these words: "that is closed under countable set operations".

They describe the fact that: "if I apply a countable number of set operations to an element of the set, then the result is also an element of the set"

It seems that something like this would remove the ambiguity: "that is closed under the application of a countable number of set operations". Likely, this would require breaking that sentence into two parts.

Regards, Mark

Hi Mark. You're not the first person who's complained about that language recently. I guess we should change it. The problem is that the suggestion "countable number of set operations" is not good: we're still considering only the operations intersection and union. That suggestion was about that same as the last person. I've made an attempt to address your (and the previous guy's) concern. Is it better? -lethe ^{talk +} 23:26, 10 March 2006 (UTC)

empty set

"The empty set is in Σ": is this really needed in the definition? Closure under complementation and countable unions implies that both the empty set and X are in Σ since:

A in Σ and A^c in Σ imply their union (which is X) is in Σ which implies that X^c (which is the empty set) is in Σ.

Indeed closure under complementation and finite unions is enough to prove that the empty set and X are in sigma. Pramana 19:59, 15 June 2006 (UTC)

I think you are correct. -lethe ^{talk +} 23:15, 15 June 2006 (UTC)

I think that's true as long as you assume that the set Σ is nonempty itself. Otherwise there is no way to deduce that the empty set is an element there. Oleg Alexandrov (talk) 23:20, 15 June 2006 (UTC)

I guess that axiom precludes the empty set from being a sigma algebra. So whether or not you want to list the axiom explicitly depends on whether you want the empty set to be a sigma algebra. Well, I checked Halmos and Royden; they don't use this axiom, so I felt OK removing it from the article. -lethe ^{talk +} 23:27, 15 June 2006 (UTC)

I don't believe any authors allow for empty sigma algebras. Are you sure? Oleg Alexandrov (talk) 03:03, 16 June 2006 (UTC)

I said that these authors do not use the axiom "a sigma algebra contains the empty set and the whole space". I never said that anyone allows empty sigma algebras, though I guess dropping the axiom does open the door for empty sigma algebras. Presumably these authors require nonempty subsets then. I will modify the article to clarify this point. -lethe ^{talk +} 03:28, 16 June 2006 (UTC)

It is possible that someone, somewhere, does want empty sigma-algebras. In any event, I think the original definition is the traditional one, for what it's worth. Not that it's a major issue. —Vivacissamamente 04:52, 16 June 2006 (UTC)

I can clearly say that the set of people who does not want empty sigma algebras is non empty! Oleg Alexandrov (talk) 05:18, 16 June 2006 (UTC)

Perhaps we can consider the following points: 1. Halmos and Royden dont use this axiom (stated above). 2. The main use of sigma algebras is in measure and integration for which we actually need a "rich" collection of subsets of X. I am currently unaware of any "deep" results because of including this axiom in the definition. I agree that this is not a major issue, but i thought definitions should be "lean" and Halmos and Royden are good enough for me. Pramana 06:09, 16 June 2006 (UTC)

Halmos (in my edition, at least) mentions " ... a non-empty class of sets ..." when defining algebras and sigma-algebras, and this is pretty much equivalent to having the axiom that includes the empty set. Rudin ("Real and Complex") insists that the whole space is in the sigma-alebra, Doob and S. Lang both insist that the empty set is in there, so it seems that Royden is the only one who actually allows empty sigma-algebras. I suggest we keep the axiom in one form or another, to aggree with the majority of serious authors. Madmath789 06:47, 16 June 2006 (UTC)

So there are two choices for our definition here: that the sigma algebra be nonempty or that the sigma algebra include the empty set and the whole space (or just one of the two). The latter is what we had in this article before I changed it. Now we have the former. I prefer the first choice, it seems sleeker to me. They are of course equivalent. A third possibility is to take neither, which allows empty sigma algebras, and is probably not standard. -lethe ^{talk +} 11:24, 16 June 2006 (UTC)

I am happy with either version (slight preference for current) - but don't really like including empty sigma-algebras. Madmath789 11:31, 16 June 2006 (UTC)

I prefer the current version too.Pramana 12:48, 16 June 2006 (UTC). And if we decide to stick with the current version, we need to correct "from 2. and 3. it follows.......".Pramana 12:58, 16 June 2006 (UTC)

Surely the fact that Σ is closed under countable unions implies that the union of zero sets is in Σ, which in turn implies that the empty set must be in Σ. So there's no need for a separate axiom demanding that Σ is nonempty, it follows from 3. Bat020 14:53, 28 March 2007 (UTC)

"... if and only if X is uncountable. "

The examples states: "The collection of subsets of X which are countable or whose complements are countable is a σ-algebra, which is distinct from the powerset of X if and only if X is uncountable." If X is N, then this is false - there are subsets of N which are countable and whose complements is also countable. (67.102.227.19 19:50, 25 September 2006 (UTC))

Yes, but the point is that in your case, the sigma algebra of countable and co-countable subsets IS the same as the powerset. The statement is saying that the countable and c-countable sigma algebra is not the same as the powerset iff X is uncountable. I.e. the article is correct. Madmath789 20:00, 25 September 2006 (UTC)

D'oh! I misinterpreted "countable/co-countable" as "finite/co-finite" in the original statement. Nevermind. 67.102.227.19 00:55, 26 September 2006 (UTC)

Sigma homomorphism

Can someone go over and give a bit more context to Sigma homomorphism? It now links back here but my measure theory is way to rusty to give the proper context. --Chrispounds 03:50, 9 October 2006 (UTC)

Is the power set always a sigma-algebra?

I'm confused by the statement that the power set of X is always a sigma-algebra. If the power set of the reals is the set of all subsets of reals, then I assume it contains the Vitali sets. I thought the aim was to avoid such sets because they're not measurable. LachlanA 03:41, 31 October 2006 (UTC)

You are right, the power of all reals is a very poor sigma-algebra. One can't define the Lebesgue measure on it. But the power of reals is still a sigma-algebra, as it satisfies all the properites, and one can define some measures on it, although they are not helpful. Oleg Alexandrov (talk) 03:52, 31 October 2006 (UTC)

Intersections of Sigma Algebras

In the section on generated sigma-algebras, one of the steps involves taking the intersection of multiple sigma algebras. Does this mean that the intersection of two sigma-algebras is always another sigma-algebra? What about countable and uncountable intersections? Calumny 17:38, 27 August 2007 (UTC)

Yes, yes and yes: the intersection of an arbitrary family of sigma-algebras on a given set will yield a sigma-algebra. Size does not matter. --Mark H Wilkinson ^{(t, c)} 17:52, 27 August 2007 (UTC)

Sigma-fields

Could one write something about sigma-fields? Here it states that those are somewhat interchangable... could this be clarified? —Preceding unsigned comment added by 83.6.96.216 (talk) 17:07, 31 August 2008 (UTC)

I have changed this to reflect usage of terms both as given in the article you cite, and as explained to me by my statistics teacher. I'm just learning this stuff, so I hope I have not introduced an error, but if so, I would appreciate any explanation anyone can give that will clear this us for me. BearMachine (talk) 19:09, 17 February 2010 (UTC)

"explicit description"

The text currently asserts that

in general there is no explicit description of the σ-algebra generated by a given collection

but nothing is said about what would constitute an "explicit" description. I would argue that, just taking the example of the Borel sets of the reals for concreteness, the following description is explicit: the Borel sets are the interpretations of the Borel codes, where a Borel code is a gadget of the sort described at infinity-Borel set, but where the ordinal height of the tree thereby generated is countable.

The burden is on those who would claim that there is no explicit description to say what is meant by that and prove that none exists. Therefore I am re-removing the text. --Trovatore (talk) 18:01, 20 November 2008 (UTC)

Whoops, slight self-correction: The distinction is not that the height is countable, but that the nodes are countably splitting.

That is, every Borel set can be described by starting with a bunch of open sets as the leaves of a tree. Sometimes you go up one level from a node of the tree (my trees have their roots at the top) by taking the complement of the set at the lower node. Sometimes you have countably many nodes, and the node just above them represents the union of the sets at the lower nodes. You proceed up the tree, and when you get to the root, you have the Borel set you wanted to describe.

It's really hard for me to see what's "non-explicit" about this, unless you want to say you can't explicitly describe even the closed sets (after all, every singleton is closed in the reals, and you can't necessarily "explicitly" describe the real in the singleton). The only remaining argument that this is not explicit seems to boil down to discomfort with transfinite recursion. --Trovatore (talk) 18:39, 20 November 2008 (UTC)

Difference

What differs Sigma-algebra from Sigma-ring? Only first axiom of whole set to be member of sigma-algebra or something more? —Preceding unsigned comment added by 212.87.13.75 (talk) 02:58, 6 December 2008 (UTC) Ok, I see something: complement vs. relative complement. One could write something about differences and when one concept is used and when other (as with delta-ring and sigma-ring). 212.87.13.75 (talk) 03:01, 6 December 2008 (UTC)

There should be a definition or at least a link to "sigma-ring" Gsspradlin (talk) 21:55, 6 November 2013 (UTC)

A question ...

Is it the case that any sigma-algebra over X can be understood as the power set of X' where X' is X with elements lumped together (ie, with some sort of equivalence relation)?

To put it another way, does any sigma-algebra over X define an equivalence relation over X, by virtue of it having lumps that are not split into subsets by any intersection operation in the algebra? —Preceding unsigned comment added by Paul Murray (talk • contribs) 00:31, 13 January 2009 (UTC)

No, not even close. The smallest "interesting" sigma-algebra is usually considered to be the collection of all Borel sets (if X is a topological space), and every singleton is Borel (provided X is "reasonable") so there aren't any lumps that don't get split — and yet, it's certainly not true that every element of the powerset of X is Borel. --Trovatore (talk) 00:50, 13 January 2009 (UTC)

Oh, except I suppose I should say that your "put it another way" is true — you can indeed define an equivalence relation based on whether two points cannot be split by sets in the sigma-algebra. In the typical case, though, that equivalence relation will be just the identity, and it won't get you what you asked for in your first sentence. --Trovatore (talk) 01:29, 13 January 2009 (UTC)

On the other hand, the idea about "elements lumped together" works for sigma-algebras on a countable set. Yes, I know, this case is too simple for measure theory. However, undergraduates usually see only such simple probability spaces, and accordingly they are puzzled, why the fuss with sigma-algebras. Boris Tsirelson (talk) 16:25, 20 January 2010 (UTC)

countable union

Why countable? Does the theory break in some way if uncountable unions are allowed? 207.241.239.70 (talk) 04:02, 8 March 2009 (UTC)

If uncountable unions are allowed non-measurable sets would be included which goes against the motivation for introducing sigma-algebras. For example, the Borel sigma-algebra contains the singletons and if uncountable unions are allowed it would also contain all subsets of R. But the Borel sigma-algebra does not contain all subsets of R (e.g. Vitali sets or other non-measurable sets) Zubbuzzub (talk) 04:03, 13 January 2011 (UTC)

Well, it depends on what you mean by "allowing uncountable unions". If you allow arbitrary unions, then sure. But suppose you just mean, say, unions of $\aleph _{1}$-many sets.

In that case, if the continuum hypothesis holds, you get back arbitrary sets of reals. But if CH fails and, for example, Martin's axiom holds, then the union of $\aleph _{1}$-many measurable sets is still measurable. --Trovatore (talk) 07:38, 13 January 2011 (UTC)

(Oh, by the way, we really shouldn't be discussing this on this page. Talk pages are for discussing improvements to the article. A better venue for asking the question would have been the mathematics reference desk, located at Wikipedia:Reference desk/Mathematics.) --Trovatore (talk) 07:40, 13 January 2011 (UTC)

relationship to probability

No thanks to wikipedia or any other resources online, I only recently figured out how these connect to probability (ie that a probability space is a set, along with a sigma algebra and a probability measure). A particularly important (and probably obvious to most of the editors but not to a beginning undergrad looking through wikipedia's math articles) insight was that the probability spaces commonly encountered in undergrad probability have as a sigma algebra nothing more than the power set of the sample space. —Preceding unsigned comment added by 128.174.230.125 (talk) 15:43, 22 May 2009 (UTC)

It is a pity that you did not see Probability space#Discrete case; the point is explained there. Being interested in probabilistic application you should first look there, not here. Boris Tsirelson (talk) 19:28, 20 January 2010 (UTC)

Too technical?

This page has had the "Too technical" template added to it. Since I saw no discussion on this page about the reasons for the template's addition, and since, in my opinion, the article is at about the right technical level for the likely or intended audience, I removed the template. But my edit was reverted, so I'm attempting to start a discussion here. In particular I'd like to know other editor's opinions on this article, the reasons why this article is thought too technical, and for suggestions for how this article might be made usefully less technical. Paul August ☎ 15:12, 20 January 2010 (UTC)

Maybe some informal explanations (in probabilistic context) given in Citizendium could give some ideas useful here? Boris Tsirelson (talk) 16:18, 20 January 2010 (UTC)

This suggestion lets us recall that there are other articles already on wikipedia that are closely connected, including probability space and maybe others, that need to be considered. Melcombe (talk) 16:45, 20 January 2010 (UTC)

My reason for replacing the "Too technical" template was, as stated in the edit descriptor, that there is not even an attempt at having an understandable lead section as required by WP:LEAD. I think that, if an essentially non-mathematical lead section can be constructed, then the template could be removed immediately, otherwise a general reader has no chance of understanding what the article is trying to cover. To progress I state an off-the-cuff version of a start to what is required:

A σ-algebra (or sigma-algebra) is a type of object required in mathematics in order to provide a generally applicable basis for measure theory and probability theory. In simple cases where one starts with a finite list of items, a corresponding sigma-algebra would be a list of all the possible collections of items from this list, including those containing no items and all items. The eventual objective is to be able to assign to each item in this constructed list a value or "measure", in such a way that that the overall set of such values obey certain important rules. For general use this concept is extended to apply in cases where the initial list of items can be replaced and applied in much more complicated settings.

In probability theory and statistics, the sigma-algebra for a given scenario provides the basis for allowing the definition of the probabilities involved since it describes the most general types of outcomes to which probabilities must be assigned.

The existing start, with its mathematics, could be made into a "Introduction" section, perhaps moving some lines up into the lead. As you can probably tell, I am not well up on this stuff, so do feel free to ignore the above suggestion. Melcombe (talk) 16:40, 20 January 2010 (UTC)

I think I understand Melcombe's point. The issue is not that the lead is too difficult or too advanced, but that it is too technical. As written, the lead is quite clear and understandable, but it does not illuminate the subject because it gives no sense of what a sigma-algebra is for or why it is defined as it is. —Dominus (talk) 16:50, 20 January 2010 (UTC)

I've added a new section called "Motivation" (I did this before noticing any the above suggestions or remarks, and haven't thought yet how to roll any of these in.) Does this help at all? Paul August ☎ 17:04, 20 January 2010 (UTC)

I think it's a big improvement; thanks. —Dominus (talk) 18:04, 20 January 2010 (UTC)

I rearranged the introduction a little to put a slightly more intuitive part ahead of the formal definition. Feel free to revert if you think it's not agreeable. Ray^Talk 18:07, 20 January 2010 (UTC)

Algebra of sets

Shouldn't there be some link to Algebra of sets at the beginning of the article since it belongs to this type of algebra? --kupirijo (talk) 12:00, 5 October 2010 (UTC)

I agree, and I've replaced a link to Boolean algebra to a link to Algebra of sets (the latter is a special case of the former). Boris Tsirelson (talk) 13:45, 5 October 2010 (UTC)

Notation and naming

Names with words should always refer to the same concept. Anytime notation and/or naming has been abused (which is to be avoided), it has to be made clear. As an example, in the paragraph that starts with "Elements of the σ-algebra are called measurable sets..." (section Sigma-algebra#Definition_and_properties), it is stated that "A function between two measurable spaces is called measurable function..." I guess that a measurable function f should be either f:X→X' or f:Σ→Σ', but not f:(X,Σ)→(X',Σ') as stated in the text. A related point: in section Talk:Sigma-algebra#Notation (X,Σ) is called the sigma-algebra, while in the main article it is Σ the sigma-algebra and (X,Σ) is the measurable space. Names and underlying concepts should be unified. —Preceding unsigned comment added by Sanchin s (talk • contribs) 02:43, 7 December 2010 (UTC)

In principle I agree. But let me note that the notation f:(X,Σ)→(X',Σ') is a usual and convenient abuse in math literature. Boris Tsirelson (talk) 05:48, 7 December 2010 (UTC)

I don't see it as an abuse. These are the morphisms in the relevant category; (X,Σ) and (X',Σ') are the objects that start and end the arrow (I forget what categorists call those). It's a problem only if you insist on interpreting the notation as though it were a function from one set (X,Σ) to another set (X',Σ'), but why would you do that? --Trovatore (talk) 18:40, 8 December 2010 (UTC)

Well, assuming that everyone is acquainted with the language of morphisms... Boris Tsirelson (talk) 21:20, 8 December 2010 (UTC)

I don't think it's too much of an issue. If someone complains about it, we can give them Trovatore's explanation, and they will learn something. Most people will find it clear what the meaning is supposed to be, and won't complain or even notice that it's an issue. It's not like we're writing a whole paragraph about category theory; we're just using (what I think is) standard notation. It's no different than talking about an isometry as a function from a metric space (A, d₁) to a metric space (B, d₂). — Carl (CBM · talk) 21:29, 8 December 2010 (UTC)

Motivation Section

The explanation of measurable sets could do with a bit of clarification and wikification. For example, exactly which operations should we expect the privileged family of sets to be closed under. There should be links for every technical term, down to the level of "subset", including "operation" and "closure". —Preceding unsigned comment added by 74.176.113.247 (talk) 23:20, 29 December 2010 (UTC)

I found the following to be vague in this section:

"If the subsets of X in Σ correspond to numbers in elementary algebra, then the two set operations union (symbol ∪) and intersection (∩) correspond to addition and multiplication. The collection of sets Σ is completed to include countably infinite operations."

Should I take it to mean that there is only on possible Homomorphism between a sigma-algebra and elementary algebra or instead is the intent to say that a sigma algebra is analogous to elementary algebra? Further, if it is analogous to elementary algebra then in it would be helpful to know in what ways is it analogous? S243a (talk) 19:01, 24 October 2013 (UTC)

Yes, somewhat vague. I guess, the only point is that in elementary algebra we deal with numbers and two operations (addition and multiplication), and analogously in the algebra of sets we deal with sets and two operations (union and intersection). Does this help to beginners? I do not know. (I am far not a beginner.) In what ways is it analogous? Well, $(a+b)c=ac+bc$, and similarly, $(A\cup B)\cap C=A\cap C\,\cup \,B\cap C.$ Not very deep... Boris Tsirelson (talk) 20:38, 24 October 2013 (UTC)

pi-system and d-system?

I don't see mentioned in the article, but I seem to recall that sigma algebras are both pi-systems and d-systems. If that's true, can we get that added to the article at an appropriate place? 70.247.162.18 (talk) 00:02, 3 November 2013 (UTC)

Relation to sigma-ring

There is a section entitled "Relation to sigma-ring", but there is no definition of what a sigma-ring is or even a link to a definition. I think the term "sigma-ring" is much less well-known than sigma-algebra, even to mathematicians, and there should be a link or definition, or the section should simply be omitted. Gsspradlin (talk) 21:53, 6 November 2013 (UTC)