翻訳と辞書 Words near each other ・ アロワナ目 ・ アロワナ科 ・ アロン ・ アロン (曖昧さ回避) ・ アロン (黒夢の曲) ・ アロンの杖 ・ アロンアルファ ・ アロンアルファー ・ アロンアルフア ・ アロンアルフアー ・ アロンシャイン木 ・ アロンソ ・ アロンソ (小惑星) ・ アロンソテギ ・ アロンソマニア ・ アロンソ・アルバレス・デ・ピネダ ・ アロンソ・エドワルド ・ アロンソ・エドワード ・ アロンソ・サンチェス・コエリョ ・ アロンソ・ベルゲテ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク アロンシャイン木 ： ミニ英和和英辞書 アロンシャイン木[あろんしゃいんき] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 木 ： [き] 　【名詞】 1. tree　2. wood　3. timber　 アロンシャイン木 ： ウィキペディア日本語版 アロンシャイン木[あろんしゃいんき] 集合論におけるアロンシャイン木（あろんしゃいんき、）とは、 非可算な木で非可算なレベルを持たず、非可算な枝も持たないもののことである。 例えば、ススリン木はアロンシャイン木である。一般化すると、基数κに対して、 κ-アロンシャイン木とは、高さκの木で全てのレベルのサイズがκ未満で、全ての枝の高さがκ未満の木のこと（すなわち、単にアロンシャイン木と言えば $\backslash aleph\_1$-アロンシャイン木のことである）。 1934年にこの木を構成したナフマン・アロンシャインの名に因む。 κ-アロンシャイン木が存在しない基数κはtree propertyを持っているという。 （κが正則でありかつ非可算であるという条件も含まれているとする場合もある。） ==κ-アロンシャイン木の存在性== ケーニヒの木に関する補題によると、$\backslash aleph\_0$-アロンシャイン木は存在しない。 ($\backslash aleph\_1$-)アロンシャイン木の存在性はアロンシャイン本人によって証明された。 $\backslash aleph\_2$-アロンシャイン木の存在は決定不能である。もっと正確に言うと、CHは$\backslash aleph\_2$-アロンシャイン木の存在を導く。一方CHを仮定しないとき、ミッチェルとシルヴァーは $\backslash aleph\_2$-アロンシャイン木が存在しないことは無矛盾であることを示している（この無矛盾性は弱コンパクト基数の存在性に関連する）。 イェンセンは構成可能性公理V＝Lが全ての後続型無限基数κがκ-ススリン木（すなわちκ-アロンシャイン木）を持つことを導くことを示した。 では(巨大基数公理を使って) 1以外の全ての有限の''n'' について$\backslash aleph\_n$-アロンシャイン木が存在しないことは無矛盾であることが示されている。 κが弱コンパクト基数ならκ-アロンシャイン木は存在しない。逆に、κが強到達不能基数でκ-アロンシャイン木が存在しないとき、κは弱コンパクト基数である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「アロンシャイン木」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.