[Discrete Mathematics] 함수(function)의 정의와 성질을 통한 분류
·
Mathematics/Discrete Mathematics
함수의 정의 함수는 어떤 집합의 각 원소를 다른 어떤 집합의 각 원소에 유일하게 대응시키는 관계를 말한다. 예를 들어 $ X $ 와 $ Y $ 가 집합일 때 $ X $ 에서 $ Y $ 로의 함수 $ f $ 는 $ f : X \to Y $ 로 나타낸다. 이는 카테시안 곱 $ X \times Y $ 의 부분집합으로 정의되며 카테시안 곱은 $ \{ (x,y) \mid x \in X, y \in Y \} $ 이다. 각 $ x \in X $ 에 대해 정확히 하나의 $ y \in Y $ 가 존재하여 $ (x,y) \in f $ 를 만족하는 성질을 가진다. 이를 $ f(x) = y $ 라 표기한다.이때 집합 $ X $ 를 정의역(domain)이라 하고, 집합 $ Y $ 를 공역(codomain)이라 한다. $ f $..