第3回関西すうがく徒のつどい1日目 #kansaimath
自分の発表内容に矛盾点(あまり害はなさそうだが)が見つかったので訂正しておきます。集合イデアルの説明で、考察対象の空間はイデアルの元にならないと定義しておりました。それ自身は特に問題無いのですがその後の"対象空間のmeager set全体はイデアルをなす"が言葉足らずになります。
2013-03-16 22:19:47日常会話レベルってのは地域性とか年代によって「ネタ」として仕込んでる知識がそもそも大事なのと、それをスムーズに表現できる言語力が伴ってないと無理だから、職種によってはビジネスレベルより全然上。
2013-03-16 22:21:13線形写像のnullってのはkernelのことなのかー メモ:零空間 - Wikipedia http://t.co/4ukl3T8Bux
2013-03-16 22:25:19meagerの概念自体は"どんな"位相空間でも定義できます。可算集合に位相を入れてmeagerの定義を当てはめると、全体空間もmeagerになる場合があります。例えば、空間を自然数全体の集合とし、各自然数nに対して「n以上の自然数の集合」を開集合とする位相を入れた場合とか。
2013-03-16 22:26:08@tenapi はい、京都は割と頻繁に(というか来週も)行くので、いずれ京都で会う時があればその時にでも。関西すうがく徒のつどい、盛り上がってて楽しそうですね。
2013-03-16 22:28:45@tri_iro @tenapi ぜひ日程が会うことがあればぜひいつか #kansaimath に来ていただければ幸いです(^^) とは申し上げましても、しょせんは学生の集まりなので、プロの研究者の方に来ていただいてもお出しできるものがないのが誠に申し訳ないのですが...。
2013-03-16 22:30:21このとき、各自然数nに対して、「n未満の自然数の集合」は内点の無い閉集合ですので、それらの可算和で自然数全体の集合が作れてしまいます。
2013-03-16 22:31:55"Algebra reverses the relative importance of the factors in ordinary language."--by Alfred North Whitehead
2013-03-16 22:33:06meager set全体をイデアルにするなら考察する対象の空間はベール空間にしておけば安全です。もしくはイデアルの定義をいじるとかでそういうところは解消できるでしょう。
2013-03-16 22:33:40懇親会後の小泉さんとの会話を思い出しているけど、小泉さんがalg_dからお叱りを受けた話を思い出して笑っている #kansaimath
2013-03-16 22:34:45