このblogも、移転しますー。
大本のblogではannounceしましたが、ここに書いていたような数学のネタも、今後はこちらのblogに書くようにします。
今後もお見知りおきを〜:)
Fibonacci数列の一般項
とある飲み会で、Fibonacci(フィボナッチ)数列の話で盛り上がってしまって*1、ちょっと気になったので、高校数学の記憶を辿って一般項を求めてみました。
https://docs.google.com/open?id=0BwrOnhNQ1UO4YjIyOTg3NmYtYTk0My00NWM3LWI5YTItYmIxN2Y2YWEwYzRk
↑本当は、推敲すべきなんでしょうが、まー、エッセンスは書いてある、てことで許してくださいw
*1:どんな飲み会だw
F_p(p:素数)が、体であることの証明
本日、スタート代数という勉強会に参加しました。私からは、タイトルの通り(p:素数)が、体であることの証明をつけたいと思います。まずは、、、
整数の最大公約数をとすると、
をみたす整数が存在する
証明の細かい部分はここでは述べないですけれど、Euclidの互除法そのままですね*1
が素数のとき、が、体である
(proof)演算がwell-defined, 可換環であることは自明。
に対して、となるが存在することを示せばよい。
は素数だからは互いに素なので上記の命題よりとなる整数が存在する。*2
このとき(mod p)。すなわち、が成立するから、は可逆である。■
今日のセミナーでは、なかなか個性的なメンツが集まっていて久々こゆい理系話で盛り上がりました(大汗)
昨日は、夜な夜なアルゼンチンタンゴのミロンガ*3で浮ついた話ばかりしていたので、脳みそがシャキッとしましたw たまには(w)こういう日があってもいいかな、とも思うので、予定が合えば今後も参加してみたいですね〜♪
>参加したみなさま
実数、複素数、Hamiltonの四元数などを体系的に扱った代数は、Clifford代数と呼ばれます〜。他にもいろいろ話した気がしますが、懲りずにご説明しますので聞いて下さい:)
Zornの補題に関するノート
今日、スタート代数という勉強会に参加予定ですが、ちょっと予習+αの準備ということでノートしときます。
えー、タイトルの通り「Zornの補題」ですね。
選択公理(axiom of choice)や整列可能定理と同値な定理ですが、どういった定理なのか、必要最低限な言葉の準備です。
- 順序集合
- 集合に対し、順序がが定まっているとは、次の3つの公理が成立していることを言うに対して、、、
- (1)
- (2)
- (3)
- 集合に対し、順序がが定まっているとは、次の3つの公理が成立していることを言うに対して、、、
- 全順序集合
- 集合が全順序集合であるとは、
- (1) が順序集合である
- (2) 任意のに対して、もしくはのいずれかが成立する
- 集合が全順序集合であるとは、
- 上限
- 集合の中に上限がある、とは、
- (1) が順序集合である
- (2) が存在し、任意のに対して、である
- 集合の中に上限がある、とは、
このとき、が一意かどうかは分からんw
で、こやつらを総動員して「帰納的」な集合の定義。
でもって、準備の最後がコヤツ:
- 極大元
- 順序集合に対して、が極大元であるとは、かつとなるが存在しないこと
極大idealに関するノート
推論が正しいか分からないのですけれど、とある代数の本を読んでいて一カ所論理ステップが分からない部分があるため、ノートを書いておく〜。
環、その中のideal に対して極大ideal が存在して
の包含関係が成立する。
、、、成立するんかな。。。
集合論、無限、矛盾についての与太話の補足
友人うのっちと先ほどtwitter上でひょんなことからチャット状態にw
元のtwitterでのつぶやきをまとめたものはこちらから:無限、集合、矛盾についての与太話
次の3点に関して少し補足をば。
- 全単射(bijection)
2つの集合の「数を数える」ための道具でもある写像(map)が全単射てことの説明。
集合A, Bに対して、写像が定義されている時、全射(surjection)であるとは、
任意のに対して、となるが存在すること
を言います。一方、が単射(injection)であるとは、
のとき、であること
を言います。集合A, Bに対して「個数」の拡張「濃度」を#で表すとき、全射なら#A ≧#B、単射なら#A≦#Bが証明出来ます。両方が成立するときを全単射と言い、#A=#Bが証明出来ます。
- バナッハ・タルスキーの定理
選択公理というのを仮定すれば、次の命題が従います。
中身の詰まった半径1の3次元の球を有限分割し、それぞれを回転と平行移動だけで、半径を2に出来る
直感に反しますが、証明できちゃうんですね〜。
- 選択公理(axiom of choice)
正確な定式化は専門の本に任せますが、ざくっと言うと、
各袋に1つ以上のボールが入っているとする。このとき、各袋からボールが取り出されているとしてよい
という命題。「袋」が有限個の場合は自明なのですけれど、「袋の数」が無限の場合も成立するという立場が選択公理を採用するということ。
当たり前そうに見えるこの主張を仮定するだけで、先のバナッハ・タルスキーが従ってしまうんです。。。
「分かるけど、分かんない」ていうのはこういう話を言うんでしょうかw
同位体のお話
巷のニュースを読んで、(個人的に)忘れていたこともあったので、ノート。今日の目標は
を理解すること。
- 「原子」のモデルの復習
高校で習う化学(chemistry)の復習なんですけれど、原子ってのは、大雑把に
-
- 陽子(proton)
- 電子(electron)
- 中性子(neutron)
という3つで作られます。で、「陽子」と「中性子」たちがくっついて「原子核(nucleus)」を作り、その周りを電子がくるくる回っている感じ。*1取り敢えずは、太陽の周りを水星、金星、地球がたち回っているようなイメージ。*2で、それらの質量は、
陽子≒中性子≫電子
なので、「原子の質量」は、ほぼ陽子と中性子の数で決まります。この陽子と中性子の数を「(原子の)質量数」と呼びます。また、原子は「陽子の数」で決まります。
- ここでようやくウラン235
ってことで、ウラン235というのは、この「(原子核の)質量数が235」、つまり陽子と中性子を数えると235個ありますよ、という意味。
ところで、一般に原子は陽子の数で性質が大きく異なることが知られているため、陽子の数ごとに原子の名前がつけられています。
水素(H)の陽子数は1、ヘリウム(He)は2、、、など。原子記号で書くと
、
それらの質量数は、水素が1、ヘリウムが4だったりします。
水素とヘリウム「陽子数」と「質量数」に開きがありますね。実は質量数が2や3の水素も存在してて、順に「重水素」、「三重水素」と呼ばれます。ちょっと頭を使えば、
です。このように
- じゃ、ウラン238は?
ここまで説明すれば、おおかた想像が出来ているかと思いますが、
です。因みに、原子番号は92(つまり陽子数=92)です。
ここまでお読み頂ければ、Wikipediaの「ウラン」のページの冒頭の文章は理解出来ると思います。
天然に3種類の同位体が存在し、いずれも長い半減期(数億年〜数十億年)を持つ。地球上で最も多く存在するのはウラン238(存在比 99.275 %)であるが、原子力発電の燃料に使われるのはウラン235(同 0.72 %)である。ウラン235は、唯一天然に産出する核分裂核種として、原子力利用において極めて重要である。命名は、同時期に発見された天王星の名に由来する。
http://ja.wikipedia.org/wiki/%E3%82%A6%E3%83%A9%E3%83%B3
次回は、気が向いたら(?!)核分裂反応式の話を書いてみます。