699:
99:
726:
161:
The same function may be an invariant for one group of symmetries and equivariant for a different group of symmetries. For instance, under similarity transformations instead of congruences the area and perimeter are no longer invariant: scaling a triangle also changes its area and perimeter. However,
150:(a combination of a translation and rotation) to a triangle, and then constructing its center, produces the same point as constructing the center first, and then applying the same congruence to the center. More generally, all triangle centers are also equivariant under
200:
of the real numbers, so for instance it is unaffected by the choice of units used to represent the numbers. By contrast, the mean is not equivariant with respect to nonlinear transformations such as exponentials.
176:. In this way, the function mapping each triangle to its area or perimeter can be seen as equivariant for a multiplicative group action of the scaling transformations on the positive real numbers.
55:
with the action of the group. That is, applying a symmetry transformation and then computing the function produces the same result as computing the function and then applying the transformation.
693:
647:
62:, functions whose value is unchanged by a symmetry transformation of their argument. The value of an equivariant map is often (imprecisely) called an invariant.
667:
257:. That is, an intertwiner is just an equivariant linear map between two representations. Alternatively, an intertwiner for representations of a group
1033:
The centroid is the only affine equivariant center of a triangle, but more general convex bodies can have other affine equivariant centers; see e.g.
146:
are not invariant, because moving a triangle will also cause its centers to move. Instead, these centers are equivariant: applying any
Euclidean
353:). As a consequence, in important cases the construction of an intertwiner is enough to show the representations are effectively the same.
715:
1071:
242:
236:
1274:
961:
1304:
1179:, Cambridge Tracts in Theoretical Computer Science, vol. 57, Cambridge University Press, Definition 1.2, p. 14,
82:
1216:
1184:
1149:
1106:
773:
69:, equivariance under statistical transformations of data is an important property of various estimation methods; see
755:
747:
106:: the centroid of a transformed triangle is the same point as the transformation of the centroid of the triangle.
1309:
913:
751:
886:
from ρ to σ. Using natural transformations as morphisms, one can form the category of all representations of
711:
1133:
Relativity, groups, particles: Special relativity and relativistic symmetry in field and particle physics
154:(combinations of translation, rotation, reflection, and scaling), and the centroid is equivariant under
383:
362:
308:
197:
44:
859:
480:
If one or both of the actions are right actions the equivariance condition may be suitably modified:
245:, a vector space equipped with a group that acts by linear transformations of the space is called a
1101:, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, p. 70,
736:
123:
126:: translating, rotating, or reflecting a triangle does not change its area or perimeter. However,
740:
59:
216:
against certain kinds of changes to a data set, and that (unlike the mean) it is meaningful for
883:
787:
575:
185:
78:
32:
1256:
1131:
672:
1206:
1174:
1096:
629:
246:
155:
151:
147:
103:
66:
1284:
1241:
1159:
1116:
1056:
1020:
991:
328:
320:
279:
269:
74:
52:
8:
933:
623:
369:
262:
224:
70:
1008:
652:
209:
208:
of a sample is equivariant for a much larger group of transformations, the (strictly)
1314:
1270:
1212:
1180:
1145:
1102:
965:
925:
376:
213:
102:
The centroid of a triangle (where the three red segments meet) is equivariant under
1262:
1137:
1044:
1000:
986:
895:
851:
346:
193:
16:
Maps whose domain and codomain are acted on by the same group, and the map commutes
698:
162:
these changes happen in a predictable way: if a triangle is scaled by a factor of
1280:
1237:
1155:
1112:
1052:
1016:
127:
36:
1048:
73:
for details. In pure mathematics, equivariance is a central object of study in
48:
1266:
1141:
1098:
Symmetries, Lie algebras and representations: A graduate course for physicists
227:
and equivariant estimator have been used to formalize this style of analysis.
1298:
1035:
Neumann, B. H. (1939), "On some affine invariants of closed convex regions",
350:
839:
571:
217:
135:
608:
143:
20:
1012:
989:(1994), "Central Points and Central Lines in the Plane of a Triangle",
316:
289:
250:
1234:
Actes du Congrès
International des Mathématiciens (Nice, 1970), Tome 2
1083:
Disseminations of the
International Statistical Applications Institute
315:) only exists if the two representations are equivalent (that is, are
616:
212:
of the real numbers. This analysis indicates that the median is more
119:
1004:
725:
98:
1024:. "Similar triangles have similarly situated centers", p. 164.
835:
795:
622:
The equivariance condition can also be understood as the following
312:
139:
131:
111:
28:
1211:, Dover Books on Mathematics, Dover Publications, pp. 86–87,
819:
858:, and a linear representation is equivalent to a functor to the
716:
Category of representations § Category-theoretic definition
882:, an equivariant map between those representations is simply a
205:
237:
Representation theory § Equivariant maps and isomorphisms
324:
1085:(4th ed.), vol. 1, 1995, Wichita: ACG Press, pp. 61–66.
1232:
Segal, G. B. (1971), "Equivariant stable homotopy theory",
189:
115:
1136:, Springer Physics, Vienna: Springer-Verlag, p. 165,
1073:
Measurement theory: Frequently asked questions (Version 3)
948:
between representations which commutes with the action of
192:
of a sample (a set of real numbers) is commonly used as a
361:
Equivariance can be formalized using the concept of a
675:
655:
632:
1176:
Nominal Sets: Names and
Symmetry in Computer Science
1255:Adhikari, Mahima Ranjan; Adhikari, Avishek (2014),
1204:
794:can be viewed as a category with a single object (
687:
661:
641:
786:Equivariant maps can be generalized to arbitrary
35:from one space with symmetry to another (such as
1296:
1254:
375:. This is a mathematical object consisting of a
1094:
936:. An equivariant map is then a continuous map
1205:Auslander, Maurice; Buchsbaum, David (2014),
1130:Sexl, Roman U.; Urbantke, Helmuth K. (2001),
1095:Fuchs, Jürgen; Schweigert, Christoph (1997),
1129:
712:Representation theory § Generalizations
184:Another class of simple examples comes from
1236:, Gauthier-Villars, Paris, pp. 59–63,
754:. Unsourced material may be challenged and
335:). These properties hold when the image of
253:that commutes with the action is called an
58:Equivariant maps generalize the concept of
1037:Journal of the London Mathematical Society
985:
798:in this category are just the elements of
790:in a straightforward manner. Every group
774:Learn how and when to remove this message
230:
97:
1070:Sarle, Warren S. (September 14, 1997),
1034:
874:Given two representations, ρ and σ, of
196:of the sample. It is equivariant under
1297:
1258:Basic modern algebra with applications
830:. Such a functor selects an object of
649:denotes the map that takes an element
311:, then an intertwiner (other than the
243:representation theory of finite groups
93:
1231:
1200:
1198:
1196:
1172:
1069:
846:-set is equivalent to a functor from
1261:, New Delhi: Springer, p. 142,
752:adding citations to reliable sources
719:
327:a multiplicative factor (a non-zero
323:). That intertwiner is then unique
122:of a triangle are invariants under
13:
1193:
697:
83:equivariant stable homotopy theory
14:
1326:
705:
341:is a simple algebra, with centre
43:when its domain and codomain are
724:
586:). Hence they are also known as
356:
842:of that object. For example, a
802:). Given an arbitrary category
166:, the perimeter also scales by
39:). A function is said to be an
1248:
1225:
1166:
1123:
1088:
1063:
1027:
979:
914:category of topological spaces
1:
972:
962:Curtis–Hedlund–Lyndon theorem
424:is said to be equivariant if
179:
968:in terms of equivariant maps
7:
1305:Group actions (mathematics)
1081:. Revision of a chapter in
955:
309:irreducible representations
88:
10:
1331:
904:For another example, take
709:
299:Under some conditions, if
234:
152:similarity transformations
1267:10.1007/978-81-322-1599-8
1173:Pitts, Andrew M. (2013),
1142:10.1007/978-3-7091-6234-7
860:category of vector spaces
406:-sets for the same group
124:Euclidean transformations
1049:10.1112/jlms/s1-14.4.262
964:, a characterization of
688:{\displaystyle g\cdot z}
51:, and when the function
642:{\displaystyle g\cdot }
268:is the same thing as a
170:and the area scales by
1208:Groups, Rings, Modules
916:. A representation of
884:natural transformation
702:
689:
663:
643:
198:linear transformations
186:statistical estimation
156:affine transformations
107:
104:affine transformations
79:equivariant cohomology
1310:Representation theory
701:
690:
664:
644:
570:Equivariant maps are
247:linear representation
231:Representation theory
101:
67:statistical inference
1079:, SAS Institute Inc.
992:Mathematics Magazine
748:improve this section
673:
653:
630:
75:equivariant topology
894:. This is just the
624:commutative diagram
582:-sets (for a fixed
345:(by what is called
270:module homomorphism
225:invariant estimator
223:The concepts of an
210:monotonic functions
110:In the geometry of
94:Elementary geometry
71:invariant estimator
703:
685:
659:
639:
619:equivariant maps.
410:, then a function
108:
77:and its subtopics
1276:978-81-322-1598-1
1039:, Second Series,
987:Kimberling, Clark
966:cellular automata
926:topological space
784:
783:
776:
662:{\displaystyle z}
615:-sets are simply
386:(on the left) of
1322:
1289:
1287:
1252:
1246:
1244:
1229:
1223:
1221:
1202:
1191:
1189:
1170:
1164:
1162:
1127:
1121:
1119:
1092:
1086:
1080:
1078:
1067:
1061:
1059:
1031:
1025:
1023:
983:
896:functor category
852:category of sets
814:in the category
779:
772:
768:
765:
759:
728:
720:
694:
692:
691:
686:
668:
666:
665:
660:
648:
646:
645:
640:
565:
537:
508:
476:
466:
453:
423:
409:
405:
401:
397:
393:
389:
381:
377:mathematical set
374:
365:
344:
340:
334:
287:
277:
267:
260:
249:of the group. A
194:central tendency
175:
169:
165:
128:triangle centers
37:symmetric spaces
1330:
1329:
1325:
1324:
1323:
1321:
1320:
1319:
1295:
1294:
1293:
1292:
1277:
1253:
1249:
1230:
1226:
1219:
1203:
1194:
1187:
1171:
1167:
1152:
1128:
1124:
1109:
1093:
1089:
1076:
1068:
1064:
1032:
1028:
1005:10.2307/2690608
984:
980:
975:
958:
870:
780:
769:
763:
760:
745:
729:
718:
708:
674:
671:
670:
654:
651:
650:
631:
628:
627:
541:
512:
509:; (right-right)
484:
468:
458:
428:
411:
407:
403:
399:
395:
391:
387:
379:
372:
363:
359:
342:
336:
332:
283:
273:
265:
258:
239:
233:
182:
171:
167:
163:
96:
91:
41:equivariant map
17:
12:
11:
5:
1328:
1318:
1317:
1312:
1307:
1291:
1290:
1275:
1247:
1224:
1217:
1192:
1185:
1165:
1150:
1122:
1107:
1087:
1062:
1043:(4): 262–272,
1026:
999:(3): 163–187,
977:
976:
974:
971:
970:
969:
957:
954:
866:
862:over a field,
808:representation
782:
781:
732:
730:
723:
707:
706:Generalization
704:
684:
681:
678:
658:
638:
635:
605:-homomorphisms
568:
567:
566:; (left-right)
539:
538:; (right-left)
510:
455:
454:
358:
355:
232:
229:
181:
178:
95:
92:
90:
87:
49:symmetry group
15:
9:
6:
4:
3:
2:
1327:
1316:
1313:
1311:
1308:
1306:
1303:
1302:
1300:
1286:
1282:
1278:
1272:
1268:
1264:
1260:
1259:
1251:
1243:
1239:
1235:
1228:
1220:
1218:9780486490823
1214:
1210:
1209:
1201:
1199:
1197:
1188:
1186:9781107244689
1182:
1178:
1177:
1169:
1161:
1157:
1153:
1151:3-211-83443-5
1147:
1143:
1139:
1135:
1134:
1126:
1118:
1114:
1110:
1108:0-521-56001-2
1104:
1100:
1099:
1091:
1084:
1075:
1074:
1066:
1058:
1054:
1050:
1046:
1042:
1038:
1030:
1022:
1018:
1014:
1010:
1006:
1002:
998:
994:
993:
988:
982:
978:
967:
963:
960:
959:
953:
951:
947:
943:
939:
935:
931:
927:
923:
919:
915:
911:
907:
902:
900:
897:
893:
889:
885:
881:
877:
872:
869:
865:
861:
857:
853:
849:
845:
841:
840:automorphisms
837:
833:
829:
825:
821:
817:
813:
809:
805:
801:
797:
793:
789:
778:
775:
767:
757:
753:
749:
743:
742:
738:
733:This section
731:
727:
722:
721:
717:
713:
700:
696:
682:
679:
676:
656:
636:
633:
626:. Note that
625:
620:
618:
614:
610:
606:
604:
599:
597:
592:
590:
585:
581:
577:
573:
572:homomorphisms
564:
560:
556:
552:
548:
544:
540:
535:
531:
527:
523:
519:
515:
511:
507:
503:
499:
495:
491:
487:
483:
482:
481:
478:
475:
471:
465:
461:
451:
447:
443:
439:
435:
431:
427:
426:
425:
422:
418:
414:
385:
378:
371:
367:
357:Formalization
354:
352:
351:simple module
348:
347:Schur's lemma
339:
330:
326:
322:
318:
314:
310:
306:
302:
297:
295:
291:
286:
281:
276:
271:
264:
256:
252:
248:
244:
238:
228:
226:
221:
219:
215:
211:
207:
202:
199:
195:
191:
187:
177:
174:
159:
157:
153:
149:
145:
141:
137:
133:
129:
125:
121:
117:
113:
105:
100:
86:
84:
80:
76:
72:
68:
63:
61:
56:
54:
50:
46:
42:
38:
34:
30:
27:is a form of
26:
22:
1257:
1250:
1233:
1227:
1207:
1175:
1168:
1132:
1125:
1097:
1090:
1082:
1072:
1065:
1040:
1036:
1029:
996:
990:
981:
949:
945:
941:
937:
934:continuously
929:
921:
917:
909:
905:
903:
898:
891:
887:
879:
875:
873:
867:
863:
855:
847:
843:
831:
827:
823:
815:
811:
807:
803:
799:
791:
785:
770:
761:
746:Please help
734:
669:and returns
621:
612:
609:Isomorphisms
602:
601:
595:
594:
588:
587:
583:
579:
569:
562:
558:
554:
550:
546:
542:
533:
529:
525:
521:
517:
513:
505:
501:
497:
493:
489:
485:
479:
473:
469:
463:
459:
456:
449:
445:
441:
437:
433:
429:
420:
416:
412:
384:group action
360:
337:
304:
300:
298:
293:
284:
274:
254:
240:
222:
218:ordinal data
203:
183:
172:
160:
136:circumcenter
130:such as the
109:
64:
57:
47:by the same
40:
25:equivariance
24:
18:
255:intertwiner
144:orthocenter
21:mathematics
1299:Categories
973:References
788:categories
764:April 2016
710:See also:
591:-morphisms
317:isomorphic
290:group ring
251:linear map
235:See also:
180:Statistics
148:congruence
60:invariants
928:on which
796:morphisms
735:does not
680:⋅
637:⋅
617:bijective
402:are both
307:are both
120:perimeter
112:triangles
33:functions
1315:Symmetry
956:See also
940: :
836:subgroup
576:category
467:and all
457:for all
415: :
313:zero map
282:, where
140:incenter
132:centroid
89:Examples
53:commutes
45:acted on
29:symmetry
1285:3155599
1242:0423340
1160:1798479
1117:1473220
1057:0000978
1021:1573021
1013:2690608
850:to the
820:functor
756:removed
741:sources
574:in the
561:)·
504:)·
321:modules
288:is the
280:modules
261:over a
241:In the
1283:
1273:
1240:
1215:
1183:
1158:
1148:
1115:
1105:
1055:
1019:
1011:
912:, the
834:and a
714:, and
549:·
528:·
520:·
492:·
444:·
436:·
382:and a
368:for a
349:: see
329:scalar
214:robust
206:median
188:. The
114:, the
1077:(PDF)
1009:JSTOR
932:acts
924:is a
822:from
818:is a
600:, or
598:-maps
394:. If
370:group
331:from
325:up to
263:field
1271:ISBN
1213:ISBN
1181:ISBN
1146:ISBN
1103:ISBN
864:Vect
806:, a
739:any
737:cite
553:) =
524:) =
496:) =
440:) =
398:and
366:-set
303:and
204:The
190:mean
142:and
118:and
116:area
81:and
31:for
1263:doi
1138:doi
1045:doi
1001:doi
922:Top
920:in
910:Top
890:in
878:in
856:Set
838:of
826:to
810:of
750:by
611:of
578:of
472:in
390:on
319:as
292:of
272:of
65:In
19:In
1301::
1281:MR
1279:,
1269:,
1238:MR
1195:^
1156:MR
1154:,
1144:,
1113:MR
1111:,
1053:MR
1051:,
1041:14
1017:MR
1015:,
1007:,
997:67
995:,
952:.
944:→
908:=
901:.
871:.
854:,
695:.
607:.
593:,
477:.
462:∈
419:→
296:.
220:.
158:.
138:,
134:,
85:.
23:,
1288:.
1265::
1245:.
1222:.
1190:.
1163:.
1140::
1120:.
1060:.
1047::
1003::
950:G
946:Y
942:X
938:f
930:G
918:G
906:C
899:C
892:C
888:G
880:C
876:G
868:K
848:G
844:G
832:C
828:C
824:G
816:C
812:G
804:C
800:G
792:G
777:)
771:(
766:)
762:(
758:.
744:.
683:z
677:g
657:z
634:g
613:G
603:G
596:G
589:G
584:G
580:G
563:g
559:x
557:(
555:f
551:x
547:g
545:(
543:f
536:)
534:x
532:(
530:f
526:g
522:g
518:x
516:(
514:f
506:g
502:x
500:(
498:f
494:g
490:x
488:(
486:f
474:X
470:x
464:G
460:g
452:)
450:x
448:(
446:f
442:g
438:x
434:g
432:(
430:f
421:Y
417:X
413:f
408:G
404:G
400:Y
396:X
392:S
388:G
380:S
373:G
364:G
343:K
338:K
333:K
305:Y
301:X
294:G
285:K
278:-
275:K
266:K
259:G
173:s
168:s
164:s
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.