Knowledge

Identity function

Source 📝

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:.

Index

Null function
Empty function

Graph
real numbers
mathematics
function
argument
equality
set
domain
codomain
injective function
surjective function
range
bijective
set theory
binary relation
identity relation
function composition
identity element
monoid
unique
identity morphism
category theory
endomorphisms
linear operator
vector spaces
dimensional
vector space

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.