File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed
Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -163,4 +163,4 @@ Fodor's引理(或下压引理)
163163[ ^ wujiebizijilvzi ] : 无界闭子集滤子$\mathscr C_ \kappa$是在$\kappa$上的一个滤子,$X\subset\kappa(X\in\mathscr C_ \kappa\leftrightarrow\exists C\subset X\wedge C是无界闭子集)$
164164[ ^ subtractive ] : 集合的减法$A-B$,即是集合$$ \{x\in A\mid x\notin B\} $$
165165[ ^ center ] : 对于序数集合$A$,$A'$表示$A$的极限点组成的集合,递归地还有$A''$、$A'''$等等, ~~ 并且本文中还用$A^{(\alpha)}$来表示取了“$\alpha$”次极限点之后的集合,严谨地:$A^{(\alpha+1)}=(A^{(\alpha)})'$,对于极限序数$\alpha$,定义$A^{(\alpha)}=\bigcup\limits_ {\beta<\alpha}A^{(\beta)}$~~ ** (我的习惯,但是本文尚未使用)**
166- [ ^ keshuzijilixiang ] : {% raw %}记可数子集理想为$I$,其收集了集合中所有可列的子集,也就是说$X\in I\leftrightarrow |X |\leq\omega${% endraw %}
166+ [ ^ keshuzijilixiang ] : {% raw %}记可数子集理想为$I$,其收集了集合中所有可列的子集,也就是说$X\in I\leftrightarrow \| X \ | \leq\omega${% endraw %}
You can’t perform that action at this time.
0 commit comments