84:
74:
53:
22:
198:
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
344:
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,
242:
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
451:
I have seen some papers where ideal containing all singletons is called an admissible ideal. Quick search in google books did not yield some book references for this. By the way the books I have checked usually defined filter and ideal in the dual way; i.e., if the authors included the condition
263:
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
436:
Hmm, another convention to watch out for, if you're keeping track, is that it is sometimes assumed that all finite sets (equivalently, all singletons) are in the ideal. This is just to avoid trivialities and is usually mentioned when used, so perhaps it's not worth bringing up here.
253:
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.
582:
It came to my mind that I do not know where on
Knowledge we discuss the relationship between filters, ideals, and finite-additive two-valued measures, and the relationship between completeness of the filters/ideals and additivity of measures. Is this anywhere? — Carl
307:
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
210:
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.
512:
in the definition of an ideal and vice-versa. Perhaps
Knowledge should also be consitent in this? I am not sure whether it would influence other articles too much? (Are there many articles using set-theoretical ideals?)
186:
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).
174:, 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.
535:
filters on a set, properness is always assumed, of course. It's very hard to be consistent between articles, for several reasons; it's easier to just explain everything in each article. — Carl
480:
140:
510:
398:
560:. (On the talk page, quite a long time ago, a split of the article was suggested.) However, I think that you're right about the problems with keeping so many articles consistent. --
404:
for an overview (and feel free to add more references if you think it is needed and you have some at hand). Do you think this should be mentioned in the article? --
640:
130:
635:
400:
to the definition of an ideal. Other authors use the same definition as in the article and call ideals fulfilling this condition proper ideals. See
221:
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.
281:
be useful would be writing some new content about small/negligible sets in this article and then redirecting those pages here. Or maybe not. —
106:
601:
231:
97:
58:
603:
419:
Yes, we should mention this in the article, at least so that people know to watch out for the different conventions. — Carl
182:
if it's desired to keep the discussion of the sets separate from the discussion of the ideals, but honestly I'm not sure
33:
455:
243:
of the articles into this one. Unless someone has a better idea I will probably revert those changes later today. --
351:
333:
287:
21:
401:
485:
373:
227:
39:
83:
557:
553:
324:
195:
528:
442:
346:
328:
282:
191:
167:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
255:
89:
73:
52:
605:
suggest that the only expository article that mentions ultrafilters as two-valued measures is
222:
614:
565:
518:
409:
438:
269:
244:
212:
207:
179:
171:
629:
590:
542:
426:
163:
320:. Perhaps there are others, too — I'm not really very familiar with the subject.
610:
606:
561:
514:
405:
102:
79:
618:
595:
569:
547:
522:
446:
431:
413:
356:
338:
292:
277:
Right. The wholesale dumping of text definitely wasn't very helpful. What
272:
258:
247:
236:
215:
190:
Oh, in case anyone asks, the reason for having this article separate from
586:
538:
422:
265:
203:
175:
15:
497:
467:
385:
488:
458:
376:
101:, a collaborative effort to improve the coverage of
504:
474:
392:
475:{\displaystyle \emptyset \notin {\mathcal {F}}}
268:material then maybe it should not be merged. --
482:in the definition of a filter, they also used
527:I don't think we have a dedicated article on
8:
202:Which could also be an argument for keeping
19:
47:
496:
495:
487:
466:
465:
457:
384:
383:
375:
49:
505:{\displaystyle X\notin {\mathcal {I}}}
393:{\displaystyle X\notin {\mathcal {I}}}
312:consisting of all subsets of some set
7:
199:ideals would not naturally come up.
95:This article is within the scope of
323:Also, shouldn't there be a link to
38:It is of interest to the following
459:
14:
641:Low-priority mathematics articles
162:I've put suggested merge tags on
115:Knowledge:WikiProject Mathematics
636:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
370:Some authors add the condition
135:This article has been rated as
531:. However, if one talks about
1:
366:Slightly different definition
109:and see a list of open tasks.
327:somewhere in the article? —
178:could maybe be merged into
657:
357:20:00, 6 August 2007 (UTC)
339:14:34, 6 August 2007 (UTC)
293:01:02, 9 August 2007 (UTC)
273:17:14, 8 August 2007 (UTC)
259:17:03, 8 August 2007 (UTC)
248:16:58, 8 August 2007 (UTC)
237:13:02, 6 August 2007 (UTC)
216:06:33, 6 August 2007 (UTC)
619:06:40, 28 July 2009 (UTC)
596:17:03, 25 July 2009 (UTC)
570:14:55, 25 July 2009 (UTC)
548:13:14, 25 July 2009 (UTC)
523:10:49, 25 July 2009 (UTC)
447:00:57, 25 July 2009 (UTC)
432:12:57, 24 July 2009 (UTC)
414:11:36, 24 July 2009 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
506:
476:
394:
28:This article is rated
600:This google searches
507:
477:
395:
554:filter (mathematics)
486:
456:
374:
325:Filter (mathematics)
264:maintained with the
196:ideal (order theory)
121:mathematics articles
556:there is a section
529:filter (set theory)
192:ideal (ring theory)
168:talk:negligible set
502:
472:
390:
90:Mathematics portal
34:content assessment
594:
546:
430:
355:
345:if necessary). —
337:
291:
235:
155:
154:
151:
150:
147:
146:
648:
584:
536:
511:
509:
508:
503:
501:
500:
481:
479:
478:
473:
471:
470:
420:
399:
397:
396:
391:
389:
388:
349:
331:
303:Trivial examples
285:
225:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
656:
655:
651:
650:
649:
647:
646:
645:
626:
625:
558:filter on a set
552:In the article
484:
483:
454:
453:
372:
371:
368:
305:
160:
158:possible merges
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
654:
652:
644:
643:
638:
628:
627:
624:
623:
622:
621:
580:
579:
578:
577:
576:
575:
574:
573:
572:
499:
494:
491:
469:
464:
461:
387:
382:
379:
367:
364:
362:
360:
359:
347:Ilmari Karonen
329:Ilmari Karonen
304:
301:
300:
299:
298:
297:
296:
295:
283:Ilmari Karonen
240:
239:
208:negligible set
180:negligible set
172:talk:small set
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
653:
642:
639:
637:
634:
633:
631:
620:
616:
612:
608:
604:
602:
599:
598:
597:
592:
588:
581:
571:
567:
563:
559:
555:
551:
550:
549:
544:
540:
534:
530:
526:
525:
524:
520:
516:
492:
489:
462:
450:
449:
448:
444:
440:
435:
434:
433:
428:
424:
418:
417:
416:
415:
411:
407:
403:
380:
377:
365:
363:
358:
353:
348:
343:
342:
341:
340:
335:
330:
326:
321:
319:
315:
311:
302:
294:
289:
284:
280:
276:
275:
274:
271:
267:
262:
261:
260:
257:
256:ColdFusion650
252:
251:
250:
249:
246:
238:
233:
229:
224:
220:
219:
218:
217:
214:
209:
205:
200:
197:
193:
188:
185:
181:
177:
173:
169:
165:
164:talk:null set
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
532:
369:
361:
322:
317:
313:
309:
306:
278:
241:
223:CRGreathouse
201:
189:
183:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
607:ultrafilter
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
630:Categories
439:Trovatore
270:Trovatore
245:Trovatore
213:Trovatore
266:null set
204:null set
176:Null set
139:on the
611:Kompik
562:Kompik
515:Kompik
406:Kompik
170:, and
36:scale.
533:ultra
279:might
615:talk
609:. --
591:talk
566:talk
543:talk
519:talk
443:talk
427:talk
410:talk
402:here
352:talk
334:talk
288:talk
206:and
194:and
587:CBM
539:CBM
423:CBM
184:why
131:Low
632::
617:)
589:·
568:)
541:·
521:)
513:--
493:∉
463:∉
460:∅
445:)
437:--
425:·
412:)
381:∉
316:⊂
230:|
211:--
166:,
613:(
593:)
585:(
564:(
545:)
537:(
517:(
498:I
490:X
468:F
441:(
429:)
421:(
408:(
386:I
378:X
354:)
350:(
336:)
332:(
318:X
314:B
310:X
290:)
286:(
234:)
232:c
228:t
226:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.