JavaScriptのBoolean仕様にあきれつつ、線形代数も考えてみた。ユニタリ対応の圏は圏論的に作るとスマート。Span(UEmb)とCosp(URet)まではキレイに作れる。だが、Span(UEmb)とCosp(URet)を貼り合わせるところは、いまいちクリアになってない。ユニタリ対応を…

やっぱり、カウフマンブラケットはねじれ付き無向絡み目に対して定義するのが自然だな。ねじれ（ひねり）はねじれ乗数（twist factor）に表現される。輪っこもねじれもスカラー乗法になるのは不思議な気もするが、スプライシング（交差の解消）とヤンキング…

ボロミアン環（ボロミアンリング Borromean ring）については、http://en.wikipedia.org/wiki/Borromean_rings 。イタリアのボロミオ家（Borromeo family）の紋章だったんだそうだ。ボロミアン環は、ブルン性（Brunnian property）を持つ。ブルンはHermann B…

用語法がややこしいからまとめておく。 係数体 内積 ベクトル空間 内積保存変換 実数 ユークリッド内積 ユークリッド空間 直交変換 複素数 エルミート内積 ヒルベルト空間 ユニタリ変換 実数 ミンコフスキー内積 ミンコフスキー空間 ローレンツ変換 けっこう…