文章目录

  • 一些基本概念
  • 选择公理
  • Zorn引理
    • 半序集和全序集
    • Zorn 引理

一些基本概念

  • 指标集: 设I和X是两个非空集合,以I为指标集的X的一个元素族即一个映射 f:I→Xf:I\to Xf:I→X ,定义为 f:i∈I→xi∈Xf:i\in I\to x_i\in Xf:i∈I→xi​∈X ,就是视I中的元素为指标,记作 (xi)i∈I(x_i)_{i\in I}(xi​)i∈I​

    • 说实话这段我一开始根本没看懂。仔细思索之后感觉大概人话就是说,我有一个集合I,然后这个集合I里面的每个元素 iii 都能找到一个对应的集合 xix_ixi​ ,那么整个集合I的话就能找到一个集合的集合,这个集合的集合就是集合族,其中每一个集合都对应有一个指标i,所以i的集合I叫做指标集。
  • 子族: 元素族 (xi)i∈I(x_i)_{i\in I}(xi​)i∈I​ 的子族 (xi)i∈J(x_i)_{i\in J}(xi​)i∈J​ 是指映射 g:J→Xg:J\to Xg:J→X ,满足 J⊂IJ \subset IJ⊂I 且 f∣J=gf|_J=gf∣J​=g (这个符号前面映射那里提过,是限制的意思)
  • n维元: 如果 I={1,…,n},n≥1I = \{1,\dots ,n\},n\ge 1I={1,…,n},n≥1 ,则称该元素组为一n维元,记作 $(x_j)_{j=1}^n or(x_1,…,x_n) $
  • 序列: 如果 I=NI=\mathbb{N}I=N ,则称元素组 (xi)i∈I(x_i)_{i\in I}(xi​)i∈I​ 是一个序列,记作 (xn)n=0∞or(x0,x1,x2,x3,...,xn,...)or(xn)n≥0or(xn)(x_n)_{n=0}^\infty ~~~or ~~~ (x_0,x_1,x_2,x_3,...,x_n,...) ~~~ or ~~~ (x_n)_{n\ge 0} ~~~or ~~~ (x_n)(xn​)n=0∞​   or   (x0​,x1​,x2​,x3​,...,xn​,...)   or   (xn​)n≥0​   or   (xn​)
    • 我的数学功底可是太差了,这里的这个 N\mathbb{N}N 符号都给我看蒙了,还是问的邹院是啥意思,才知道原来是自然数Natural Number,对一下好像没问题,x的角标就是自然数。
  • 子集族: 设 III 和 XXX 是两个集合,以 III 为指标集的 XXX 的子集族 (Ai)i∈I(A_i)_{i\in I}(Ai​)i∈I​ 是指一族 i∈I→Ai∈P(X)i\in I \to A_i \in \mathcal{P}(X)i∈I→Ai​∈P(X)
  • 子集族的并集和交集: 给定集合 XXX 的一个子集族 (Ai)i∈I(A_i)_{i\in I}(Ai​)i∈I​ ,其并集 ∪i∈IAi\cup _{i\in I} A_i∪i∈I​Ai​ 为 ∪i∈IAi={x∈X;∃i∈I,x∈Ai}\mathop{\cup}\limits_{i\in I} A_i =\{x\in X;\exists i \in I, x\in A_i\}i∈I∪​Ai​={x∈X;∃i∈I,x∈Ai​} ,而交集则是 ∩i∈IAi={x∈X;∀i∈I,x∈Ai}\mathop{\cap}\limits_{i\in I} A_i =\{x\in X;\forall i \in I, x\in A_i\}i∈I∩​Ai​={x∈X;∀i∈I,x∈Ai​}
    • 啊这个还蛮好理解的,并集嘛,就是都行,只有有一个指标i能让x在一个子集内就行。交集就是不管哪个i,x都必须能找到一个子集Ai

常用等式:

A∪(∩i∈IAi)=∩i∈I(A∪Ai)A\cup (\mathop{\cap}\limits_{i\in I}A_i) = \mathop{\cap}\limits_{i\in I}(A\cup A_i)A∪(i∈I∩​Ai​)=i∈I∩​(A∪Ai​)

A∩(∪i∈IAi)=∪i∈I(A∩Ai)A\cap (\mathop{\cup}\limits_{i\in I}A_i) = \mathop{\cup}\limits_{i\in I}(A\cap A_i)A∩(i∈I∪​Ai​)=i∈I∪​(A∩Ai​)

(⊙﹏⊙)有结合律那味了

A−∪i∈IAi=∩i∈I(X−Ai)A-\mathop{\cup}\limits_{i\in I}A_i = \mathop{\cap}\limits_{i\in I}(X-A_i)A−i∈I∪​Ai​=i∈I∩​(X−Ai​)

X−∩i∈IAi=∪i∈I(X−Ai)X-\mathop{\cap}\limits_{i\in I}A_i = \mathop{\cup}\limits_{i\in I}(X-A_i)X−i∈I∩​Ai​=i∈I∪​(X−Ai​)

这两个其实就是de Morgan定律,emmmm似乎数电的时候学过啊

泛函分析笔记(二)选择公理和佐恩引理相关推荐

  1. 泛函分析笔记(二十一) 障碍问题

    1. 薄膜问题 2. 极小化问题的存在性 1. 薄膜问题 薄膜问题是由泛函 J : H 0 1 ( Ω ) → R J:H_0^1(\Omega)\to \mathbb{R} J:H01​(Ω)→R ...

  2. 泛函分析笔记1:度量空间

    这一章节研究度量空间的基本结构,在开始前,我们需要思考几个问题: 什么是度量空间? 我们为什么要首先学习度量空间呢? 在这篇笔记的最后再来回答这个问题. 文章目录 1. 度量空间定义 2. 开集 2. ...

  3. qml学习笔记(二):可视化元素基类Item详解(上半场anchors等等)

    原博主博客地址:http://blog.csdn.net/qq21497936 本文章博客地址:http://blog.csdn.net/qq21497936/article/details/7851 ...

  4. oracle直查和call哪个更快,让oracle跑的更快1读书笔记二

    当前位置:我的异常网» 数据库 » <>读书笔记二 <>读书笔记二 www.myexceptions.net  网友分享于:2013-08-23  浏览:9次 <> ...

  5. 【Visual C++】游戏开发笔记二十七 Direct3D 11入门级知识介绍

    游戏开发笔记二十七 Direct3D 11入门级知识介绍 作者:毛星云    邮箱: happylifemxy@163.com    期待着与志同道合的朋友们相互交流 上一节里我们介绍了在迈入Dire ...

  6. [转载]dorado学习笔记(二)

    原文地址:dorado学习笔记(二)作者:傻掛 ·isFirst, isLast在什么情况下使用?在遍历dataset的时候会用到 ·dorado执行的顺序,首先由jsp发送请求,调用相关的ViewM ...

  7. PyTorch学习笔记(二)——回归

    PyTorch学习笔记(二)--回归 本文主要是用PyTorch来实现一个简单的回归任务. 编辑器:spyder 1.引入相应的包及生成伪数据 import torch import torch.nn ...

  8. tensorflow学习笔记二——建立一个简单的神经网络拟合二次函数

    tensorflow学习笔记二--建立一个简单的神经网络 2016-09-23 16:04 2973人阅读 评论(2) 收藏 举报  分类: tensorflow(4)  目录(?)[+] 本笔记目的 ...

  9. 趣谈网络协议笔记-二(第十九讲)

    趣谈网络协议笔记-二(第十九讲) HttpDNS:网络世界的地址簿也会指错路 自勉 勿谓言之不预也 -- 向为祖国牺牲的先烈致敬! 引用 dns缓存刷新时间是多久?dns本地缓存时间介绍 - 东大网管 ...

最新文章

  1. getmenuiteminfo无法读取内存_笔记本内存加装教程,看完包会!为了这篇文章,我把电脑都拆了!...
  2. 精美jQuery插件及源码 前端开发福利
  3. python模块matplotlib.pyplot用法_Python中Matplotlib模块的简单使用
  4. DevSecOps简介(二)
  5. RSync服务器配置
  6. html列表隐藏显示出来,JavaScript栏目列表隐藏/显示简单实现
  7. 使用spark-shell从本地读取文件不成功的的操作。
  8. 新硬盘显示有储存空间但无法分区_容量更足高速无忧,奥睿科迅龙V500 NVME硬盘体验...
  9. Windows核心编程_异型窗口(续)
  10. 遗传优化算法优化LSTM-MSE
  11. MWeb 博客生成软件如何使用“发布脚本”发布网站?
  12. 牛逼!40行Python代码一键把html网页保存为pdf,太方便了!
  13. 无法删除文件:无法读源文件或磁盘”
  14. 智能电视大战背后的秘密
  15. 使用iperf3网络速度测试工具测试Windows和Ubuntu两台机器的网口速率
  16. PicGo+github搭建免费图床
  17. python 列表求最大值_Python找出列表中的最大数和最小数
  18. php vox转码,php base64 编码图片,音频,视频
  19. STM32学习之ILI9341控制显示屏输出(一)
  20. 服务提供商SD-WAN市场非常广阔

热门文章

  1. 三国演义:责任链模式
  2. winbox软路由安装和命令
  3. 单线激光雷达SLAM(一)数据提取
  4. Python---字符串操作
  5. 萌萌军团超能辅助提升战力 萌萌军团升级脚本工具介绍
  6. 程序,进程,线程的区别和联系
  7. 挑战程序设计 1.1 抽签
  8. EasyExcel 自定义LocalDate类型转换器Converter
  9. 记:kali使用airodump-ng出错的问题记录
  10. 数据结构排序算法 内部排序(冒泡、鸡尾酒、选择、简单插入、二分插入、快排、希尔、归并、堆排)C语言实现