極大イデアルの存在とせんたくん

選択公理ちゃんマジ公理
19
鏡 弘道 @kagami_hr

線型空間の基底の存在 (良く分からないけどそんなもんかな) 極大イデアルの存在 (うーん。まあいいや) 超フィルターの存在 (今までと同じパターンではないか!) チコノフの定理 (すごい) こんな経緯で Zorn の補題が身についたかもです。

2011-10-04 17:31:10
@tenapi

@kagami_hr チコノフをツォルンということは、超フィルターですね? (傍目には意味不明な会話だなあ)

2011-10-04 17:32:30
鏡 弘道 @kagami_hr

あ。そうです。 RT @tenapi: @kagami_hr チコノフをツォルンということは、超フィルターですね? (傍目には意味不明な会話だなあ)

2011-10-04 17:33:59
@tenapi

選択公理のゆるキャラ「せんたくん」でも作りますか? 洗濯ロープに靴下をぶらさげているデザインとかで。

2011-10-04 17:34:57
@tenapi

「はたらきものの せんたくんは きょうも おおいそがし。くつしたを あらってほしたり おともだちにきちんとならんでもらったり」

2011-10-04 17:37:28
鏡 弘道 @kagami_hr

「せんたくん」いいなあ。

2011-10-04 17:36:15
岡本暁広@無限遠点の比較的近傍〄 @henkma

どのロープにどの靴下をぶらさげるか決定できるんだろうか?循環論法? QT @tenapi: 選択公理のゆるキャラ「せんたくん」でも作りますか? 洗濯ロープに靴下をぶらさげているデザインとかで。

2011-10-04 17:37:19
エヴィン・ラティエ @evinlatie

「せんたくん」の絵を誰が書いてくれ(他力本願

2011-10-04 17:42:29
むらとり @muratori_d

選択公理のゆるふわ系微ツンデレ恥ずかしがり萌えキャラなら、見たい!!

2011-10-04 17:48:47
鏡 弘道 @kagami_hr

選択公理ガールの要望が強いです (@hyuki さん)

2011-10-04 17:49:39
鏡 弘道 @kagami_hr

白い靴下が萌え要素♡ RT @kagami_hr: 選択公理ガールの要望が強いです (@hyuki さん)

2011-10-04 17:50:42
@tenapi

ワンポイント入れると萌え要素は増すけど、せんたくんの出番がなくなりますね。 RT: 白い靴下が萌え要素♡ RT @kagami_hr: 選択公理ガールの要望が強いです (@hyuki さん)

2011-10-04 17:55:38
青い楕円形のぜろ @0_uda

選択公理ガールどこー? @@;

2011-10-04 17:50:25
エヴィン・ラティエ @evinlatie

選択公理ガールか・・・いいんじゃないでしょうか|д゚)チラッ

2011-10-04 17:52:47
しんじけ @shinjike

案の定、せんたくん→選択公理ガールの流れへ。せんたくん、さようなら。

2011-10-04 17:56:41
@tenapi

( ¡ × ¡ ) RT @shinjike: 案の定、せんたくん→選択公理ガールの流れへ。せんたくん、さようなら。

2011-10-04 18:02:19
しんじけ @shinjike

やばい、泣いておられる。だ、誰かっ、早く「せんたくん」のデザインを!!!絵師降臨の舞

2011-10-04 18:06:38
しぜんたいすう @maniwatch

え?「せんたくん」はオワコン?

2011-10-04 18:34:53
わいてぃーぼっと @yt_bot

Safariなんて無かったこと萌え要素♡選択公理ガールの返事

2011-10-04 18:01:48
鏡 弘道 @kagami_hr

当然せんたくんが主人公で選択公理ガールと一緒に数学萌えするのです。

2011-10-04 18:03:42
@tenapi

うーんそれにしても、どうしても「鹿の角を生やしたお坊さんが洗濯物を干している」イメージしかうかばない。

2011-10-04 18:04:26
エヴィン・ラティエ @evinlatie

【募集】 選択公理のイメージキャラクター「せんたくん」の絵(アイデア元 : 殿下さん @tenapi

2011-10-04 18:14:34
エヴィン・ラティエ @evinlatie

これで誰か描いてくれるっしょ

2011-10-04 18:15:45
V-alg-d(ZZ) @alg_d

せんたくんは誰か描いてくれたら是非AxiomderAuswahlに採用したいのですが。

2011-10-04 20:47:37