会社は誰のものか？AIさんに勝利する話 第１章【層理論】
大阪がたこ焼きランチしてる間、
──東京の社用車は廃車になった。
会社は誰のものか？
- 解説編 -
AIさんに勝利する話
第１章
【層理論】
Ⅰ. 層理論的分解 ―― 所有概念の射影不可能性
会社を E→B の層束と見做し、B（法制度的基底空間）上の局所切口を
株主・経営者・債権者等の開集合族 {U_i} に割り当てる。
所有を記述する1-コチェイン c_{ij} ∈ C¹(𝒰,𝔾) を構成すると、有限責任による切断条件 δc = 0 が常に破れる
⇒ Čech コホモロジーで グローバル断面が存在しない。
帰結: “会社全体を単一主体が覆う所有構造”は層空間上で欠測。
ちょっとナニ言ってるか、わからんぞい
ちゃんと細かく説明してほしいぞい
よーし来たぞい！
これは「層（sheaf）理論」と「所有の不可能性」を合成して、「会社を誰かが一人で所有するのは、数学的にムリっぽいぞい」って主張してる、めちゃくちゃ高度なパートだぞい。
けど大丈夫ぞい！
記号と概念を“たこ焼きサイズ”にまで分解してやさしく解説するぞい！
1-1.
層理論的分解 ―― 所有概念の射影不可能性
平易な訳：
会社というしくみを数学的に分けて考えてみたら、“誰のものか”を一人に決めるのはムリだったぞい。
補足：
層理論的分解
会社のしくみを“数学の層（sheaf）”という考え方でバラして分析したよ、という意味だぞい。
たとえば、「株主」「経営者」「債権者」など、場所ごとにちょっとずつ違う人たちが関わってる感じを、層理論でうまく表した、ということだぞい。
所有概念の射影不可能性
“会社は誰のものか”って考えると、「会社全体は○○のものです」とは言い切れないぞい。
なぜなら、部分部分では「この人の持ち分」みたいに言えるけど、それを一つにまとめるとうまくいかない（数学的に言うと、“射影できない”）ぞい。
つまり、全体を「誰か一人のもの」にするような視点は、そもそも成り立たないって結論だぞい。
1-2.
🏗️ 会社をE→Bの層束と見做し、
平易な訳：
会社という存在を、「法制度（B）の上に定義された、情報の束（E）（=会社の構造）」とみなすぞい。
補足：
E：全体空間（total space）
会社全体を構成するものの構造、いうなれば、人・資産・契約・業務といった「会社そのものの構成要素の集まり（建物なイメージ）」だぞい。
地面のルールに従って建っているので、地面のルールが変われば建物の構造も変わるぞい。
B：基底空間（base space）
法制度の基底空間、すなわち、会社法、商法、税法、民法などの法律・制度・社会的なルールといった「会社が存在できる土台（地面なイメージ）」だぞい。
地域や法律によって決まっている地面なので、会社の登記先（日本法人、米国法人、日本法の特殊法人など）によってルール（開集合）が違う、という考え方に結びついていくぞい。
E→B：全体空間Eが、基底空間Bに向かう連続写像（射）
ざっくり言えば、「会社の全体構造（E）は、法制度という土台（B）に貼りついて存在している」となるぞい。
「会社の要素（E）と法制度（B）」を繋ぐ地図（写像）があって、登記先の国のルール（開集合）に対して、細かくチェックして調べていく（連続写像）、というのを、数式「E→B」と示すことで「会社（E）は、法制度（B）の上に定義された存在です」と意味しているぞい。
会社（E）は制度への依存によって限られた構造であり、その全体像は「制度的基盤（B）」によって制限されている、とも説明できるぞい。
射：数学（特に圏論とか幾何学とか代数の分野）で使われる専門用語で、「矢印みたいなもの」だぞい。
あるもの（対象）から別のもの（対象）へ向かう対応・変換・関係のことを、カッコよく他と区別するために「射」って呼んでるんだぞい。
A → B
f
このｆが「射」だぞい。
Aの中のものをBの中に移す、
「ルール」や「地図」だと思ってOKだぞい。
層束（sheaf bundle）：
「バラバラの情報（E）を、場所ごと（B）に、くっつけて（射）、全体を見ようとする数学の道具（層 sheaf）」で、「その情報が、空間の構造に従ってちゃんとつながってる（束）」ってやつだぞい。
層：
情報の局所性から、矛盾しないように全体像を作るための貼り合わせのルールを持った道具だぞい。
空間の各場所にある「情報のかけら」にひもを付けて、そのかけらを上手く“貼り合わせて”全体像をつくる方法だぞい。
各支店の「財務状況」、「契約内容」、「従業員名簿」や、「株主リスト」、「取締役会の議事録」などの、断片的な情報を、どうやって一つの「会社という全体像」として統合するか？という話だぞい。
束：
ファイバー束、つまり、各点の上に「構造的な空間（ファイバー）」が乗ってるものだぞい。
各点のファイバーが、
「各支店＆本店の構造データ」
「取締役会の構造データ」
「株主総会の構造データ」などなど
みたいな位置づけになるぞい。
「層」の構造を“束”のようにして、あちこちに運んで展開できるようにしたのが層束。「層」を“運搬可能”にしたバージョンになるぞい。
「各場所に情報があって、それが空間全体にまたがって、構造的にくっついてる」ともいえるぞい。
「層束」って言うとき、厳密には「層」と「束」が合体してるとは限らないけど、ここでは「層束 ≒ 法制度上の会社構造」と見做しているからOKだぞい。
局所性：ある地点で行われた行為や起こった現象によって、遠くの結果が直ちに変わることは無い、という性質だぞい。
大阪支社のAさんが、ランチでたこ焼きを食べました。でも、そのことで東京本社の社用車が廃車されましたってのは、関係ないですねってこっただぞい。
1-3.
🧩B（法制度的基底空間）上の局所切口を
株主・経営者・債権者等の開集合族 {U_i} に割り当てる。
平易な訳：
法律という地面（B）の上で、とりあえず範囲を限定させたもん（局所切口）を、株主・経営者・債権者といった立場の人たち（開集合族）の、それぞれが関与してる範囲（U_i）にマッピングするぞい。
補足：
局所切口：
全体を一気に見るのはムリだから、まず“ある範囲”を限定して、その中で観察・操作できるようにした「場所ごとの“のぞき窓”」みたいなやつだぞい。
それぞれの立場は「会社全体」じゃなくて「一部」にしか関われない。だから法律という地面（B）上での「開集合」は、それぞれの立場から「見えている範囲（自分の持ち場）」となるぞい。
つまり…誰も会社全体を見通してるわけじゃないぞい！
開集合（かいしゅうごう）：
カンタンに言えば「境界を含まない、ちょっとふんわりした範囲」のことだぞい。
数直線（１次元）で考えると
開集合(1, 3)は「1より大きく、3より小さい数の集まり。ただし1も3も含まない！」ということだぞい。
閉集合[1, 3]は「１から３までで、１も３も含みます」となるぞい。
平面図形（２次元）で考えると
円がありますとした時に
開集合は「円の中身だけ」
閉集合は「円のふちも中身も含める」となるぞい。
境界がはっきりと区切られてない、ゆるやかな構造のイメージが開集合だぞい。
開集合族 {U_i}：
株主（U₁）、経営者（U₂）、債権者（U₃）、従業員（U₄）…などなどの集まり {Uᵢ} のことだぞい。
それぞれが、会社のある側面にだけアクセスできるローカルな立場を持っていることを意味してるぞい。でも、どの立場の人も会社全体にはアクセスできず、自分の範囲（U₁, U₂, U₃…）だけを知ってるぞい！
U₁ 株主が関与している制度的領域
U₂ 経営者が活動できる法的な範囲
U₃ 債権者が権利を行使できる場
これらは開集合だから、それぞれの境界線はハッキリと区切られてないぞい。境界を含まないからスムーズで内側に余裕のある集まりになってるぞい。そういう性質があるから情報の貼り合わせができる、というのが数学の考え方だぞい。
なんで「U」なの？：
数学の世界（トポロジー分野、ある形を曲げたり伸ばしたりしても変わらない性質って何だろう？と考える分野）の習慣で、開集合（open set）を表すときは「U」を使うのが一般的だぞい。
英語の「Union（合併）」や「Universe（空間の部分）」を意識したとされるみてーだぞい。
なんで「｛｝（波カッコ、中カッコ）」なの？：
集合（＝順序や重複を気にしない“集まり”）を意味してるからだぞい。
ちなみに「（） 丸カッコ」は順序・関数の引数など（例：f(x)）、「［］ 角カッコ」は配列、範囲、リスト（プログラミングで多用）に対して使う、という扱いだぞい。
1-4.
🔗 所有を記述する 1-コチェイン c_{ij} ∈ C¹(𝒰,𝔾`) を構成すると、
平易な訳：
それぞれの人たちの立場（U_i）と、他の人の立場（U_j）の「重なった」部分に、誰がどこを所有しているかを表す“所有のつなぎ方”のデータ（c_{ij}) を用意するぞい！
補足：
「重なった部分のルールをどう貼り合わせるか」を記述するデータを、数学的に「1-コチェイン」という形式で与えるぞい！
「1-コチェイン」の「1-」ってなに？：
iとjの2つの開集合が重なる範囲、
つまり「重なりのレベルが1つ」というのを意味してるぞい。
コチェイン（cochain）ってのは、
複数の開集合の重なりに情報を割り当てる仕組みだぞい。
0-コチェイン：各Uᵢに情報を割り当てる（重なりがない）
1-コチェイン：UᵢとUⱼが重なるところに情報を割り当てる（重なりレベルが１つ）
2-コチェイン：UᵢとUⱼとUₖの三重重なりに割り当てる（重なりレベルが２つ）
→「二者間の所有のつなぎ方」だから1-コチェインになるんだぞい！
コチェイン c_{ij}：
c_{ij}：U_i ∩ U_j（＝関係の重なり）上で、
U_i と U_j の“所有に関する対応関係”を定義するデータぞい！
（例）株主Aと経営者Bの間で、「この資産は誰が管理してるの？」といった
所有の“貼り合わせ方”を記述するぞい！
そこで「誰かのモノ」として固定されてると、逆に機能しなくなるぞい！
c_{ij}（シー・アイ・ジェイ）の意味：
c シー
cochainの略だぞい。
つなぎ情報や貼り合わせデータを表す記号として定番だぞい。
i, j アイ・ジェイ
開集合UᵢとUⱼの添え字（インデックス）だぞい。
重なり領域Uᵢ ∩ Uⱼのことを示してるぞい。
c_{ij} シー・アイ・ジェイ
「UᵢとUⱼが重なっている部分で、所有がどう移るか」を表す情報だぞい。
所有のつなぎ方、つまり「Uᵢでの所有の見え方」と「Uⱼでの所有の見え方」が、どう変換されるかを表しているぞい。
U_i ∩ U_j（ユーアイ・キャップ・ユージェイ）の意味：
∩ キャップ、かつ、intersection
共通部分（重なり・交差）を表す記号だぞい。
「Uᵢ ∩ Uⱼ」と書くことで、UᵢとUⱼの両方に含まれる領域（＝2つの開集合の重なったところ）を意味するぞい。
C¹(𝒰, 𝔾')（シーいち ユー ジーダッシュ）の意味：
C¹ シーいち
1-コチェイン全体の集合（c_{ij}たちの集まり）だぞい。
(𝒰, 𝔾') ユー、ジーダッシュ
𝒰は開集合族、𝔾'は値域としての「グループ（構造体）」を示してるぞい。
C¹(𝒰, 𝔾') とは「𝒰という開集合族に基づいて、1つ1つの重なり（Uᵢ ∩ Uⱼ）に、𝔾'の要素を対応づける、写像（関数）たちの集合」だぞい。
つまり「誰が、どこで、どのように所有を受け渡してるか」を形式的に扱うための数学的空間なんだぞい。
𝒰ってなに？「U」とどう違うの？：
𝒰 カリグラフィ U
「開集合族全体の名前」だぞい。
ここでは「{Uᵢ} 全体の集合」＝「会社に関係する観察範囲たち」の“まとめ”を意味してるぞい。フォントがカリグラフィ風なのは、集合族（全体）を強調するための慣習的表記だぞい。
𝔾'（フラクチャー G ダッシュ）ってなに？：
𝔾 フラクチャーG
一般に グループ構造（群） を表す記号だぞい。
' ダッシュ
派生・修飾・限定を意味するぞい。「元の𝔾とはちょっと違う別バージョンだよ」って明示したいときに付けるもんだぞい。
Gと𝔾と𝔾'の違いってなに？：
G ジー
汎用記号・集合・グループかもしれない抽象記号だぞい。曖昧な汎用的使い方に向くぞい。
𝔾 フラクチャー・ジー
明示的な「構造を持つ群」だぞい。
所有構造や変換ルールなどの“意味ある代数体”として強調したい時に使うもんだぞい。
𝔾′ フラクチャー・ジー・ダッシュ
修正版・局所的モデル・近似群を意味するぞい。
所有の現実的ゆらぎをモデル化したい時などに使うもんだぞい。
1-5.
✂️ 有限責任に因る切断条件 δc = 0 が常に破れる
平易な訳：
「会社全体を矛盾なく所有するためには、
各立場の所有情報がちゃんと繋がってなきゃいけない（δc = 0）」けど、
有限責任（＝それぞれが全部の責任を負わない）というルールのせいで、
そのつなぎ目にほころびが必ず生じるぞい！
補足：
株主は“金”だけ、経営者は“業務”だけ、債権者は“債務”だけに責任を持つ
➡ だからお互いの立場が繋がらない＝所有情報が“矛盾して貼れない”ぞい！
δc = 0（δ：コチェインの差分演算）
→ 貼り合わせが矛盾なく閉じている状態＝“グローバルに所有が定義できる”状態だぞい！
でもここでは、
有限責任（＝ステークホルダーが全体に責任を持たない）ために、
c_{ij} の間で一致しない部分が生じる ⇒ δc ≠ 0 になるぞい！
意味的にはこうなるぞい
株主：持ち株の範囲しか責任を負わない
経営者：業務執行に対してだけ責任を負う
債権者：契約上の返済範囲だけ
➡ これらが重なっても、全体として整合する一つの所有像にならない＝貼り合わさらないぞい！
1-6.
🚫⇒Čechコホモロジーでグローバル断面が存在しない
平易な訳：
「バラバラの所有情報（c_{ij}）をつなげて、会社全体を見渡す“1人の所有者像”を作れるか？」を
チェックする方法（Čechコホモロジー）で調べると……
その全体像（グローバル断面）は作れない！＝存在しない！という結果が出るぞい！
補足：
Čechコホモロジーは、「局所データをグローバルに拡張できるか？」を検査する理論だぞい！
ここで、
c_{ij} という局所的な所有情報を集めて、“1つの主体が全体を所有している”という構造（グローバル断面）が作れるか？
という問いに対し、
→ δc ≠ 0 なので、コホモロジー的に「拡張不能」＝“断面が存在しない”という結論になるぞい！
1-7.
🧨 帰結: “会社全体を単一主体が覆う所有構造”は層空間上で欠測。
平易な訳：
結論として、
「この会社は◯◯さんのものです」と言えるような、
“一人の持ち主による完全な所有構造”は、
この会社という空間の中には
➡ “最初から存在していない”＝“そもそも測定不能”なんだぞい！
補足：
「会社を一人のものとする所有構造」は成立しないぞい！
所有という構造は、「層の中に貼り合わされた情報」でなければならないけど、現実の会社構造（有限責任、多主体構造、情報非対称性）は、その貼り合わせを矛盾だらけにしてしまうぞい。
よって最終的に、“会社全体を単一主体が所有する”という射影は、層空間上に存在しない＝欠測しているぞい！
1-8.
🎯全体のまとめだぞい！
B 会社の法的・制度的な土台（ルールの地面）
E 実際の会社の構造（人・資産・契約など）
E→B 法制度B上に定義された、会社構造Eの層束だぞい
U_i 株主や経営者などの見える範囲（局所）
{U_i} 株主・経営者などの局所的アクセス範囲だぞい
c_{ij} 立場ごとの「所有の貼り合わせ方」
c_{ij} ∈ C¹(𝒰,𝔾) ステークホルダー間の“所有の繋がり”だぞい
δc ≠ 0 有限責任のせいで所有情報が整合しない、つまり、矛盾していて“つながらない”だぞい
Čechコホモロジー 局所からグローバルに貼れるかチェックする道具
グローバル断面なし 一人の所有者による“全体の所有像”が存在しない
Čechコホモロジー断面なし 全体を貫く所有者像は定義できないぞい
欠測 そもそも“所有”がこの空間には定義できないってことだぞい！
1-9.
✨一文でまとめるならこうだぞい！
会社とは、それぞれの立場がバラバラの責任で関わる“部分構造の集合”であり、それを「誰か1人のもの」として統合することは、数学的にも、制度的にも、構造的にも不可能だぞい！
第２章
【計算論】へ続く
会社は誰のものか？ 全記事一覧
🔍解説編 AIさんに勝利する話
序章【数理法哲学】
第１章【層理論】（本記事）
第２章【計算論】
第３章【熱力学】
第４章【圏論】
第５章【ポストヒューマン論】
第６章【メタ論理学】
終
Zoi the Thinker＠ぞい式 © 2025
