84:
74:
53:
1566:
article, the purpose of wikipedia is not to "teach" by explicitly writing down the most minute details of a subject in a fully deductive fashion (to the point of making it nearly inaccessible to anyone except the most motivated persons with already a background in the subject). Instead, it is to present a coherent and accessible overview of the topic, and refer to referenced sources for anyone interested in exploring further. Again, thank you!
22:
365:
fact that it generates the projective topology just characterized in the universal property; (3) a sentence saying that the tensor product of seminorms which are also norms is a norm, and that this construction therefore carries over to normed spaces. I'll split the post here so I can sign and then give my suggested text.
1634:, frames it. Second, looking at what's in this subsection now and what's in the source, it would be impossible to adequately summarize without giving excessive weight and excessive detail to an example that is, again, only in one source, and, again, apparently related somewhat coincidentally to the topic of this article.
1629:
I am going to remove the subsection of "Examples" with this title, and am starting a discussion in case there is an objection to this. There are at least two possible arguments to remove this subsection. First among these is that this appears to be more of a result about nuclear spaces than about the
364:
a section called "Definitions" before "Properties." This will consist of: (1) the universal property currently in "Properties," characterizing the projective tensor product for all locally convex topological vector spaces; (2) a statement of the construction of the tensor product of seminorms and the
1404:
Thanks for replying. I think that the extra detail in the section
Projective norms in the old revision here is textbook-like elaboration that does not constitute a summary. The sentence starting with "Given..." and ending with a sum of simple tensors is a "trivial" derivation from the definition of
199:
It looks as though this section is based on the first full paragraph on p. 435 and the first full paragraph of p. 438, of Trèves. The problem comes from the fact that these two paragraphs, in their entirety, are closely paraphrased, not summarized. So, although you asked for specific sentences that
1565:
I want to personally thank you for this major rewrite. Functional analysis is not exaclty my area of expertise, but I want to say that the result is a *lot* more readable and accessible than the previous version. As has been discussed previously a few times with the previous main editor of this
1582:
Hi
PatrickR2, thank you for the compliment about some of my contributions here. I'd rather not involve myself in any past content disagreement you seem to be describing, but hope anyone who would have otherwise disagreed with recent changes to the page will find my reasoning above persuasive.
1435:
Respectfully, my opinion is that this is mostly unencyclopedic restatement of facts that appear as propositions and problems in the textbooks. If a way could be found to present some of it in a more natural and encyclopedic way, I would be glad to have it in the article.
162:
Sections "Seminormed spaces" and "Examples" paraphrase too closely their respective sources. Added the relevant notice for now. I might try to shorten them down into a couple sentences and put them elsewhere later but if someone else wants to then go ahead.
1606:
I am splitting the "Bibliography" section into a "References" section (for sources cited in the article) and "Further reading" section, and removing the references that, based on their tables of contents and indexes, don't talk about this topic.
204:
might be argued, and I know that it is especially difficult to summarize mathematical statements rather than paraphrasing them. But I do think that there are opportunities to summarize more here (rather than paraphrase), which means that
200:
are problematic, the problem doesn't come from the way the paraphrasing is done in any particular sentences independently; instead, it comes from the volume of text that is closely paraphrased, as a whole. Now, I see how, as you say,
1351:
What do you think? I think this reduces paraphrasing to a minimum, collects together the definitions, and gets rid of some less important detail. And, as this reflects, having looked at more sources, I am open to reintroducing the
195:
regarding section
Seminormed spaces, followed by my suggested change for how to remedy this issue and reduce the overall level of technical detail on the page. Later, I'll have a suggested change for the examples section.
209:
doesn't apply. Namely, Prop. 43.1 is an elaboration of what precedes it in that paragraph in the book. Restating it is not necessary to summarize the essential content of the paragraph (namely, that a seminorm on
1167:
276:, and that that seminorm induces the projective topology). Just stating that essential summarized content, together with the definition of the "tensor product" of the seminorms, would be an adequate summary;
140:
679:
1016:
757:
461:
605:
573:
1430:
1342:
1193:
1065:
932:
906:
487:
347:
234:
632:
541:
1370:
1316:
1296:
1276:
1256:
1233:
1213:
1085:
1039:
877:
857:
837:
817:
797:
777:
724:
704:
514:
428:
408:
321:
301:
274:
254:
1393:
about projective norms, which I think is important to understanding projective tensor products. I suggest restoring some of this information. Your thoughts?
1665:
130:
106:
1432:) is a "trivial" consequence of what precedes it. The sentence about unit balls of Banach spaces might be added to the current Properties section.
1660:
1540:
97:
58:
1094:
33:
939:
1630:
projective tensor product itself—indeed, that is the way that the only source for the example, pp. 179–184 of
Schaefer's
358:
sections "Normed spaces" and "Seminormed spaces." These will be incorporated in a new section preceding "Properties."
1372:
subscripts. (I originally removed them because the source I was familiar with didn't use them.) Thanks for reading.
349:
is induced by the family of their tensor products." I will do something similar when I give the suggested new text.
39:
645:
188:
105:
on
Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
1529:
83:
729:
433:
578:
277:
206:
201:
192:
21:
1641:
1614:
1590:
1571:
1466:
1443:
1379:
546:
372:
170:
1408:
490:
89:
73:
52:
1405:
the norm. The next one is exactly what you would expect for the completion. The next one (with
1321:
1172:
1044:
911:
885:
466:
326:
213:
1546:
1537:
610:
519:
1389:
Thank you for your work and my apologies for the lateness of my reply (I've been busy). You
1355:
283:
To summarize the content on p. 438, we could say something like, "when the topologies on
1635:
1608:
1584:
1567:
1560:
1460:
1437:
1373:
366:
164:
1646:
1619:
1595:
1575:
1471:
1448:
1399:
1384:
1301:
1281:
1261:
1241:
1218:
1198:
1070:
1024:
862:
842:
822:
802:
782:
762:
709:
689:
499:
413:
393:
377:
306:
286:
259:
239:
175:
1654:
1394:
463:
is the unique locally convex topological vector space with underlying vector space
182:
187:: Thanks again for agreeing to discuss these concerns. Below is my response about
102:
79:
1549:
430:
be locally convex topological vector spaces. Their projective tensor product
1195:
is generated by the collection of such tensor products of the seminorms on
1088:
323:
are induced by families of seminorms, the projective topology on
1459:
Since you said to go ahead and make my changes, I will do that.
1162:{\displaystyle \left\{x\otimes y:p(x)\leq 1,q(y)\leq 1\right\}}
15:
543:
is the canonical map from the vector space of bilinear maps
1278:
are normed spaces, this definition applied to the norms on
383:
Here is suggested text for the new "Definitions" section:
1488:
1486:
1390:
280:
would now apply to our restatement of the definition.
1411:
1358:
1324:
1304:
1284:
1264:
1244:
1221:
1201:
1175:
1097:
1073:
1047:
1027:
943:
914:
888:
865:
845:
825:
805:
785:
765:
732:
712:
692:
648:
613:
581:
549:
522:
502:
469:
436:
416:
396:
329:
309:
289:
262:
242:
216:
1534:
Topological Vector Spaces, Distributions and
Kernels
101:, a collaborative effort to improve the coverage of
1424:
1364:
1336:
1310:
1290:
1270:
1250:
1227:
1207:
1187:
1161:
1079:
1059:
1033:
1009:
926:
900:
871:
851:
831:
811:
791:
771:
759:is induced by seminorms constructed from those on
751:
718:
698:
673:
626:
599:
567:
535:
508:
481:
455:
422:
402:
341:
315:
295:
268:
248:
228:
972:
496:For any locally convex topological vector space
8:
1010:{\displaystyle (p\otimes q)(b)=\inf _{r: -->
47:
1416:
1410:
1357:
1323:
1303:
1283:
1263:
1243:
1220:
1200:
1174:
1096:
1072:
1046:
1026:
975:
942:
913:
887:
864:
844:
824:
804:
784:
764:
740:
731:
711:
691:
656:
647:
618:
612:
580:
548:
527:
521:
501:
468:
444:
435:
415:
395:
328:
308:
288:
261:
241:
215:
1344:which generates the projective topology.
1482:
988:
726:are seminormed spaces, the topology of
607:; then the image of the restriction of
115:Knowledge (XXG):WikiProject Mathematics
49:
19:
1625:Spaces of absolutely summable families
1516:
1504:
1492:
674:{\displaystyle X\otimes _{\pi }Y\to Z}
1536:. Mineola, N.Y.: Dover Publications.
236:can be built out of the seminorms on
7:
95:This article is within the scope of
575:to the vector space of linear maps
38:It is of interest to the following
615:
524:
14:
1666:Low-priority mathematics articles
752:{\displaystyle X\otimes _{\pi }Y}
456:{\displaystyle X\otimes _{\pi }Y}
118:Template:WikiProject Mathematics
82:
72:
51:
20:
600:{\displaystyle X\otimes Y\to Z}
135:This article has been rated as
1449:15:37, 14 September 2023 (UTC)
1145:
1139:
1124:
1118:
965:
959:
956:
944:
665:
638:bilinear maps is the space of
591:
568:{\displaystyle X\times Y\to Z}
559:
1:
1400:17:52, 4 September 2023 (UTC)
1169:. The projective topology on
109:and see a list of open tasks.
1661:C-Class mathematics articles
1425:{\displaystyle \lambda _{i}}
1647:18:33, 16 August 2023 (UTC)
1620:04:09, 11 August 2023 (UTC)
1596:22:53, 14 August 2023 (UTC)
1576:19:25, 14 August 2023 (UTC)
1472:20:49, 10 August 2023 (UTC)
1385:20:16, 10 August 2023 (UTC)
378:19:31, 10 August 2023 (UTC)
176:16:39, 10 August 2023 (UTC)
1682:
1337:{\displaystyle X\otimes Y}
1188:{\displaystyle X\otimes Y}
1060:{\displaystyle X\otimes Y}
927:{\displaystyle X\otimes Y}
901:{\displaystyle p\otimes q}
482:{\displaystyle X\otimes Y}
342:{\displaystyle X\otimes Y}
229:{\displaystyle X\otimes Y}
1632:Topological Vector Spaces
1391:removed a lot information
627:{\displaystyle \Phi _{Z}}
536:{\displaystyle \Phi _{Z}}
134:
67:
46:
141:project's priority scale
1091:convex hull of the set
352:Here is my suggestion:
98:WikiProject Mathematics
1426:
1366:
1338:
1312:
1292:
1272:
1252:
1229:
1209:
1189:
1163:
1081:
1061:
1035:
1017:0,\,b\in rW}r}" /: -->
1012:
928:
908:to be the seminorm on
902:
873:
853:
833:
813:
793:
773:
753:
720:
700:
675:
628:
601:
569:
537:
510:
483:
457:
424:
404:
343:
317:
297:
270:
250:
230:
28:This article is rated
1427:
1367:
1339:
1313:
1293:
1273:
1253:
1230:
1210:
1190:
1164:
1082:
1062:
1036:
1013:
929:
903:
874:
854:
834:
814:
794:
774:
754:
721:
701:
676:
629:
602:
570:
538:
511:
489:having the following
484:
458:
425:
405:
344:
318:
298:
271:
251:
231:
32:on Knowledge (XXG)'s
1409:
1365:{\displaystyle \pi }
1356:
1322:
1302:
1282:
1262:
1242:
1219:
1199:
1173:
1095:
1071:
1045:
1025:
941:
940:0,\,b\in rW}r}": -->
912:
886:
863:
843:
823:
803:
783:
763:
730:
710:
690:
646:
611:
579:
547:
520:
500:
467:
434:
414:
394:
327:
307:
287:
260:
240:
214:
121:mathematics articles
1422:
1362:
1334:
1308:
1288:
1268:
1248:
1225:
1205:
1185:
1159:
1077:
1057:
1031:
1007:
1003:
989:
924:
898:
869:
849:
829:
809:
789:
769:
749:
716:
696:
671:
624:
597:
565:
533:
506:
491:universal property
479:
453:
420:
400:
339:
313:
293:
266:
246:
226:
158:Close paraphrasing
90:Mathematics portal
34:content assessment
1542:978-0-486-45352-1
1311:{\displaystyle Y}
1291:{\displaystyle X}
1271:{\displaystyle Y}
1251:{\displaystyle X}
1228:{\displaystyle Y}
1208:{\displaystyle X}
1080:{\displaystyle W}
1034:{\displaystyle b}
971:
872:{\displaystyle Y}
859:is a seminorm on
852:{\displaystyle q}
832:{\displaystyle X}
819:is a seminorm on
812:{\displaystyle p}
792:{\displaystyle Y}
772:{\displaystyle X}
719:{\displaystyle Y}
699:{\displaystyle X}
509:{\displaystyle Z}
423:{\displaystyle Y}
403:{\displaystyle X}
316:{\displaystyle Y}
296:{\displaystyle X}
269:{\displaystyle Y}
249:{\displaystyle X}
155:
154:
151:
150:
147:
146:
1673:
1644:
1638:
1617:
1611:
1593:
1587:
1564:
1553:
1530:Trèves, François
1520:
1514:
1508:
1502:
1496:
1490:
1469:
1463:
1446:
1440:
1431:
1429:
1428:
1423:
1421:
1420:
1397:
1382:
1376:
1371:
1369:
1368:
1363:
1343:
1341:
1340:
1335:
1318:gives a norm on
1317:
1315:
1314:
1309:
1297:
1295:
1294:
1289:
1277:
1275:
1274:
1269:
1257:
1255:
1254:
1249:
1234:
1232:
1231:
1226:
1214:
1212:
1211:
1206:
1194:
1192:
1191:
1186:
1168:
1166:
1165:
1160:
1158:
1154:
1086:
1084:
1083:
1078:
1066:
1064:
1063:
1058:
1040:
1038:
1037:
1032:
1018:
1015:
1014:
1008:
1002:
933:
931:
930:
925:
907:
905:
904:
899:
878:
876:
875:
870:
858:
856:
855:
850:
838:
836:
835:
830:
818:
816:
815:
810:
798:
796:
795:
790:
778:
776:
775:
770:
758:
756:
755:
750:
745:
744:
725:
723:
722:
717:
705:
703:
702:
697:
680:
678:
677:
672:
661:
660:
633:
631:
630:
625:
623:
622:
606:
604:
603:
598:
574:
572:
571:
566:
542:
540:
539:
534:
532:
531:
515:
513:
512:
507:
488:
486:
485:
480:
462:
460:
459:
454:
449:
448:
429:
427:
426:
421:
409:
407:
406:
401:
375:
369:
348:
346:
345:
340:
322:
320:
319:
314:
302:
300:
299:
294:
275:
273:
272:
267:
255:
253:
252:
247:
235:
233:
232:
227:
186:
173:
167:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1681:
1680:
1676:
1675:
1674:
1672:
1671:
1670:
1651:
1650:
1642:
1636:
1627:
1615:
1609:
1604:
1591:
1585:
1558:
1543:
1528:
1525:
1524:
1523:
1515:
1511:
1503:
1499:
1491:
1484:
1467:
1461:
1444:
1438:
1412:
1407:
1406:
1395:
1380:
1374:
1354:
1353:
1320:
1319:
1300:
1299:
1280:
1279:
1260:
1259:
1240:
1239:
1217:
1216:
1197:
1196:
1171:
1170:
1102:
1098:
1093:
1092:
1069:
1068:
1043:
1042:
1023:
1022:
938:
937:
910:
909:
884:
883:
879:, define their
861:
860:
841:
840:
821:
820:
801:
800:
799:as follows. If
781:
780:
761:
760:
736:
728:
727:
708:
707:
688:
687:
652:
644:
643:
614:
609:
608:
577:
576:
545:
544:
523:
518:
517:
498:
497:
465:
464:
440:
432:
431:
412:
411:
392:
391:
373:
367:
325:
324:
305:
304:
285:
284:
258:
257:
238:
237:
212:
211:
180:
171:
165:
160:
120:
117:
114:
111:
110:
88:
81:
61:
29:
12:
11:
5:
1679:
1677:
1669:
1668:
1663:
1653:
1652:
1626:
1623:
1603:
1600:
1599:
1598:
1579:
1578:
1555:
1554:
1541:
1522:
1521:
1509:
1497:
1481:
1480:
1476:
1475:
1474:
1456:
1455:
1454:
1453:
1452:
1451:
1433:
1419:
1415:
1361:
1348:
1347:
1346:
1345:
1333:
1330:
1327:
1307:
1287:
1267:
1247:
1236:
1224:
1204:
1184:
1181:
1178:
1157:
1153:
1150:
1147:
1144:
1141:
1138:
1135:
1132:
1129:
1126:
1123:
1120:
1117:
1114:
1111:
1108:
1105:
1101:
1076:
1056:
1053:
1050:
1030:
1019:
1011:0,\,b\in rW}r}
1006:
1001:
998:
995:
992:
987:
984:
981:
978:
974:
970:
967:
964:
961:
958:
955:
952:
949:
946:
935:
923:
920:
917:
897:
894:
891:
881:tensor product
868:
848:
828:
808:
788:
768:
748:
743:
739:
735:
715:
695:
684:
683:
682:
670:
667:
664:
659:
655:
651:
621:
617:
596:
593:
590:
587:
584:
564:
561:
558:
555:
552:
530:
526:
505:
478:
475:
472:
452:
447:
443:
439:
419:
399:
385:
384:
338:
335:
332:
312:
292:
265:
245:
225:
222:
219:
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:
1678:
1667:
1664:
1662:
1659:
1658:
1656:
1649:
1648:
1645:
1639:
1633:
1624:
1622:
1621:
1618:
1612:
1601:
1597:
1594:
1588:
1581:
1580:
1577:
1573:
1569:
1562:
1557:
1556:
1551:
1548:
1544:
1539:
1535:
1531:
1527:
1526:
1518:
1513:
1510:
1506:
1501:
1498:
1494:
1489:
1487:
1483:
1479:
1473:
1470:
1464:
1458:
1457:
1450:
1447:
1441:
1434:
1417:
1413:
1403:
1402:
1401:
1398:
1392:
1388:
1387:
1386:
1383:
1377:
1359:
1350:
1349:
1331:
1328:
1325:
1305:
1285:
1265:
1245:
1237:
1222:
1202:
1182:
1179:
1176:
1155:
1151:
1148:
1142:
1136:
1133:
1130:
1127:
1121:
1115:
1112:
1109:
1106:
1103:
1099:
1090:
1074:
1054:
1051:
1048:
1028:
1020:
1004:
999:
996:
993:
990:
985:
982:
979:
976:
968:
962:
953:
950:
947:
936:
921:
918:
915:
895:
892:
889:
882:
866:
846:
826:
806:
786:
766:
746:
741:
737:
733:
713:
693:
685:
668:
662:
657:
653:
649:
641:
637:
619:
594:
588:
585:
582:
562:
556:
553:
550:
528:
503:
495:
494:
492:
476:
473:
470:
450:
445:
441:
437:
417:
397:
389:
388:
387:
386:
382:
381:
380:
379:
376:
370:
363:
359:
357:
353:
350:
336:
333:
330:
310:
290:
281:
279:
263:
243:
223:
220:
217:
208:
203:
197:
194:
190:
189:WP:PARAPHRASE
184:
178:
177:
174:
168:
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:
1631:
1628:
1605:
1602:Bibliography
1533:
1512:
1500:
1477:
880:
642:linear maps
639:
635:
361:
360:
355:
354:
351:
282:
198:
179:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
1517:Trèves 2006
1505:Trèves 2006
1493:Trèves 2006
112:Mathematics
103:mathematics
59:Mathematics
1655:Categories
1478:References
640:continuous
636:continuous
278:WP:LIMITED
207:WP:LIMITED
202:WP:LIMITED
193:WP:LIMITED
1637:ByVarying
1610:ByVarying
1586:ByVarying
1568:PatrickR2
1561:ByVarying
1550:853623322
1532:(2006) .
1519:, p. 437.
1507:, p. 435.
1495:, p. 438.
1462:ByVarying
1439:ByVarying
1375:ByVarying
368:ByVarying
166:ByVarying
1089:balanced
1067:, where
1021:for all
934:given by
1396:Mgkrupa
1087:is the
634:to the
183:Mgkrupa
139:on the
30:C-class
839:, and
356:Remove
36:scale.
1238:When
980:: -->
686:When
516:, if
1643:talk
1616:talk
1592:talk
1572:talk
1547:OCLC
1538:ISBN
1468:talk
1445:talk
1381:talk
1298:and
1258:and
1215:and
779:and
706:and
410:and
390:Let
374:talk
303:and
256:and
191:and
172:talk
1041:in
973:inf
362:Add
131:Low
1657::
1640:|
1613:|
1589:|
1574:)
1545:.
1485:^
1465:|
1442:|
1414:λ
1378:|
1360:π
1329:⊗
1180:⊗
1149:≤
1128:≤
1107:⊗
1052:⊗
994:∈
951:⊗
919:⊗
893:⊗
742:π
738:⊗
666:→
658:π
654:⊗
616:Φ
592:→
586:⊗
560:→
554:×
525:Φ
493::
474:⊗
446:π
442:⊗
371:|
334:⊗
221:⊗
169:|
1570:(
1563::
1559:@
1552:.
1418:i
1332:Y
1326:X
1306:Y
1286:X
1266:Y
1246:X
1235:.
1223:Y
1203:X
1183:Y
1177:X
1156:}
1152:1
1146:)
1143:y
1140:(
1137:q
1134:,
1131:1
1125:)
1122:x
1119:(
1116:p
1113::
1110:y
1104:x
1100:{
1075:W
1055:Y
1049:X
1029:b
1005:r
1000:W
997:r
991:b
986:,
983:0
977:r
969:=
966:)
963:b
960:(
957:)
954:q
948:p
945:(
922:Y
916:X
896:q
890:p
867:Y
847:q
827:X
807:p
787:Y
767:X
747:Y
734:X
714:Y
694:X
681:.
669:Z
663:Y
650:X
620:Z
595:Z
589:Y
583:X
563:Z
557:Y
551:X
529:Z
504:Z
477:Y
471:X
451:Y
438:X
418:Y
398:X
337:Y
331:X
311:Y
291:X
264:Y
244:X
224:Y
218:X
185::
181:@
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.