■

最近実例のテンションの上がらなさがヤバい

2012-11-09

■

ブログ変えた http://ggggbbbbrrrr.hatenadiary.com/ これからこっちに書き続ける。MathJax使えるのが良さそう。

2012-11-03

■

多分これ自体は嘘だけど、あたりをいじくれば上手くいく気がします。

2012-11-03

memo

：1を持つ整域．：の商体．について，を自然な単射として，となるようなが一意に存在する．この写像をとすると，これは群準同型．このとき任意のの部分群について，だろうか？但し一般のの部分群について，とする．これはの部分環．

2012-10-31

■

epsをGrapherで作成したので、早速TeXに貼付けようと思ったら失敗。若干うろ覚えですが、こんな感じのエラーだった。 [1sh: gs: command not found * WARNING ** Filtering file via command -->gs -q -dNOPAUSE -dBATCH -sPAPERSIZE=a0 -sDEVICE=pdfwrite …

2012-10-13

Grapher

初歩的な代数幾何を勉強するのに、Grapherが大変に便利。アプリケーション自体はOS9くらいの頃からあった気がする。使ったのが小学生以来で凄く懐かしかったのですが、こんなに便利なアプリケーションだとは知らなかった。ただ、詳しい使い方が日本語で書い…

2012-10-13

■

MASTER CUTS ILL SKILLSアーティスト: IMAZATO(S.F.P)&DJ HIKARU(BLAST HEAD)出版社/メーカー: loosejoints発売日: 2006/07/26メディア: CD クリック: 2回この商品を含むブログを見る久しぶりに聞いたら最高だった

2012-10-13

■

次数付き環の定義が、本によって、部分加群の直和として表せるか、加法に関しての部分群の直和として表せるかで異なっていて混乱している。後者の方がなんとなく良いとは思う。

2012-10-09

■

数学やってる人のブログで、学部3年の頃のやつとか読んでると「あ、マズい」って思う事しか無い。

2012-10-05

■

こいつにとっては一つの理論も宴会芸も変わんないんだなあと思うと、いろんな事(宴会自体あるのかとか)を思いだして空しくなった

2012-09-27

■

幾何の輪講では、証明をがつがつ書くより、どうやってその証明を書いたのかを説明するべきだなと思った

2012-09-25

2012/09/29

別にヤコビアンが全域で負なのはSO(n)の元だからじゃなくて、定義域が連結でヤコビアンが必ず0でないのでっていう事から示せるな

2012-09-25

■

S^nが向きづけ可能である事の簡単な証明で、北極と南極からのR^nへの射影を考えるアトラスをとってきて、その座標変換のヤコビアンが全域で負だから・・・というのがあるけど、何で負になるのかわからなかった。しかしよく見てみるとこのヤコビアンはSO(n)の…

2012-09-25

■

よく考えたら自明だった

2012-09-25

■

ゼミの質問で「偶数次元の実射影空間が向きづけ不可能である事を示せ」という質問が出てきたんだが、それにここ3日悩んでいる。ゼミに使っている本はバンドル等に関してあまり触れていないから、できれば初歩的なやり方で示したいんだけど、上手く行かない。…

2012-09-23

■

最近自分がやたら前向きな思考をしている事に気付いて、何がどうしたんだろうと思ったけど、たんに過去が酷すぎてそれに向かい合う事がつらいので全て放置しているだけだった。

2012-09-18

9/27追記

解決した

2012-09-18

memo

U ⊂ R^nを開集合とする． f:U → R^mが，x ∈ Uで微分可能なら，その微分写像df_x:R^n → R^mが構成できて，それは線形写像．つまり，fがU全域で微分可能ならば， f':U ∋ x → {df}_x ∈ Hom(R^n,R^m) という写像が構成できる．自然な基底についてHom(R^n,R^m)とM…