95:
85:
64:
33:
274:. For example it could have a section on the history of and motivation of the property. It could describe possible uses of the concept outside of Measure theory. It could explore generalizations or restrictions of the property. It could discuss the relationship between this property and other related properties like
362:
Ah, yes, nonnegativity—I was afraid I was overlooking something. Very well, then I agree that there is a place for as many articles as currently exist and I withdraw my merge nomination. I'm still confused though: is this meant to be a page about σ-additivity (the axiom which may or may not be used
212:
to an independent article, but I don't understand why, since that article also has as its major topic a definition and elementary properties of countable additivity. It's possible that the content here is easier to follow for the uninitiated, but having two definitions in different articles is just
852:
Ok added example, but its very late here, and it probaby contains some kind of error. It definitly needs to be written more clearly.. still, it works (I think). It basically tries to fix the original example given in such a way as to not allow for sets which aren't intervals around 0, and thus you
401:
once this article was written. That link is critical: it will encourage editors to expand/expound in this article, not the other. Twice, now, in two days, I've written expanded sections in one article only to discover shortly afterwards that what I wrote was already covered in another article,
244:
When I follow a link of some term like "sigma additivity", because I want to know what it means, I would rather be sent to an article just about that term, which defines that term right at the top, instead of being directed to an article about a different topic and having to read down into the
869:
Oops, my adjustment only works by only considering intervals as subsets of R. I has managed to make sure that you could only consider an interval in order to get a measure 1 set, however as it was defined on the powerset of R (i.e. all possible subsets of R), you can have a=(0,1)-rationals and
363:
in a context with other axioms) or about the class of σ-additive functions? Especially from your argument 4 (and the page title) I infer the former, but (assuming that σ-additive functions which aren't measures are ever notable) shouldn't we have a separate page for the latter? And
815:
678:
442:
It might be useful to explain that the measure is often taken to be non-negative, but that the rpinciples of sigma-additivity work just as well for an extended (negative) measure as well. Just so that those of us expecting a positive measure aren't surprised.
375:, since they're clearly a generalization of measures). As for history—I'm speculating, but my guess is that measures were invented first and other σ-additive functions a subsequent generalization, in which case my preference would be to put the history in the
326:
I would be fully convinced into agreeing with you both if I saw evidence that the notion of σ-additivity has application outside the definition of a measure specifically (or at least, outside trivial generalizations thereof). My concern is precisely that it
889:
The (current) example of an additive function on the powerset of the reals that is not sigma additive is wrong. By the given formula, the measure of the irrationals is 1 and the measure of the rationals is 1, but the measure of their union is again 1.
873:
To fix this problem I had considered trying to define the function on only intervals of R, I can't actually remember if that is allowed in terms of /mu being a measure.. but then Is suppose this is only a general function... hmm could someone check that
487:
Fibonacci, you know very well that a measure can't take both +∞ and −∞ as values, as then you can't add up the two. You either explain this in the article, or you restrict yourself to an interval not containing both of those.
1084:
1473:
1361:
1303:
1556:
709:
984:
572:
151:
1203:
1249:
842:-- Yeah, I agree this example is so blatently flawed it should be removed.. I will put your edit in for now, and attempt to come up with a different example next time Im bored... --
463:
But the point of the question was that the article was written as if a σ-additive function could only take values in (−∞, +∞]; I changed it to the whole extended real line, and
176:\mu(nullset) = 0 does not follow from finite additivity. It's an added condition to make \mu nontrivial. That is, if \mu(nullset) \ne 0, then \mu(E) = \infty for all sets E.
309:
but that's OK. I don't really like super articles containing a lot of stuff when you just want to look up a single thing. That is, I'd vote to keep this article separate.
514:
And you know that the definition allows it (in principle) to take both values, but then it is proven that you cannot possibly have both. I'd go for the former option. --
837:
371:
have a section on "Generalizations": your philosophy expressed in 4 seems to suggest it doesn't belong; I feel that it's fine (and should include a sentence linking to
289:
here. However I really am by no means an expert in this area and I would appreciate, the views of more knowledgeable editors. I will see if I can round some up ;-)
1597:
141:
1592:
989:
117:
1146:
1125:
897:
183:
108:
69:
1568:
But that makes the function non-additive, see the section "additive but not sigma-additive" above. I've now fixed this (I hope).
810:{\displaystyle \mu (A)={\begin{cases}\infty &{\mbox{ if }}0\in {\bar {A}}\\0&{\mbox{ if }}0\notin {\bar {A}}\end{cases}}}
237:
I created this article because I thought that the topic "sigma additivity" was deserving of its own article. Here are my reasons:
1418:
335:
you'll see that σ-additivity is the only axiom, and hence "σ-additive function" and "measure" are actually the same concept. —
1308:
1090:
Yeah, one could, but this defintion is not so interesting. You could as well deal with A being a sigma-algebra to start with.
1254:
352:μ is required to be non-negative, that was what I meant by my point 2 above. And what about the other reasons given above?
1498:
673:{\displaystyle \mu (A)={\begin{cases}1&{\mbox{ if }}0\in {\bar {A}}\\0&{\mbox{ if }}0\notin {\bar {A}}\end{cases}}}
44:
935:
1382:"..The union of these sets is the interval (0, 1) whose closure is and μ applied to the union is then infinity,..."
270:
This article has the possibility of expanding further beyond what would necessarily be appropriate for the article
432:
So... again, why did you revert my edit? Why do you think it gives "nothing but headaches"? Please answer here. --
1095:
493:
1182:
1150:
1129:
32:
372:
187:
901:
544:
539:
May I ask the purpose of the degree symbol appearing after the parenthetic describing your clarification?
1208:
1572:
1393:
540:
457:
420:
398:
376:
364:
356:
349:
332:
306:
295:
271:
264:
253:
249:
217:
209:
202:
50:
379:
page. Anyway, those are my thoughts, I don't want to contest this more, do whatever you think best. —
285:
So for these reasons I would prefer to leave this article here. I have, for the time being, redirected
94:
1368:
1142:
1121:
1091:
893:
489:
464:
310:
286:
221:
179:
733:
596:
1110:
There ought to at least be at least an explicit mention of Finite
Additivity in this article since
397:
Agree with Oleg & Paul. However, one mistake was to not link sigma-additive in the the article
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
100:
84:
63:
1115:
1569:
1390:
1106:
There ought to at least be at least an explicit mention of Finite
Additivity in this article
822:
417:
353:
345:
292:
1385:
in my opinion, the word "infinity" in this sentence must be replaced with the word "one".
1364:
1111:
1575:
1396:
1372:
1154:
1133:
1099:
905:
881:
861:
846:
548:
518:
497:
474:
447:
436:
410:
383:
339:
313:
228:
191:
515:
471:
433:
567:
The following is not additive, not when defined on the power set of the reals anyway.
256:
actually defines a "sigma additive function", rather it defines a "countably additive
1586:
688:
restricting the function to the power set of the positive reals won't work either...
380:
336:
275:
248:
The definition of the property in this article is more general than the one given in
225:
17:
208:
Hmmm... I see you've intentionally and knowingly changed this from a redirect to
263:
This article has content which is not now in and does not necessarily belong in
113:
213:
asking for them to be expanded in independent, overlapping and confusing ways.
1079:{\displaystyle f(\bigcup _{n=1}^{\infty }A_{n})=\sum _{n=1}^{\infty }f(A_{n})}
878:
858:
843:
444:
407:
90:
470:. I just wanted to ask him why. And... I was expecting Oleg to answer... --
252:(In fact it is not entirely clear to me that you could actually say that
404:
but that other article hadn't been wikilinked to the one I was editing
1165:
Kolmogorov's original defining axiom AIUI was that for any sequence
305:
I agree with Paul's reasoning. There is of course some overlap with
1363:. Is that the same as sigma additivity? How is that proven?
456:
Not only (nonnegative) measures are σ-additive. Measures have
26:
1189:
682:(-1,0) and (0,1) are disjoint, and their closures contain 0
1468:{\displaystyle \mu (A)=\infty {\mbox{ if }}0\in {\bar {A}}}
803:
666:
1356:{\displaystyle \lim _{i\rightarrow \infty }\mu (A_{i})=0}
1298:{\displaystyle \bigcup _{i=1}^{\infty }A_{i}=\emptyset }
1402:
467:
216:
In short, I move that this content be merged back into
1551:{\displaystyle \mu (A)=1{\mbox{ if }}0\in {\bar {A}}.}
1521:
1441:
1186:
776:
742:
639:
605:
1501:
1421:
1311:
1257:
1211:
1185:
992:
938:
870:
b=(0,1)intersect rationals, and this is not additive.
825:
712:
575:
331:, basically because if you look at the axioms for a
112:, a collaborative effort to improve the coverage of
1139:I agree. As a novice, I want a quick definition.
1550:
1467:
1355:
1297:
1243:
1197:
1078:
979:{\displaystyle \bigcup _{n=1}^{\infty }A_{n}\in A}
978:
916:Could sigma-additivity be defined more generally:
831:
809:
672:
1313:
929:for all A1, A2... disjoint sets contained in A
8:
819:fixes the problem. An example not involving
460:. This one should discuss σ-additivity only.
1198:{\displaystyle \scriptstyle {\mathcal {A}}}
416:Yes of course, it should have been linked.
224:and so forth should probably be changed. —
30:
58:
1534:
1533:
1520:
1500:
1454:
1453:
1440:
1420:
1338:
1316:
1310:
1283:
1273:
1262:
1256:
1229:
1216:
1210:
1188:
1187:
1184:
1067:
1051:
1040:
1024:
1014:
1003:
991:
964:
954:
943:
937:
824:
789:
788:
775:
755:
754:
741:
728:
711:
652:
651:
638:
618:
617:
604:
591:
574:
245:article, for the definition I'm seeking.
853:can't have two disjoint measure 1 sets.
348:μ can have negative values. Whereas in
172:Error in the "Basic Properties" section
60:
1389:You are correct. I've fixed this now.
7:
1244:{\displaystyle A_{i}\supset A_{i+1}}
106:This article is within the scope of
49:It is of interest to the following
1437:
1323:
1292:
1274:
1052:
1015:
955:
826:
736:
406:! Its no loss, its just a shame.
25:
1598:Low-priority mathematics articles
1401:Actually the definition had been
925:f a function from A to the reals
700:both contain 0 in their closure.
126:Knowledge:WikiProject Mathematics
1593:Start-Class mathematics articles
220:. And if not, the redirects at
129:Template:WikiProject Mathematics
93:
83:
62:
31:
563:additive but not sigma-additive
146:This article has been rated as
1539:
1511:
1505:
1459:
1431:
1425:
1344:
1331:
1320:
1073:
1060:
1030:
996:
794:
760:
722:
716:
657:
623:
585:
579:
1:
1155:01:04, 21 December 2008 (UTC)
906:14:43, 6 September 2013 (UTC)
519:01:52, 10 December 2005 (UTC)
498:01:20, 10 December 2005 (UTC)
475:01:00, 10 December 2005 (UTC)
448:00:37, 10 December 2005 (UTC)
359:04:49, August 28, 2005 (UTC)
192:15:36, 19 February 2013 (UTC)
120:and see a list of open tasks.
1100:03:40, 25 October 2006 (UTC)
882:12:07, 28 October 2006 (UTC)
862:23:54, 27 October 2006 (UTC)
847:18:15, 27 October 2006 (UTC)
549:21:45, 26 January 2020 (UTC)
437:23:31, 9 December 2005 (UTC)
423:04:04, August 30, 2005 (UTC)
298:19:03, August 27, 2005 (UTC)
411:03:50, 30 August 2005 (UTC)
384:04:33, 29 August 2005 (UTC)
340:04:03, 28 August 2005 (UTC)
314:22:35, 27 August 2005 (UTC)
229:03:08, 27 August 2005 (UTC)
1614:
1576:09:50, 27 March 2013 (UTC)
1397:09:25, 27 March 2013 (UTC)
697:(0,1) intersect rationals
1373:20:04, 18 July 2009 (UTC)
704:defining the function as
428:It can take −∞ as a value
145:
78:
57:
1134:22:27, 7 July 2008 (UTC)
922:A a set of subsets of X
912:More general definition?
373:sigma-additive functions
152:project's priority scale
832:{\displaystyle \infty }
329:has not and cannot have
109:WikiProject Mathematics
1552:
1469:
1357:
1299:
1278:
1245:
1199:
1080:
1056:
1019:
980:
959:
833:
811:
674:
39:This article is rated
1553:
1470:
1358:
1300:
1258:
1246:
1200:
1081:
1036:
999:
981:
939:
834:
812:
685:u((-1,0))+u((0,1))=2
675:
399:measure (mathematics)
377:Measure (mathematics)
365:Measure (mathematics)
350:Measure (mathematics)
307:measure (mathematics)
272:Measure (mathematics)
265:Measure (mathematics)
254:Measure (mathematics)
250:Measure (mathematics)
218:Measure (mathematics)
210:Measure (mathematics)
203:measure (mathematics)
18:Talk:Sigma additivity
1499:
1419:
1309:
1255:
1209:
1183:
990:
936:
823:
710:
573:
287:countable additivity
222:countable additivity
132:mathematics articles
344:Well as defined in
1548:
1525:
1465:
1445:
1378:A possible mistake
1353:
1327:
1295:
1241:
1195:
1194:
1161:Other definitions?
1076:
976:
829:
807:
802:
780:
746:
691:(0,1) - rationals
670:
665:
643:
609:
101:Mathematics portal
45:content assessment
1542:
1524:
1462:
1444:
1312:
1179:, ... of sets in
1145:comment added by
1136:
1124:comment added by
1116:Finitely additive
896:comment added by
797:
779:
763:
745:
660:
642:
626:
608:
458:their own article
182:comment added by
166:
165:
162:
161:
158:
157:
16:(Redirected from
1605:
1557:
1555:
1554:
1549:
1544:
1543:
1535:
1526:
1522:
1474:
1472:
1471:
1466:
1464:
1463:
1455:
1446:
1442:
1403:recently changed
1362:
1360:
1359:
1354:
1343:
1342:
1326:
1304:
1302:
1301:
1296:
1288:
1287:
1277:
1272:
1250:
1248:
1247:
1242:
1240:
1239:
1221:
1220:
1204:
1202:
1201:
1196:
1193:
1192:
1157:
1119:
1118:redirect here.
1085:
1083:
1082:
1077:
1072:
1071:
1055:
1050:
1029:
1028:
1018:
1013:
985:
983:
982:
977:
969:
968:
958:
953:
908:
838:
836:
835:
830:
816:
814:
813:
808:
806:
805:
799:
798:
790:
781:
777:
765:
764:
756:
747:
743:
679:
677:
676:
671:
669:
668:
662:
661:
653:
644:
640:
628:
627:
619:
610:
606:
346:Sigma additivity
194:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
36:
35:
27:
21:
1613:
1612:
1608:
1607:
1606:
1604:
1603:
1602:
1583:
1582:
1497:
1496:
1417:
1416:
1380:
1334:
1307:
1306:
1279:
1253:
1252:
1225:
1212:
1207:
1206:
1181:
1180:
1178:
1171:
1163:
1140:
1112:Finite additive
1108:
1092:Oleg Alexandrov
1063:
1020:
988:
987:
960:
934:
933:
914:
891:
839:would be nice.
821:
820:
801:
800:
773:
767:
766:
739:
729:
708:
707:
664:
663:
636:
630:
629:
602:
592:
571:
570:
565:
490:Oleg Alexandrov
468:changed it back
465:Oleg Alexandrov
430:
311:Oleg Alexandrov
206:
177:
174:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
23:
22:
15:
12:
11:
5:
1611:
1609:
1601:
1600:
1595:
1585:
1584:
1581:
1580:
1579:
1578:
1563:
1562:
1561:
1560:
1559:
1558:
1547:
1541:
1538:
1532:
1529:
1519:
1516:
1513:
1510:
1507:
1504:
1489:
1488:
1487:
1486:
1480:
1479:
1478:
1477:
1476:
1475:
1461:
1458:
1452:
1449:
1439:
1436:
1433:
1430:
1427:
1424:
1409:
1408:
1407:
1406:
1379:
1376:
1352:
1349:
1346:
1341:
1337:
1333:
1330:
1325:
1322:
1319:
1315:
1294:
1291:
1286:
1282:
1276:
1271:
1268:
1265:
1261:
1238:
1235:
1232:
1228:
1224:
1219:
1215:
1191:
1176:
1169:
1162:
1159:
1147:81.101.143.230
1126:76.191.212.109
1107:
1104:
1103:
1102:
1075:
1070:
1066:
1062:
1059:
1054:
1049:
1046:
1043:
1039:
1035:
1032:
1027:
1023:
1017:
1012:
1009:
1006:
1002:
998:
995:
975:
972:
967:
963:
957:
952:
949:
946:
942:
928:
913:
910:
887:
886:
885:
884:
875:
871:
855:
854:
828:
804:
796:
793:
787:
784:
774:
772:
769:
768:
762:
759:
753:
750:
740:
738:
735:
734:
732:
727:
724:
721:
718:
715:
703:
667:
659:
656:
650:
647:
637:
635:
632:
631:
625:
622:
616:
613:
603:
601:
598:
597:
595:
590:
587:
584:
581:
578:
564:
561:
560:
559:
558:
557:
556:
555:
554:
553:
552:
551:
528:
527:
526:
525:
524:
523:
522:
521:
505:
504:
503:
502:
501:
500:
480:
479:
478:
477:
461:
451:
450:
429:
426:
425:
424:
395:
394:
393:
392:
391:
390:
389:
388:
387:
386:
319:
318:
317:
316:
300:
299:
290:
282:
281:
280:
279:
268:
261:
246:
239:
238:
233:
205:
199:
197:
173:
170:
168:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1610:
1599:
1596:
1594:
1591:
1590:
1588:
1577:
1574:
1571:
1567:
1566:
1565:
1564:
1545:
1536:
1530:
1527:
1517:
1514:
1508:
1502:
1495:
1494:
1493:
1492:
1491:
1490:
1484:
1483:
1482:
1481:
1456:
1450:
1447:
1434:
1428:
1422:
1415:
1414:
1413:
1412:
1411:
1410:
1404:
1400:
1399:
1398:
1395:
1392:
1388:
1387:
1386:
1383:
1377:
1375:
1374:
1370:
1366:
1350:
1347:
1339:
1335:
1328:
1317:
1289:
1284:
1280:
1269:
1266:
1263:
1259:
1236:
1233:
1230:
1226:
1222:
1217:
1213:
1175:
1168:
1160:
1158:
1156:
1152:
1148:
1144:
1137:
1135:
1131:
1127:
1123:
1117:
1113:
1105:
1101:
1097:
1093:
1089:
1088:
1087:
1068:
1064:
1057:
1047:
1044:
1041:
1037:
1033:
1025:
1021:
1010:
1007:
1004:
1000:
993:
973:
970:
965:
961:
950:
947:
944:
940:
930:
926:
923:
920:
917:
911:
909:
907:
903:
899:
898:128.187.97.19
895:
883:
880:
876:
872:
868:
867:
866:
865:
864:
863:
860:
851:
850:
849:
848:
845:
840:
817:
791:
785:
782:
770:
757:
751:
748:
730:
725:
719:
713:
705:
701:
698:
695:
692:
689:
686:
683:
680:
654:
648:
645:
633:
620:
614:
611:
599:
593:
588:
582:
576:
568:
562:
550:
546:
542:
541:TricksterWolf
538:
537:
536:
535:
534:
533:
532:
531:
530:
529:
520:
517:
513:
512:
511:
510:
509:
508:
507:
506:
499:
495:
491:
486:
485:
484:
483:
482:
481:
476:
473:
469:
466:
462:
459:
455:
454:
453:
452:
449:
446:
441:
440:
439:
438:
435:
427:
422:
419:
415:
414:
413:
412:
409:
405:
400:
385:
382:
378:
374:
370:
366:
361:
360:
358:
355:
351:
347:
343:
342:
341:
338:
334:
330:
325:
324:
323:
322:
321:
320:
315:
312:
308:
304:
303:
302:
301:
297:
294:
291:
288:
284:
283:
277:
276:subadditivity
273:
269:
266:
262:
259:
255:
251:
247:
243:
242:
241:
240:
236:
235:
234:
231:
230:
227:
223:
219:
214:
211:
204:
201:Merging into
200:
198:
195:
193:
189:
185:
184:74.192.26.106
181:
171:
169:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
34:
29:
28:
19:
1384:
1381:
1173:
1166:
1164:
1138:
1109:
931:
927:
924:
921:
918:
915:
892:— Preceding
888:
856:
841:
818:
706:
702:
699:
696:
693:
690:
687:
684:
681:
569:
566:
431:
403:
396:
368:
328:
257:
232:
215:
207:
196:
178:— Preceding
175:
167:
148:Low-priority
147:
107:
73:Low‑priority
51:WikiProjects
1570:Paul August
1391:Paul August
1141:—Preceding
1120:—Preceding
418:Paul August
354:Paul August
293:Paul August
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
1587:Categories
1365:ciphergoth
1205:such that
1086:-unsigned
874:please...
516:Fibonacci
472:Fibonacci
434:Fibonacci
1305:we have
1143:unsigned
1122:unsigned
919:X a set
894:unsigned
381:Blotwell
367:already
337:Blotwell
226:Blotwell
180:unsigned
333:measure
258:measure
150:on the
47:scale.
1251:and
986:then
879:TM-77
859:TM-77
844:TM-77
445:linas
408:linas
1405:from
1369:talk
1151:talk
1130:talk
1114:and
1096:talk
902:talk
694:and
545:talk
494:talk
369:does
188:talk
1523:if
1443:if
1314:lim
932:if
778:if
744:if
641:if
607:if
260:".)
142:Low
1589::
1540:¯
1531:∈
1503:μ
1485:to
1460:¯
1451:∈
1438:∞
1423:μ
1371:)
1329:μ
1324:∞
1321:→
1293:∅
1275:∞
1260:⋃
1223:⊃
1172:,
1153:)
1132:)
1098:)
1053:∞
1038:∑
1016:∞
1001:⋃
971:∈
956:∞
941:⋃
904:)
877:--
857:--
827:∞
795:¯
786:∉
761:¯
752:∈
737:∞
714:μ
658:¯
649:∉
624:¯
615:∈
577:μ
547:)
496:)
190:)
1573:☎
1546:.
1537:A
1528:0
1518:1
1515:=
1512:)
1509:A
1506:(
1457:A
1448:0
1435:=
1432:)
1429:A
1426:(
1394:☎
1367:(
1351:0
1348:=
1345:)
1340:i
1336:A
1332:(
1318:i
1290:=
1285:i
1281:A
1270:1
1267:=
1264:i
1237:1
1234:+
1231:i
1227:A
1218:i
1214:A
1190:A
1177:2
1174:A
1170:1
1167:A
1149:(
1128:(
1094:(
1074:)
1069:n
1065:A
1061:(
1058:f
1048:1
1045:=
1042:n
1034:=
1031:)
1026:n
1022:A
1011:1
1008:=
1005:n
997:(
994:f
974:A
966:n
962:A
951:1
948:=
945:n
900:(
792:A
783:0
771:0
758:A
749:0
731:{
726:=
723:)
720:A
717:(
655:A
646:0
634:0
621:A
612:0
600:1
594:{
589:=
586:)
583:A
580:(
543:(
492:(
421:☎
357:☎
296:☎
278:.
267:.
186:(
154:.
53::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.