25:
456:
394:
713:
108:
42:
735:
89:
46:
61:
643:
have the same limit, or both have none. (When you generalise this to a directed sets, you get the same result, but for
68:
405:
511:. Then the negligible sets form an ideal. The first example is a special case of this using the usual ordering of
146:
356:
75:
573:
35:
57:
287:
156:
Negligible sets define several useful concepts that can be applied in various situations, such as truth
256:; but if applied to a finite set, every subset will be negligible, which is not a very useful notion.
580:
may not always be true, but it's false so rarely that this can be ignored for the purposes at hand.
740:
679:
150:
138:
169:
161:
709:
644:
632:
564:
535:
481:
473:
197:
160:. In order for these to work, it is generally only necessary that the negligible sets form an
157:
130:
684:
519:
462:
283:
221:
82:
611:
if they are equal almost everywhere. To make the introductory paragraph precise, then, let
264:
477:
336:
be negligible if for each ε > 0, there exists a finite or countable collection
241:
176:
of a negligible set be negligible. For some purposes, we also need this ideal to be a
729:
272:
500:
253:
133:
that is small enough that it can be ignored for some purpose. As common examples,
508:
325:
177:
122:
24:
249:
134:
656:
485:
181:
165:
252:. Then the negligible sets form an ideal. This idea can be applied to any
489:
302:
142:
543:
193:
173:
305:. Then the negligible sets form a sigma-ideal. Every sigma-ideal on
651:
be a measure space, and let negligible sets be the null sets. If
708:(Third ed.). New York: John Wiley & Sons. p. 8.
309:
can be recovered in this way by placing a suitable measure on
18:
670:
have the same integral, or neither integral is defined.
619:, and let the negligible sets be the finite sets. Then
461:
This is a special case of the preceding example, using
408:
359:
350:, … of (possibly overlapping) intervals satisfying:
313:, although the measure may be rather pathological.
49:. Unsourced material may be challenged and removed.
450:
388:
184:unions of negligible sets are also negligible. If
492:). Then the negligible sets form a sigma-ideal.
275:. Then the negligible sets form a sigma-ideal.
451:{\displaystyle \sum _{k}|I_{k}|<\epsilon .}
172:of two negligible sets be negligible, and any
476:, and let a subset be negligible if it is of
8:
484:(where a set is nowhere-dense if it is not
389:{\displaystyle A\subset \bigcup _{k}I_{k}}
16:Mathematical set regarded as insignificant
480:, that is, if it is a countable union of
434:
428:
419:
413:
407:
380:
370:
358:
109:Learn how and when to remove this message
696:
554:is a proposition about the elements of
522:, the controlled sets are negligible.
220:The opposite of a negligible set is a
465:, but described in elementary terms.
7:
47:adding citations to reliable sources
14:
145:can be ignored when studying the
137:can be ignored when studying the
23:
34:needs additional citations for
576:of a negligible set. That is,
435:
420:
1:
568:if the set of points where
507:be negligible if it has an
224:, which has various forms.
757:
542:be an ideal of negligible
704:Billingsley, P. (1995).
203:, then one may speak of
706:Probability and Measure
297:be negligible if it is
271:be negligible if it is
248:be negligible if it is
503:, and let a subset of
452:
390:
267:, and let a subset of
244:, and let a subset of
736:Mathematical analysis
453:
391:
406:
357:
293:and let a subset of
164:; that is, that the
43:improve this article
680:Negligible function
591:are functions from
328:, and let a subset
192:are both ideals of
168:be negligible, the
151:measurable function
139:limit of a sequence
627:are sequences. If
595:to the same space
482:nowhere-dense sets
448:
418:
386:
375:
633:topological space
565:almost everywhere
474:topological space
409:
366:
158:almost everywhere
119:
118:
111:
93:
748:
720:
719:
701:
685:Generic property
526:Derived concepts
520:coarse structure
463:Lebesgue measure
457:
455:
454:
449:
438:
433:
432:
423:
417:
395:
393:
392:
387:
385:
384:
374:
286:equipped with a
284:measurable space
222:generic property
213:
206:
202:
191:
187:
114:
107:
103:
100:
94:
92:
58:"Negligible set"
51:
27:
19:
756:
755:
751:
750:
749:
747:
746:
745:
726:
725:
724:
723:
716:
703:
702:
698:
693:
676:
572:is true is the
528:
424:
404:
403:
376:
355:
354:
349:
342:
265:uncountable set
242:natural numbers
230:
211:
204:
200:
189:
185:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
754:
752:
744:
743:
738:
728:
727:
722:
721:
714:
695:
694:
692:
689:
688:
687:
682:
675:
672:
662:, then either
527:
524:
478:first category
459:
458:
447:
444:
441:
437:
431:
427:
422:
416:
412:
397:
396:
383:
379:
373:
369:
365:
362:
347:
340:
229:
226:
127:negligible set
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
753:
742:
739:
737:
734:
733:
731:
717:
715:0-471-00710-2
711:
707:
700:
697:
690:
686:
683:
681:
678:
677:
673:
671:
669:
665:
661:
658:
654:
650:
646:
642:
638:
634:
630:
626:
622:
618:
614:
610:
606:
602:
598:
594:
590:
586:
581:
579:
575:
571:
567:
566:
561:
557:
553:
549:
545:
541:
537:
533:
525:
523:
521:
516:
514:
510:
506:
502:
498:
493:
491:
487:
483:
479:
475:
471:
466:
464:
445:
442:
439:
429:
425:
414:
410:
402:
401:
400:
381:
377:
371:
367:
363:
360:
353:
352:
351:
346:
339:
335:
331:
327:
323:
319:
314:
312:
308:
304:
300:
296:
292:
289:
285:
281:
276:
274:
270:
266:
262:
257:
255:
251:
247:
243:
239:
235:
227:
225:
223:
218:
216:
209:
199:
195:
183:
179:
175:
171:
167:
163:
159:
154:
152:
148:
144:
140:
136:
132:
128:
124:
113:
110:
102:
99:December 2009
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
705:
699:
667:
663:
659:
652:
648:
640:
636:
628:
624:
620:
616:
612:
608:
604:
600:
596:
592:
588:
584:
582:
577:
569:
563:
559:
555:
551:
547:
539:
531:
529:
517:
512:
504:
501:directed set
496:
494:
469:
467:
460:
398:
344:
337:
333:
329:
326:real numbers
321:
317:
315:
310:
306:
298:
294:
290:
279:
277:
268:
260:
258:
254:infinite set
245:
237:
233:
231:
219:
214:
207:
196:of the same
155:
126:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
647:.) Or, let
509:upper bound
320:be the set
236:be the set
215:-negligible
208:-negligible
178:sigma-ideal
135:finite sets
123:mathematics
741:Set theory
730:Categories
691:References
609:equivalent
574:complement
538:, and let
180:, so that
69:newspapers
657:real line
443:ϵ
411:∑
368:⋃
364:⊂
273:countable
217:subsets.
182:countable
166:empty set
143:null sets
674:See also
562:is true
490:open set
228:Examples
147:integral
655:is the
635:, then
599:, then
558:, then
544:subsets
488:in any
288:measure
259:Or let
194:subsets
83:scholar
712:
263:be an
250:finite
174:subset
141:, and
85:
78:
71:
64:
56:
631:is a
550:. If
534:be a
518:In a
499:be a
486:dense
472:be a
282:be a
170:union
162:ideal
149:of a
129:is a
90:JSTOR
76:books
710:ISBN
666:and
645:nets
639:and
623:and
607:are
603:and
587:and
530:Let
495:Let
468:Let
440:<
399:and
316:Let
303:null
278:Let
232:Let
210:and
188:and
125:, a
62:news
615:be
583:If
546:of
536:set
332:of
324:of
240:of
198:set
131:set
121:In
45:by
732::
515:.
343:,
291:m,
153:.
718:.
668:g
664:f
660:R
653:Y
649:X
641:g
637:f
629:Y
625:g
621:f
617:N
613:X
605:g
601:f
597:Y
593:X
589:g
585:f
578:p
570:p
560:p
556:X
552:p
548:X
540:I
532:X
513:N
505:X
497:X
470:X
446:.
436:|
430:k
426:I
421:|
415:k
382:k
378:I
372:k
361:A
348:2
345:I
341:1
338:I
334:R
330:A
322:R
318:X
311:X
307:X
301:-
299:m
295:X
280:X
269:X
261:X
246:N
238:N
234:X
212:J
205:I
201:X
190:J
186:I
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.