179:
158:
84:
74:
53:
22:
1124:. The switching of quantifiers makes convergence in the Wasserstein metric stronger than weak convergence. As for strong convergence, I have never really seen the definition before, but if it is what it is, then as User Hairer points out below, it is strictly weaker than TV (on all measurable spaces), for roughly the same quantifier switching reason as above.
421:
After many many years on WP, I have realized that one of the greatest things we can do here is to provide a 'rosetta stone' translating across different notations. I've had this problem, where theorems I might recognize, when written from a measure-theoretic point of view, become utterly foreign and
1501:
Speaking of the weak-* topology, why specialize to the Borel sigma-algebra in the definition? For any measurable space, the dual of L is the family of measures of finite total variation---the total variation norm should coincide with the operator norm on functionals, I believe. (L is definitely not
1409:
Hmm, I agree with Piyush, I think this article could use a section of equivalences and counter-examples: so e.g. "on Polish spaces, blah is equivalent to blah, but a counter-example is provided by blah which shows that x is not equivalent to y when z." I admit that I'm too lazy to read two volumes
1289:
Also I need to apologize for an error in my original response: in the definition of TV, you probably also need to restrict f to being integrable with respect to both measures (for otherwise the definition does not make sense). This restriction is not needed when Āµ and Ī½ are probability measures,
1143:
This isn't completely true. In "nice" spaces (Polish will do), convergence in
Wasserstein is equivalent to weak convergence + convergence of first moment. If you choose a bounded metric (or if you modify the definition of Wasserstein so that you force the test functions to also be bounded by 1, in
1366:
defines it in terms of the Radon metric, which would be strictly stronger than the definition on this page, as you point out, in case of Polish spaces ( I confess to not being very familiar with measure theory in general, but I believe the proof for continuous functions being dense in the set of
325:
Agreed. Even as a physicist I don't understand the contents of this entry. As a scientist, I found this explanation utterly useless as an every-day "pedestrian" type definition, and it doesn't belong in this form in an encyclopedia (Knowledge is not an encyclopedia written by mathematicians to
1803:
is the compact and non-compact. In the compact case, this is just the "obvious" weak-* topology and standard functional analytic results apply (like weak-* compactness by Banach-Alaoglu and weak-* density of convex-hull by Krein-Milman). In the noncompact case, the probability measures on the
725:
Thanks! So I see further down in the article that the
Lipschitz version in fact gives weak convergence. (This is correct, as far as you know?) Perhaps it is the case that the radon distance is identical to strong convergence? (which I think is what the article used to say, but when it was
1846:
Not sure, my abstract measure theory isn't that great, but if the topology isn't metrisable, it might break some of the other characterisations. Come to think of it, I am not even 100% sure that the equivalent characterisations stated on this page are really all equivalent without assuming
1178:
I am not sure what you mean by "convergence of first moment" in your first sentence above. Is this the first moment of all integrable functions? or the first moment of the measures themselves (that is, the measures are finite?). Further, isn't it the case that the equivalence of the
1472:
is a variant definition of weak convergence. But if I remove the word 'continuity' in the above, then I get the definition of strong convergence. I'm trying to think of a good example where the two are inequivalent, and where its obvious that the continuity sets were the cause of the
1765:
I am not sure this would be very useful to the casual reader, I wouldn't expect anyone to know what the Stone-Cech compactification isĀ ;-) I suppose that it would however make sense to add a remark/warning stating that while weak convergence is defined by using the dual pairing with
1437:? I'm reading about this now; its used in the theory of dynamical systems, and it seems to be maybe related to the Wasserstein metric, if not maybe identical to it in some or another case. I'll see if I can figure this all out in the next few...days? months? Its needed to define a
1367:
integrable functions generalizes to Polish spaces easily). Also, do you think we should add the caveat that in the definition of TV, f needs to be restricted further to be integrable wrt both Āµ and Ī½? (This is not a problem in the probabilistic setting (where bounded =: -->
598:
1647:
I agree with you that this section isn't great. A number of your questions/remarks might however be answered by the following observation. While it is true that the space of probability measures consists of the positive elements of norm 1 in the dual of
326:
themselves ...). You should at least add an intuitive explanation of the concept. (BTW, so far I have not found any good mathematician who would be short of giving an intuitive explanation for a definition - even mathematicians need those at times!)
422:
strange looking, when written with using random variables. It gets even worse if there is some overlap to quantum stuff, or with projective varieties or whatever. So repeating a claim, in alternative notations, is a good thing.
1217:
Yes, I was implicitly assuming all measures are finite. Otherwise you're opening a whole can of worms... By convergence of first moment, I mean that the integral of the distance function (measured from an arbitrary fixed point)
1736:, which is then indeed compact. In this space, some subsequence of the above sequence converges to some probability measure concentrated on the various "points at infinity" added by the compactification procedure.
251:
From the point of view of a general encyclopedia reader, this page is complete gibberish. If you have to be a statistician to understand an encyclopedia entry on a statistical item of interest, what's the point?
344:
The definition of strong convergence was complete rubbish. I have now replaced it by something that is at least correct, but references are still missing. I agree that intuitive explanations are also missing.
869:
1256:
Also, aren't "nice" and "Polish" essentially the same things: complete separable spaces which either already come with a metric (in the "nice" case), or can be endowed with a metric (in the "Polish" case).
1102:
229:
1754:
That makes sense, a little bit. Why don't we put what you said in the article, that this is the relative weak-* topology in the space of probability measures on the Stone-Cech compactification?
1341:
is Polish, I've added that. TV convergence is strictly stronger than the strong convergence of measures, this is why I removed the corresponding incorrect statement from an earlier version.
452:
140:
1632:
My impression is that the too many special assumptions are being made, some are unnecessary, and the article is not clear on exactly why and how they strengthen the intended statements.
734:
approach? I'm guessing these are all inverse limits on some kind of appropriately defined category, but my ability to guess stops there, and I have been too lazy to google, so far...
1144:
addition to having
Lipschitz constant 1), then convergence in Wasserstein is exactly the same as weak convergence, even though at first glance it would appear to be stronger.
1015:
909:
661:
1991:
1964:
1937:
974:
798:
1339:
1319:
1122:
1035:
995:
929:
889:
770:
705:
681:
2032:
255:
Why not a simple explanation using two six-sided dice - showing how while the result on each die is random, the sum of the dice converges on a mean of 7?
219:
2022:
130:
2017:
2037:
2027:
1701:), this weak-* converges to 0, which is not a probability measure, this is why this is not a desirable notion of convergence. When pairing with
106:
1624:, with just the Borel sigma-algebra, always embeds in the Radon probability measures. The weak-* density of its convex hull follows from the
195:
1897:
1663:
is a locally compact Polish space), what probabilists call "Weak convergence" is the weak-* convergence with respect to the pairing with
379:
360:
331:
310:
619:
or even continuous at all? Can it be a discontinuous-everywhere but still measurable function? (e.g. derivative of minkowski function)
1871:
I rewrote this section a bit to, hopefully, make it more clear, as well as moved it further down because it uses vague convergence.
804:
97:
58:
186:
163:
1496:
Is it customary to consider only sequences in probability? That's a bit funny. The weak-* topology is not metrizable in general.
1358:
Thanks for adding the clarification. I was wondering if you knew of a good source we could use for this article and the one on
1040:
284:
271:
1824:
Also, what is the metric structure doing besides adding one (Lipschitz) characterization? Is it necessary for the definition?
1321:
is an arbitrary measurable space, so doesn't come with a topology and even less with a metric. TV and Radon are the same when
1777:), the set of positive elements of norm one of its dual is in general strictly larger than the set of probability measures.
1179:
Bounded-Lipschitz version of the
Wasserstein metric with weak convergence requires the measures themselves to be finite?
593:{\displaystyle \|\mu -\nu \|_{TV}=\sup {\Bigl \{}\int _{X}fd\mu -\int _{X}fd\nu \;\;{\Big |}\;\;f\colon X\to {\Bigr \}}.}
1890:
As of
Bourbaki the vague convergence is a convergence resp. of space C_c, and not C_0. Bourbaki, Integration, Ch. III.
33:
726:
re-written, that was dropped.) Two more questions, if you are up to it: Can anything be said with regards to the
1620:) as the (closed) set of dirac measures, and its convex hull is dense.": Again, why the separability assumption?
1438:
1804:
Stone-Cech compactification is tricky to identify concretely and the corresponding results are less trivial(?).
1901:
21:
383:
378:
In the list of equivalences, does E denote expectation with respect to P? This should be specified, I think.
364:
335:
314:
1912:
I'm not very familiar with this, because I mostly work with probability measures (and in that case taking
1600:
1595:)": this should be true in general, without any assumption (in particular, any topological assumption) on
1373:
1262:
1184:
716:
404:
267:
1876:
39:
83:
1362:? The situation with respect to strong convergence, for example, seems to be a mess. The article on
283:
This page is about the measure-theoretic concept. If you want a more lay-person explanation, see the ā
178:
157:
1893:
1732:). This space would give the space of all probability measures on the Stone-Cech compactification of
616:
395:
Yes, fixed now (I am not sure how to find a reference for it though: this is basically the so called
259:
1430:
263:
1872:
1507:
If one brings in a topology and insists on the Borel sigma-algebra, there is now a pairing between
1434:
399:(sometimes called theorem) which would be presented using different notation in different books.
194:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1998:
1721:
One could on the other hand consider the space of all positive elements of norm 1 in the dual of
749:
731:
708:
684:
608:
89:
73:
52:
1829:
1809:
1690:, and take the sequence of Dirac measures located at the positive integers. When pairing with
1637:
1369:
1258:
1180:
1000:
894:
712:
639:
400:
396:
359:
I have made a (probably lousy) attempt to provide intuitive explanations. Please improve them.
291:
1852:
1782:
1741:
1395:
1346:
1223:
1149:
951:
775:
350:
1969:
1942:
1915:
1478:
1446:
1415:
739:
624:
427:
752:. The difference is the following. In weak convergence, you need that for every fixed
1465:
1324:
1304:
1107:
1020:
980:
914:
874:
755:
690:
666:
2011:
1994:
1523:
1363:
727:
2002:
1905:
1880:
1856:
1833:
1825:
1813:
1805:
1786:
1745:
1641:
1633:
1625:
1559:) is metrizable and separable, for example by the LĆ©vyāProkhorov metric...": If by
1482:
1450:
1419:
1399:
1377:
1359:
1350:
1290:
since then boundedness of f also implies integrability. 19:27, 26 July 2012 (UTC)
1266:
1227:
1188:
1153:
743:
720:
628:
604:
431:
408:
387:
368:
354:
339:
318:
302:
275:
748:
Actually the weak convergence version is slightly weaker than convergence in the
636:
In the definition of the Total
Variation distance (often also referred to as the
1848:
1799:
It would be really helpful for the article to delineate between the cases where
1778:
1737:
1391:
1342:
1219:
1145:
346:
102:
1474:
1442:
1411:
735:
620:
423:
191:
79:
1993:
does indeed seem to be the most common one so I am going to fix the article.
948:
However, in the
Wasserstein case, you have the stronger version that for any
1567:) you mean Radon probabilityymeasures, then this should be a trivial fact:
1712:) on the other hand, this does not converge to any probability measure on
1674:), the space of all bounded continuous functions. This is the reason why
309:
Although that page is also pretty lousy, from a lay-person perspective.--
1867:
Section Weak convergence of measures as an example of weak-* convergence
663:
norm in the finite setting), there are no constraints on the function
1542:" is again a little funny from the functional analytic point of view.
1460:
More clarification is needed. The article currently states that
1578:) is separable so the weak-* topology on its dual is metrizable.
1473:
inequivalence... having this example in the text would be nice.
864:{\displaystyle |\inf \int fd\mu _{n}-\int fd\mu |<\epsilon }
15:
1097:{\displaystyle |\inf fd\mu _{n}-\int fd\mu |<\epsilon }
1603:
says the unit-ball of a dual is always weak-* compact.
683:
except that it should be measurable. If you want the
1972:
1945:
1918:
1327:
1307:
1110:
1043:
1023:
1003:
983:
955:
917:
897:
877:
807:
779:
758:
693:
669:
642:
455:
446:
I just added a "please clarify" tag to this formula:
1368:integrable), and so I missed it my comment above.
190:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
1985:
1958:
1931:
1502:separable, so the weak-* topology not metrizable.)
1333:
1313:
1116:
1096:
1029:
1009:
989:
967:
923:
903:
883:
863:
791:
764:
699:
675:
655:
592:
1390:I like Bogachev's two volumes on measure theory.
582:
541:
489:
1301:Continuity makes no sense in this context since
1049:
813:
484:
1966:makes no difference). But the definition using
1682:) is not compact in general. Think of the case
8:
1410:on measure theory just at this very moment.
469:
456:
19:
1891:
730:? And also: can anything be said about a
152:
47:
1977:
1971:
1950:
1944:
1923:
1917:
1326:
1306:
1109:
1083:
1062:
1044:
1042:
1022:
1002:
982:
954:
916:
896:
876:
850:
829:
808:
806:
778:
757:
692:
668:
647:
641:
581:
580:
540:
539:
520:
498:
488:
487:
472:
454:
1492:Questions for folks watching this page:
772:with the appropriate properties, and an
548:
546:
537:
535:
1612:is separable, it naturally embeds into
1429:Anyone care to start an article on the
154:
49:
1538:for all bounded, continuous functions
7:
184:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
2033:Mid-importance Statistics articles
1037:with the appropriate properties,
997:large enough (depending only upon
891:large enough (depending upon both
14:
2023:Mid-priority mathematics articles
1886:Section Comparison of convergence
1587:is also compact or Polish, so is
115:Knowledge:WikiProject Mathematics
2018:Start-Class mathematics articles
204:Knowledge:WikiProject Statistics
177:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
2038:WikiProject Statistics articles
2028:Start-Class Statistics articles
285:Convergence of random variables
224:This article has been rated as
207:Template:WikiProject Statistics
135:This article has been rated as
1084:
1045:
851:
809:
577:
562:
559:
1:
968:{\displaystyle \epsilon : -->
792:{\displaystyle \epsilon : -->
388:00:30, 15 February 2012 (UTC)
369:00:29, 15 February 2012 (UTC)
319:00:29, 17 February 2010 (UTC)
303:06:29, 21 November 2009 (UTC)
198:and see a list of open tasks.
109:and see a list of open tasks.
1881:14:21, 8 October 2023 (UTC)
1439:finitely-determined process
355:18:33, 1 October 2011 (UTC)
2054:
2003:16:39, 29 April 2024 (UTC)
1906:20:12, 25 April 2024 (UTC)
1834:15:17, 31 March 2013 (UTC)
1814:10:35, 31 March 2013 (UTC)
1746:21:19, 30 March 2013 (UTC)
1642:12:10, 29 March 2013 (UTC)
1464:lim P_n(A) = P(A) for all
276:23:14, 30 April 2009 (UTC)
1857:14:56, 4 April 2013 (UTC)
1787:14:56, 4 April 2013 (UTC)
1483:16:25, 29 July 2012 (UTC)
1451:04:19, 29 July 2012 (UTC)
1420:16:39, 29 July 2012 (UTC)
1400:07:33, 27 July 2012 (UTC)
1378:19:27, 26 July 2012 (UTC)
1351:11:51, 25 July 2012 (UTC)
1267:17:57, 27 July 2012 (UTC)
1228:20:23, 28 July 2012 (UTC)
1189:17:51, 27 July 2012 (UTC)
1154:07:33, 27 July 2012 (UTC)
1010:{\displaystyle \epsilon }
904:{\displaystyle \epsilon }
744:18:26, 24 July 2012 (UTC)
721:18:50, 22 July 2012 (UTC)
656:{\displaystyle \ell _{1}}
629:18:35, 22 July 2012 (UTC)
432:18:35, 24 July 2012 (UTC)
409:06:41, 23 July 2012 (UTC)
340:16:10, 15 June 2010 (UTC)
223:
172:
134:
67:
46:
1551:is also separable, then
141:project's priority scale
687:, you need to restrict
98:WikiProject Mathematics
1987:
1960:
1933:
1601:Banach-Alaoglu theorem
1335:
1315:
1118:
1098:
1031:
1011:
991:
970:
925:
905:
885:
865:
794:
766:
701:
677:
657:
594:
187:WikiProject Statistics
28:This article is rated
1988:
1986:{\displaystyle C_{c}}
1961:
1959:{\displaystyle C_{0}}
1934:
1932:{\displaystyle C_{c}}
1526:. So the definition "
1336:
1316:
1119:
1099:
1032:
1012:
992:
971:
926:
906:
886:
866:
795:
767:
702:
678:
658:
595:
1970:
1943:
1916:
1325:
1305:
1108:
1041:
1021:
1001:
981:
953:
915:
895:
875:
805:
777:
756:
691:
667:
640:
617:Lipschitz continuous
453:
121:mathematics articles
1488:Metrizability, etc.
210:Statistics articles
1983:
1956:
1929:
1331:
1311:
1114:
1094:
1027:
1007:
987:
965:
921:
901:
881:
861:
789:
762:
750:Wasserstein metric
732:category-theoretic
709:Lipschitz constant
697:
685:Wasserstein metric
673:
653:
609:Wasserstein metric
590:
549:
547:
538:
536:
90:Mathematics portal
34:content assessment
1908:
1896:comment added by
1659:) (at least when
1334:{\displaystyle X}
1314:{\displaystyle X}
1117:{\displaystyle n}
1030:{\displaystyle f}
1017:), and for every
990:{\displaystyle n}
924:{\displaystyle f}
884:{\displaystyle n}
765:{\displaystyle f}
700:{\displaystyle f}
676:{\displaystyle f}
397:Portmanteau lemma
279:
262:comment added by
244:
243:
240:
239:
236:
235:
151:
150:
147:
146:
2045:
1992:
1990:
1989:
1984:
1982:
1981:
1965:
1963:
1962:
1957:
1955:
1954:
1938:
1936:
1935:
1930:
1928:
1927:
1847:separability...
1340:
1338:
1337:
1332:
1320:
1318:
1317:
1312:
1123:
1121:
1120:
1115:
1103:
1101:
1100:
1095:
1087:
1067:
1066:
1048:
1036:
1034:
1033:
1028:
1016:
1014:
1013:
1008:
996:
994:
993:
988:
976:
973:
972:
966:
930:
928:
927:
922:
910:
908:
907:
902:
890:
888:
887:
882:
870:
868:
867:
862:
854:
834:
833:
812:
800:
797:
796:
790:
771:
769:
768:
763:
706:
704:
703:
698:
682:
680:
679:
674:
662:
660:
659:
654:
652:
651:
599:
597:
596:
591:
586:
585:
545:
544:
525:
524:
503:
502:
493:
492:
480:
479:
374:Undefined symbol
301:
297:
294:
278:
256:
230:importance scale
212:
211:
208:
205:
202:
181:
174:
173:
168:
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
2053:
2052:
2048:
2047:
2046:
2044:
2043:
2042:
2008:
2007:
1973:
1968:
1967:
1946:
1941:
1940:
1919:
1914:
1913:
1888:
1869:
1772:
1727:
1707:
1696:
1669:
1654:
1573:
1531:
1513:
1490:
1468:A of measure P.
1466:continuity sets
1458:
1456:Portmanteau thm
1427:
1323:
1322:
1303:
1302:
1106:
1105:
1058:
1039:
1038:
1019:
1018:
999:
998:
979:
978:
950:
949:
913:
912:
893:
892:
873:
872:
825:
803:
802:
774:
773:
754:
753:
689:
688:
665:
664:
643:
638:
637:
516:
494:
468:
451:
450:
444:
442:Total variation
376:
295:
292:
288:
257:
249:
209:
206:
203:
200:
199:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
2051:
2049:
2041:
2040:
2035:
2030:
2025:
2020:
2010:
2009:
2006:
2005:
1980:
1976:
1953:
1949:
1926:
1922:
1898:141.43.110.155
1887:
1884:
1868:
1865:
1864:
1863:
1862:
1861:
1860:
1859:
1839:
1838:
1837:
1836:
1819:
1818:
1817:
1816:
1794:
1793:
1792:
1791:
1790:
1789:
1770:
1758:
1757:
1756:
1755:
1749:
1748:
1725:
1718:
1717:
1705:
1694:
1667:
1652:
1630:
1629:
1605:
1604:
1580:
1579:
1571:
1544:
1543:
1529:
1524:Radon measures
1511:
1504:
1503:
1498:
1497:
1489:
1486:
1470:
1469:
1457:
1454:
1431:d-bar distance
1426:
1423:
1407:
1406:
1405:
1404:
1403:
1402:
1383:
1382:
1381:
1380:
1330:
1310:
1300:
1298:
1297:
1296:
1295:
1294:
1293:
1292:
1291:
1280:
1279:
1278:
1277:
1276:
1275:
1274:
1273:
1272:
1271:
1270:
1269:
1243:
1242:
1241:
1240:
1239:
1238:
1237:
1236:
1235:
1234:
1233:
1232:
1231:
1230:
1202:
1201:
1200:
1199:
1198:
1197:
1196:
1195:
1194:
1193:
1192:
1191:
1165:
1164:
1163:
1162:
1161:
1160:
1159:
1158:
1157:
1156:
1132:
1131:
1130:
1129:
1128:
1127:
1126:
1125:
1113:
1093:
1090:
1086:
1082:
1079:
1076:
1073:
1070:
1065:
1061:
1057:
1054:
1051:
1047:
1026:
1006:
986:
964:
961:
958:
939:
938:
937:
936:
935:
934:
933:
932:
920:
900:
880:
860:
857:
853:
849:
846:
843:
840:
837:
832:
828:
824:
821:
818:
815:
811:
788:
785:
782:
761:
696:
672:
650:
646:
601:
600:
589:
584:
579:
576:
573:
570:
567:
564:
561:
558:
555:
552:
543:
534:
531:
528:
523:
519:
515:
512:
509:
506:
501:
497:
491:
486:
483:
478:
475:
471:
467:
464:
461:
458:
443:
440:
439:
438:
437:
436:
435:
434:
414:
413:
412:
411:
375:
372:
328:
327:
322:
321:
306:
305:
248:
245:
242:
241:
238:
237:
234:
233:
226:Mid-importance
222:
216:
215:
213:
196:the discussion
182:
170:
169:
167:Midāimportance
161:
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:
2050:
2039:
2036:
2034:
2031:
2029:
2026:
2024:
2021:
2019:
2016:
2015:
2013:
2004:
2000:
1996:
1978:
1974:
1951:
1947:
1924:
1920:
1911:
1910:
1909:
1907:
1903:
1899:
1895:
1885:
1883:
1882:
1878:
1874:
1866:
1858:
1854:
1850:
1845:
1844:
1843:
1842:
1841:
1840:
1835:
1831:
1827:
1823:
1822:
1821:
1820:
1815:
1811:
1807:
1802:
1798:
1797:
1796:
1795:
1788:
1784:
1780:
1776:
1769:
1764:
1763:
1762:
1761:
1760:
1759:
1753:
1752:
1751:
1750:
1747:
1743:
1739:
1735:
1731:
1724:
1720:
1719:
1715:
1711:
1704:
1700:
1693:
1689:
1685:
1681:
1677:
1673:
1666:
1662:
1658:
1651:
1646:
1645:
1644:
1643:
1639:
1635:
1627:
1623:
1619:
1615:
1611:
1607:
1606:
1602:
1598:
1594:
1590:
1586:
1582:
1581:
1577:
1570:
1566:
1562:
1558:
1554:
1550:
1546:
1545:
1541:
1537:
1533:
1525:
1522:LCH, and the
1521:
1517:
1510:
1506:
1505:
1500:
1499:
1495:
1494:
1493:
1487:
1485:
1484:
1480:
1476:
1467:
1463:
1462:
1461:
1455:
1453:
1452:
1448:
1444:
1440:
1436:
1432:
1425:dbar distance
1424:
1422:
1421:
1417:
1413:
1401:
1397:
1393:
1389:
1388:
1387:
1386:
1385:
1384:
1379:
1375:
1371:
1365:
1364:Radon measure
1361:
1357:
1356:
1355:
1354:
1353:
1352:
1348:
1344:
1328:
1308:
1288:
1287:
1286:
1285:
1284:
1283:
1282:
1281:
1268:
1264:
1260:
1255:
1254:
1253:
1252:
1251:
1250:
1249:
1248:
1247:
1246:
1245:
1244:
1229:
1225:
1221:
1216:
1215:
1214:
1213:
1212:
1211:
1210:
1209:
1208:
1207:
1206:
1205:
1204:
1203:
1190:
1186:
1182:
1177:
1176:
1175:
1174:
1173:
1172:
1171:
1170:
1169:
1168:
1167:
1166:
1155:
1151:
1147:
1142:
1141:
1140:
1139:
1138:
1137:
1136:
1135:
1134:
1133:
1111:
1091:
1088:
1080:
1077:
1074:
1071:
1068:
1063:
1059:
1055:
1052:
1024:
1004:
984:
962:
959:
956:
947:
946:
945:
944:
943:
942:
941:
940:
918:
898:
878:
858:
855:
847:
844:
841:
838:
835:
830:
826:
822:
819:
816:
786:
783:
780:
759:
751:
747:
746:
745:
741:
737:
733:
729:
728:weak topology
724:
723:
722:
718:
714:
710:
694:
686:
670:
648:
644:
635:
634:
633:
632:
631:
630:
626:
622:
618:
614:
610:
606:
587:
574:
571:
568:
565:
556:
553:
550:
532:
529:
526:
521:
517:
513:
510:
507:
504:
499:
495:
481:
476:
473:
465:
462:
459:
449:
448:
447:
441:
433:
429:
425:
420:
419:
418:
417:
416:
415:
410:
406:
402:
398:
394:
393:
392:
391:
390:
389:
385:
381:
380:98.99.129.198
373:
371:
370:
366:
362:
361:98.99.129.198
357:
356:
352:
348:
342:
341:
337:
333:
332:134.76.219.87
324:
323:
320:
316:
312:
311:128.59.110.50
308:
307:
304:
299:
298:
286:
282:
281:
280:
277:
273:
269:
265:
261:
253:
246:
231:
227:
221:
218:
217:
214:
197:
193:
189:
188:
183:
180:
176:
175:
171:
165:
162:
159:
155:
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:
1892:āĀ Preceding
1889:
1870:
1800:
1774:
1767:
1733:
1729:
1722:
1713:
1709:
1702:
1698:
1691:
1687:
1683:
1679:
1675:
1671:
1664:
1660:
1656:
1649:
1631:
1626:Krein-Milman
1621:
1617:
1613:
1609:
1596:
1592:
1588:
1584:
1575:
1568:
1564:
1560:
1556:
1552:
1548:
1539:
1535:
1527:
1519:
1515:
1508:
1491:
1471:
1459:
1435:d-bar metric
1428:
1408:
1360:Radon metric
1299:
612:
605:Radon metric
603:Is this the
602:
445:
377:
358:
343:
329:
290:
254:
250:
225:
185:
137:Mid-priority
136:
96:
62:Midāpriority
40:WikiProjects
615:need to be
287:ā article.
258:āPreceding
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
2012:Categories
1218:converges.
975:0}" /: -->
799:0}" /: -->
201:Statistics
192:statistics
164:Statistics
264:Tom Adams
1995:Malparti
1894:unsigned
1873:AnnZMath
1628:theorem.
952:0}": -->
776:0}": -->
707:to have
272:contribs
260:unsigned
1826:Mct mht
1806:Mct mht
1634:Mct mht
1583:"...if
1518:), say
611:? Does
228:on the
139:on the
1849:Hairer
1779:Hairer
1738:Hairer
1392:Hairer
1370:Piyush
1343:Hairer
1259:Piyush
1220:Hairer
1181:Piyush
1146:Hairer
977:, and
713:Piyush
401:Piyush
347:Hairer
36:scale.
1475:linas
1443:linas
1412:linas
960:: -->
784:: -->
736:linas
621:linas
424:linas
296:pasha
1999:talk
1902:talk
1877:talk
1853:talk
1830:talk
1810:talk
1783:talk
1742:talk
1638:talk
1608:"If
1547:"If
1479:talk
1447:talk
1416:talk
1396:talk
1374:talk
1347:talk
1263:talk
1224:talk
1185:talk
1150:talk
1104:for
1089:<
911:and
871:for
856:<
740:talk
717:talk
711:1.
625:talk
428:talk
405:talk
384:talk
365:talk
351:talk
336:talk
315:talk
268:talk
1939:or
1441:.
1433:or
1050:inf
814:inf
801:,
607:?
485:sup
247:Boo
220:Mid
131:Mid
2014::
2001:)
1904:)
1879:)
1855:)
1832:)
1812:)
1785:)
1744:)
1686:=
1640:)
1599:.
1536:Ef
1534:ā
1481:)
1449:)
1418:)
1398:)
1376:)
1349:)
1265:)
1226:)
1187:)
1152:)
1092:Ļµ
1081:Ī¼
1072:ā«
1069:ā
1060:Ī¼
1005:Ļµ
969:0}
957:Ļµ
931:).
899:Ļµ
859:Ļµ
848:Ī¼
839:ā«
836:ā
827:Ī¼
817:ā«
793:0}
781:Ļµ
742:)
719:)
645:ā
627:)
566:ā
560:ā
554::
533:Ī½
518:ā«
514:ā
511:Ī¼
496:ā«
470:ā
466:Ī½
463:ā
460:Ī¼
457:ā
430:)
407:)
386:)
367:)
353:)
338:)
330:--
317:)
300:Ā»
293:st
289:ā¦
274:)
270:ā¢
1997:(
1979:c
1975:C
1952:0
1948:C
1925:c
1921:C
1900:(
1875:(
1851:(
1828:(
1808:(
1801:S
1781:(
1775:S
1773:(
1771:b
1768:C
1740:(
1734:R
1730:S
1728:(
1726:b
1723:C
1716:.
1714:R
1710:S
1708:(
1706:b
1703:C
1699:S
1697:(
1695:0
1692:C
1688:R
1684:S
1680:S
1678:(
1676:P
1672:S
1670:(
1668:b
1665:C
1661:S
1657:S
1655:(
1653:0
1650:C
1636:(
1622:S
1618:S
1616:(
1614:P
1610:S
1597:S
1593:S
1591:(
1589:P
1585:S
1576:S
1574:(
1572:0
1569:C
1565:S
1563:(
1561:P
1557:S
1555:(
1553:P
1549:S
1540:f
1532:f
1530:n
1528:E
1520:S
1516:S
1514:(
1512:0
1509:C
1477:(
1445:(
1414:(
1394:(
1372:(
1345:(
1329:X
1309:X
1261:(
1222:(
1183:(
1148:(
1112:n
1085:|
1078:d
1075:f
1064:n
1056:d
1053:f
1046:|
1025:f
985:n
963:0
919:f
879:n
852:|
845:d
842:f
831:n
823:d
820:f
810:|
787:0
760:f
738:(
715:(
695:f
671:f
649:1
623:(
613:f
588:.
583:}
578:]
575:1
572:,
569:1
563:[
557:X
551:f
542:|
530:d
527:f
522:X
508:d
505:f
500:X
490:{
482:=
477:V
474:T
426:(
403:(
382:(
363:(
349:(
334:(
313:(
266:(
232:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.