|贴子

2024-06-26
任意线序同构的集合是有限集吗？数学吧
设集合P上任意线序同构于某个线序，求证P有限？
2024-03-19
求证偏序集的每个非空子集有极小元数学吧
假设：偏序集P的每个全序子集的每个非空子集有最小元 求证：P的每个非空子集有极小元？
2024-03-07
关于反链的一个问题数学吧
偏序集P里满足任意两个不同元素不可比的子集称为一个反链。 假设P的每个全序子集有上...
2023-07-07
求关于偏序集上下界等式的简便证明？数学吧
偏序集中的子集X的上界（resp.下界）的集合记为X+（resp.X-） 想问一下等式(∪_{x∈X}({...
2023-05-25
如何证明边缘无处稠密当且仅当是开集和无处稠密集的...数学吧
集合A的边缘Bd(A)定义为A^{-}∩A^{c-}，其中A^{-}表示A的闭包A^{c}表示A的补集。
2023-05-07
求证一个关于等势的定理数学吧
若A∩B = ∅且A与B等势（即A~B），则称A与B等势不交。 若A与B等势不交且C与D等势不交且A...
2023-05-02
问下这个是典范双射吗？数学吧
\prod_{i \in J}({i}×A_i)→\prod_{i \in J}A_i
2022-07-29
函子范畴中极限可pointwise计算有什么优雅简洁的证...数学吧
2021-06-16
可以不使用hom-sets定义商范畴吗?数学吧
如果用hom-sets定义hom_{C/~}(x,y)=hom_{C}(x,y)/~_{x,y}即可,请问一下不用hom-sets而...
2017-03-13
一一映射证明的一点疑问数学吧
设A={(m，n）|m，n∈N+且m≤n} 映射f：A→N+定义为 f（m，n）=m+n（n-1）/2 求证：f是一...
2017-02-10
求助证明数学吧
设y=f（x）是定义在给定区间上的初等函数 二阶导f”（x）＞0，f’（x0）=0 已知x1≠x2，f...
2017-01-28
求助不等式证明的各种方法数学吧
若f（x）三阶连续导数非负,求证f'((x1+x2)/2)≤Δf（x）/Δx≤(f'(x1)+f'(x2))/2
2017-01-12
求助和式证明(⊙_⊙)?数学吧
求证： 1°（k=1，n）∑cot²（kπ/（2n+1））=n（2n-1）/3 2°（k=0，n）∑C(2k，n）C（2n-...