public:math:mathematical_analysis:chapter_1

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
后一修订版		 前一修订版
public:math:mathematical_analysis:chapter_1 [2024/06/02 15:29] – [1. 函数（映射）的概念] oakfirepublic:math:mathematical_analysis:chapter_1 [2024/06/02 15:55] (当前版本) – [2. 公理化集合论] oakfire
行 82: 行 82:
       * 在实数轴上，任何一对实数都能讨论 $\preccurlyeq$ 关系。       * 在实数轴上，任何一对实数都能讨论 $\preccurlyeq$ 关系。
     * <wrap em>函数</wrap>： 如果满足 $ (x\mathcal{R}y_1)\land(x\mathcal{R}y_2) \Rightarrow (y_1=y_2) $， 就说关系 $\mathcal{R}$ 是一个函数关系，即**函数**。     * <wrap em>函数</wrap>： 如果满足 $ (x\mathcal{R}y_1)\land(x\mathcal{R}y_2) \Rightarrow (y_1=y_2) $， 就说关系 $\mathcal{R}$ 是一个函数关系，即**函数**。
-      * 常用符号$f$来表示函数，书写为 $ y=f(x) $ 或 $ X \rightarrow ^f Y. $ +      * 常用符号$f$来表示函数，书写为 $ y=f(x) $ 或 $ x \xrightarrow{f} y. $ 
-    * **函数图像**：设 $\varGamma$ 是直积 $ X\times Y$ 的子集，它由一切形如 $(x,f(x))$的元素组成，因而 \[ \varGamma := {(x,y) \in X\times Y|y=f(x)}\].我们则称这个子集 $\varGamma$ 是在原来意义下函数 $ f: X \rightarrow Y $ 的**图像**+    * **函数图像**：设 $\varGamma$ 是直积 $ X\times Y$ 的子集，它由一切形如 $(x,f(x))$的元素组成，因而 \[ \varGamma := \{(x,y) \in X\times Y|y=f(x)\}\].我们则称这个子集 $\varGamma$ 是在原来意义下函数 $ f: X \rightarrow Y $ 的**图像**
  
 ===== \(\S4\) 某些补充 ===== ===== \(\S4\) 某些补充 =====
行 112: 行 112:
     * 推论：任何集合 A 都拥有空子集 \(\varnothing_X = \{ x \in X| x \neq x \} \),再根据容积公理，推论空集是唯一的，记作符号 \(  \varnothing \)      * 推论：任何集合 A 都拥有空子集 \(\varnothing_X = \{ x \in X| x \neq x \} \),再根据容积公理，推论空集是唯一的，记作符号 \(  \varnothing \) 
   - **并公理** 对于由集合构成的任何集合 \(M\), 存在集合 \(\cup M\), 成为集合 \(M\) 的并， 它的元素恰好是 \(M\) 中所含元素的元素。   - **并公理** 对于由集合构成的任何集合 \(M\), 存在集合 \(\cup M\), 成为集合 \(M\) 的并， 它的元素恰好是 \(M\) 中所含元素的元素。
-    * 由并公理及分出公理，可定义集 \(M\) 的**交**为集合 \( \cap M := \{ x \in \cup M|\forall X((X \in M) \Rightarrow (x \in X)\} \)+    * 由并公理及分出公理，可定义集 \(M\) 的**交**为集合 \[ \cap M := \{ x \in \cup M|\forall X((X \in M) \Rightarrow (x \in X)\} \]
   - **对公理** 对于任意集合 \(X,Y\), 存在一个集合 \(Z\), 使 \(X\) 与 \(Y\) 是它仅有的元素。   - **对公理** 对于任意集合 \(X,Y\), 存在一个集合 \(Z\), 使 \(X\) 与 \(Y\) 是它仅有的元素。
     * \(Z\) 即 \(X\) 与 \(Y\) 的无序对。     * \(Z\) 即 \(X\) 与 \(Y\) 的无序对。
   - **子集之集的公理** 对于任意集合 \(X\), 存在集合 \(\mathcal{P}(X)\), 它的元素恰好就是 \(X\) 的一切子集   - **子集之集的公理** 对于任意集合 \(X\), 存在集合 \(\mathcal{P}(X)\), 它的元素恰好就是 \(X\) 的一切子集
-    * 由此公理，可定义 \(X \times Y\)的直积： \(X \times Y  := \{ p \in \mathcal{P}(\mathcal{P}(X)\cup \mathcal{P}(Y))| p=(x,y)\land(x\in X)\land(y\in Y)\}\)+    * 由此公理，可定义 \(X \times Y\)的直积： \[X \times Y  := \{ p \in \mathcal{P}(\mathcal{P}(X)\cup \mathcal{P}(Y))| p=(x,y)\land(x\in X)\land(y\in Y)\}\]
     * 公理1~5限制了形成新集的可能。可推论**不存在所有集之“集”**——这样可规避罗素悖论     * 公理1~5限制了形成新集的可能。可推论**不存在所有集之“集”**——这样可规避罗素悖论
   - **无穷公理** 归纳集存在   - **无穷公理** 归纳集存在
  • public/math/mathematical_analysis/chapter_1.1717313382.txt.gz
  • 最后更改: 2024/06/02 15:29
  • 由 oakfire