Talk:Ideal (set theory)

From Wikipedia, the free encyclopedia

[edit] possible merges

I've put suggested merge tags on talk:null set, talk:negligible set, and talk:small set, which I think are kind of all about this same subject. There are potential distinctions -- sometimes "null" is used distinctively to indicate that we're talking about measure, but not always. Null set could maybe be merged into negligible set if it's desired to keep the discussion of the sets separate from the discussion of the ideals, but honestly I'm not sure why that would be desired; the truth is that the ideals are the more important concept (which is why I wrote this article in the first place, as opposed to, say, expanding one of the three articles mentioned above).

Oh, in case anyone asks, the reason for having this article separate from ideal (ring theory) and ideal (order theory) is that those notions are too general. There are fundamental things you do with ideals on sets, such as take products of them and ask about Rudin-Keisler isomorphisms, that don't obviously generalize to the other sorts of ideals. Ideals on sets are studied in several contexts where the other sorts of ideals would not naturally come up.

Which could also be an argument for keeping null set and negligible set separate; I'm not insistent on the merges. That's one reason I was careful to put the merge tags on the talk pages. But it does seem that maybe we have too many articles here on nearly identical topics. Discussion invited. --Trovatore 06:33, 6 August 2007 (UTC)

I'd like to keep Null set separate because of its special measure meaning and its importance to analysis. The others should probablu be merged. CRGreathouse (t | c) 13:02, 6 August 2007 (UTC)

I have to say that I don't think ColdFusion650's bold merges really worked. I'm not sure exactly what I was suggesting should happen -- mainly I wanted to get a discussion going about whether there were too many articles and what to do about it -- but it certainly wasn't just dumping large sections of the articles into this one. Unless someone has a better idea I will probably revert those changes later today. --Trovatore 16:58, 8 August 2007 (UTC)

The information is here. It just needs to be smoothed out so that the integration is more seamless. From my reading of the article, Ideal set, null set, and negligible set are synonymous. Some of this is over my head as Calculus 3 is as far as I've gotten in school so far. ColdFusion650 17:03, 8 August 2007 (UTC)

Well, but the "smoothing out" is actually the hard work. Right now the merged material appears as a disjointed collection of facts, and does not appear to be about the title topic. I want to keep this article primarily about ideals, not about measure theory -- if the measure theory needs to be maintained with the null set material then maybe it should not be merged. --Trovatore 17:14, 8 August 2007 (UTC)

Right. The wholesale dumping of text definitely wasn't very helpful. What might be useful would be writing some new content about small/negligible sets in this article and then redirecting those pages here. Or maybe not. —Ilmari Karonen (talk) 01:02, 9 August 2007 (UTC)

[edit] Trivial examples

Nice work! It did occur to me that, to make the article accessible to a broader audience, it might be a good idea to include some even simpler introductory examples. The one that comes immediately to mind would be the trivial ideal on X consisting of all subsets of some set B ⊂ X. Perhaps there are others, too — I'm not really very familiar with the subject.

Also, shouldn't there be a link to Filter (mathematics) somewhere in the article? —Ilmari Karonen (talk) 14:34, 6 August 2007 (UTC)

I just added the example above to a new "General examples" section, and moved the finite subset ideal there as well since it applies not just to the natural numbers. As I wrote in my edit summary, please feel welcome to improve my changes in any way you see fit (up to and including reverting them, if necessary). —Ilmari Karonen (talk) 20:00, 6 August 2007 (UTC)