296:
286:
265:
377:
203:
624:
and possible to do so, then terminology that a reader is unlikely to be familiar with should be briefly defined/described within this article, instead of just having a link to the article about the term (this is because ideally, a "typical" reader should not have to go down a rabbit hole of
Knowledge links and search through various articles in order to understand something stated in
234:
689:"a 'typical' reader should not have to go down a rabbit hole of wikipedia links" to understand an article, but I would say that this article is (at least somewhat) an exception to this rule, because it requires a much higher than average amount of prerequisite knowledge (again, please correct me if I am wrong)
1345:
I think the recent changes are absolutely in the right direction. I made a few minor edits, mostly to remove "scare" quotes about the difficulties of defining the topology on the space of distributions (it's enough to refer to the relevant article). Also, I think more of the discussion on topologies
550:
My comment about technicality and style of the article does not mean I endorse the accuracy of every claim in the April version I refer to. If there are incorrect statements, they can be corrected without resorting to the drastic changes you have made to the article. By all means, fix errors. But
743:
I recently learned distributions and I found it frustrating the first time I glanced at this article, hoping for an overview of the subject. This issue was not even technicality: I understand Fréchet spaces and topological linear spaces. The article was just not reader-friendly and felt more like a
665:
be described using sequences (let along a metric). Suggestions about how to define and describe these topologies to readers who are not used to dealing with non-sequential (and also non-metrizable) spaces would be welcome. The current description of these topologies is (unfortunately) technical and
649:
Is it safe to assume that the reader has studied Fréchet spaces? My guess is probably not and so the reader should not be assumed to know about Fréchet space. But if they are familiar with the basics of Banach spaces then the required knowledge for Fréchet spaces can be described using Banach space
623:
I think that it is safe to assume that the reader has knowledge of calculus. But before we start editing this article to make it less technical, it's important to know what else we can assume about a "typical" reader of this article. This is important because, for example, whenever it is reasonable
681:
I believe distributions are common in physics (please correct me if I'm wrong), and I am not sure that physics students will know about
Frechet spaces (I am not a physics student myself, so I don't even know if physics undergrads learn any topology) – so perhaps the ultimate goal is to make this
446:
The April 2020 version opens with a Basic Idea section that illustrates the essence of the subject. The Sep 2020 version introduces a lot of notation and ancillary concepts, much of which does not seem necessary to introduce the definition of a test function.
712:
I am in favor of creating a separate article for the canonical LF topology (this topology has been studied enough to warrant its own article) and in this way we can simplify the article on distributions by placing some technical details into this new article.
1577:
1281:
153:
1576:"Tempered distributions" is used but not defined in this article. I've heard they are "distributions that are upper bounded by polynomials", which I'm not quite sure how to make precise. I've also heard the more
538:
Distributions are unfortunately an innately technical topic. However, I am fine with simplifying the article but not at the expense of adding false-but-simple information or removing important information.
816:
575:
Over time, I will try to make this article less technical. However, we first need to establish what assumptions can and can not be made about this article and its "typical" reader. According to
435:
The series of edits made by the same user since May 2020 has made this article overly technical, and no longer in the spirit of a
Knowledge article on the subject. To see thepoint, compare the
1558:
1042:
589:"articles on undergraduate topics can be aimed at a reader with a secondary school background, and articles on postgraduate topics can be aimed at readers with some undergraduate background."
352:
535:
Also, the old article was missing important information such as how to extend differential operators to distributions, which is arguably is one of the more important uses of distributions.
871:
646:
Is it safe to assume that the reader has studied Banach spaces? (If not, then the Fréchet spaces and related notions that are used in this article will need more detailed explanations).
586:"consider the typical level where the topic is studied (for example, secondary, undergraduate, or postgraduate) and write the article for readers who are at the previous level." Also,
450:
I would strongly urge that the article be edited back to resemble the April 2020 version, and any advanced material being added after the the simplified introduction to the subject.
147:
1184:
904:
1400:
test functions are the fundamental ones for distributions. As a minor point, I'd denote the regular distribution associated with multiplication by a locally integrable function
1064:
931:
838:
1398:
194:
44:
1527:
1301:
490:
1189:
1472:
1445:
1371:
1418:
1321:
1127:
1107:
1087:
991:
971:
951:
618:"Writing one level down also supports our goal to provide a tertiary source on the topic, which readers can use before they begin to read other sources about it."
1155:
1616:
342:
79:
657:? I think that this can not be assumed. However, unfortunately, neither the canonical LF topology nor the topology on the space of distributions is a
390:
190:
628:
article about distributions). So we need to agree on the following (non-exhaustive) list of assumptions before we can start rewriting this article:
318:
1611:
603:
576:
85:
749:
168:
532:
appear in this article. The correct definition of the canonical LF-topology on the space of test functions is unfortunately technical.
1562:
135:
309:
270:
99:
30:
643:
Is it safe to assume that the reader has knowledge of general topology (in particular, of non-metrizable topological spaces)?
104:
20:
528:
define the topology using sequences and this is a non-trivial fact that has been proven. The above false statement should
129:
74:
771:
As far as the continuity of distributions is concerned, all one needs to say in this article is that a linear functional
774:
467:
The article that you linked to contained false information such as the last sentence of this claim: " The elements of D(
245:
420:
65:
125:
996:
768:
No one looking for a straightforward explanation of distributions will be able to get through the current article.
579:, this article should follow the following guidelines (as well as others not listed here). It should be be written
202:
185:
24:
399:
213:
175:
1580:
in terms of (the extension of?) linear functions on
Schwartz function. Needs to be made clear in this article.
1538:
654:
753:
843:
631:
Is it safe to assume that the reader is likely an advanced undergraduate or higher? (I personally think so).
109:
1534:
1494:
694:
1593:
1585:
561:
457:
251:
690:
295:
1589:
1581:
1161:
876:
141:
233:
1479:
1474:(which could be confused with differentiation) but I don't think there's a standard notation here.
1331:
1276:{\displaystyle |T(\varphi )|\leq C\sum _{|\alpha |\leq n}\|\partial ^{\alpha }\varphi \|_{\infty }}
514:
161:
55:
682:
article accessible to physicists? It would be helpful if others could give their thoughts on this.
317:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1047:
909:
821:
405:
301:
218:
70:
1376:
640:
Is it safe to assume that the reader has studied metric spaces? (I personally think that it is).
285:
264:
1500:
637:
Is it safe to assume that the reader is likely a mathematics, physics, or engineering student?
580:
51:
1286:
475:
658:
557:
453:
401:
376:
215:
551:
this does not justify the excessively technical approach you have followed in your rewrite.
1450:
1423:
1349:
1326:
However, these changes would require a lot of rewriting of the first part of this article.
1597:
1566:
1542:
1483:
1475:
1335:
1327:
757:
734:
719:
698:
676:
565:
545:
461:
1403:
1306:
1112:
1092:
1072:
1066:. Explanations of sequential continuity vs. continuity in TVS can be given elsewhere.
976:
956:
936:
403:
217:
1605:
745:
502:
1132:
666:
I'd like for it to be less technical but I'm not sure how to make it less technical.
729:
714:
671:
540:
506:
1530:
314:
291:
764:
Completely agree about moving discussion of TVS topologies to another article
634:
Is it safe to assume that the reader is likely a graduate student or higher?
439:
with the last version prior to the series of edits by the same editor, the
593:
510:
840:) is continuous if and only if it is sequentially continuous i.e., if
724:
For instance, we can make the presentation less general by replacing
602:"If an article requires extensive notation, consider introducing the
1346:
can be moved elsewhere, and all (or nearly all?) of the material on
615:, perhaps in a "Definition" section after section(s) of motivation."
973:
and the sequence and all of its derivatives converge uniformly on
748:, which starts off with motivation and looks much less cluttered.
653:
Is it safe to assume that the reader has studied non-metrizable
1552:
KINDLY DO NOT ERASE OTHER PEOPLE'S POSTS WHEN YOU POST YOUR OWN
1323:. But I think the sequentially definition is more accessible.
599:"When in doubt, articles should define the notation they use."
406:
370:
227:
219:
15:
882:
786:
744:
giant list of notation. Compare this to the article on
440:
436:
1089:
is continuous if and only if for every compact subset
160:
1503:
1453:
1426:
1406:
1379:
1352:
1309:
1289:
1192:
1164:
1136:
1115:
1095:
1075:
1050:
999:
979:
959:
939:
912:
879:
846:
824:
777:
478:
313:, a collaborative effort to improve the coverage of
1533:) seems not to be explained anywhere on this page.
811:{\displaystyle T:{\mathcal {D}}(U)\to \mathbf {R} }
1521:
1466:
1439:
1412:
1392:
1365:
1315:
1295:
1275:
1178:
1148:
1121:
1101:
1081:
1058:
1036:
985:
965:
945:
925:
898:
865:
832:
810:
484:
592:"Articles should be as accessible as possible to
33:for general discussion of the article's subject.
1373:spaces can be removed from this article, since
609:"An article about a mathematical object should
1037:{\displaystyle T(\varphi _{n})\to T(\varphi )}
471:) are the infinitely differentiable functions
594:readers not already familiar with the subject
414:This page has archives. Sections older than
174:
8:
1264:
1247:
606:or separating it into a "Notation" section."
1495:Spaces of test functions and distributions
259:
1513:
1508:
1502:
1458:
1452:
1431:
1425:
1405:
1384:
1378:
1357:
1351:
1308:
1288:
1267:
1254:
1234:
1226:
1225:
1210:
1193:
1191:
1171:
1163:
1135:
1114:
1094:
1074:
1051:
1049:
1010:
998:
978:
958:
938:
917:
911:
881:
880:
878:
851:
845:
825:
823:
803:
785:
784:
776:
612:provide an exact definition of the object
477:
866:{\displaystyle \varphi _{n}\to \varphi }
261:
231:
424:when more than 5 sections are present.
1559:2601:200:C000:1A0:7097:9C72:4BFB:717D
577:Knowledge:Manual of Style/Mathematics
501:with compact support – also known as
7:
307:This article is within the scope of
250:It is of interest to the following
23:for discussing improvements to the
1617:High-priority mathematics articles
1385:
1268:
1251:
1069:Alternatively, you could say that
933:are contained in a compact subset
14:
1179:{\displaystyle n\in \mathbf {N} }
899:{\displaystyle {\mathcal {D}}(U)}
418:may be automatically archived by
327:Knowledge:WikiProject Mathematics
1172:
1052:
826:
804:
431:The article is far too technical
375:
330:Template:WikiProject Mathematics
294:
284:
263:
232:
201:
45:Click here to start a new topic.
347:This article has been rated as
1235:
1227:
1211:
1207:
1201:
1194:
1031:
1025:
1019:
1016:
1003:
893:
887:
857:
800:
797:
791:
735:23:51, 23 September 2020 (UTC)
720:23:27, 23 September 2020 (UTC)
566:20:31, 30 September 2020 (UTC)
546:22:26, 23 September 2020 (UTC)
462:19:08, 23 September 2020 (UTC)
1:
1484:09:08, 31 December 2021 (UTC)
1336:07:45, 12 December 2021 (UTC)
699:00:15, 18 November 2020 (UTC)
321:and see a list of open tasks.
42:Put new text under old text.
1612:B-Class mathematics articles
1543:17:23, 31 January 2022 (UTC)
1489:Some notations not explained
1059:{\displaystyle \mathbf {R} }
926:{\displaystyle \varphi _{n}}
833:{\displaystyle \mathbf {C} }
677:18:51, 26 October 2020 (UTC)
1393:{\displaystyle C^{\infty }}
758:22:11, 16 August 2021 (UTC)
604:notation as a bulleted list
50:New to Knowledge? Welcome!
1633:
1598:19:07, 16 March 2024 (UTC)
25:Distribution (mathematics)
1522:{\displaystyle L_{c}^{p}}
655:topological vector spaces
346:
279:
258:
80:Be welcoming to newcomers
1578:and difficult definition
1567:00:11, 18 May 2022 (UTC)
1296:{\displaystyle \varphi }
485:{\displaystyle \varphi }
353:project's priority scale
1531:Spaces of distributions
310:WikiProject Mathematics
1572:Tempered distributions
1529:first appearing in 6 (
1523:
1468:
1441:
1414:
1394:
1367:
1317:
1297:
1277:
1180:
1151:
1123:
1103:
1083:
1060:
1038:
987:
967:
947:
927:
900:
867:
834:
812:
486:
441:April 20, 2020 version
421:Lowercase sigmabot III
240:This article is rated
75:avoid personal attacks
1524:
1469:
1467:{\displaystyle D_{f}}
1442:
1440:{\displaystyle T_{f}}
1415:
1395:
1368:
1366:{\displaystyle C^{k}}
1318:
1298:
1278:
1181:
1152:
1149:{\displaystyle C: -->
1124:
1104:
1084:
1061:
1039:
988:
968:
948:
928:
901:
868:
835:
813:
661:so this topology can
509:. It can be given a
487:
195:Auto-archiving period
100:Neutral point of view
1501:
1451:
1424:
1404:
1377:
1350:
1307:
1287:
1190:
1162:
1134:
1113:
1093:
1073:
1048:
997:
977:
957:
937:
910:
877:
844:
822:
775:
476:
437:Sep 22, 2020 version
333:mathematics articles
105:No original research
1518:
685:Also, I agree that
515:limit of a sequence
1519:
1504:
1464:
1437:
1410:
1390:
1363:
1313:
1293:
1273:
1246:
1176:
1146:
1119:
1099:
1079:
1056:
1034:
983:
963:
943:
923:
896:
863:
830:
808:
482:
302:Mathematics portal
246:content assessment
86:dispute resolution
47:
1413:{\displaystyle f}
1316:{\displaystyle K}
1221:
1122:{\displaystyle U}
1102:{\displaystyle K}
1082:{\displaystyle T}
986:{\displaystyle K}
966:{\displaystyle U}
946:{\displaystyle K}
906:(supports of all
517:of elements of D(
505:. This is a real
428:
427:
367:
366:
363:
362:
359:
358:
226:
225:
66:Assume good faith
43:
1624:
1528:
1526:
1525:
1520:
1517:
1512:
1473:
1471:
1470:
1465:
1463:
1462:
1446:
1444:
1443:
1438:
1436:
1435:
1419:
1417:
1416:
1411:
1399:
1397:
1396:
1391:
1389:
1388:
1372:
1370:
1369:
1364:
1362:
1361:
1322:
1320:
1319:
1314:
1302:
1300:
1299:
1294:
1282:
1280:
1279:
1274:
1272:
1271:
1259:
1258:
1245:
1238:
1230:
1214:
1197:
1185:
1183:
1182:
1177:
1175:
1157:
1154:
1153:
1147:
1128:
1126:
1125:
1120:
1108:
1106:
1105:
1100:
1088:
1086:
1085:
1080:
1065:
1063:
1062:
1057:
1055:
1043:
1041:
1040:
1035:
1015:
1014:
992:
990:
989:
984:
972:
970:
969:
964:
952:
950:
949:
944:
932:
930:
929:
924:
922:
921:
905:
903:
902:
897:
886:
885:
872:
870:
869:
864:
856:
855:
839:
837:
836:
831:
829:
817:
815:
814:
809:
807:
790:
789:
732:
717:
674:
659:sequential space
581:"one level down"
543:
513:by defining the
491:
489:
488:
483:
423:
407:
379:
371:
335:
334:
331:
328:
325:
304:
299:
298:
288:
281:
280:
275:
267:
260:
243:
237:
236:
228:
220:
206:
205:
196:
179:
178:
164:
95:Article policies
16:
1632:
1631:
1627:
1626:
1625:
1623:
1622:
1621:
1602:
1601:
1574:
1556:
1555:
1554:
1535:Mamuka Jibladze
1499:
1498:
1491:
1454:
1449:
1448:
1427:
1422:
1421:
1402:
1401:
1380:
1375:
1374:
1353:
1348:
1347:
1343:
1305:
1304:
1285:
1284:
1263:
1250:
1188:
1187:
1160:
1159:
1131:
1130:
1111:
1110:
1091:
1090:
1071:
1070:
1046:
1045:
1006:
995:
994:
975:
974:
955:
954:
935:
934:
913:
908:
907:
875:
874:
847:
842:
841:
820:
819:
773:
772:
766:
730:
715:
672:
583:, which means:
541:
474:
473:
433:
419:
408:
402:
384:
332:
329:
326:
323:
322:
300:
293:
273:
244:on Knowledge's
241:
222:
221:
216:
193:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1630:
1628:
1620:
1619:
1614:
1604:
1603:
1573:
1570:
1550:
1549:
1548:
1516:
1511:
1507:
1490:
1487:
1461:
1457:
1434:
1430:
1409:
1387:
1383:
1360:
1356:
1342:
1339:
1312:
1292:
1270:
1266:
1262:
1257:
1253:
1249:
1244:
1241:
1237:
1233:
1229:
1224:
1220:
1217:
1213:
1209:
1206:
1203:
1200:
1196:
1174:
1170:
1167:
1145:
1142:
1139:
1118:
1098:
1078:
1054:
1033:
1030:
1027:
1024:
1021:
1018:
1013:
1009:
1005:
1002:
982:
962:
942:
920:
916:
895:
892:
889:
884:
862:
859:
854:
850:
828:
806:
802:
799:
796:
793:
788:
783:
780:
765:
762:
761:
760:
750:74.101.253.193
740:
739:
738:
737:
709:
708:
707:
706:
705:
704:
703:
702:
701:
683:
669:
668:
667:
664:
651:
647:
644:
641:
638:
635:
632:
627:
621:
620:
619:
616:
613:
607:
600:
597:
590:
587:
555:
554:
553:
552:
536:
533:
522:
503:bump functions
481:
432:
429:
426:
425:
413:
410:
409:
404:
400:
398:
395:
394:
386:
385:
380:
374:
365:
364:
361:
360:
357:
356:
345:
339:
338:
336:
319:the discussion
306:
305:
289:
277:
276:
268:
256:
255:
249:
238:
224:
223:
214:
212:
211:
208:
207:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1629:
1618:
1615:
1613:
1610:
1609:
1607:
1600:
1599:
1595:
1591:
1587:
1583:
1579:
1571:
1569:
1568:
1564:
1560:
1553:
1546:
1544:
1540:
1536:
1532:
1514:
1509:
1505:
1496:
1488:
1486:
1485:
1481:
1477:
1459:
1455:
1432:
1428:
1407:
1381:
1358:
1354:
1340:
1338:
1337:
1333:
1329:
1324:
1310:
1303:supported in
1290:
1260:
1255:
1242:
1239:
1231:
1222:
1218:
1215:
1204:
1198:
1168:
1165:
1143:
1140:
1137:
1116:
1096:
1076:
1067:
1028:
1022:
1011:
1007:
1000:
980:
960:
940:
918:
914:
890:
860:
852:
848:
794:
781:
778:
769:
763:
759:
755:
751:
747:
746:Sobolev space
742:
741:
736:
733:
727:
723:
722:
721:
718:
711:
710:
700:
696:
692:
688:
684:
680:
679:
678:
675:
670:
662:
660:
656:
652:
648:
645:
642:
639:
636:
633:
630:
629:
625:
622:
617:
614:
611:
608:
605:
601:
598:
595:
591:
588:
585:
584:
582:
578:
574:
573:
572:
571:
570:
569:
568:
567:
563:
559:
549:
548:
547:
544:
537:
534:
531:
527:
523:
520:
516:
512:
508:
504:
500:
496:
492:
479:
470:
466:
465:
464:
463:
459:
455:
451:
448:
444:
442:
438:
430:
422:
417:
412:
411:
397:
396:
393:
392:
388:
387:
383:
378:
373:
372:
369:
354:
350:
349:High-priority
344:
341:
340:
337:
320:
316:
312:
311:
303:
297:
292:
290:
287:
283:
282:
278:
274:High‑priority
272:
269:
266:
262:
257:
253:
247:
239:
235:
230:
229:
210:
209:
204:
200:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1575:
1551:
1547:
1492:
1447:rather than
1344:
1325:
1129:there exist
1068:
770:
767:
725:
691:Joel Brennan
686:
650:terminology.
610:
556:
529:
525:
518:
507:vector space
498:
494:
472:
468:
452:
449:
445:
434:
415:
389:
381:
368:
348:
308:
252:WikiProjects
198:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
1590:Jess_Riedel
1582:Jess_Riedel
1497:: notation
1493:Same as in
558:Undsoweiter
454:Undsoweiter
324:Mathematics
315:mathematics
271:Mathematics
148:free images
31:not a forum
1606:Categories
1283:for every
1186:such that
1156:0}" /: -->
1476:Reader634
1328:Reader634
88:if needed
71:Be polite
21:talk page
1133:0}": -->
993:), then
728:with ∞.
596:matter."
524:You can
511:topology
416:365 days
382:Archives
199:365 days
186:Archives
56:get help
29:This is
27:article.
1341:Comment
731:Mgkrupa
716:Mgkrupa
687:ideally
673:Mgkrupa
542:Mgkrupa
351:on the
242:B-class
154:WP refs
142:scholar
248:scale.
126:Google
1141:: -->
169:JSTOR
130:books
84:Seek
1594:talk
1586:talk
1563:talk
1539:talk
1480:talk
1332:talk
818:(or
754:talk
695:talk
626:this
562:talk
458:talk
343:High
162:FENS
136:news
73:and
1545:\]
1420:by
1109:of
1044:in
953:of
873:in
663:not
530:not
526:not
521:)."
176:TWL
1608::
1596:)
1588:)
1565:)
1557:.
1541:)
1482:)
1386:∞
1334:)
1291:φ
1269:∞
1265:‖
1261:φ
1256:α
1252:∂
1248:‖
1240:≤
1232:α
1223:∑
1216:≤
1205:φ
1169:∈
1158:,
1150:0}
1029:φ
1020:→
1008:φ
915:φ
861:φ
858:→
849:φ
801:→
756:)
697:)
564:)
497:→
493::
480:φ
460:)
443:.
197::
156:)
54:;
1592:(
1584:(
1561:(
1537:(
1515:p
1510:c
1506:L
1478:(
1460:f
1456:D
1433:f
1429:T
1408:f
1382:C
1359:k
1355:C
1330:(
1311:K
1243:n
1236:|
1228:|
1219:C
1212:|
1208:)
1202:(
1199:T
1195:|
1173:N
1166:n
1144:0
1138:C
1117:U
1097:K
1077:T
1053:R
1032:)
1026:(
1023:T
1017:)
1012:n
1004:(
1001:T
981:K
961:U
941:K
919:n
894:)
891:U
888:(
883:D
853:n
827:C
805:R
798:)
795:U
792:(
787:D
782::
779:T
752:(
726:k
693:(
560:(
519:U
499:R
495:U
469:U
456:(
391:1
355:.
254::
191:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.