べき集合上にF_2多元環の構造を入れたものとハイパーグラフについて

$e=\{v_0,...,v_{n-1}\}\in E(G)$をとる。

$\id_{V(G)}(e)=\{v_0,...,v_{n-1}\}\in E(G)$

$e \in E(G_0)$をとる。
$\phi$は準同型だから$\phi(e) \in E(G_1)$
$\psi$は準同型だから$\psi(\phi(e)) \in E(G_2)$
よって$(\psi \circ \phi)(e) \in E(G_2)$

同型写像$\phi$をとる。

$f:E(G)→E(G')$
$e↦\phi(e)$
とおく。

[$f$は全単射]
[$f$は全射]
$\{v_0',v_1',...,v_{n-1}'\} \in E(G')$をとる。
$\phi$は同型写像だから、$\phi^{-1}$も準同型で、$\phi^{-1}(\{v_0',v_1',...,v_{n-1}'\}) \in E(G)$
$\{v_0,v_1,...,v_{n-1}\} = \phi^{-1}(\{v_0',v_1',...,v_{n-1}'\})$とおく。
$f(\{v_0,v_1,...,v_{n-1}\})=\phi(\{v_0,v_1,...,v_{n-1}\})=\{v_0',v_1',...,v_{n-1}'\}$

[$f$は単射]
$e_0,e_1 \in E(G) (e_0\not=e_1)$をとる。
$\phi$は単射より$\phi(e_1)\not=\phi(e_1)$
よって$f(e_0)\not=f(e_1)$

$[v \in V_0+V_1]=1 ⇔ v$が$V_0,V_1$のどちらか一方にのみ入っている$⇔[v \in V_0]+[v \in V_1]=1$
$[v \in V_0+V_1]=0 ⇔ v$が$V_0,V_1$のどちらにも入っていないまたはどちらにも入っている$⇔[v \in V_0]+[v \in V_1]=0$

$[v \in V_0V_1]=1 ⇔ v \in V_0 \cap V_1 ⇔ [v \in V_0]=1 \land [v \in V_1]=1 ⇔ [v \in V_0][v \in V_1]=1$
$[v \in V_0V_1]=0 ⇔ v \not\in V_0 \cap V_1 ⇔ [v \in V_0]=0 \lor [v \in V_1]=0 ⇔ [v \in V_0][v \in V_1]=0$

$[v \in 1V]=[v \in V]=1[v \in V]$
$[v \in 0V]=0=0[v \in V]$

$E_0,E_1 \in \mathcal{E}(G)$をとる。

[和]
\begin{align} v \in B_G(E_0+E_1) &⇔ v \in \sum_{e \in E_0+E_1}e\\ &⇔ v \in e となるeがE_0+E_1に奇数個ある \\ &⇔ v \in e となるeが(E_0に奇数個かつE_1に偶数個)または(E_0に偶数個かつE_1に奇数個) \\ &⇔ v \in \sum_{e \in E_0} e + \sum_{e \in E_1} e \\ &⇔ v \in B_G(E_0)+B_G(E_1) \end{align}

[スカラー倍]
$B_G(0E)=B_G(0)=0=0B_G(E)$
$B_G(1E)=B_G(E)=1B_G(E)$

$V_0,V_1 \in \mathcal{V}(G)$をとる。

[和]
\begin{align} e \in \ ^tB_G(V_0+V_1) &⇔ e \in \sum_{v \in V_0+V_1}E_G(v) \\ &⇔ e \in E_G(v) となる v が V_0+V_1 に奇数個ある \\ &⇔ e \in E_G(v) となる v が (V_0に奇数個かつV_1に偶数個)または(V_0に偶数個かつV_1に奇数個) \\ &⇔ e \in \sum_{v \in V_0}E_G(v)+\sum_{v \in V_1}E_G(v) \\ &⇔ e \in \ ^tB_G(V_0) + \ ^tB_G(V_1) \end{align}

[スカラー倍]
$^tB_G(0V)=\ ^tB_G(0)=0=0\ ^tB_G(V)$
$\ ^tB_G(1V)=\ ^tB_G(V)=1\ ^tB_G(V)$

$v \in e ⇔ v \in \sum_{e' \in \{e\}}e' ⇔ v \in B_G(\{e\}) $

$v \in e ⇔ e \in E_G(v) ⇔ e \in \sum_{v' \in \{v\}} E_G(v') ⇔ e \in \ ^tB_G(\{v\})$

$E \in \mathcal{E}(G)$は
$$E = \sum_{e \in E(G)} [e \in E]\{e\}$$
と表せる。

両辺に$B_G$を作用させると、線形性より、
$$B_G(E)=\sum_{e \in E(G)} [e \in E]B_G(\{e\}) $$

これは$\mathcal{V}(G)$の元。
$v \in V(G)$に対して、$[v \in \cdot\ ]$の線形性より、
$$[v \in B_G(E)]=[v \in \sum_{e \in E(G)}[e \in E]B_G(\{e\})]=\sum_{e \in E(G)} [e \in E][v \in B_G(\{e\})]$$

よって、$[v \in B_G(E)]=\sum_{e \in E(G)}[e \in E][v \in e]$

$V \in \mathcal{V}(G)$は
$$V=\sum_{v \in V(G)}[v \in V]\{v\}$$
と表せる。

両辺に$^tB_G$を作用させると線形性より
$$^tB_G(V)=\sum_{v \in V(G)}[v \in V]^tB_G(\{v\})$$

$e \in E(G)$に対して、
$$[e \in\ ^tB_G(V)]=\sum_{v \in V(G)}[v \in V][e \in ^tB_G(\{v\})]$$

よって、
$$[e \in \ ^tB_G(V)]=\sum_{v \in V(G)}[v \in V][v \in e]$$

[対称]
自明

[非退化]
$V \in \mathcal{V}(G) \setminus \{0\}$をとる。
$V$と1点だけ同じ$V' \in \mathcal{V}(G)$を取れば$(V,V')_{\mathcal{V}(G)}=1$となる。

[$\forall V \in \mathcal{V}(G), \forall E \in \mathcal{E}(G), (V,B_G(E))_{\mathcal{V}(G)}=(^tB_G(V),E)_{\mathcal{E}(G)}$]
$V \in \mathcal{V}(G)$をとる。
$E \in \mathcal{E}(G)$をとる。

\begin{align} (V,B_G(E))_{\mathcal{V}(G)}&=\sum_{v \in V(G)}[v \in V][v \in B_G(E)]\\ &=\sum_{v \in V(G)}[v \in V](\sum_{e \in E(G)}E(e)[v \in e])\\ &=\sum_{v \in V(G)}\sum_{e \in E(G)}[v \in V][e \in E][v \in e]\\ \end{align}

\begin{align} (^tB_G(V),E)_{\mathcal{E}(G)}&=\sum_{e \in E(G)}[e \in \ ^tB_G(V)][e \in E]\\ &=\sum_{e \in E(G)}(\sum_{v \in V(G)}[v \in V][v \in e])[e \in E]\\ &=\sum_{e \in E(G)}\sum_{v \in V(G)}[v \in V][e \in E][v \in e]\\ \end{align}