84:
74:
53:
22:
1493:
596:
Sounds as though we have a clash of traditions in physics and in differential geometry. Also, I am a bit worried about your use of the term "argument". If we speak of arguments, then we pass to the dual. Thus, the metric, which is is a 2-covector, takes a pair of arguments which are both vectors.
465:
which says "Various functions in mathematics are also canonical, (...) the canonical isomorphism between a finite-dimensional vector space and its double dual. Although a finite-dimensional vector space and its dual space are isomorphic, there is no canonical isomorphism.". MBarão 22:38, 20 July 2010
643:
The convention is to treat the tangent spaces as primary and use the unqualified word "vector" as a synonym for tangent vectors, and the word "covector" or "dual vector" etc. for vectors of the cotangent spaces. I think that viewpoint is held by authors who call a tangent vector's valence (0,1) just
162:
There is need to extend this article on pseudo-riemann manifolds, as tge
Minkowski manifold, too. That is sharp and flat should also be defined for indefinite (i. e. mixed) but nondegenerate signatures of the symmetric bilinearform g. Raising and lowering are used for minkowski space, too. If there
627:
Let's take the tangent bundle and its sections, the proverbial vector fields. Are we to view these as of the "vector" variety, or of the "covector" variety? It seems a little odd to think of a vector field as of valence "covector" because you "evaluate" it on a 1-form. I don't remember what the
491:
There isn't in general a canonical isomorphism between a finite vector space and its dual space. But if an inner product is defined on a vector space, then this inner product does provide a canonical isomorphism, as described in this article. At least, this is true for finite vector spaces, and
1355:
309:
234:
It seems to me that if the gradient, curl and divergence operators, along with the cross product are defined in terms of musical isomorphisms, so should the dot product. It seems to me that this could be written in two ways:
997:
572:
Unfortunately both customs are current; some authors give the number of vector arguments first (or uppermost), others the number of covector arguments first (or uppermost). For example, Lee uses the former custom in
836:
213:
I don't think anyone calls it the "musical isomorphism". Also, unlike an important theorem or definition, it will not be found to originate in any given work, since it is implicit anywhere there are
Riemannian
1276:
This article helps to make some differential geometry accessible. The subject (usually written for graduate mathematicians) here is physics-friendly - many thanks for that. 17:35, 11 June 2021 92.7.63.73
923:
1185:
1543:, though I am not sure which of the two pages should be moved into the other. They are about essentially the same process: the musical isomorphisms are what you take to raise or lower an index.
1360:
1258:
1488:{\displaystyle {\begin{aligned}\flat :\mathrm {T} M&\longrightarrow \mathrm {T} ^{*}M\\X&\longmapsto g_{ij}X^{i}\mathbf {e} ^{j}\\&\longmapsto X_{j}\mathbf {e} ^{j}\end{aligned}}}
140:
1107:
241:
442:-- Usually we define gradient, divergence and curl over vector fields, and thus there was no symbol of covector in the equations. In fact, the equations are all well known results. --
1072:
1079:
One may supplement these results to the article. Since the results have been given in the related articles, I think it is also fine to just leave them in this talk page. Thanks. --
361:
581:. But yes, if one usage is more common on Knowledge, it should be used as standard, with a word of explanation every time it appears if there's any chance of ambiguity.
1135:
612:
That's just how the valence of a tensor is defined, isn't it? The number of vector arguments, the number of covector arguments (in whichever order they're listed).
419:
I've removed the entire section, as some of the "vectors" are clearly covectors, and so the raising and lowering operations are unnecessary and incorrect.
753:
By musical isomorphism and Hodge dual, one may define some conceptions in vector calculus elegantly. For example, in a 3 dimensional
Euclidean space, let
1587:
1237:, the article ought to discuss the natural isomorphism between a finite-dimensional vector space and its dual space in the presence of an inner product.
130:
1500:
And something similar for sharp. However, the tangent bundle does not contain vector fields as elements, it contains individual vectors as elements.
711:
Having a separate article worked well for me as a reader. Eg. I found it very helpful to have a notation independent of indices and specific bases.
198:
The isomorphisms seem to appear already in H. Whitney's "Geometric integration theory" from the late fifties. From whose work do they originate? --
518:. The cotangent manifold is the (cough cough, ahem) "canonical" example of a symplectic manifold. Slap an inner product on there, and le viola.
106:
929:
1582:
215:
199:
774:
1189:
1119:
730:
519:
1262:
1230:
Currently the article gives no reason for the first description of the flat and sharp isomorphisms. That is pedagogically backwards.
97:
58:
540:
The page refers to dx^i dx^j as a (2,0) tensor. Shouldn't this be (0,2) ? The custom is to list vectors first, then covectors.
842:
461:
The first paragraph states that a musical isomorphism can also be called canonical isomorphism. This is in disagreement with
1540:
679:
649:
617:
586:
497:
482:
33:
304:{\displaystyle \mathbf {v} \cdot \mathbf {w} =\mathbf {v} ^{\flat }\mathbf {w} =\mathbf {w} ^{\flat }\mathbf {v} .}
1548:
1520:
1505:
1281:
hey while you can sign that comment manually, it is also possible to do so by adding three tildas to the end.
219:
203:
645:
613:
582:
493:
400:
368:
183:
1558:
I think it is clear that they should be merged. I think a merge in either direction would be equally good.
1247:
at each point of a manifold endowed with a (pseudo-)Riemannian metric. Because that is what is happening.
1084:
734:
523:
447:
434:
318:
1003:
515:
39:
314:
83:
478:
377:
The formulas are actually correct, but miss the point somewhat: to define the musical isomorphism, we
1286:
716:
470:
331:
21:
1544:
1536:
1516:
1501:
1153:
511:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1563:
1129:
729:
abstractly. It's easy to forget that these are distinct, when just raising and lowering indexes.
702:
474:
396:
364:
179:
89:
73:
52:
1116:
1080:
644:
as much as it is by authors who call it (0,1). It's just an arbitrary difference in notation.
443:
431:
726:
687:
633:
602:
563:
545:
386:
168:
1282:
1109:
Introduction to mechanics and symmetry: a basic exposition of classical mechanical systems
712:
769:
be vectors. Then gradient, curl, divergence and cross product can be defined as follows:
554:
Note that sections of the tangent bundle are described in terms of the notation (1,0) at
492:
providing there's only one inner product defined; I'm not sure about the infinite case.
1576:
1559:
698:
1303:
555:
683:
629:
598:
559:
541:
382:
164:
102:
725:
You get not only basis independence, but the freedom to talk about tangent and
1567:
1552:
1524:
1509:
1266:
1214:
the expression of the musical isomorphisms is described in local coordinates.
1193:
1088:
738:
720:
706:
691:
653:
637:
621:
606:
590:
567:
549:
527:
501:
451:
437:
427:
404:
390:
372:
322:
223:
207:
187:
172:
79:
992:{\displaystyle \nabla \cdot F=\mathrm {div} F=*\mathbf {d} (*F^{\flat })}
663:
It would be good if someone could include the following in the article:
1172:. This will surely be confusing to non-specialists! Are we to equate
1220:
the mathematical description is given for what is really happening.
1115:(volume 17 of Texts in Applied Mathematics ed.). Springer. p. 131.
831:{\displaystyle \nabla f=\mathrm {grad} f=(\mathbf {d} f)^{\sharp }}
577:, introduced on p. 12, while Carroll uses the latter custom in his
749:
Gradient, Curl and
Divergence by the view of Musical isomorphism
363:(aka (pseudo)-Riemannian metric) to define musical isomorphism.
1076:
All above are well known results. One may check for details.
15:
918:{\displaystyle \nabla \times F=\mathrm {curl} F=^{\sharp }}
163:
is any expert who could do this, many thanks in advance! --
462:
659:
where does this terminology come from and who uses it?
1358:
1006:
932:
845:
777:
334:
244:
101:, a collaborative effort to improve the coverage of
1243:should the article define the musical isomorphisms
628:standard textbooks do anymore about this problem.
1487:
1066:
991:
917:
830:
430:works in either the vector or covector domain. —
355:
303:
678:Also, why does this need a separate article from
1106:Marsden, Jerrold E., and Tudor S. Ratiu (2002).
1207:of the discussion of the musical isomorphisms.
178:Isn't pseudo-Riemannian case exactly the same?
8:
1134:: CS1 maint: multiple names: authors list (
426:need both to be raised and lowered, as the
422:Regarless, the cross proudct formuls does
328:This is false: you need the inner product
47:
1475:
1470:
1463:
1442:
1437:
1430:
1417:
1390:
1385:
1369:
1359:
1357:
1058:
1045:
1032:
1005:
980:
965:
945:
931:
909:
896:
887:
858:
844:
822:
810:
787:
776:
333:
293:
287:
282:
273:
267:
262:
253:
245:
243:
1257:this isomorphism in local coordinates.
1186:2001:8003:4002:3700:F5BB:B979:4046:834C
1098:
49:
19:
1127:
1259:2601:200:C000:1A0:ED91:8933:953C:2AB0
7:
1294:Definition is mathematically invalid
1154:§ Extension to k-vectors and k-forms
1067:{\displaystyle v\times w=^{\sharp }}
95:This article is within the scope of
579:Lecture Notes on General Relativity
38:It is of interest to the following
1386:
1370:
1363:
1253:should the article explain how to
1059:
1046:
1033:
981:
952:
949:
946:
933:
910:
897:
868:
865:
862:
859:
846:
823:
797:
794:
791:
788:
778:
288:
268:
14:
1588:Mid-priority mathematics articles
463:http://en.wikipedia.org/Canonical
115:Knowledge:WikiProject Mathematics
1471:
1438:
966:
888:
811:
381:the dot product a.k.a. metric.
356:{\displaystyle g(\cdot ,\cdot )}
294:
283:
274:
263:
254:
246:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
674:where is this terminology used?
667:who introduced the terminology
510:Perhaps "canonical" comes from
135:This article has been rated as
1456:
1410:
1381:
1180:? And where and what are the
1055:
1051:
1025:
1019:
986:
970:
906:
902:
884:
878:
819:
807:
438:20:06, 30 September 2009 (UTC)
415:Gradient, divergence and curl:
395:That's exactly what I said :)
350:
338:
1:
1194:12:28, 30 December 2019 (UTC)
707:15:00, 17 November 2011 (UTC)
224:04:17, 12 November 2012 (UTC)
109:and see a list of open tasks.
1583:C-Class mathematics articles
1541:Raising and lowering indices
1245:in terms of this isomorphism
1089:08:20, 19 October 2014 (UTC)
680:raising and lowering indices
654:02:05, 20 October 2010 (UTC)
638:20:54, 19 October 2010 (UTC)
622:20:28, 19 October 2010 (UTC)
607:02:37, 19 October 2010 (UTC)
591:22:55, 18 October 2010 (UTC)
568:14:14, 18 October 2010 (UTC)
550:05:49, 18 October 2010 (UTC)
502:02:45, 18 October 2010 (UTC)
452:08:38, 19 October 2014 (UTC)
405:11:57, 7 November 2010 (UTC)
391:11:01, 17 October 2010 (UTC)
373:07:37, 17 October 2010 (UTC)
188:07:51, 17 October 2010 (UTC)
761:be a vector field, and let
721:12:09, 31 August 2019 (UTC)
692:15:57, 13 August 2011 (UTC)
1604:
323:10:56, 5 August 2009 (UTC)
208:12:31, 3 August 2009 (UTC)
1568:21:16, 17 July 2024 (UTC)
1553:20:46, 17 July 2024 (UTC)
1525:20:44, 17 July 2024 (UTC)
1510:02:35, 11 July 2024 (UTC)
1223:The sequence ought to be
1156:, we see a discussion of
134:
67:
46:
1267:20:52, 16 May 2021 (UTC)
1203:I do not approve of the
739:16:28, 29 May 2024 (UTC)
697:^^Ditto what Kai asked.
528:16:20, 29 May 2024 (UTC)
141:project's priority scale
1148:Confusing section title
757:be a function, and let
173:12:59, 2 May 2009 (UTC)
98:WikiProject Mathematics
1489:
1068:
993:
919:
832:
357:
305:
158:Pseudo-Riemannian case
28:This article is rated
1490:
1069:
994:
920:
833:
556:Tensor_field#Notation
516:canonical coordinates
457:Canonical isomorphism
358:
306:
1356:
1225:exactly the opposite
1164:, but no mention of
1004:
930:
843:
775:
575:Riemannian Manifolds
332:
242:
121:mathematics articles
1537:Musical isomorphism
669:mulical isomorphism
512:symplectic geometry
1535:I propose merging
1485:
1483:
1298:The article says:
1064:
989:
915:
828:
646:Dependent Variable
614:Dependent Variable
583:Dependent Variable
494:Dependent Variable
353:
301:
90:Mathematics portal
34:content assessment
727:cotangent bundles
487:
473:comment added by
155:
154:
151:
150:
147:
146:
1595:
1494:
1492:
1491:
1486:
1484:
1480:
1479:
1474:
1468:
1467:
1447:
1446:
1441:
1435:
1434:
1425:
1424:
1395:
1394:
1389:
1373:
1346:, we define its
1345:
1322:
1210:In the article,
1140:
1139:
1133:
1125:
1114:
1103:
1073:
1071:
1070:
1065:
1063:
1062:
1050:
1049:
1037:
1036:
998:
996:
995:
990:
985:
984:
969:
955:
924:
922:
921:
916:
914:
913:
901:
900:
891:
871:
837:
835:
834:
829:
827:
826:
814:
800:
536:(2,0) or (0,2) ?
486:
467:
362:
360:
359:
354:
310:
308:
307:
302:
297:
292:
291:
286:
277:
272:
271:
266:
257:
249:
194:Original source?
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1603:
1602:
1598:
1597:
1596:
1594:
1593:
1592:
1573:
1572:
1533:
1482:
1481:
1469:
1459:
1452:
1449:
1448:
1436:
1426:
1413:
1406:
1400:
1399:
1384:
1377:
1354:
1353:
1344:
1332:
1324:
1321:
1306:
1296:
1274:
1201:
1150:
1145:
1144:
1143:
1126:
1122:
1112:
1105:
1104:
1100:
1054:
1041:
1028:
1002:
1001:
976:
928:
927:
905:
892:
841:
840:
818:
773:
772:
751:
661:
538:
468:
459:
417:
330:
329:
281:
261:
240:
239:
232:
196:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1601:
1599:
1591:
1590:
1585:
1575:
1574:
1571:
1570:
1545:Mathwriter2718
1532:
1531:Merge proposal
1529:
1528:
1527:
1517:Mathwriter2718
1515:I fixed this.
1502:Mathwriter2718
1498:
1497:
1496:
1495:
1478:
1473:
1466:
1462:
1458:
1455:
1453:
1451:
1450:
1445:
1440:
1433:
1429:
1423:
1420:
1416:
1412:
1409:
1407:
1405:
1402:
1401:
1398:
1393:
1388:
1383:
1380:
1378:
1376:
1372:
1368:
1365:
1362:
1361:
1340:
1328:
1317:
1295:
1292:
1291:
1290:
1273:
1270:
1233:
1200:
1197:
1149:
1146:
1142:
1141:
1121:978-0387986432
1120:
1097:
1096:
1092:
1061:
1057:
1053:
1048:
1044:
1040:
1035:
1031:
1027:
1024:
1021:
1018:
1015:
1012:
1009:
988:
983:
979:
975:
972:
968:
964:
961:
958:
954:
951:
948:
944:
941:
938:
935:
912:
908:
904:
899:
895:
890:
886:
883:
880:
877:
874:
870:
867:
864:
861:
857:
854:
851:
848:
825:
821:
817:
813:
809:
806:
803:
799:
796:
793:
790:
786:
783:
780:
750:
747:
746:
745:
744:
743:
742:
741:
676:
675:
672:
660:
657:
641:
640:
610:
609:
537:
534:
533:
532:
531:
530:
505:
504:
458:
455:
416:
413:
412:
411:
410:
409:
408:
407:
352:
349:
346:
343:
340:
337:
312:
311:
300:
296:
290:
285:
280:
276:
270:
265:
260:
256:
252:
248:
231:
228:
227:
226:
216:68.192.250.151
200:130.230.19.134
195:
192:
191:
190:
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:
1600:
1589:
1586:
1584:
1581:
1580:
1578:
1569:
1565:
1561:
1557:
1556:
1555:
1554:
1550:
1546:
1542:
1538:
1530:
1526:
1522:
1518:
1514:
1513:
1512:
1511:
1507:
1503:
1476:
1464:
1460:
1454:
1443:
1431:
1427:
1421:
1418:
1414:
1408:
1403:
1396:
1391:
1379:
1374:
1366:
1352:
1351:
1349:
1343:
1339:
1335:
1331:
1327:
1323:and denoting
1320:
1316:
1313:
1309:
1305:
1301:
1300:
1299:
1293:
1288:
1284:
1280:
1279:
1278:
1271:
1269:
1268:
1264:
1260:
1256:
1252:
1251:And only then
1248:
1246:
1242:
1238:
1236:
1231:
1228:
1226:
1221:
1219:
1215:
1213:
1208:
1206:
1198:
1196:
1195:
1191:
1187:
1183:
1179:
1175:
1171:
1167:
1163:
1159:
1155:
1147:
1137:
1131:
1123:
1118:
1111:
1110:
1102:
1099:
1095:
1091:
1090:
1086:
1082:
1077:
1074:
1042:
1038:
1029:
1022:
1016:
1013:
1010:
1007:
999:
977:
973:
962:
959:
956:
942:
939:
936:
925:
893:
881:
875:
872:
855:
852:
849:
838:
815:
804:
801:
784:
781:
770:
768:
764:
760:
756:
748:
740:
736:
732:
728:
724:
723:
722:
718:
714:
710:
709:
708:
704:
700:
696:
695:
694:
693:
689:
685:
681:
673:
670:
666:
665:
664:
658:
656:
655:
651:
647:
639:
635:
631:
626:
625:
624:
623:
619:
615:
608:
604:
600:
595:
594:
593:
592:
588:
584:
580:
576:
570:
569:
565:
561:
557:
552:
551:
547:
543:
535:
529:
525:
521:
517:
513:
509:
508:
507:
506:
503:
499:
495:
490:
489:
488:
484:
480:
476:
472:
464:
456:
454:
453:
449:
445:
440:
439:
436:
433:
429:
425:
420:
414:
406:
402:
398:
397:Kallikanzarid
394:
393:
392:
388:
384:
380:
376:
375:
374:
370:
366:
365:Kallikanzarid
347:
344:
341:
335:
327:
326:
325:
324:
320:
316:
298:
278:
258:
250:
238:
237:
236:
229:
225:
221:
217:
212:
211:
210:
209:
205:
201:
193:
189:
185:
181:
180:Kallikanzarid
177:
176:
175:
174:
170:
166:
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:
1534:
1499:
1347:
1341:
1337:
1333:
1329:
1325:
1318:
1314:
1311:
1307:
1304:vector field
1297:
1275:
1254:
1250:
1249:
1244:
1240:
1239:
1234:
1232:
1229:
1224:
1222:
1217:
1216:
1211:
1209:
1204:
1202:
1181:
1177:
1173:
1169:
1165:
1161:
1157:
1151:
1108:
1101:
1093:
1081:IkamusumeFan
1078:
1075:
1000:
926:
839:
771:
766:
762:
758:
754:
752:
731:67.198.37.16
677:
668:
662:
642:
611:
578:
574:
571:
553:
539:
520:67.198.37.16
460:
444:IkamusumeFan
441:
432:Arthur Rubin
423:
421:
418:
378:
315:Danielkwalsh
313:
233:
197:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
1162:p-covectors
469:—Preceding
230:Dot Product
112:Mathematics
103:mathematics
59:Mathematics
1577:Categories
1283:Gaismagorm
1094:References
713:NeilOnWiki
428:Hodge dual
214:manifolds.
1241:Only then
1166:k-vectors
1158:p-vectors
1130:cite book
1560:Gumshoe2
1302:Given a
1205:sequence
1199:Pedagogy
699:Rschwieb
483:contribs
471:unsigned
1255:compute
1170:k-forms
514:, e.g.
466:(UTC)
139:on the
30:C-class
1272:Thanks
684:345Kai
630:Tkuvho
599:Tkuvho
560:Tkuvho
542:Tkuvho
475:MBarao
435:(talk)
383:Tkuvho
165:Ernsts
36:scale.
1235:First
1212:first
1182:forms
1113:(PDF)
1564:talk
1549:talk
1539:and
1521:talk
1506:talk
1350:by:
1348:flat
1287:talk
1263:talk
1218:Then
1190:talk
1176:and
1160:and
1136:link
1117:ISBN
1085:talk
735:talk
717:talk
703:talk
688:talk
682:? --
650:talk
634:talk
618:talk
603:talk
587:talk
564:talk
546:talk
524:talk
498:talk
479:talk
448:talk
401:talk
387:talk
379:need
369:talk
319:talk
220:talk
204:talk
184:talk
169:talk
1184:?
1168:or
1152:In
424:not
131:Mid
1579::
1566:)
1551:)
1523:)
1508:)
1457:⟼
1411:⟼
1392:∗
1382:⟶
1364:♭
1336:=
1330:ij
1310:=
1265:)
1227:.
1192:)
1132:}}
1128:{{
1087:)
1060:♯
1047:♭
1039:∧
1034:♭
1023:∗
1011:×
982:♭
974:∗
963:∗
937:⋅
934:∇
911:♯
898:♭
882:∗
850:×
847:∇
824:♯
779:∇
765:,
737:)
719:)
705:)
690:)
652:)
636:)
620:)
605:)
589:)
566:)
558:.
548:)
526:)
500:)
485:)
481:•
450:)
403:)
389:)
371:)
348:⋅
342:⋅
321:)
289:♭
269:♭
251:⋅
222:)
206:)
186:)
171:)
1562:(
1547:(
1519:(
1504:(
1477:j
1472:e
1465:j
1461:X
1444:j
1439:e
1432:i
1428:X
1422:j
1419:i
1415:g
1404:X
1397:M
1387:T
1375:M
1371:T
1367::
1342:j
1338:X
1334:X
1326:g
1319:i
1315:e
1312:X
1308:X
1289:)
1285:(
1261:(
1188:(
1178:k
1174:p
1138:)
1124:.
1083:(
1056:]
1052:)
1043:w
1030:v
1026:(
1020:[
1017:=
1014:w
1008:v
987:)
978:F
971:(
967:d
960:=
957:F
953:v
950:i
947:d
943:=
940:F
907:]
903:)
894:F
889:d
885:(
879:[
876:=
873:F
869:l
866:r
863:u
860:c
856:=
853:F
820:)
816:f
812:d
808:(
805:=
802:f
798:d
795:a
792:r
789:g
785:=
782:f
767:w
763:v
759:F
755:f
733:(
715:(
701:(
686:(
671:?
648:(
632:(
616:(
601:(
585:(
562:(
544:(
522:(
496:(
477:(
446:(
399:(
385:(
367:(
351:)
345:,
339:(
336:g
317:(
299:.
295:v
284:w
279:=
275:w
264:v
259:=
255:w
247:v
218:(
202:(
182:(
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.