翻訳と辞書 Words near each other ・ ジェネラル・レイルウェイ・シグナル ・ ジェネラル・レクション ・ ジェネラル・レールウェイ・シグナル ・ ジェネラーリ・レディース・リンツ ・ ジェネラーリ女子 ・ ジェネリクス ・ ジェネリック ・ ジェネリック (オートバイ) ・ ジェネリックコード ・ ジェネリックトップレベルドメイン ・ ジェネリックフィルター ・ ジェネリックプログラミング ・ ジェネリックプロダクト ・ ジェネリック・ブランド ・ ジェネリック医薬品 ・ ジェネリック型 ・ ジェネリック家電 ・ ジェネリック家電製品 ・ ジェネリック家電製品大賞 ・ ジェネレイターガウル Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ジェネリックフィルター ： ミニ英和和英辞書 ジェネリックフィルター[ちょうおん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ フィル ： [ふぃる] 　【名詞】 1. fill　2. (n) fill ・ フィルタ ： [ふぃるた] 　(n) filter, (n) filter ・ ー ： [ちょうおん] 　(n) long vowel mark (usually only used in katakana) ジェネリックフィルター ： ウィキペディア日本語版 ジェネリックフィルター[ちょうおん] 数学の集合論における、ジェネリックフィルター とは、強制法の理論で使われる対象の一種で、 そのテクニックはいろんな目的に使われるが、特に、何かしらの命題の ZFCのような形式的な理論からの独立性を示すのに使われる。 例えば、ポール・コーエンはZFCが無矛盾であれば 連続体仮説(実数全体の集合の濃度が $\backslash aleph\_1$ である) を証明することができないということを示すのに使った。 コーエンの証明は、$\backslash aleph\_1$ の値を変えることなしに、 $\backslash aleph\_1$ より多くの実数を生成する ジェネリックフィルターを構成することによって為された。 形式的には、''P'' を半順序として、''F'' を ''P'' 上のフィルターとする。 すなわち、''F'' は ''P'' の部分集合で、 #''F'' は空でない #''p'',''q''∈''P'' で、 ''p''≤''q'' で、 ''p'' が ''F'' の要素なら、''q'' も''F'' の要素(''F'' は''上に閉じている'') #''p'' と ''q'' が ''F''の要素なら、''F''の要素''r''で、''r''≤''p'' かつ ''r''≤''q'' となるものが存在する。(''F'' の任意の二要素は''両立'' する。) を満たす。 ''D'' を ''P'' の稠密部分集合の族とする。 フィルター''F'' が ''D''-ジェネリック であるとは、''F'' が ''D''の要素の全てと交わりを持つこと、 すなわち、 :$F\backslash cap\; E\; \backslash ne\; \backslash varnothing,\backslash ,$ for all E ∈ D となることである。 同様に、''M'' がZFCの推移モデル(または、十分なフラグメント)で、 ''P'' が ''M'' の要素であるとき、''F'' が ''M''上ジェネリックであるとは、 ''D'' を ''P'' の稠密開部分集合とすると、 :$F\backslash cap\; D\; \backslash ne\; \backslash varnothing,\backslash ,$ for all D ∈ M となることである。'D''-ジェネリック であるとは、''F'' が ''D''の要素の全てと交わりを持つこと、 すなわち、 :$F\backslash cap\; E\; \backslash ne\; \backslash varnothing,\backslash ,$ for all E ∈ D となることである。 同様に、''M'' がZFCの推移モデル(または、十分なフラグメント)で、 ''P'' が ''M'' の要素であるとき、''F'' が ''M''上ジェネリックであるとは、 ''D'' を ''P'' の稠密開部分集合とすると、 :$F\backslash cap\; D\; \backslash ne\; \backslash varnothing,\backslash ,$ for all D ∈ M となることである。 ''M''上ジェネリックであるとは、 ''D'' を ''P'' の稠密開部分集合とすると、 :$F\backslash cap\; D\; \backslash ne\; \backslash varnothing,\backslash ,$ for all D ∈ M となることである。 == 参考 == * K. Ciesielski, ''Set Theory for the Working Mathematician'', London Mathematical Society 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ジェネリックフィルター」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.