항등함수 함수

Identity function
실수의 아이덴티티 함수 그래프

수학에서, 항등관계, 항등지또는 항등변환이라고도 불리는 항등함수는 항상 변함이 없이 인수로 사용된 값을 반환하는 함수입니다.즉, f가 항등함수일 f가 적용될 수 있는 X의 모든 값에 대해 f(X) = X 등식이 참이다.

정의.

형식적으로, M이 집합경우, M 항등함수 f는 M을 도메인코드메인으로 하는 함수로 정의되어 다음을 만족한다.

f(X) = [1]M의 모든 요소 X에 대해 X.

즉, 코드 도메인 M의 함수값 f(X)는 도메인 M입력소자 X와 항상 동일하다.M 의 항등함수는 분명히 주입함수일 뿐만 아니라 사출함수이기 때문에,[2] 그것은 비사적 함수이다.

M 의 아이덴티티 함수 f는 id로 표시되는M 경우가 많습니다.

집합론에서, 함수가 특정한 종류의 이진관계로 정의되는 경우, 항등함수는 항등관계, [3] M의 대각선으로 주어진다.

대수적 성질

f : MN이 임의의 함수일 경우M, f ∘ id = fN = id ( f (여기서 "function"은 함수 구성을 나타냅니다.)특히 idM M부터 M까지의 모든 함수(함수 구성 )의 모노이드의 식별 요소이다.

모노이드의 identity 요소는 [4]고유하기 때문에 M의 identity 함수를 이 identity 요소로 교대로 정의할 수 있다.이러한 정의는 범주 이론에서의 동일성 형태론의 개념으로 일반화되며, 여기M의 내형사상은 함수가 될 필요가 없다.

특성.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Knapp, Anthony W. (2006), Basic algebra, Springer, ISBN 978-0-8176-3248-9
  2. ^ Mapa, Sadhan Kumar (7 April 2014). Higher Algebra Abstract and Linear (11th ed.). Sarat Book House. p. 36. ISBN 978-93-80663-24-1.
  3. ^ Proceedings of Symposia in Pure Mathematics. American Mathematical Society. 1974. p. 92. ISBN 978-0-8218-1425-3. ...then the diagonal set determined by M is the identity relation...
  4. ^ Rosales, J. C.; García-Sánchez, P. A. (1999). Finitely Generated Commutative Monoids. Nova Publishers. p. 1. ISBN 978-1-56072-670-8. The element 0 is usually referred to as the identity element and if it exists, it is unique
  5. ^ Anton, Howard (2005), Elementary Linear Algebra (Applications Version) (9th ed.), Wiley International
  6. ^ T. S. Shores (2007). Applied Linear Algebra and Matrix Analysis. Undergraduate Texts in Mathematics. Springer. ISBN 978-038-733-195-9.
  7. ^ D. Marshall; E. Odell; M. Starbird (2007). Number Theory through Inquiry. Mathematical Association of America Textbooks. Mathematical Assn of Amer. ISBN 978-0883857519.
  8. ^ 제임스 W. 앤더슨, 쌍곡 기하학, 스프링어 2005, ISBN1-85233-934-9
  9. ^ Conover, Robert A. (2014-05-21). A First Course in Topology: An Introduction to Mathematical Thinking. Courier Corporation. p. 65. ISBN 978-0-486-78001-6.
  10. ^ Conferences, University of Michigan Engineering Summer (1968). Foundations of Information Systems Engineering. we see that an identity element of a semigroup is idempotent.