36:
167:, even if the idempotence property is lost. An everyday example of a projection is the casting of shadows onto a plane (sheet of paper): the projection of a point is its shadow on the sheet of paper, and the projection (shadow) of a point on the sheet of paper is that point itself (idempotency). The shadow of a three-dimensional sphere is a closed disk. Originally, the notion of projection was introduced in
334:
1478:
275:
in mathematics is a very old one, and most likely has its roots in the phenomenon of the shadows cast by real-world objects on the ground. This rudimentary idea was refined and abstracted, first in a
874:
279:
context and later in other branches of mathematics. Over time different versions of the concept developed, but today, in a sufficiently abstract setting, we can unify these variations.
984:
1406:
920:
301:
The need for unifying the two kinds of projections and of defining the image by a central projection of any point different of the center of projection are at the origin of
791:
574:
The original notion of projection has been extended or generalized to various mathematical situations, frequently, but not always, related to geometry, for example:
1685:
290:
is a map of a part of the surface of the Earth onto a plane, which, in some cases, but not always, is the restriction of a projection in the above meaning. The
1153:. In the case of orthogonal projections, the space admits a decomposition as a product, and the projection operator is a projection in that sense as well.
1214:
and can be considered a generalization of the projection map. The image of a retraction is called a retract of the original space. A retraction which is
1573:
1411:
226:
to the plane does not have any image by the projection, but one often says that they project to a point at infinity of the plane (see
100:
53:
72:
1766:
1547:
1520:
1164:
includes a projection map as part of its definition. Locally at least this map looks like a projection map in the sense of the
79:
1695:
1557:
1530:
1503:
1352:
1549:
The
Relational Database Dictionary: A Comprehensive Glossary of Relational Terms and Concepts, with Illustrative Examples
86:
17:
1786:
119:
1605:"The Arabic version of Ptolemy's Planisphere or Flattening the Surface of the Sphere: Text, Translation, Commentary"
817:
68:
807:
57:
1735:
1581:
159:(or sub-structure). In this case, idempotent means that projecting twice is the same as projecting once. The
937:
1762:
1365:
1150:
879:
1259:
to each factor. This projection will take many forms in different categories. The projection from the
1038:
1249:
1184:
306:
160:
1604:
93:
1280:
1010:
760:
378:
590:
295:
46:
1770:
1245:
1219:
366:
152:
144:
1180:
1157:
1146:
1073:
707:
1493:
1131:
is a projection. This type of projection naturally generalizes to any number of dimensions
726:
722:
374:
354:
1636:
8:
1284:
1062:
991:
799:
302:
247:
227:
223:
175:
onto a plane in it, like the shadow example. The two main projections of this kind are:
1234:
998:
443:
168:
264:
1691:
1553:
1526:
1499:
1348:
1272:
1264:
1260:
1042:
923:
718:
703:
635:
362:
148:
1340:
1268:
1165:
314:
1241:
1230:
1223:
811:
208:
172:
1309:
1244:, the above notion of Cartesian product of sets can be generalized to arbitrary
1339:. Graduate Texts in Mathematics. Vol. 218 (Second ed.). p. 606.
1069:
1054:
1006:
803:
287:
1344:
1780:
1050:
922:
is a set of attribute names. The result of such projection is defined as the
291:
1736:"Product of a family of objects in a category - Encyclopedia of Mathematics"
1711:
1660:
1201:
1161:
1049:, which otherwise has no projection on the plane. A common instance is the
1058:
1288:
283:
141:
133:
793:, and the evaluation map is a projection map from the Cartesian product.
337:
The commutativity of this diagram is the universality of the projection
1100:
688:
579:
370:
230:
for a formalization of this terminology). The projection of the point
1215:
310:
1334:
35:
1276:
1256:
1176:
1169:
711:
358:
276:
377:
with itself. A projection may also refer to a mapping which has a
1473:{\displaystyle \pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}}
1014:
1002:
156:
1204:
on its image. This satisfies a similar idempotency condition
927:
1021:
C diametrically opposite the point of tangency. Any point
333:
255:
is the intersection of the plane with the line parallel to
267:
for an accurate definition, generalized to any dimension.
1637:"Stereographic projection - Encyclopedia of Mathematics"
1103:
operator. For example, the mapping that takes a point
763:
1414:
1368:
940:
882:
820:
381:. Both notions are strongly related, as follows. Let
27:
Mapping equal to its square under mapping composition
60:. Unsourced material may be challenged and removed.
1472:
1408:are topological spaces. Show that each projection
1400:
1033:intersecting the plane at the projected point for
1001:, projection of a sphere upon a plane was used by
978:
914:
868:
785:
171:to denote the projection of the three-dimensional
1778:
373:, which means that a projection is equal to its
1061:is frequently projected onto a plane using the
163:to a subspace of a projection is also called a
1602:
1310:"Direct product - Encyclopedia of Mathematics"
1053:where the compactification corresponds to the
869:{\displaystyle \Pi _{a_{1},\ldots ,a_{n}}(R)}
757:can be identified with the Cartesian product
1291:and even surjective, they do not have to be.
973:
941:
1491:
1287:, etc. Although these morphisms are often
1712:"Retraction - Encyclopedia of Mathematics"
1661:"Projection - Encyclopedia of Mathematics"
1690:. Springer Science & Business Media.
1525:. Springer Science & Business Media.
1498:. Springer Science & Business Media.
1492:Brown, Arlen; Pearcy, Carl (1994-12-16).
1076:that remains unchanged if applied twice:
120:Learn how and when to remove this message
1603:Sidoli, Nathan; Berggren, J. L. (2007).
1037:. The correspondence makes the sphere a
332:
979:{\displaystyle \{a_{1},\ldots ,a_{n}\}}
717:A mapping that takes an element to its
294:are also at the basis of the theory of
14:
1779:
1518:
1145:for the codomain of the mapping. See
1683:
488:has a right inverse). Conversely, if
1545:
732:The evaluation map sends a function
385:be an idempotent mapping from a set
369:) is a projection if the mapping is
181:projection from a point onto a plane
58:adding citations to reliable sources
29:
1401:{\displaystyle X_{1},\ldots ,X_{k}}
1332:
915:{\displaystyle a_{1},\ldots ,a_{n}}
239:projection parallel to a direction
203:onto a plane that does not contain
24:
1756:
1226:to refer to any split epimorphism.
822:
25:
1798:
1119:in three dimensions to the point
195:, then the projection of a point
1336:Introduction to Smooth Manifolds
1275:(which is always surjective and
34:
1728:
1704:
1677:
569:
353:Generally, a mapping where the
45:needs additional citations for
1653:
1629:
1596:
1566:
1539:
1522:Relational Database Technology
1512:
1485:
1457:
1326:
1302:
1218:to the identity is known as a
863:
857:
265:Affine space ยง Projection
13:
1:
1295:
1222:. This term is also used in
1045:is included to correspond to
786:{\textstyle \prod _{i\in X}Y}
585:An operation typified by the
328:
69:"Projection" mathematics
1684:Roman, Steven (2007-09-20).
7:
1773:Historical Math Collection.
1519:Alagic, Suad (2012-12-06).
1495:An Introduction to Analysis
1151:Projection (linear algebra)
214:with the plane. The points
207:is the intersection of the
10:
1803:
1552:. "O'Reilly Media, Inc.".
1546:Date, C. J. (2006-08-28).
1039:one-point compactification
934:are restricted to the set
926:that is obtained when all
751:. The space of functions
1767:A Treatise on Projections
1345:10.1007/978-1-4419-9982-5
307:projective transformation
1787:Mathematical terminology
1011:stereographic projection
602:, that takes an element
1687:Advanced Linear Algebra
1200:which restricts to the
1009:. The method is called
251:: The image of a point
191:is a point, called the
1771:University of Michigan
1740:encyclopediaofmath.org
1716:encyclopediaofmath.org
1665:encyclopediaofmath.org
1641:encyclopediaofmath.org
1474:
1402:
1314:encyclopediaofmath.org
1252:of some objects has a
1220:deformation retraction
1025:on the sphere besides
980:
916:
870:
787:
367:mathematical structure
350:
234:itself is not defined.
153:mathematical structure
1475:
1403:
1333:Lee, John M. (2012).
1233:(or resolute) of one
1158:differential topology
1147:Orthogonal projection
1099:. In other words, an
1074:linear transformation
1041:for the plane when a
981:
917:
871:
788:
691:and, when each space
430:viewed as a map from
336:
1578:www.cs.rochester.edu
1574:"Relational Algebra"
1412:
1366:
1254:canonical projection
938:
880:
818:
800:relational databases
761:
727:canonical projection
723:equivalence relation
492:has a right inverse
193:center of projection
54:improve this article
1135:for the domain and
1063:gnomonic projection
1057:. Alternatively, a
706:, this map is also
687:This map is always
303:projective geometry
248:parallel projection
228:Projective geometry
218:such that the line
1584:on 30 January 2004
1470:
1398:
1273:topological spaces
1029:determines a line
1017:to a sphere and a
999:spherical geometry
976:
912:
866:
783:
779:
422:. If we denote by
389:into itself (thus
351:
185:central projection
169:Euclidean geometry
18:Central projection
1697:978-0-387-72831-5
1559:978-1-4493-9115-7
1532:978-1-4612-4922-1
1505:978-0-387-94369-5
1354:978-1-4419-9982-5
1261:Cartesian product
1231:scalar projection
1168:and is therefore
1043:point at infinity
1013:and uses a plane
992:database-relation
764:
719:equivalence class
636:Cartesian product
325:of this article.
130:
129:
122:
104:
16:(Redirected from
1794:
1750:
1749:
1747:
1746:
1732:
1726:
1725:
1723:
1722:
1708:
1702:
1701:
1681:
1675:
1674:
1672:
1671:
1657:
1651:
1650:
1648:
1647:
1633:
1627:
1626:
1624:
1622:
1609:
1600:
1594:
1593:
1591:
1589:
1580:. Archived from
1570:
1564:
1563:
1543:
1537:
1536:
1516:
1510:
1509:
1489:
1483:
1482:
1479:
1477:
1476:
1471:
1469:
1468:
1456:
1455:
1437:
1436:
1424:
1423:
1407:
1405:
1404:
1399:
1397:
1396:
1378:
1377:
1330:
1324:
1323:
1321:
1320:
1306:
1269:product topology
1213:
1199:
1166:product topology
1144:
1134:
1130:
1118:
1098:
1048:
1036:
1032:
1028:
1024:
989:
985:
983:
982:
977:
972:
971:
953:
952:
933:
921:
919:
918:
913:
911:
910:
892:
891:
875:
873:
872:
867:
856:
855:
854:
853:
835:
834:
792:
790:
789:
784:
778:
756:
750:
746:
735:
725:is known as the
701:
686:
663:
633:
601:
588:
565:
551:
511:
495:
491:
487:
483:
468:), then we have
467:
453:
449:
441:
437:
433:
429:
425:
421:
418:be the image of
417:
402:
388:
384:
348:
344:
340:
321:shared with the
315:projective space
262:
259:passing through
258:
254:
242:
233:
221:
217:
213:
206:
202:
198:
190:
125:
118:
114:
111:
105:
103:
62:
38:
30:
21:
1802:
1801:
1797:
1796:
1795:
1793:
1792:
1791:
1777:
1776:
1759:
1757:Further reading
1754:
1753:
1744:
1742:
1734:
1733:
1729:
1720:
1718:
1710:
1709:
1705:
1698:
1682:
1678:
1669:
1667:
1659:
1658:
1654:
1645:
1643:
1635:
1634:
1630:
1620:
1618:
1607:
1601:
1597:
1587:
1585:
1572:
1571:
1567:
1560:
1544:
1540:
1533:
1517:
1513:
1506:
1490:
1486:
1480:is an open map.
1464:
1460:
1451:
1447:
1432:
1428:
1419:
1415:
1413:
1410:
1409:
1392:
1388:
1373:
1369:
1367:
1364:
1363:
1355:
1331:
1327:
1318:
1316:
1308:
1307:
1303:
1298:
1279:), or from the
1242:category theory
1224:category theory
1205:
1187:
1172:and surjective.
1136:
1132:
1120:
1104:
1077:
1046:
1034:
1030:
1026:
1022:
987:
967:
963:
948:
944:
939:
936:
935:
931:
906:
902:
887:
883:
881:
878:
877:
849:
845:
830:
826:
825:
821:
819:
816:
815:
812:unary operation
804:query languages
768:
762:
759:
758:
752:
748:
737:
733:
700:
692:
684:
671:
665:
662:
653:
644:
638:
631:
622:
613:
603:
600:
594:
586:
572:
566:is idempotent.
553:
538:
513:
510:
497:
493:
489:
485:
482:
469:
455:
451:
447:
439:
435:
431:
427:
423:
419:
404:
390:
386:
382:
346:
342:
338:
331:
271:The concept of
260:
256:
252:
240:
231:
219:
215:
211:
204:
200:
199:different from
196:
188:
173:Euclidean space
126:
115:
109:
106:
63:
61:
51:
39:
28:
23:
22:
15:
12:
11:
5:
1800:
1790:
1789:
1775:
1774:
1758:
1755:
1752:
1751:
1727:
1703:
1696:
1676:
1652:
1628:
1595:
1565:
1558:
1538:
1531:
1511:
1504:
1484:
1467:
1463:
1459:
1454:
1450:
1446:
1443:
1440:
1435:
1431:
1427:
1422:
1418:
1395:
1391:
1387:
1384:
1381:
1376:
1372:
1360:Exercise A.32.
1353:
1325:
1300:
1299:
1297:
1294:
1293:
1292:
1281:direct product
1238:
1227:
1185:continuous map
1173:
1154:
1070:linear algebra
1066:
1055:Riemann sphere
1007:Planisphaerium
1005:(~150) in his
995:
975:
970:
966:
962:
959:
956:
951:
947:
943:
909:
905:
901:
898:
895:
890:
886:
865:
862:
859:
852:
848:
844:
841:
838:
833:
829:
824:
796:
795:
794:
782:
777:
774:
771:
767:
730:
721:under a given
715:
696:
680:
667:
658:
649:
642:
627:
618:
611:
596:
591:projection map
571:
568:
534:
506:
478:
341:, for any map
330:
327:
292:3D projections
288:map projection
269:
268:
243:, onto a plane
235:
128:
127:
42:
40:
33:
26:
9:
6:
4:
3:
2:
1799:
1788:
1785:
1784:
1782:
1772:
1768:
1764:
1761:
1760:
1741:
1737:
1731:
1717:
1713:
1707:
1699:
1693:
1689:
1688:
1680:
1666:
1662:
1656:
1642:
1638:
1632:
1617:
1613:
1606:
1599:
1583:
1579:
1575:
1569:
1561:
1555:
1551:
1550:
1542:
1534:
1528:
1524:
1523:
1515:
1507:
1501:
1497:
1496:
1488:
1481:
1465:
1461:
1452:
1448:
1444:
1441:
1438:
1433:
1429:
1425:
1420:
1416:
1393:
1389:
1385:
1382:
1379:
1374:
1370:
1361:
1356:
1350:
1346:
1342:
1338:
1337:
1329:
1315:
1311:
1305:
1301:
1290:
1286:
1282:
1278:
1274:
1270:
1266:
1262:
1258:
1255:
1251:
1247:
1243:
1239:
1237:onto another.
1236:
1232:
1228:
1225:
1221:
1217:
1212:
1208:
1203:
1198:
1194:
1190:
1186:
1182:
1178:
1174:
1171:
1167:
1163:
1159:
1155:
1152:
1148:
1143:
1139:
1128:
1124:
1116:
1112:
1108:
1102:
1096:
1092:
1088:
1084:
1080:
1075:
1071:
1067:
1064:
1060:
1056:
1052:
1051:complex plane
1044:
1040:
1020:
1016:
1012:
1008:
1004:
1000:
996:
993:
968:
964:
960:
957:
954:
949:
945:
929:
925:
907:
903:
899:
896:
893:
888:
884:
860:
850:
846:
842:
839:
836:
831:
827:
813:
809:
805:
801:
797:
780:
775:
772:
769:
765:
755:
744:
740:
736:to the value
731:
728:
724:
720:
716:
713:
709:
705:
699:
695:
690:
683:
679:
675:
670:
664:to the value
661:
657:
652:
648:
641:
637:
630:
626:
621:
617:
610:
606:
599:
592:
584:
583:
581:
577:
576:
575:
567:
564:
560:
556:
550:
546:
542:
537:
532:
528:
524:
520:
516:
512:implies that
509:
504:
500:
481:
476:
472:
466:
462:
458:
445:
415:
411:
407:
401:
397:
393:
380:
379:right inverse
376:
372:
368:
364:
361:are the same
360:
356:
335:
326:
324:
320:
317:, a property
316:
312:
308:
305:. However, a
304:
299:
297:
293:
289:
285:
280:
278:
274:
266:
250:
249:
244:
236:
229:
225:
210:
194:
186:
182:
178:
177:
176:
174:
170:
166:
162:
158:
154:
150:
146:
143:
139:
135:
124:
121:
113:
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: โ
70:
66:
65:Find sources:
59:
55:
49:
48:
43:This article
41:
37:
32:
31:
19:
1763:Thomas Craig
1743:. Retrieved
1739:
1730:
1719:. Retrieved
1715:
1706:
1686:
1679:
1668:. Retrieved
1664:
1655:
1644:. Retrieved
1640:
1631:
1619:. Retrieved
1615:
1611:
1598:
1586:. Retrieved
1582:the original
1577:
1568:
1548:
1541:
1521:
1514:
1494:
1487:
1359:
1358:
1335:
1328:
1317:. Retrieved
1313:
1304:
1289:epimorphisms
1253:
1210:
1206:
1202:identity map
1196:
1192:
1188:
1162:fiber bundle
1141:
1137:
1126:
1122:
1114:
1110:
1106:
1094:
1090:
1086:
1082:
1078:
1018:
753:
747:for a fixed
742:
738:
697:
693:
681:
677:
673:
668:
659:
655:
650:
646:
639:
628:
624:
619:
615:
608:
604:
597:
573:
570:Applications
562:
558:
554:
548:
544:
540:
535:
530:
526:
522:
518:
514:
507:
502:
498:
479:
474:
470:
464:
460:
456:
413:
409:
405:
399:
395:
391:
352:
322:
318:
300:
281:
272:
270:
246:
238:
192:
184:
180:
164:
137:
131:
116:
107:
97:
90:
83:
76:
64:
52:Please help
47:verification
44:
814:written as
552:; that is,
375:composition
323:projections
296:perspective
284:cartography
161:restriction
134:mathematics
110:August 2021
1745:2021-08-11
1721:2021-08-11
1670:2021-08-11
1646:2021-08-11
1319:2021-08-11
1296:References
1246:categories
1181:retraction
1101:idempotent
1059:hemisphere
808:projection
708:continuous
689:surjective
593:, written
580:set theory
371:idempotent
329:Definition
273:projection
165:projection
155:) into a
151:(or other
142:idempotent
138:projection
80:newspapers
1621:11 August
1588:29 August
1458:→
1445:×
1442:⋯
1439:×
1417:π
1383:…
1216:homotopic
958:…
897:…
840:…
823:Π
773:∈
766:∏
484:(so that
454:(so that
444:injection
311:bijection
277:geometric
1781:Category
1362:Suppose
1257:morphism
1177:topology
704:topology
426:the map
359:codomain
345:and set
224:parallel
1765:(1882)
1612:Sciamvs
1250:product
1248:. The
1015:tangent
1003:Ptolemy
634:of the
623:, ...,
614:, ...,
496:, then
438:and by
145:mapping
94:scholar
1694:
1556:
1529:
1502:
1351:
1285:groups
1267:, the
1235:vector
1160:, any
928:tuples
876:where
810:is a
806:, the
702:has a
654:ร โฏ ร
645:ร โฏ ร
403:) and
355:domain
263:. See
157:subset
140:is an
96:
89:
82:
75:
67:
1769:from
1608:(PDF)
1183:is a
990:is a
450:into
434:onto
313:of a
309:is a
187:: If
147:of a
101:JSTOR
87:books
1692:ISBN
1623:2021
1590:2021
1554:ISBN
1527:ISBN
1500:ISBN
1349:ISBN
1277:open
1265:sets
1229:The
1179:, a
1170:open
1129:, 0)
1085:) =
1072:, a
1019:pole
802:and
798:For
712:open
710:and
676:) =
666:proj
595:proj
533:โ Id
505:= Id
477:= Id
442:the
365:(or
357:and
286:, a
237:The
209:line
179:The
136:, a
73:news
1341:doi
1283:of
1271:of
1263:of
1240:In
1175:In
1156:In
1068:In
997:In
986:.
930:in
924:set
607:= (
578:In
446:of
363:set
319:not
298:.
282:In
245:or
222:is
183:or
149:set
132:In
56:by
1783::
1738:.
1714:.
1663:.
1639:.
1614:.
1610:.
1576:.
1357:.
1347:.
1312:.
1209:=
1195:โ
1191::
1149:,
1140:โค
1125:,
1113:,
1109:,
1097:))
1031:CP
589:-
582::
561:โ
557:=
547:โ
543:=
539:โ
529:=
525:โ
521:โ
517:โ
501:โ
473:โ
463:โ
459:=
408:=
398:=
394:โ
220:CP
212:CP
1748:.
1724:.
1700:.
1673:.
1649:.
1625:.
1616:8
1592:.
1562:.
1535:.
1508:.
1466:i
1462:X
1453:k
1449:X
1434:1
1430:X
1426::
1421:i
1394:k
1390:X
1386:,
1380:,
1375:1
1371:X
1343::
1322:.
1211:r
1207:r
1197:X
1193:X
1189:r
1142:n
1138:k
1133:n
1127:y
1123:x
1121:(
1117:)
1115:z
1111:y
1107:x
1105:(
1095:u
1093:(
1091:p
1089:(
1087:p
1083:u
1081:(
1079:p
1065:.
1047:C
1035:P
1027:C
1023:P
994:.
988:R
974:}
969:n
965:a
961:,
955:,
950:1
946:a
942:{
932:R
908:n
904:a
900:,
894:,
889:1
885:a
864:)
861:R
858:(
851:n
847:a
843:,
837:,
832:1
828:a
781:Y
776:X
770:i
754:Y
749:x
745:)
743:x
741:(
739:f
734:f
729:.
714:.
698:k
694:X
685:.
682:j
678:x
674:x
672:(
669:j
660:n
656:X
651:j
647:X
643:1
640:X
632:)
629:n
625:x
620:j
616:x
612:1
609:x
605:x
598:j
587:j
563:ฯ
559:i
555:p
549:ฯ
545:i
541:ฯ
536:B
531:i
527:ฯ
523:i
519:ฯ
515:i
508:B
503:i
499:ฯ
494:i
490:ฯ
486:ฯ
480:B
475:i
471:ฯ
465:ฯ
461:i
457:p
452:A
448:B
440:i
436:B
432:A
428:p
424:ฯ
420:p
416:)
414:A
412:(
410:p
406:B
400:p
396:p
392:p
387:A
383:p
349:.
347:X
343:f
339:ฯ
261:P
257:D
253:P
241:D
232:C
216:P
205:C
201:C
197:P
189:C
123:)
117:(
112:)
108:(
98:ยท
91:ยท
84:ยท
77:ยท
50:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.