31:
586:
771:
651:
488:
832:
781:
706:
661:
634:
596:
570:
546:
798:
731:
443:
758:
827:
822:
837:
696:
411:
432:
77:
69:
65:
616:
668:
The element 0 is usually referred to as the identity element and if it exists, it is unique
359:
323:
138:
16:
In mathematics, a function that always returns the same value that was used as its argument
8:
842:
214:
34:
518:
210:
777:
754:
727:
702:
657:
630:
592:
566:
542:
484:
369:
261:
116:
622:
336:
218:
508:
418:
373:
257:
368:
to be this identity element. Such a definition generalizes to the concept of an
466:
24:
626:
816:
513:
470:
447:
20:
726:. Mathematical Association of America Textbooks. Mathematical Assn of Amer.
454:
414:
400:
377:
495:
45:
38:
396:
253:
222:
773:
A First Course in
Topology: An Introduction to Mathematical Thinking
603:...then the diagonal set determined by M is the identity relation...
462:
458:
142:
439:
797:
Conferences, University of
Michigan Engineering Summer (1968).
340:
721:
805:
we see that an identity element of a semigroup is idempotent.
30:
362:, one can alternately define the identity function on
256:, where a function is defined as a particular kind of
649:
591:. American Mathematical Society. 1974. p. 92.
68:that always returns the value that was used as its
446:(essentially multiplication by 1), considered in
814:
701:. Undergraduate Texts in Mathematics. Springer.
682:Elementary Linear Algebra (Applications Version)
565:(11th ed.). Sarat Book House. p. 36.
800:Foundations of Information Systems Engineering
650:Rosales, J. C.; García-Sánchez, P. A. (1999).
473:containing only this isometry (symmetry type
694:
417:the identity function is represented by the
796:
722:D. Marshall; E. Odell; M. Starbird (2007).
588:Proceedings of Symposia in Pure Mathematics
698:Applied Linear Algebra and Matrix Analysis
358:Since the identity element of a monoid is
260:, the identity function is given by the
193:is always the same as the input element
29:
769:
277:
815:
653:Finitely Generated Commutative Monoids
457:the identity function is trivially an
438:The identity function on the positive
679:
536:
560:
776:. Courier Corporation. p. 65.
684:(9th ed.), Wiley International
614:
561:Mapa, Sadhan Kumar (7 April 2014).
176:In other words, the function value
13:
563:Higher Algebra Abstract and Linear
487:, the identity function is always
444:completely multiplicative function
14:
854:
770:Conover, Robert A. (2014-05-21).
131:is defined to be a function with
37:of the identity function on the
790:
763:
740:
715:
688:
673:
656:. Nova Publishers. p. 1.
643:
608:
579:
554:
530:
355:(under function composition).
76:is the identity function, the
1:
724:Number Theory through Inquiry
524:
389:
161: for all elements
104:
833:Basic concepts in set theory
7:
502:
395:The identity function is a
205:. The identity function on
72:, unchanged. That is, when
10:
859:
537:Knapp, Anthony W. (2006),
217:(its codomain is also its
93:is true for all values of
18:
627:10.1007/978-3-319-31159-3
494:The identity function is
461:. An object without any
119:, the identity function
19:Not to be confused with
386:need not be functions.
62:identity transformation
828:Elementary mathematics
823:Functions and mappings
680:Anton, Howard (2005),
343:of all functions from
296:is any function, then
228:The identity function
41:
695:T. S. Shores (2007).
435:chosen for the space.
33:
431:, regardless of the
324:function composition
322:, where "∘" denotes
278:Algebraic properties
240:is often denoted by
751:Hyperbolic Geometry
615:Nel, Louis (2016).
215:surjective function
838:Types of functions
519:Indicator function
211:injective function
42:
783:978-0-486-78001-6
753:, Springer 2005,
747:James W. Anderson
708:978-038-733-195-9
663:978-1-56072-670-8
636:978-3-319-31159-3
618:Continuity Theory
598:978-0-8218-1425-3
572:978-93-80663-24-1
548:978-0-8176-3248-9
485:topological space
370:identity morphism
326:. In particular,
262:identity relation
54:identity relation
52:, also called an
50:identity function
850:
808:
807:
794:
788:
787:
767:
761:
748:
744:
738:
737:
719:
713:
712:
692:
686:
685:
677:
671:
670:
647:
641:
640:
612:
606:
605:
583:
577:
576:
558:
552:
551:
534:
479:
430:
409:
399:when applied to
385:
367:
354:
348:
337:identity element
334:
321:
295:
273:
248:
239:
233:
208:
204:
198:
192:
187:in the codomain
186:
172:
166:
160:
136:
130:
124:
114:
101:can be applied.
100:
96:
92:
75:
858:
857:
853:
852:
851:
849:
848:
847:
813:
812:
811:
795:
791:
784:
768:
764:
746:
745:
741:
734:
720:
716:
709:
693:
689:
678:
674:
664:
648:
644:
637:
613:
609:
599:
585:
584:
580:
573:
559:
555:
549:
535:
531:
527:
509:Identity matrix
505:
478:
474:
429:
421:
419:identity matrix
407:
397:linear operator
392:
381:
374:category theory
363:
350:
344:
333:
327:
316:
306:
297:
283:
280:
269:
258:binary relation
247:
241:
235:
229:
206:
200:
194:
188:
177:
174:
168:
162:
148:
132:
126:
120:
110:
107:
98:
94:
80:
73:
28:
17:
12:
11:
5:
856:
846:
845:
840:
835:
830:
825:
810:
809:
789:
782:
762:
739:
733:978-0883857519
732:
714:
707:
687:
672:
662:
642:
635:
621:. p. 21.
607:
597:
578:
571:
553:
547:
528:
526:
523:
522:
521:
516:
511:
504:
501:
500:
499:
492:
481:
476:
467:symmetry group
451:
436:
425:
404:
391:
388:
329:
312:
302:
279:
276:
243:
209:is clearly an
199:in the domain
147:
106:
103:
25:Empty function
15:
9:
6:
4:
3:
2:
855:
844:
841:
839:
836:
834:
831:
829:
826:
824:
821:
820:
818:
806:
802:
801:
793:
785:
779:
775:
774:
766:
760:
759:1-85233-934-9
756:
752:
743:
735:
729:
725:
718:
710:
704:
700:
699:
691:
683:
676:
669:
665:
659:
655:
654:
646:
638:
632:
628:
624:
620:
619:
611:
604:
600:
594:
590:
589:
582:
574:
568:
564:
557:
550:
544:
540:
539:Basic algebra
533:
529:
520:
517:
515:
514:Inclusion map
512:
510:
507:
506:
497:
493:
490:
486:
482:
472:
471:trivial group
468:
464:
460:
456:
452:
449:
448:number theory
445:
441:
437:
434:
428:
424:
420:
416:
413:
405:
402:
401:vector spaces
398:
394:
393:
387:
384:
379:
378:endomorphisms
375:
371:
366:
361:
356:
353:
347:
342:
338:
332:
325:
320:
315:
310:
305:
300:
294:
290:
286:
275:
272:
267:
263:
259:
255:
250:
246:
238:
232:
226:
224:
220:
216:
213:as well as a
212:
203:
197:
191:
184:
180:
171:
165:
159:
155:
151:
146:
145:, satisfying
144:
140:
135:
129:
123:
118:
113:
109:Formally, if
102:
91:
87:
83:
79:
71:
67:
63:
59:
55:
51:
47:
40:
36:
32:
26:
22:
21:Null function
804:
799:
792:
772:
765:
750:
742:
723:
717:
697:
690:
681:
675:
667:
652:
645:
617:
610:
602:
587:
581:
562:
556:
541:, Springer,
538:
532:
455:metric space
426:
422:
415:vector space
382:
376:, where the
364:
357:
351:
345:
330:
318:
313:
308:
303:
298:
292:
288:
284:
281:
270:
265:
251:
244:
236:
230:
227:
221:), so it is
201:
195:
189:
182:
178:
175:
169:
163:
157:
153:
149:
133:
127:
121:
111:
108:
89:
85:
81:
61:
58:identity map
57:
53:
49:
43:
39:real numbers
465:has as its
412:dimensional
46:mathematics
843:1 (number)
817:Categories
525:References
496:idempotent
489:continuous
390:Properties
254:set theory
105:Definition
223:bijective
97:to which
503:See also
463:symmetry
459:isometry
440:integers
287: :
266:diagonal
143:codomain
78:equality
70:argument
66:function
339:of the
335:is the
137:as its
64:, is a
780:
757:
730:
705:
660:
633:
595:
569:
545:
406:In an
360:unique
341:monoid
139:domain
483:In a
453:In a
442:is a
433:basis
264:, or
219:range
115:is a
48:, an
35:Graph
778:ISBN
755:ISBN
728:ISBN
703:ISBN
658:ISBN
631:ISBN
593:ISBN
567:ISBN
543:ISBN
469:the
311:= id
301:∘ id
156:) =
141:and
88:) =
623:doi
380:of
372:in
349:to
282:If
268:of
252:In
234:on
167:in
125:on
117:set
60:or
44:In
23:or
819::
803:.
749:,
666:.
629:.
601:.
480:).
328:id
317:∘
307:=
291:→
274:.
249:.
242:id
225:.
56:,
786:.
736:.
711:.
639:.
625::
575:.
498:.
491:.
477:1
475:C
450:.
427:n
423:I
410:-
408:n
403:.
383:M
365:M
352:X
346:X
331:X
319:f
314:Y
309:f
304:X
299:f
293:Y
289:X
285:f
271:X
245:X
237:X
231:f
207:X
202:X
196:x
190:X
185:)
183:x
181:(
179:f
173:.
170:X
164:x
158:x
154:x
152:(
150:f
134:X
128:X
122:f
112:X
99:f
95:x
90:x
86:x
84:(
82:f
74:f
27:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.