함수(수학)

Functional (mathematics)
길이 함수에는 정류 가능한 곡선의 벡터 공간인 C ,1 ] , 3 공간(\ C^{이 있으며 실제 스칼라를 출력합니다.이것은 비선형 함수의 예입니다.
리만 적분은 a에서 b까지 리만 적분이 가능한 [a, b]정의된 함수의 벡터 공간 위의 선형 함수이다.

수학에서, 함수(명사로서)는 특정한 종류의 함수이다.용어의 정확한 정의는 하위 필드(및 작성자)에 따라 달라집니다.

  • 선형대수에서는 벡터 V({V})에서 스칼라 필드(, 이중 V {\ V[1]로의 선형 매핑인 선형 형식과 동의어입니다.
  • 기능분석 및 관련 분야에서는 에서 실수 또는 복소수 [2][3]분야로 매핑하는 을 더 일반적으로 말합니다.함수해석학에서 선형함수라는 용어선형형태[3][4][5]동의어이다. 즉, 스칼라값 선형맵이다.작성자에 따라 이러한 매핑은 선형으로 간주될 수도 전체 공간 X에 정의될 수도 있습니다 X .}
  • 컴퓨터 과학에서, 이것은 함수를 인수로 받아들이거나 반환하는 고차 함수, 즉 함수와 동의어이다.

이 기사는 주로 18세기 초에 변분법의 일부로서 생겨난 두 번째 개념에 관한 것이다.보다 현대적이고 추상적인 첫 번째 개념은 선형이라는 이름으로 별도의 기사에서 자세히 논의된다.세 번째 개념은 고차 함수에 대한 컴퓨터 과학 기사에 자세히 설명되어 있습니다.

함수의 공간인 경우, 함수는 "함수의 기능"[6]이며, 일부 오래된 저자는 실제로 "함수의 기능"을 "함수의 기능"으로 정의한다.그러나 공간이라는 사실은 수학적으로 필수적이지 않기 때문에 이 오래된 정의는 [citation needed]더 이상 보편화되지 않습니다.

이 용어는 주어진 함수를 최소화하는(또는 최대화하는) 함수를 검색하는 변동 미적분학에서 유래합니다.물리학에서 특히 중요한 응용은 동작을 최소화하는(또는 최대화하는) 시스템의 상태, 즉 라그랑지안의 시간 적분을 찾는 것이다.

세부 사항

이중성

매핑

is a function, where is an argument of a function At the same time, the mapping of a function to the value of the function at a point
함수입니다.서 x 0 파라미터입니다.

ff가 벡터 공간에서 기본 스칼라 필드까지의 선형 함수일 위의 선형 맵은 서로 이중이며, 함수 분석에서는 둘 다 선형 함수라고 합니다.

확정적분

다음과 같은 통합

특별한 부류의 기능들을 형성합니다. H 실제 값인 함수f를실수에 매핑합니다.예를 들면 다음과 같습니다.

  • 양의 그래프 아래 영역 ff
  • p\ L 세트 함수의 표준
  • 2차원 유클리드 공간에서의 곡선의 길이

내부 제품 공간

내부 제품 X Xstyle X 및 고정 X y→\style { to 된 지도는에서 함수입니다 y {\가) {displaystyle은 X의 벡터 부분 공간 {\ X 함수의 공간 또는 커널 또는 x {displaystyle 직교 보형 {}은x의 벡터 부분 공간입니다

예를 들어 g 2( [- , g L} ( [ - \, \])}의 내부곱을 취하면 공간 ( [ - , \ 에 (선형)함수가 정의됩니다.

지역

함수의 값을 입력 곡선의 작은 세그먼트에 대해 계산한 다음 합산하여 총 값을 찾을 수 있는 경우 함수를 로컬이라고 합니다.그 이외의 경우는, 비로컬이라고 불립니다.예를 들어 다음과 같습니다.

로컬에 있는 동안
로컬이 아닙니다.이는 질량 중심 계산과 같이 방정식의 분자와 분모에서 적분이 별도로 발생할 때 일반적으로 발생합니다.

함수 방정식

기존의 용법은 함수 방정식, 즉 함수 간의 방정식을 말할 때도 적용된다. 함수 간의 F F =) being an 、 being 、 being being being 、 being being 、 being being being 、 being being being 、 being being being the the the the the the the the an the the the the the the the the the an the the the the the the이러한 방정식에서는 가법 f\f가 코시의 함수 방정식을 만족시키는 변수 중 하나라고 하는 변수 미지의 집합이 여러 개 있을 수 있습니다.

파생상품과 통합

함수 도함수라그랑주 역학에서 사용된다.즉, 투입함수가 소폭 변화할 때 기능이 어떻게 변화하는지 정보를 담고 있다.

리처드 파인만양자역학의 역사 공식에 대한 그의 요약에서 함수 적분을 중심 아이디어로 사용했습니다.이 사용법은 일부 함수 공간을 차지하는 적분을 의미합니다.

「 」를 참조해 주세요.

  • 선형 형식 – 벡터 공간에서 해당 스칼라 분야로의 선형 맵
  • 최적화(수학)
  • 텐서 – 기하학적 응용 프로그램을 사용하는 대수적 객체

레퍼런스

  1. ^ Lang 2002, 페이지 142 : 2002 "E를 교환 링A 위의 빈 모듈로 합니다.우리는 A를 그 자체보다 1등급의 무료 모듈로 본다.E이중 모듈 E는 모듈 Hom(E, A)을 의미합니다.그 요소는 기능이라고 불립니다.따라서 E 의 함수는 A-선형 지도 f : E → A이다."
  2. ^ Kolmogorov & Fomin 1957, 페이지 77 "규범 선형 공간 R에 정의된 숫자 함수 f(x)는 함수라고 불립니다.함수 f(x)는 f(αx + βy) = αf(x) βf(y)일 때 직선이라고 한다.여기x, y δR 및 α, β는 임의의 수이다.
  3. ^ a b Wilansky 2013, 페이지 7. 오류:: 2013
  4. ^ Axler (2015) 오류:: ( 페이지 101, § 3.92
  5. ^ Khelemskii, A.Ya. (2001) [1994], "Linear functional", Encyclopedia of Mathematics, EMS Press
  6. ^ Kolmogorov & Fomin 1957, 페이지 62-63 "공간 R 위의 실제 함수는 공간1 R(실제 선)에 대한 R의 매핑입니다.따라서, 예를 들어, R1 Rn 매핑하는 것은 n개의 변수의 일반적인 실수치 함수이다.공간 R 자체가 함수로 구성되어 있는 경우, R의 원소의 함수는 보통 함수라고 불립니다."