Ch3. Functions, Sequence, and Relations

3.1 Functions

함수 f : X→Y는 x∈X 각 x가 y∈Y에 정확히 하나만 대응되는것을 의미한다.

• X : domain of f / 정의역
• Y : codomain of f / 공역
• {y | f(x) = y} : range of f / 치역

📌 함수는 X x Y 곱집합의 부분집합으로 여겨질 수 있다.

⚡ 함수가 아닌 것들 not a function

mod 나머지 연산

n mod m : n이 m에 의해 나눠지고 남은 나머지를 의미한다.

• n = mq + r → n mod m = r

Floor & Ceiling 바닥과 천장

• Floor : 바닥 → 바닥은 밑이니까 내림
• Ceiling : 천장 → 천장은 위니까 올림

one-to-one & onto

📌one-to-one 일대일 함수 : X → Y에서 1개의 y에 1개의 x만 대응되면 일대일 함수라고 부른다.

• f가 일대일 함수이면 f는 injective(단사함수)라고 말한다.