決定公理
在數學上,決定公理(Axiom of determinacy,常記做AD)是一個在1962年由和所提出的可能的集合論公理,這公理探討的是特定類型且長度為ω的二人,而決定公理聲稱,任何這類的遊戲都是,也就是這兩個玩家中其中一人有必勝策略。 他們發展出決定公理的動機是這公理的有趣結果,他們並指出這公理可在集合論的最小自然模型中成立,這模型只接受較弱版本的選擇公理,但包括了所有的實數和序數。決定公理的一些結果,可由早前由斯特凡·巴拿赫、以及莫…
共 2 篇文章
在數學上,決定公理(Axiom of determinacy,常記做AD)是一個在1962年由和所提出的可能的集合論公理,這公理探討的是特定類型且長度為ω的二人,而決定公理聲稱,任何這類的遊戲都是,也就是這兩個玩家中其中一人有必勝策略。 他們發展出決定公理的動機是這公理的有趣結果,他們並指出這公理可在集合論的最小自然模型中成立,這模型只接受較弱版本的選擇公理,但包括了所有的實數和序數。決定公理的一些結果,可由早前由斯特凡·巴拿赫、以及莫…
若一個拓樸空間X的子集合A有貝爾性質,或是一個幾乎開集,就表示這集合與開集之間的差為一個;換句話說,若存在一個開集合U\subseteq X使得A \bigtriangleup U為貧乏集(此處的\bigtriangleup為對稱差),那麼就說A有貝爾性質。 定義 若一個拓樸空間X的子集合A是一個有貝爾性質的幾乎開集,那就表示存在一個U\subseteq X使得A \bigtriangleup U為貧乏集,此處的\bigtriangle…