陶哲轩实分析定义8.5.5的一个注记
2013-01-17 12:13
176 查看
我想对定义8.5.5做一个小小的附注:$X$是偏序集，$Y\subset X$.且$Y$是单元素集$\{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'$.
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 陶哲轩实分析定义8.5.5的一个注记
- 陶哲轩实分析 定义 7.2.1(形式无限级数) 的一点注记
- 陶哲轩实分析 定义 7.2.1(形式无限级数) 的一点注记
- 第十二周实验指导--任务三--设计一个在下面一段类的定义中，自行车类的虚基类为车辆类，机动车类的虚基类也为车辆类，摩托车类的基类为自行车类和机动车类，类之间均为公有继承
- c++ 模版函数的定义和实现放在一个文件中 .
- PHP中定义 $image[]=array(); 声明了一个成员的空数组
- [置顶] 定义一个数43，输出4321.
- 4.构造方法与重载：定义一个网络用户类，要处理的信息有用户 ID、用户密码、 email 地址。在建立类的实例时把以上三个信息都作为构造函数的参数输入， 其中用户 ID 和用户密码时必须缺省时 ema
- 定义一个管理配置文件的类
- requirejs如何使用define定义一个模块
- 定义一个结构体变量（包含年月日），计算该日在本年中为第几天？要求写一个days函数。参数是此结构体类型的变量，返回值是整数
- requirejs如何使用define定义一个模块
- 一个二维数组新的定义方式
- 定义一个函数模板，为指定的数据类型分配内存。
- VS2005转到定义转到一个元数据，无法转到指定的方法
- C++中定义一个不能被继承的类
- 如何在Oracle procedure中定义一个数组
- 写一个自己定义进度颜色和圆形转动的ProgressBar(具体介绍)
- wordpress 在 plugin 里定义一个 widget
- Hibernate查询，返回new对象（注意这个新定义的类要有构造函数），使用sql带条件分页查询并且把结果显示到一个对象的集里面的解决方案