-
-
13研究集合论的专家都有谁?
-
1如题,我脑洞大开想试试构造一个名为无限的集合。 最后就得到了。定义一个集合A,该集合是所有无限集合的集合。 但是这样一来,根据我非常垃圾的集合论知识。我也知道,我可以将这个集合A的所有子集,用来构造一个新的无限集合。这个无限集合肯定也不存在于集合A中。但是集合A的定义就是所有无限集合的集合。 这样就冲突了,有啥解决办法吗?
-
0想了解下集合一下约定俗成的规定,是否: 列举法A = {a, b}中的a,b不能相等, 描述法B = {x : x = a 或 x = b}中的a,b可以相等?
-
7
-
1对于每个非空集合S,可以把其中的元素"一个一个"地拿掉,最终S会变为空集
-
0An=(-1/n,1+1/n](n是奇数),(1/n,1-1/n](n是偶数) 计算这个的上下极限时,怎么一步一步的计算? 比如计算上极限时,先取An的并,化简后再取交呢? 我发现An的并也好不容易计算出来
-
11最近开始学集合论。 也被真类 搞住了。 到底真类的定义是什么? 真类 自己是否属于自己呢? 真类到底是元素 还是集合? 元素和 集合 有区别吗? 怎么理解。 总之有点混乱了。
-
1求助各位8u,谁能讲讲古典描述集合论最初创立时具体的历史(包括法国分析三巨头以及后面的一些波兰和苏联学派数学家的工作)
-
5有交换律,结合律。 集合两次求补集,得到原集合:S=(S')'。 这个运算规则,叫啥名称?
-
3定理“对集合A,B,若存在A到B的单射且存在B到A的单射,则A,B等势”被称为Cantor-Bernstein-Schroder定理。定理名称中提到的三个人分别与此定理有什么关系?谁首先证明了此定理?
-
1
-
4
-
0
-
0能否以非平凡初等嵌入临界点的形式定义马洛基数、弱紧基数、可测基数?如果能,请给出严谨的形式化定义。 问这个主要是想以形象的方式感知rank to rank基数有多大。
-
10
-
01. A并B=R 2. A交B=空集 3. 对于所有a属于A、b属于B,满足a<b 4. 不存在k属于R使得所有a属于A满足a<k且对于所有b属于B满足b>=k 5. 不存在k属于R使得所有a属于A满足a<=k且对于所有b属于B满足b>k
-
0U0是否等于{x|真} 如果U0不是集合那么U0是一个类似于无穷大的概念吗,类似+∞大于所有实数但+∞不是实数,U0含有所有元素,包含所有集合但U0自己不是集合
-
3怎么卓里奇《数学分析》里边的公理化集合论与百度的不一样?都是策梅洛-弗兰克尔公理系统,怎么公理名和内容都不一样?
-
1
-
1谁教我一下
-
29
-
23不使用正则公理,对于集合A和B,能由AU{A}=BU{B}推出A=B吗?
-
0现在看数理逻辑涉及到好多集合论的理论。 有人又说看集合论要先看数理逻辑。。
-
2
-
5
-
0
-
50谁能帮我解释一下罗素悖论,我查了很多资料,越看越懵逼
-
7好蛋疼
-
2正在看自然数这里,请问:若n,m属于N, 求证:n属于m 当且仅当 n是m的真子集。 这应该如何证明
-
1如题,求bourbaki学派的《数学原本》,英文名是《Elements of Mathematics》的chapterⅡ“theory of sets”的电子版!
-
4求 复旦大学出版社的 《集合论:对无穷概念的探索》 答案,有偿收购。
-
0对于基数大于实数集的集合,良序化后,所有戴德金分割所成集的势是否等于原集合。 请问有大神能解答吗
-
1
-
0
-
1
-
1听说配对公理可以通过ZFC的其他公理进行证明?怎么证? 关于类 查了查,集合都是类,不是集合的类叫做真类 那么如何弄一个公理类论? 自己想了想,外延公理应该也适合类,很多集合论公理好像都可以移植到类论里面 那么如何区分集合与真类呢? 考虑概括公理∀a∃A(a∈V∧p(x)) 这里的V是所有集合构成的类,不过问题是没有事先的声明V是什么,这也是问题,不过可以考虑对于每个符号都按上∈V的要求或许就可以了,除了概括公理中的构造的新集
-
1不存在这样的集合,集合由所有函数构成。如何证明
-
1
-
4是否有前置要求?
-
1