南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论（III）函数 Function（简版）

1-10 Set Theory (III):Functions 魏恒峰 hfwei@nju.edu.cn 2019年12月10日 Hengfeng Wei (hfweinju.edu.cn)1-10 Set Theory (III):Functions 2019年12月10日1/40

1-10 Set Theory (III): Functions 魏恒峰 hfwei@nju.edu.cn 2019 年 12 月 10 日 Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 1 / 40

Set Theory Foundation A Branch of Math- of Math- ematics ematies (Loglc) (a,b) A→B N,R ) AxB RC AxB Hengfeng Wei (bfweiinju.edu.cn1-10 Set Theory (III:Functions 2019年12月10日2/40

Set Theory A Branch of Math￾ematics N, R ℵ0 ω Foundation of Math￾ematics (+ Logic) (a, b) {} A × B R ⊆ A × B f : A → B Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 2 / 40

Functions AIMS PROOF! Hengfeng Wei (hfweiinju.edu.cn)1-10 Set Theory (III):Functions 2019年12月10日3/40

Functions PROOF! Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 3 / 40

Definition of Functions Hengfeng Wei bfweiinju.edu.cn1-10 Set Theory (III:Functions 2019年12月10日4/40

Definition of Functions Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 4 / 40

RCAXB is a relation from A to B Hengfeng Wei (hfweiinju.edu.cn)1-10 Set Theory (III):Functions 2019年12月10日5/40

R ⊆ A × B is a relation from A to B Hengfeng Wei (hfwei@nju.edu.cn) 1-10 Set Theory (III): Functions 2019 年 12 月 10 日 5 / 40