気付けばこのブログを始めて、二年が経ちました。しょーもないことばかりのブログですが、有難いことに見て下さっている方々もいるようなので、その期待に応えられるよう、これからも頑張って続けていきたいと思います。 思い返せば今年は色々と反省すること…

計算して感覚を戻す。 リー代数というのはサイズの正方行列全体の部分線型空間であって、交換子積で閉じている集合のこと。例えばもちろん自体は次元のリー代数であり、一般線型リー代数という。他にも などがある。それぞれ特殊線型リー代数、直交リー代数…

恥ずかしながら前回の内容にミスが結構あったので、その修正をば。最近数学に手が付けられてない状況なんですがね…。 まずはでなくても同値関係になります。は次に述べる反傾（contragredient、この単語、この用法しか無い気がするのは気のせいか）を定義す…

行列の基本的な事柄について見直し中。今回は双対変換と双一次形式、その行列表示に関する三位一体のお話。 -線型写像 体の拡大及び-同型について考える。-ベクトル空間について、が-線型であるとは、が加法的かつを満たすことをいう。 例えばのときは普通の…

だんだん日が短くなってきて、あぁ今年ももう終わりかと思うようになりました。夕日をぼんやり眺めていると、ふと「行列式ってなんだろう？」という疑問が湧いてきたのです。もちろん定義は頭に入っています。色んなやり方があり、様々な性質を示すことだっ…

以前「余代数のグラフ表現について」という記事を書いた。 arxiv.hatenablog.com 最後の方に述べた注意で、例4に挙げたdivided power coalgebraはグラフ余代数（またはその剰余）として表すことが出来ない（知られていない）が、適切な重みを付けてやれば良…

MathPowerの会場がスパイラルホール(東京・青山)に変更されたらしいです。 www.spiral.co.jp こんな直近で変えられるものなのか（驚愕）参加者が増えたのだと思いましょう。 あと正多角形の作図は作図ソフトgeogebraを用いて行われるそうです。賢明な判断だ…

前回（1章と2章の前半まで）は以下の記事。 arxiv.hatenablog.com 今回は2章の残りと3章まで読んだ。時間が掛かった割りには進捗がよろしくない模様。 第II章 モデル理論と証明論（後半） 完全性定理の証明は地味で面倒だったが、この定理は然るべき定義をす…

キューネンの本を読む時間が増えてしまい（あとゲームのイベントとか）、ブログの更新が暫く滞ってしまっています。なんとかしなくては……。 数学の祭典、MATH POWER、今年はやらないのかなーと思ってたら普通に10月7日にやるみたいです。今年の耐久企画は正6…

クリストファー・ノーラン監督兼脚本による、第二次世界大戦のダイナモ作戦（ダンケルク撤退戦）を描いた作品「ダンケルク」を見てきた。迫力ある音響と、緊張感が常に張りつめているような演出で、あっという間の2時間だった。述べたいことは沢山ある一方で…

本棚の肥やし崩し企画第二弾 一年以上前に買って放置してたので、ちゃんと読んでしまおうというお話。 基礎論が気になり眠れない件 『キューネン 数学基礎論講義』 - arXiv探訪 ↑では、ざっと読んだとか書いたけど嘘。今回は丁寧に一行ずつ読み砕くことを目…

用語とかもう少し整理した方が良いのかもしれない。以下はその変更案。 項イデアルは単項式イデアルと呼ぶことにする。 生成の記号は、全体空間がほぼ自明なのでで書く。 のによる割り算アルゴリズムの余り（remainder）をのによる簡約（reduction）と呼ぶ。…

面白そうな話題。研究テーマにどうぞ。 Klebanoffの論文は見つけたけど文字化けしてて判読が難しそう。 あと動画中で紹介されてた動画も。

今回はグレブナー基底がどういった性質を持つかについて学ぶ。与えられた生成系がグレブナー基底となるかどうかの判定法、そして与えられた生成系からグレブナー基底を得るためのアルゴリズムについては次回行う。 グレブナー基底による割り算 前節で例に挙…

こういうの好き。とりあえずメモ。

少し話題を変えて多項式環の計算理論をやっておく。PDFにするときは別の章にするかもしれない。 項順序と割り算アルゴリズム 以前、一変数多項式環の整除について学んだ。これと同じことを多変数の多項式についても考えたいのだが、一変数の場合と異なり多項…

最近グラフ理論を触り始めて、Wikipediaのギャラリーを見たりして楽しんでいる。理論の方は定義や用語は多い一方で、纏まりがある分野ではない印象を受けた。個々のグラフ、つまり数学的な背景があって、そこから導出された対象に限定して議論することが普通…

読みました。本書は著者が「はじめに」で述べているように、記述に重きを置いたモデル理論の本。より厳密には一階述語論理の入門書。 論理式の定義から丁寧に説明があり、具体例も多いので良い意味で訓練になる。そこから定義可能性という楽しい話題にも触れ…

なんか最近絵を描くことに嵌って、ひたすらリンゴをモチーフに塗り塗りしてる。 概ね想像で描いてるけど、左から右に少しずつ上手くなってる気がするようなそうでもないような。

mathtod.online マストドンは中央集権型のツイッターとは異なり、各地にあるサーバーが個々に機能を提供するSNSらしい。ニコ動も提供してるけど数式が書けるということで、mathtod.onlineなるインスタンスに登録してみた。よかったらフォローしてね。 ブログ…

最近やってるゲームのイベ消化に勤しんでたら投稿がおろそかになってしまった。お船のゲームです。といってもリアルな方（WoWs）ですが、かれこれ2年近く遊んでます。一試合が長いのと様々なツリーに手を付けていることもあり、未だに最高Tierが9という。で…

Bezier曲線とはルノー（Renault）社のPierre Bezier及びシトロエン（Citroen）社のPaul de Casteliauにより独立に得られた曲線である。少ない制御点で高い表現力を持つため、主にCAGD（Computer Aided Geometric Design）で用いられる。Bezier曲線は線分の内…

今更、というか今になって初めて「不思議の国のアリス」を読んだ。アリスや彼女が冒険する不条理な世界については、幾度となく様々な作品のモチーフにされてきたから知ってはいたが、まともに全文を読んだことは無かった。著者のキャロルは数学とも関わりが…

DropboxからDLできます。 www.dropbox.com

目次 少し例を見て、ホモロジーの計算に触れておこう。現時点で扱える例は少ない。今から述べる抽象単体的複体や群コホモロジー等だろうか。とは言え一般に定義されるチェインも大体似たような感じなので、雰囲気は掴むことができると思う。幾何との関わりを…

目次 自由加群と射影的加群 函手を完全にする加群を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列が完全列を誘導することを意味する。つまりが全射のとき、任意のに対してとなるが存在する。このようなを一般にのによる持ち上げ（lifti…

目次 前回括弧付きで（コ）と書いたのに、本文では一言も触れてないという（笑）後で適当に加えておこう。 函手 二つの圏を対応付けるものとして函手を導入する。 定義 を圏とする。の対象に対しの対象が定まり、またの射に対しの射が定まるとする。恒等射に…

目次 アーベル圏における蛇の補題の証明は長くなりそうなので、別の場所に写すことにした。 （コ）ホモロジーの長完全系列 先に示した蛇の補題がどのような場面で使われるのかを見ながら、これから我々が考えていく対象について確認しておこう。 環に対し、-…

目次 アーベル圏に対する議論は自明に思えることでもきちんと示していく必要がある。 加群の場合 加群の完全系列に対して、良く知られている補題が幾つかある。今後の議論を冗長にしないためにも、ここで示しておこう。 補題 （5項補題（five lemma）） 加群…

Math.NETとは行列計算とかできるライブラリらしい。ゲームエンジンであるUnity上で使う用途はあまりないかもしれないが、Win8.1環境で導入できたので手順を以下にメモしとく。 まずNuGetのページでnupackファイルをダウンロードする。 Unityは.NETFramework…