함수 유형 목록

List of types of functions

함수는 그들이 가지고 있는 속성에 따라 식별될 수 있다.이러한 특성은 특정 조건에서 기능들의 행동을 설명한다.포물선은 특정한 종류의 기능이다.

집합 이론에 대한 상대적

이러한 속성은 도메인, 코도메인 및 함수의 이미지와 관련이 있다.

운영자에 상대적(그룹 또는 기타 구조)

이러한 속성은 함수가 피연산자의 산술 연산에 의해 어떤 영향을 받는지와 관련이 있다.

다음은 이항 연산에 대한 동형성의 특별한 예다.

  • 부가 함수: 추가 연산: f(x + y) = f(x) + f(y)를 보존한다.
  • 곱셈 함수: 곱셈 연산 유지: f(xy) = f(x)f(y)

부정에 대한 상대:

  • 짝수 함수: Y축에 대해 대칭이다.형식적으로 각 x에 대해: f(x) = f(-x)
  • 홀수 함수: 원점에 대해 대칭이다.형식적으로 각 x에 대해: f(-x) = -f(x)

이진 연산 및 순서와 관련하여:

위상에 상대적

위상 및 순서 관련:

  • 세미콘틴 함수: 상한 또는 하한 세미콘틴 함수.
  • 우측 연속 함수: 우측에서 한계점에 접근했을 때 점프하지 않는다.좌-연속 함수: 이와 유사함수.
  • 로컬 경계 함수: 모든 점 주위에 경계.

주문 관련

  • 단조함수: 어떤 쌍의 순서를 거꾸로 하지 않는다.
  • 엄격한 단조함수: 주어진 순서를 보존한다.

실제/복잡한 숫자와 비교

측정 가능성과 비교

  • 측정 가능한 함수: 각 측정 가능한 집합의 사전 이미지는 측정할 수 있다.
  • 보렐 함수: 각 보렐 집합의 프리이미지는 보렐 집합이다.
  • 또한 Baire 측정 가능한 함수라고도 불리는 Baire 함수: 함수의 연속된 점괘 한계를 형성하는 연산을 transfinite에 의해 연속적인 함수에서 얻는다.
  • 단수함수: 거의 모든 곳에서 파생상품이 0인 연속적인 기능, 그러나 일정하지 않은 기능.

측정에 상대

측정 및 위상에 상대적

유형 이론에 대한 함수/연관 정의 방법

일반적으로 함수는 종속 변수의 이름과 매핑 대상 값을 계산하는 방법을 지정하여 정의되는 경우가 많다.이를 위해 기호나 Church 이(가) 자주 사용된다.또한 때때로 수학자들은 함수 영역코도메인을 예를 들어 : → B 오른쪽 B이러한 개념은 각각 람다 미적분과 유형 이론으로 바로 확장된다.

고차함수

이러한 기능은 기능에서 작동하거나 다른 기능을 생성하는 기능이다. 자세한 내용은 고차 함수를 참조하십시오.예는 다음과 같다.

범주 이론과의 관계

범주 이론은 화살표나 형태론을 통해 특수함수의 개념을 공식화하는 수학의 한 분야다.범주는 (추상적으로) 물체의 한 부류, 그리고 모든 물체의 한 쌍에 대해 일련의 형태론으로 구성된 대수적 물체다.구성이라 불리는 부분적(동등하게 타이핑된) 이항 연산을 형태론에 대해 제공하고, 모든 물체는 그것에서부터 그 물체에 대한 정체성이라고 불리는 그 자체까지 하나의 특별한 형태론을 가지고 있으며, 구성과 정체성은 특정한 관계에 복종하는 것이 요구된다.

이른바 콘크리트 범주에서 물체는 세트, 마그마, 그룹, 고리, 위상 공간, 벡터 공간, 미터 공간, 부분 순서, 구별 가능한 다지관, 균일한 공간 등과 같은 수학 구조와 연관되며, 두 물체 사이의 형태는 그 사이의 구조 보존 기능과 연관된다.위의 예에서 이것들은 각각 함수, 마그마 동형성, 그룹 동형성, 링 동형성, 연속함수, 선형 변환(또는 행렬), 미터법 지도, 단조함수, 구별할 수 있는 함수, 균일하게 연속함수가 될 것이다.

대수학 이론으로서 범주 이론의 장점 중 하나는 최소한의 가정으로 많은 일반적인 결과를 증명할 수 있게 하는 것이다.수학에서 나오는 많은 일반적인 개념들(예: 돌출적, 주입적, 자유 객체, 근거, 유한 표현, 이소모르프)은 순수하게 범주 이론적 용어(cf. 단동형, 경동형)로 정의할 수 있다.

범주 이론은 수학의 기초로서 세트 이론 및 유형 이론(cf. topos)과 대등하게 제시되어 왔다.

알레고리[1] 이론은 기능 대신에 관계에 대한 범주 이론에 필적하는 일반화를 제공한다.


기타 함수

함수로 여전히 불리는 더 일반적인 개체

참고 항목

참조

  1. ^ 피터 프레이드, 안드레 스케드로프(1990).카테고리, 알레고리.수학 도서관 제39권노스홀랜드. ISBN978-0-444-70368-2.