|
152 | 152 | "\n", |
153 | 153 | "We induce a total order on the k-cells. This ordering is somewhat arbitrary but for convenience we define a total ordering on the 0-chains (the nodes in the hypergraph) and use lexicographic ordering to induce an ordering on all of the k-chains. In our example this is just alphabetical order.\n", |
154 | 154 | "\n", |
155 | | - "With this ordering we define an isomorphism $\\phi : C_k \\rightarrow \\otimes_{i=1}^{|C_k|} \\mathbb{Z}_2$. For any chain, $\\sigma \\in C_k$, $\\phi (\\sigma)$ is a tuple of 0's and 1's with a 1 in the ith position of the tuple if the ith element in the $C_k$ ordering is in $\\sigma$. For our example, the 1-chains in $C_1$ are ordered: [AB,AC,AD,BC,CD]. Using this ordering we find:\n", |
| 155 | + "With this ordering we define an isomorphism $\\phi : C_k \\rightarrow $\\mathbb{Z}_2^{|C_k|}$. For any chain, $\\sigma \\in C_k$, $\\phi (\\sigma)$ is a tuple of 0's and 1's with a 1 in the ith position of the tuple if the ith element in the $C_k$ ordering is in $\\sigma$. For our example, the 1-chains in $C_1$ are ordered: [AB,AC,AD,BC,CD]. Using this ordering we find:\n", |
156 | 156 | "- $\\phi(AB) = (1,0,0,0,0)$\n", |
157 | 157 | "- $\\phi(BC+CD) = (0,0,0,1,1)$\n", |
158 | 158 | "- $\\phi(AC+AD+CD) = (0,1,1,0,1)$\n", |
159 | 159 | "\n", |
160 | | - "The isomorphism $\\phi$ induces the structure of $\\mathbb{Z}_2^{n_k}$ onto $C_k$. In particular, we can think of $C_k$ as a vector space over $\\mathbb{Z}_2$. This means:\n", |
| 160 | + "The isomorphism $\\phi$ induces the structure of $\\mathbb{Z}_2^{|C_k|}$ onto $C_k$. In particular, we can think of $C_k$ as a vector space over $\\mathbb{Z}_2$. This means:\n", |
161 | 161 | "- We can add k-chains - vector addition mod 2 - and get another k-chain. This addition is associative and abelian (commutative)\n", |
162 | 162 | "- We have a \"0\" chain, the empty chain has tuple (0,0,0,0,0)\n", |
163 | 163 | "- We have inverses, $\\sigma + \\sigma = 0$ \n", |
|
638 | 638 | " label_alpha=.1)" |
639 | 639 | ] |
640 | 640 | }, |
641 | | - { |
642 | | - "cell_type": "code", |
643 | | - "execution_count": null, |
644 | | - "metadata": {}, |
645 | | - "outputs": [], |
646 | | - "source": [] |
647 | | - }, |
648 | | - { |
649 | | - "cell_type": "code", |
650 | | - "execution_count": null, |
651 | | - "metadata": {}, |
652 | | - "outputs": [], |
653 | | - "source": [] |
654 | | - }, |
655 | | - { |
656 | | - "cell_type": "code", |
657 | | - "execution_count": null, |
658 | | - "metadata": {}, |
659 | | - "outputs": [], |
660 | | - "source": [] |
661 | | - }, |
662 | 641 | { |
663 | 642 | "cell_type": "code", |
664 | 643 | "execution_count": null, |
|
0 commit comments