Search
Duplicate

데코수학/ 집합론/ 함수

(유튜브 동영상인데 현재는 삭제되어서 내용만 남김)

1

개념

함수는 관계 중에 아래와 같은 정의를 만족하는 관계
관계 f:XYf : X \to Y를 함수라고 부른다. (XX는 정의역, YY는 공역)
Dom(f)=XDom(f) = X
(a,b)F,(a,c)fb=c(a, b) \in F, (a, c) \in f \Rightarrow b = c
(a,b)fb=f(a)(a, b) \in f \Leftrightarrow b = f(a)
함수로서 같음
함수 f:XYf : X \to Y, 함수 g:XYg : X \to Y 일 때
f=gxX,f(x)=g(x)f = g \Leftrightarrow \forall x \in X, f(x) = g(x)
만일 두 함수 f:XY,g:XWf : X \to Y, g : X \to W 일 때 g(x)=f(x)g(x) = f(x) 라도 두 함수는 같지 않을 수 있다.
f:RR,f(x)=x2f : \mathbb{R} \to \mathbb{R}, f(x) = x^{2}
g:R{xx0},g(x)=x2g : \mathbb{R} \to \{x | x \geq 0 \}, g(x) = x^{2}
두 함수가 위와 같이 정의되었다면 두 함수는 집합으로써 같을지라도 함수 자체는 같지 않다.
f:AB,g:CD,xAC,f(x)=g(x)f : A \to B, g : C \to D, x \in A \cap C, f(x) = g(x) 이면,
fg:ACBDf \cup g : A \cup C \to B \cup D 는 함수이고
(fg)(x)={f(x)(xA)g(x)(xC)(f \cup g)(x) = \begin{cases} f(x) (x \in A) \\ g(x) (x \in C) \end{cases} 이다.
쉬운 예로는f(x)={x2(x<0)x(x0)f(x) = \begin{cases} x^{2} (x < 0) \\ x (x \geq 0) \end{cases} xx00보다 작을 때와 클 때가 따로 정의되는 함수
f:XY,AX,BYf : X \to Y, A \subseteq X, B \subseteq Y일 때,
f(A)={f(x)xA}f(A) = \{ f(x) | x \in A \} (상)
f1(B)={xf(x)B}f^{-1}(B) = \{ x | f(x) \in B \} (역상)
예를 들면 f(x)=x2:RRf(x) = x^{2} : \mathbb{R} \to \mathbb{R} 일 때
A={1,2,3,4}A = \{ 1, 2, 3, 4 \} 라고 하면 AA의 상 f(A)={1,4,9,16}f(A) = \{ 1, 4, 9, 16 \}이고
B={1,2}B = \{ 1, 2 \} 라고 하면 BB의 역상 f1(B)={1,1,2,2}f^{-1}(B) = \{ -1, 1, -\sqrt{2}, \sqrt{2} \}

함수식

f:XYf : X \to Y 일 때,
AXA \subseteq X 일 때, xAf(x)f(A)x \in A \Rightarrow f(x) \in f(A)
BYB \subseteq Y 일 때, xf1(B)f(x)Bx \in f^{-1}(B) \Leftrightarrow f(x) \in B
f()=f(\emptyset) = \emptyset
f({x})={f(x)}f(\{x\}) = \{ f(x) \}
ABXf(A)f(B)A \subseteq B \subseteq X \Rightarrow f(A) \subseteq f(B)
CDXf1(C)f1(D)C \subseteq D \subseteq X \Rightarrow f^{-1}(C) \subseteq f^{-1}(D)
FP(X)F \subseteq P(X) 일 때, (P(X)P(X)XX의 멱집합 즉, XX의 모든 부분집합들의 집합)
f(AFA)=AFf(A)f(\cup_{A \in F} A) = \cup_{A \in F} f(A)
AA의 합집합에 대한 함수는 AA에 대한 모든 함수의 합집합과 같다.
f(F)AFf(A)f(\cap F) \subseteq \cap_{A \in F} f(A)
FF의 교집합에 대한 함수는 AA에 대한 모든 함수의 교집합에 부분집합이다.
f1(F)=AFf1(A)f^{-1}(\cup F) = \cup_{A \in F} f^{-1} (A)
FF의 합집합의 역상은 AA에 대한 모든 함수의 역상의 합집합과 같다.
f1(F)=AFf1(A)f^{-1}(\cap F) = \cap_{A \in F} f^{-1}(A)
FF의 교집합에 대한 역상은 AA에 대한 모든 역상의 교집합과 같다. (역상에 대해서는 부분집합이 아니라 같음)