feature image

2018年12月15日 | ブログ記事

○△□

こんにちはphi16です。これはtraP AdventCalendar 12月15日の記事です。geometric shapes for higher structures の話をします。

-次元物体

-次元好きですよね。-次元の物体で最も単純なものは何でしょう。もちろん答えはありません、単純の定義が無いからです。
そんな中よく使われる「単純な-次元物体」があるので紹介します。○と△と□です。

これは2次元図形だと思うかもしれません。それは正しいです。ただこれらは自然に-次元に拡張できるという意味で扱いやすいのです。それぞれ簡単に見てみます。

4次元に向かう方向も気軽に考えられますね。ところでこれらは何処に棲んでいるのでしょう

物体は空間に棲まなければ存在しえませんが、空間に棲んでしまうと純粋な構造ではなくなります。これらの単純な-次元物体を使って他の空間を調べようとするとき、この棲んでいる空間についても考えなくてはならなくなります。それは嬉しくありません。

だから、これらの物体を空間に依存せずに、即ち幾何的ではなく代数的に定義したいのです。
というわけでそれを紹介します。

○ : globe

○の成す世界[1]を、次で定義します。-次元○のことを と表記します。

これは「-次元○から次元○を取り出す方法が2つ存在し」「その2つから更に取り出した端点は同一である」という条件です。図を見れば成り立つことがわかるし、これを満たすなら図のように描けることもわかります。

これは完全に構造的定義で、棲む空間の情報とかが一切含まれていません。だから気軽に使えて嬉しいのです。

△ : simplex

△の成す世界は次で定義されます。ここでも-次元△のことを を表記します。

尚この は○についてのものとは関係ありません。すごいごちゃごちゃしていますがやりたいことは単純で、「次元△から頂点を1つ削ると次元△ができる、その方法は頂点数だけある」「次元△の既存の頂点位置に新たな頂点を加えたことにすると潰れた次元△ができる、この方法も頂点個だけある」です。
この定義では頂点の集まりをと見做していて、そうするとこれらの操作の間には秩序があります。例えば「複数頂点削るときはその操作順序は本質的に無関係」です。これを丁寧に記述したのが並んでいる等式で、それぞれ次の意味です。

だからやっていることは「列を削ったり増やす方法がまともであること」を言いたいだけです。そしてこれは△を特徴づけるものになるわけです。

○と違って△の便利なところは気軽に貼り合わせられるところでしょうか。具体的な空間について考えるときは、simplex化して空間構造を計算することが多いようです。ぐにょぐにょした空間も△で近似できますし、そういうことができる図形で最も単純 (無駄が無いという意味で) なのは△でしょう。

□ : cube

□の成す世界も同様にあるのですが、ちょっと複雑みたいです。

まず、「線分」の成す世界を考えます。これは0次元と1次元の□の成す世界です。

1次元の□は線分なので、「線分には端点が2つ存在し」「同一点を結ぶ潰れた線分を考えることができ」「潰れた線分の2つの端点は同一」という意味になります。そのとおりですね。

そして、□全体の成す世界は「線分の成す世界を有限個くっつけたもの」で定義されます。くっつける、というのは情報を共存させるという意味で、 があるとき、1次元と1次元分の情報があるので全体で2次元分の情報、即ち を考えることができる、みたいな感じです。

□は見た目通り、直積によってできる存在なのでそれが反映された定義であると言えます。特に-次元□と-次元□を気軽に合成して-次元□にできます。△でも頂点列を合成することで似たようなことは出来そうですが、□では次元がきっちり分かれてるのが嬉しいのかもしれません。

なんでこんな話を書いたのか

この辺の話は空間周りで出てくるんですが定義が難しくないですか??? 実はこの記事は「一般的な方」とは逆向きに書いてあって、多分語で調べて出てくる射の向きはすべて逆だと思います。もちろん理由としては (presheafになるから) 扱いやすいからなわけですが、そういう気持ちを一度抜いてとりあえず定義するだけ定義したいと思ったのです。つまり勉強用メモです。
というか根本的に構造だけの定義って難しいですよね。それがわかるっていうことは本質がわかるっていうことで、本質を理解するのは難しいです。
時間と知識があれば「指針としての物体」というかglobular/simplical/cubical setの話をしてみたかったです。この辺は具体的に計算するのが理解に一番早い気がしますね。

なんでこの辺を調べてるかというとcubicalttらへんからなわけですが、未だにcubeのお気持ちはわかっておりません。わかったら何か書くかもしれません。

終わりです。明日の担当は eiyaさん、spaさんです。

参考文献


  1. ちゃんと言えば圏なわけですが ↩︎

phi16 icon
この記事を書いた人
phi16

Haskellとかレンダリングとか数学とか。

この記事をシェア

このエントリーをはてなブックマークに追加
共有

関連する記事

2017年11月14日
IBIS2017参加報告
Keijan icon Keijan
ERC20トークンを用いた宝探しゲーム(真)の提案【アドベントカレンダー2018 10日目】 feature image
2018年11月3日
ERC20トークンを用いた宝探しゲーム(真)の提案【アドベントカレンダー2018 10日目】
Azon icon Azon
2018年12月12日
多重スリーブの世界と,各種進捗報告。
Silviase icon Silviase
2018年12月23日
LogicProXでのサラウンド設定,オーケストラ用テンプレ作成,その他の小ネタ
SolunaEureka icon SolunaEureka
2018年11月30日
Flutterでスマホアプリを作ってみ(た | よう)【アドベントカレンダー2018 37日目】
Fourmsushi icon Fourmsushi
2018年12月23日
線形解読法
nari icon nari
記事一覧 タグ一覧 Google アナリティクスについて