84:
74:
53:
166:
22:
777:
You're right, there is room for improvement in this article. Something that isn't made perfectly clear is that these tangent spaces, as described in this article, are treated as abstract manifolds. For your sphere embedded in R^3, the tangent planes are not considered as subsets of the same R^3,
778:
but as vector spaces that have an independent existence. So the tangent bundle of a two-dimensional sphere doesn't live inside 3-space; it really is a four dimensional manifold (a two-dimensional family of two-dimensional planes; two plus two makes four).
1206:
Question, isn’t this a derivative at a point instead of a derivation? Sorry to be pedantic but from what I understand of derivation, the codomain here isn’t the family of smooth functions and the reals aren’t a bimodule over the ring of smooth functions.
246:
Everything seems to render correctly for me. Sometimes LaTeX formulas, which render as PNG graphics, don't get cached right away if the server load is high, and that might be the problem. At any rate, give it a few hours, and it should be ok.
756:
Okay, a sphere has dimension two and is embedded in 3-space. Every tangent space of that sphere is a plane. Combining them all gives you the universe, minus the inside of the sphere, and is called the tangent bundle. It has dimension 3.
971:
1140:
1045:
140:
585:
848:
Actually in the smooth setting, the definition via derivations at x of smooth functions on the full manifold does work, although it may not be the most elegant way of doing things.
676:
463:, but I don't know how that relates to the tangent space at other group elements. I think it's basically that you can talk about the tangent space to another group element,
716:
621:
517:
921:
461:
1160:
481:
1236:
273:
The term "tangent map" appears in the Wiki list of missing math topics. Could somebody familiar with this article "Tangent space" please work it in? TIA --
130:
752:
Question that doesn't belong on the talk page but I'm asking anyway because I don't give a rats ass in hell about any rule that limits my understanding:
106:
1231:
402:
375:
I found this term in an article about "how to be a graphics programmer". Should there be some mention of applications in this article?
882:
834:
231:
382:
849:
97:
58:
401:
which provides an onward reference but I do not see much on
Knowledge about the subject - I guess I'm looking in the wrong place!
808:
926:
429:. My understanding is that it is closely related, but must admit, I'm confused exactly how it works. My sense is that the
1187:
You are absolutely right. Derivation takes a function and returns a value. I'm glad you pointed out the error. There was
1177:
1053:
422:
179:
33:
209:
519:
as though it is in the tangent space of the identity and then defining the exponential map from the tangent space of
1196:
1191:
problematic edit I did not notice earlier because WP did not notify me (until now). So, that's a WP problem, too.
976:
188:
406:
529:
235:
878:
838:
731:
853:
386:
254:
804:
1192:
874:
626:
39:
1212:
83:
718:
is the same as using the exponential map at the origin and then "transporting" that transform over to
224:
Some formulas in the latter part of the article appear to be written in LaTEX, but they don't parse!
1165:
870:
830:
796:
745:
The article says "all the tangent spaces of a manifold form another manifold of twice the dimension"
378:
361:
227:
800:
21:
761:
341:
316:
1208:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1169:
783:
727:
723:
194:
89:
685:
590:
486:
73:
52:
248:
1173:
293:
190:
165:
900:
436:
357:
292:
I didn't really read the whole article, but I noticed that it doesn't include the formula
827:
It is the vector space of derivations of the algebra of germs of smooth functions at x.
337:
312:
1145:
823:
The tangent space at x is not the vector space of derivations at x of smooth functions
466:
1225:
779:
301:
278:
726:
to "use" the tangent space at the origin everywhere. Apologies for the vagueness.
722:. Is that right? Which version is right? I think this also has to do with using a
748:
Twice the dimension of WHAT? The original manifold? If so, please add that.
430:
102:
759:
In what sense does the tangent bundle have "twice the dimension" of something?
79:
741:
Twice the dimension? Is that related to Jolt cola having twice the caffiene?
426:
398:
1142:
for the sake of precision, since the definition should obviously involve
297:
274:
192:
792:
This example was very helpful. Could it be inserted into the article?
1216:
1200:
1181:
886:
857:
842:
812:
787:
771:
735:
410:
390:
365:
345:
319:) 00:23, 16 November 2010 (UTC) ... well, at least something similar:
305:
282:
262:
239:
311:
this ought to be included. I was just about to say the same thing.
356:
Please! We *can* do better than this atrocious opening paragraph.
195:
159:
15:
1162:. I tried to make this edit myself, but it was revoked.
1188:
421:
There is no mention of how this concept relates to the
966:{\displaystyle D\colon C^{\infty }(M)\to \mathbb {R} }
1148:
1056:
979:
929:
903:
688:
629:
593:
532:
489:
469:
439:
101:, a collaborative effort to improve the coverage of
1135:{\displaystyle D(fg)=D(f)\cdot g(x)+f(x)\cdot D(g)}
1154:
1134:
1039:
965:
915:
710:
670:
615:
579:
511:
475:
455:
1040:{\displaystyle D(fg)=D(f)\cdot g+f\cdot D(g)}
203:This page has archives. Sections older than
8:
893:Edit the Definition via derivations section?
682:That is, following the geodesic defined by
417:Relation to exponential map for Lie groups?
868:
867:We are not all mathematicians, you know.
294:fx(x0,y0)(x-x0)+fy(x0,y0)(y-y0)-(z-z0) = 0
47:
1147:
1055:
978:
959:
958:
940:
928:
902:
699:
687:
659:
640:
628:
601:
592:
559:
537:
531:
500:
488:
468:
444:
438:
580:{\displaystyle \exp _{g}v=(\exp _{e}v)g}
213:when more than 10 sections are present.
49:
19:
433:is the tangent space at the identity,
371:Applications to graphics programming?
323:dot (position - point) = zero -: -->
7:
1050:I think that we should edit this to
95:This article is within the scope of
671:{\displaystyle g(\exp _{e}v)g^{-1}}
38:It is of interest to the following
1237:High-priority mathematics articles
941:
14:
207:may be automatically archived by
115:Knowledge:WikiProject Mathematics
897:In the article, a derivation at
483:by thinking of a tangent vector
296:. Is there a reason for this? --
164:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
324:normal vector dot ((x,y,z) - (x
135:This article has been rated as
1217:18:42, 20 September 2023 (UTC)
1129:
1123:
1114:
1108:
1099:
1093:
1084:
1078:
1069:
1060:
1034:
1028:
1007:
1001:
992:
983:
955:
952:
946:
923:is defined to be a linear map
843:19:09, 23 September 2012 (UTC)
652:
633:
571:
552:
1:
887:03:16, 14 December 2019 (UTC)
788:08:27, 27 February 2012 (UTC)
772:07:42, 27 February 2012 (UTC)
352:Most...Rubbish...Intro...Ever
346:00:27, 16 November 2010 (UTC)
283:14:18, 28 November 2008 (UTC)
263:22:46, 4 September 2008 (UTC)
240:22:32, 4 September 2008 (UTC)
109:and see a list of open tasks.
1232:B-Class mathematics articles
973:satisfying the Leibniz rule
858:09:27, 10 October 2017 (UTC)
366:16:03, 5 December 2010 (UTC)
711:{\displaystyle v\in T_{g}G}
616:{\displaystyle g\exp _{e}v}
512:{\displaystyle v\in T_{g}G}
411:17:01, 19 August 2011 (UTC)
1253:
813:14:58, 17 April 2013 (UTC)
306:15:32, 28 April 2009 (UTC)
134:
67:
46:
1201:02:39, 20 May 2021 (UTC)
1182:00:53, 19 May 2021 (UTC)
736:15:52, 9 June 2011 (UTC)
391:18:48, 12 May 2011 (UTC)
141:project's priority scale
98:WikiProject Mathematics
1156:
1136:
1041:
967:
917:
916:{\displaystyle x\in M}
712:
672:
617:
581:
513:
477:
457:
456:{\displaystyle T_{e}G}
288:Where is this formula?
210:Lowercase sigmabot III
28:This article is rated
1157:
1137:
1042:
968:
918:
713:
673:
618:
582:
514:
478:
458:
1146:
1054:
977:
927:
901:
686:
627:
591:
530:
487:
467:
437:
121:mathematics articles
863:Examples, please!!!
1152:
1132:
1037:
963:
913:
724:group automorphism
708:
668:
613:
577:
509:
473:
453:
90:Mathematics portal
34:content assessment
1168:comment added by
1155:{\displaystyle x}
889:
873:comment added by
833:comment added by
816:
799:comment added by
476:{\displaystyle g}
381:comment added by
242:
230:comment added by
217:
216:
155:
154:
151:
150:
147:
146:
1244:
1193:StrokeOfMidnight
1184:
1161:
1159:
1158:
1153:
1141:
1139:
1138:
1133:
1046:
1044:
1043:
1038:
972:
970:
969:
964:
962:
945:
944:
922:
920:
919:
914:
845:
815:
793:
769:
764:
717:
715:
714:
709:
704:
703:
677:
675:
674:
669:
667:
666:
645:
644:
622:
620:
619:
614:
606:
605:
586:
584:
583:
578:
564:
563:
542:
541:
518:
516:
515:
510:
505:
504:
482:
480:
479:
474:
462:
460:
459:
454:
449:
448:
393:
259:
258:
251:
225:
212:
196:
168:
160:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1252:
1251:
1247:
1246:
1245:
1243:
1242:
1241:
1222:
1221:
1163:
1144:
1143:
1052:
1051:
975:
974:
936:
925:
924:
899:
898:
895:
865:
828:
825:
794:
765:
762:
743:
728:—Ben FrantzDale
695:
684:
683:
655:
636:
625:
624:
597:
589:
588:
555:
533:
528:
527:
496:
485:
484:
465:
464:
440:
435:
434:
423:exponential map
419:
376:
373:
354:
335:
331:
327:
290:
271:
256:
255:
249:
222:
208:
197:
191:
173:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1250:
1248:
1240:
1239:
1234:
1224:
1223:
1220:
1219:
1151:
1131:
1128:
1125:
1122:
1119:
1116:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1083:
1080:
1077:
1074:
1071:
1068:
1065:
1062:
1059:
1036:
1033:
1030:
1027:
1024:
1021:
1018:
1015:
1012:
1009:
1006:
1003:
1000:
997:
994:
991:
988:
985:
982:
961:
957:
954:
951:
948:
943:
939:
935:
932:
912:
909:
906:
894:
891:
864:
861:
824:
821:
820:
819:
818:
817:
742:
739:
707:
702:
698:
694:
691:
680:
679:
678:or something?)
665:
662:
658:
654:
651:
648:
643:
639:
635:
632:
612:
609:
604:
600:
596:
576:
573:
570:
567:
562:
558:
554:
551:
548:
545:
540:
536:
508:
503:
499:
495:
492:
472:
452:
447:
443:
418:
415:
414:
413:
403:188.220.56.222
372:
369:
353:
350:
349:
348:
333:
329:
325:
289:
286:
270:
267:
266:
265:
221:
218:
215:
214:
202:
199:
198:
193:
189:
187:
184:
183:
175:
174:
169:
163:
157:
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:
1249:
1238:
1235:
1233:
1230:
1229:
1227:
1218:
1214:
1210:
1205:
1204:
1203:
1202:
1198:
1194:
1190:
1185:
1183:
1179:
1175:
1171:
1167:
1149:
1126:
1120:
1117:
1111:
1105:
1102:
1096:
1090:
1087:
1081:
1075:
1072:
1066:
1063:
1057:
1048:
1031:
1025:
1022:
1019:
1016:
1013:
1010:
1004:
998:
995:
989:
986:
980:
949:
937:
933:
930:
910:
907:
904:
892:
890:
888:
884:
880:
876:
875:Koitus~nlwiki
872:
862:
860:
859:
855:
851:
846:
844:
840:
836:
835:68.193.47.165
832:
822:
814:
810:
806:
802:
798:
791:
790:
789:
785:
781:
776:
775:
774:
773:
770:
768:
760:
754:
753:
749:
746:
740:
738:
737:
733:
729:
725:
721:
705:
700:
696:
692:
689:
663:
660:
656:
649:
646:
641:
637:
630:
610:
607:
602:
598:
594:
574:
568:
565:
560:
556:
549:
546:
543:
538:
534:
526:
525:
524:
522:
506:
501:
497:
493:
490:
470:
450:
445:
441:
432:
428:
424:
416:
412:
408:
404:
400:
396:
395:
394:
392:
388:
384:
380:
370:
368:
367:
363:
359:
351:
347:
343:
339:
322:
318:
314:
310:
309:
308:
307:
303:
299:
295:
287:
285:
284:
280:
276:
269:"Tangent map"
268:
264:
260:
252:
245:
244:
243:
241:
237:
233:
232:217.127.9.138
229:
219:
211:
206:
201:
200:
186:
185:
182:
181:
177:
176:
172:
167:
162:
161:
158:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1186:
1164:— Preceding
1049:
896:
869:— Preceding
866:
847:
829:— Preceding
826:
795:— Preceding
766:
758:
755:
751:
750:
747:
744:
719:
681:
520:
420:
399:this article
383:24.99.60.219
374:
355:
320:
291:
272:
250:siℓℓy rabbit
223:
204:
178:
170:
156:
136:
96:
40:WikiProjects
850:192.52.1.52
431:Lie algebra
377:—Preceding
226:—Preceding
112:Mathematics
103:mathematics
59:Mathematics
1226:Categories
587:(or is it
427:Lie groups
358:Blitterbug
801:Marmentad
763:Helvitica
338:BriEnBest
313:BriEnBest
1178:contribs
1166:unsigned
883:contribs
871:unsigned
831:unsigned
809:contribs
797:unsigned
780:Jowa fan
397:I found
379:unsigned
336:)) = 0
228:unsigned
220:Formulas
205:365 days
171:Archives
1209:Kurianw
139:on the
30:B-class
1170:SFeesh
36:scale.
1213:talk
1197:talk
1189:this
1174:talk
879:talk
854:talk
839:talk
805:talk
784:talk
767:Bold
732:talk
523:as
425:for
407:talk
387:talk
362:talk
342:talk
317:talk
302:talk
279:talk
257:talk
236:talk
131:High
638:exp
623:or
599:exp
557:exp
535:exp
298:BiT
275:LDH
1228::
1215:)
1199:)
1180:)
1176:•
1118:⋅
1088:⋅
1047:.
1023:⋅
1011:⋅
956:→
942:∞
934::
908:∈
885:)
881:•
856:)
841:)
811:)
807:•
786:)
734:)
693:∈
661:−
647:
608:
566:
544:
494:∈
409:)
389:)
364:)
344:)
332:,z
328:,y
304:)
281:)
261:)
238:)
1211:(
1195:(
1172:(
1150:x
1130:)
1127:g
1124:(
1121:D
1115:)
1112:x
1109:(
1106:f
1103:+
1100:)
1097:x
1094:(
1091:g
1085:)
1082:f
1079:(
1076:D
1073:=
1070:)
1067:g
1064:f
1061:(
1058:D
1035:)
1032:g
1029:(
1026:D
1020:f
1017:+
1014:g
1008:)
1005:f
1002:(
999:D
996:=
993:)
990:g
987:f
984:(
981:D
960:R
953:)
950:M
947:(
938:C
931:D
911:M
905:x
877:(
852:(
837:(
803:(
782:(
730:(
720:g
706:G
701:g
697:T
690:v
664:1
657:g
653:)
650:v
642:e
634:(
631:g
611:v
603:e
595:g
575:g
572:)
569:v
561:e
553:(
550:=
547:v
539:g
521:g
507:G
502:g
498:T
491:v
471:g
451:G
446:e
442:T
405:(
385:(
360:(
340:(
334:0
330:0
326:0
321:n
315:(
300:(
277:(
253:(
234:(
180:1
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.