2026年抽象能力测试题及答案

2026年抽象能力测试题及答案

一、单项选择题，20分1.在抽象代数中，若群G的阶为素数p，则G必为A.循环群B.交换群C.非交换群D.无单位元群2.拓扑空间X的连通性在下列哪类映射下一定保持A.开映射B.闭映射C.连续满射D.同胚3.范畴论中，始对象与终对象若皆存在，则二者A.同构B.相等C.互斥D.无关系4.若函数f:ℝ→ℝ满足∀x,y∈ℝ,f(x+y)=f(x)+f(y)且f不连续，则f的图像在ℝ²中A.稠密B.闭离散C.可数D.有界5.在格论中，分配格与模格的关系是A.分配格必为模格B.模格必为分配格C.互不包含D.等价6.设V为域𝔽上向量空间，dimV=∞，则V与其双对偶V的维数关系为A.相等B.dimV>dimVC.dimV<dimVD.不可比较7.在模型论里，理论T若满足∀M,N⊨T,M≡N⇒M≅N，则T称为A.完全理论B.范畴理论C.稳定理论D.简单理论8.图论中，若图G的色数为ω，则其补图Ḡ的团数至少为A.ωB.|V|−ωC.ω+1D.19.在λ演算里，项(λx.xx)(λx.xx)的归约性质是A.强归约B.弱归约C.不终止D.常归约10.若集合A的幂集P(A)与A本身存在单射f:A→P(A)但无双射，则依据A.Cantor定理B.Schröder–Bernstein定理C.Zorn引理D.选择公理二、填空题，20分11.若环R中任意元x满足x²=x，则R称为________环。12.设X为紧致Hausdorff空间，则X的可数稠子集存在当且仅当X的________权不超过连续统。13.在同调代数中，函子F为左正合当且仅当对任意短正合列0→A→B→C→0，序列0→F(A)→F(B)→F(C)保持________性。14.范畴C中，若箭头f:A→B有截面，则f必为________态射。15.图G的邻接矩阵特征值全为整数，则G称为________图。16.若理论T的每个模型皆存在强极小公式，则T的________秩为1。17.在格点量化里，n维整数格ℤⁿ的对偶格为________。18.设f:ℝ→ℝ为Borel可测，则f的图像在ℝ²中为________集。19.若拓扑空间的基本群为平凡群，则该空间称为________空间。20.在λ演算中，Church数2对应的项为________。三、判断题，20分21.任意有限域的乘法群必循环。22.存在非交换的有限群其所有真子群皆交换。23.若范畴C有零对象，则C中任意两对象间的Hom集非空。24.拓扑空间的第二可数性蕴含第一可数性。25.向量空间的基与对偶基总是一一对应。26.图G的色数等于其最大度加1。27.在ZFC中，选择公理可推出Zorn引理。28.若环R无零因子，则R必为整环。29.任意度量空间的闭子集皆为Gδ集。30.模型论中，强极小结构必为范畴于任意不可数基数。四、简答题，20分31.叙述并证明Cantor–Bernstein–Schroeder定理的集合论版本。32.给出紧致性的滤子刻画，并说明其与选择公理的等价段落。33.解释何为“同伦提升性质”，并举一例说明其在覆盖空间理论中的作用。34.定义λ演算中的β-归约并说明Church–Rosser定理的意义。五、讨论题，20分35.讨论在ZF+¬AC下，向量空间是否必然拥有基，并联系Hamel基的存在性。36.比较一阶逻辑与二阶逻辑在刻画自然数结构上的表达能力，并说明范畴性差异。37.探讨非标准分析中无穷小量的存在对经典极限概念的补充与冲突。38.分析拓扑斯理论如何为连续统假设提供独立性的几何直观。答案与解析单选：1A2D3A4A5A6B7B8A9C10A填空：11布尔12拓扑13左正合14分裂上15整16Morley17ℤⁿ18Borel19单连通20λf.λx.f(fx)判断：21T22T23T24T25F26F27T28F29T30T31.若存在单射f:A→B与g:B→A，则存在双射h:A→B。证明：将A分解为A₀=A\g(B)与Aₙ₊₁=g(f(Aₙ))，类似定义Bₙ，令h在∪Aₙ为f，其余为g⁻¹，即得双射。32.空间X紧致当且仅当每个超滤子在X上收敛；此命题与选择公理等价，因需用超滤子定理。33.同伦提升性质指对覆盖映射p:E→B，若同伦F:Y×I→B满足F(y,0)=p(e)，则存在唯一提升F̃:Y×I→E使p∘F̃=F且F̃(y,0)=e；例：圆周到自身的n重覆盖。34.β-归约为(λx.M)N→M[x:=N]；Church–Rosser定理断言若M⇢N且M⇢P，则存在Q使N⇢Q且P⇢Q，保证归约的一致性。35.在ZF+¬AC下，存在无基向量空间；Hamel基的存在等价于选择公理，故可构造无Hamel基的空间，显示代数性质对集合论假设的依赖。36.一阶逻辑无法范畴性刻画ℕ，因存在非标准模型；二阶逻辑用全称二阶量词可唯一确定ℕ，却牺牲完备性，显示表达力与可计算性的权衡。37.无穷小量提供直观“无限接近”概念，使导数成为商，简化