我想對定義8.5.5做乙個小小的附註:$x$是偏序集，$y\subset x$.且$y$是單元素集$\$，那麼按照定義易知，$y$的最小元是$y$,最大元也是$y$.還有，由於偏序集的子集仍是偏序集，所以我認為可以把定義8.5.5簡化.書上的提法是：
設$x$是偏序集，$y\subset x$.我們說$y$是$y$的最小元，如果$y\in y$且不存在$y'\in y$使得$y'\prec y$.我們說$y$是$y$的最大元，如果不存在$y'\in y$使得$y\prec y'$.我把它修改為：
若$y$是偏序集，我們說$y$是$y$的最小元，如果$y\in y$且不存在$y'\in y$使得$y'\prec y$.我們說$y$是$y$的最大元，如果$y\in y$,且不存在$y'\in y$使得$y\prec y'$.
陶哲軒實分析定理17 3 8 一
設 e 是 mathbf n 的子集，f e to mathbf m 是函式，f 是 e 的子集合，並且 x 0 是 f 的內點，如果在 f 上一切偏導數都存在並且在 x 0 處連續，那麼 f 在 x 0 處可微，而且線性變換由下式確定 begin label f x 0 v 1,cdots,v n...
陶哲軒實分析定理17 3 8 一
設 e 是 mathbf n 的子集，f e to mathbf m 是函式，f 是 e 的子集合，並且 x 0 是 f 的內點，如果在 f 上一切偏導數都存在並且在 x 0 處連續，那麼 f 在 x 0 處可微，而且線性變換由下式確定 begin label f x 0 v 1,cdots,v n...
陶哲軒實分析 胡氏定義構造公理
本文是筆者對於定義構造應該滿足的一些公理的設想。靈感主要 於陶哲軒同學嚴謹的建立數域定義的過程中對於各個定義都進行的某種統一的論證，我把這些論證歸納為公理。本文顯然在模仿 相等定義的四大公理體系 自反公理 傳遞公理 對稱公理 替代公理 胡氏定義構造公理 下面記我們需要構造定義p 我們都知道相等定義需...