Entries from 2009-05-08 to 1 day
ultraproduct がいつまで経っても理解できた気にならないのですが、どうもその原因はよく見かける定義が無駄に具体的であるせいではないかと思い、抽象的な特徴づけを考えました。結果自体はたぶん既知でしょう。*1F を集合 I 上の ultrafilter とし、 を集…
ultraproduct がいつまで経っても理解できた気にならないのですが、どうもその原因はよく見かける定義が無駄に具体的であるせいではないかと思い、抽象的な特徴づけを考えました。結果自体はたぶん既知でしょう。*1F を集合 I 上の ultrafilter とし、 を集…