集合论（ZFC）之 函数（Function）注解

        在《幂集公理（Axiom of Power Set）注解》中，给出了函数的定义，是对应二元关系（Binary Relation）的子集，而关系（Relation）是对应积集（Product Set）的子集，积集（Product Set）是对应联集（Union Set）的幂集（Power Set）的子集。即，

函数 f: X → Y ⊂ 关系 R ⊂ 积集 Prod: X × Y ⊂ 幂集 P( P( X ⋃ Y)

       因积集（Product）是有序组（Ordered Tuple），因此，二元关系及函数都是有序对（Ordered Pair）集合，其形态（form）如 {(a, b)}， a ∈ X， b ∈ Y，同时，根据函数的定义，约束了对于任意一个 a，有且只有一个 b 与其对应。即，

        （x,y) ∈ f ∧ (x,z) ∈ f → y = z

亦，y = f(x)  ≡  (x,y) ∈ f 

        因此，可以把函数看作映射（Mapping），即，给定一个a ∈ X，可在函数 f 定义的有序对集合，可以找到其存在的有序对，(a, b)，那么，就可以认为，a ∈ X 映射到 b ∈ Y 上。此时，有，函数的定义域Dom(f)  ⊂ X,  值域 Ran(f) ⊂ Y。

        如果Dom(f)  = X，那么函数 f 称为定义在集合X之上，即任何a ∈ X，都有 f(a) ∈ Y 与之对应。另外，被映射的元素 b = f(a)，并不一定覆盖集合Y上的所有元素，因此，值域 Ran(f) 是 集合Y的子集。

        那么，当 Ran(f) = Y 时，意味着，被映射的元素b完全覆盖了集合Y上的所有元素，此时，函数 f 的映射 被称为 满射（onto, surjection）。

        当在函数 f中，有 f(x) = f(y) → x = y，此时，函数 f 被称为 单射（one to one, injection）。

        当函数f 同时 满足满射（onto）与单射（one to one）时，称为双射（one on one, bijection），即其定义域与值域的元素一一对应(one on one)。此时，有 

f ⁻¹ : Y  → X，且 f ∘ f ⁻¹ = id_Y ∧  f ⁻¹ ∘ f = idₓ

        那么，就证明了，两集合X和Y的元素个数相等，记 |X| = |Y| ，也就是说，当存在一个函数f: X → Y ，同时存在对应的反函数 f ⁻¹ : Y  → X， 使得 f ∘ f ⁻¹ = id_Y ∧  f ⁻¹ ∘ f = idₓ， 那么|X| = |Y| 。即，

∀f:X→Y ∃f⁻¹:Y→X ( f∘ f⁻¹ = idy ∧ f⁻¹ ∘ f = idₓ )

        当函数 f 是一一对应（one on one） 的同时，保持着（Preserving）集合中的元素间的关系，即 a < b → f(a) < f(b)，那么，称该函数为同构函数（Isomorphism）。集合X与Y称为同构（Isomorphic），记

X ≅ Y 

≡ ∀f:X→Y ∃f⁻¹:Y→X ( f∘ f⁻¹ = idy ∧ f⁻¹ ∘ f = idₓ ∧ a < b → f(a) < f(b)∧ a < b → f⁻¹(a) < f⁻¹(b))

        那么，基于集合，派生（Derive）出了函数的概念，后面就可以基于函数，去派生出更多概念，定理等。由此，可以体会到，基于ZFC的九个公理，一步步地派生出后续所需的概念，推导所需的定理，构建整个数学理论体系，这就是 ZFC 作为数学基础（Foundation of Mathematics）的要义。也体现出了归纳原理（Inductive Principle）。在本人浅薄的理解中，这一原理，在数理研究中，十分关键，是打开底层逻辑的一把钥匙。