R中非第一范畴子集的极小基数的一个新的组合刻划
A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category
摘要：
Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not \in M} is the smallest cardinality of a family S \subseteq {0,1}^ωwith the property that for each f: ω-> \bigcup_{n \in ω}{0,1}^n there exists a sequence {a_n}_{n \in ω} belonging to S such that for infinitely many i \in ωthe infinite sequence { a_{i+n} }_{n \in ω} extends the finite sequence f(i). We inform that S \subseteq {0,1}^ωis not of first category if and only if for each f: ω-> \bigcup_{n \in ω}{0,1}^n there exists a sequence {a_n}_{n \in ω} belonging to S such that for infinitely many i \in ωthe infinite sequence { a_{i+n} }_{n \in ω} extends the finite sequence f(i).
英文摘要：
Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^ωwith the property that for each f: ω-> \bigcup_{n \in ω}{0,1}^n there exists a sequence {a_n}_{n \in ω} belonging to S such that for infinitely many i \in ωthe infinite sequence {a_{i+n}}_{n \in ω} extends the finite sequence f(i). We inform that S \subseteq {0,1}^ωis not of first category if and only if for each f: ω-> \bigcup_{n \in ω}{0,1}^n there exists a sequence {a_n}_{n \in ω} belonging to S such that for infinitely many i \in ωthe infinite sequence {a_{i+n}}_{n \in ω} extends the finite sequence f(i).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
