カテゴリー: logic

1.∞ simplex↔︎0 simplex　 (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

数学で代数というとき、そこには２つの意味がある。本来のalgebraは、ハミルトンが定義したようにBasepoint（原点）を共有する「排他空間」の集合である。i2=-1となり、ijk=-1となるような定義を持つ空間であ…
Read more

現実空間では、物体が回転したり、複雑に動いたりするため、「今、どちらが効率的な向きなのか」を目視で判断するのは困難です。しかし、内積という「数式のフィルター」を通すことで、視覚に頼らずに効率性を数値として出すことが可能に…
Read more

合成代数的な8元数の作り方は一般的な座標系ではない。例えば、x,y,zを交差させて0を起点として±x,±y,±zとするのはベクトル空間においては3次元だが、合成代数空間においては1次元である。例えば、8元数というのはベク…
Read more

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more

i（純虚数）の部分集合としての -1, +1, 0という定義は、「すべての現象は『回転（i）』の位相（フェーズ）に過ぎない」とすることができる。カルタンキリング行列では1/2（スピノル）を1（ベクトル）に至る回転の半分と…
Read more

ポアンカレ予想をサーストンが幾何化し、ペレルマンがサージェリーにより解決するまでは、３次元に特異点が出た時点で「解けない」として放り出すか、そこを無視するしかなかった。しかし、特異点に深く入り込み、演算を完了させれば、特…
Read more

マリウス・ソフス・リー（Marius Sophus Lie, 1842–1899）は、現代数学や物理学において極めて重要な役割を果たす「リー群」および「リー環」の理論を築いたノルウェーの数学者です。 彼の業績は、図形や方…
Read more

群（Group）と環（Ring）という代数的構造、そしてリー群の分類というテーマは、数学が「個別の数を計算する学問」から「抽象的な構造を解明する学問」へと進化した歴史の系譜です。 1. 群と環の歴史的背景 近代代数学の出…
Read more

E8 stackでは計算可能性問題しか存在し得ない、E7,E6,E5は最密充填を最小記述できておらず、E9,E10は冗長である。そのような条件下で、圏論的方向性の矢(simplex)が顕在化して、±1,±1,0,0,0,…
Read more