Homology groups (InstanceTopic, 5)
From Hi.gher. Space
(→Example) |
m (ontology) |
||
| (7 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | Homology groups are a formalisation of the idea of | + | <[#ontology [kind topic] [cats Property Essays]]> |
| + | Homology groups are a formalisation of the idea of [[hole]]s in a shape. The homology groups are a list of abelian groups, one for each nonnegative integer. For [[toratopes]], all homology groups are copies of the group of integers ℤ. This is not the case for other shapes, such as the [[Klein bottle]]. Intuitively, the zeroth homology group counts how many disjoint pieces make up the shape and gives that many copies of ℤ, while the other homology groups count different types of holes. However homology groups can only rarely be worked out by pure intuition. The homology groups of a shape can be calculated from the homology groups of simpler shapes using the Mayer-Vietoris sequence. | ||
| - | ==Example== | + | == Example == |
Let T be the [[torus]]. The torus comes in one piece, so H<sub>0</sub>T = ℤ. It has two "circular holes", so H<sub>1</sub>T = ℤ⊕ℤ. It also has a pocket, so H<sub>2</sub>T = ℤ | Let T be the [[torus]]. The torus comes in one piece, so H<sub>0</sub>T = ℤ. It has two "circular holes", so H<sub>1</sub>T = ℤ⊕ℤ. It also has a pocket, so H<sub>2</sub>T = ℤ | ||
| - | ==Notation== | + | == Notation == |
The usual notation is to write H<sub>q</sub> as an operator that acts on the shape and returns an abelian group. This is the notation used above. | The usual notation is to write H<sub>q</sub> as an operator that acts on the shape and returns an abelian group. This is the notation used above. | ||
| - | Examples: Let T = torus, S<sup>3</sup> = 3-sphere ( | + | Examples: Let T = [[torus]], S<sup>3</sup> = 3-sphere ([[glome]]) |
| - | H<sub>0</sub>T = ℤ | + | *H<sub>0</sub>T = ℤ |
| - | H<sub>1</sub>T = ℤ⊕ℤ = 2ℤ | + | *H<sub>1</sub>T = ℤ⊕ℤ = 2ℤ |
| - | H<sub>2</sub>T = ℤ | + | *H<sub>2</sub>T = ℤ |
| - | H<sub>0</sub>S<sup>3</sup> = ℤ | + | *H<sub>0</sub>S<sup>3</sup> = ℤ |
| - | H<sub>1</sub>S<sup>3</sup> = 0 | + | *H<sub>1</sub>S<sup>3</sup> = 0 |
| - | H<sub>2</sub>S<sup>3</sup> = 0 | + | *H<sub>2</sub>S<sup>3</sup> = 0 |
| - | H<sub>3</sub>S<sup>3</sup> = ℤ | + | *H<sub>3</sub>S<sup>3</sup> = ℤ |
| - | Since homology groups of toratopes are always copies of ℤ, we often omit the ℤ and write all the groups together. | + | Since homology groups of toratopes are always copies of ℤ, we often omit the ℤ and write all the groups together in square brackets. All groups after the end of the written sequence are implicitly zero. |
| - | Examples: | + | Examples: |
| - | H T = 1,2,1 | + | *H T = [1,2,1] |
| - | H S<sup>3</sup> = 1,0,0,1 | + | *H S<sup>3</sup> = [1,0,0,1] |
| + | For shapes whose homology groups are often zero, it becomes cumbersome to write out all the zeroes. h<sub>q</sub> notation makes some shapes simpler and makes it easier to write general formulas for homology groups. | ||
| - | + | Examples: | |
| + | *H T = h<sub>0</sub> + 2 h<sub>1</sub> + h<sub>2</sub> | ||
| + | *H S<sup>3</sup> = h<sub>0</sub> + h<sub>3</sub> | ||
| + | *H S<sup>n</sup> = h<sub>0</sub> + h<sub>n</sub> | ||
| + | *H T<sup>n</sup> = sum over k from 0 to n of (n choose k) h<sub>k</sub> | ||
| - | + | == Rules for homology groups == | |
| - | + | The following rules exist for homology groups of min-frame rotatopes. | |
| - | + | ||
| - | + | ||
| - | + | ||
| + | ;Cartesian products of two hyperspheres | ||
| + | :H S<sub>a</sub> x S<sub>b</sub> = h<sub>0</sub> + h<sub>a</sub> + h<sub>b</sub> + h<sub>a+b</sub> | ||
| + | ;Cartesian product of anything with a circle | ||
| + | :H<sub>q</sub> A x S<sub>1</sub>= H<sub>q</sub> A ⊕ H<sub>q-1</sub> A | ||
| + | ;Cartesian products of two hyperspheres and a sphere | ||
| + | :H S<sub>a</sub> x S<sub>b</sub> x S<sub>2</sub> = h<sub>0</sub> + h<sub>2</sub> + h<sub>a</sub> + h<sub>a+2</sub> + h<sub>b+2</sub> + h<sub>a+b</sub> + h<sub>a+b+2</sub> | ||
| + | == Min-frame Rotatope Conjecture == | ||
| + | H<sub>q</sub> S<sup>a<sub>1</sub></sup> x S<sup>a<sub>2</sub></sup> x ... x S<sup>a<sub>k</sub></sup> = the number of subsets of {a<sub>1</sub>,a<sub>2</sub>,...,a<sub>k</sub>} that sum to give q, where S<sup>a</sup> is an ''a''-net-sphere. This hasn't yet been proven to our knowledge. | ||
| - | == | + | Alternatively in Union, <code>H[q] *NetSphere(a#) = #(powerSet(a) & partitionSet(q)); a < N; 0 <= q <= +a</code> where N is the set of natural numbers excluding zero. |
| - | + | == External links == | |
| - | + | *[http://en.wikipedia.org/wiki/Homology_%28mathematics%29 Homology on Wikipedia] | |
| - | + | *[http://en.wikipedia.org/wiki/Mayer%E2%80%93Vietoris_sequence Mayer-Vietoris sequence on Wikipedia] | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
Latest revision as of 22:51, 11 February 2014
Homology groups are a formalisation of the idea of holes in a shape. The homology groups are a list of abelian groups, one for each nonnegative integer. For toratopes, all homology groups are copies of the group of integers ℤ. This is not the case for other shapes, such as the Klein bottle. Intuitively, the zeroth homology group counts how many disjoint pieces make up the shape and gives that many copies of ℤ, while the other homology groups count different types of holes. However homology groups can only rarely be worked out by pure intuition. The homology groups of a shape can be calculated from the homology groups of simpler shapes using the Mayer-Vietoris sequence.
Example
Let T be the torus. The torus comes in one piece, so H0T = ℤ. It has two "circular holes", so H1T = ℤ⊕ℤ. It also has a pocket, so H2T = ℤ
Notation
The usual notation is to write Hq as an operator that acts on the shape and returns an abelian group. This is the notation used above.
Examples: Let T = torus, S3 = 3-sphere (glome)
- H0T = ℤ
- H1T = ℤ⊕ℤ = 2ℤ
- H2T = ℤ
- H0S3 = ℤ
- H1S3 = 0
- H2S3 = 0
- H3S3 = ℤ
Since homology groups of toratopes are always copies of ℤ, we often omit the ℤ and write all the groups together in square brackets. All groups after the end of the written sequence are implicitly zero.
Examples:
- H T = [1,2,1]
- H S3 = [1,0,0,1]
For shapes whose homology groups are often zero, it becomes cumbersome to write out all the zeroes. hq notation makes some shapes simpler and makes it easier to write general formulas for homology groups.
Examples:
- H T = h0 + 2 h1 + h2
- H S3 = h0 + h3
- H Sn = h0 + hn
- H Tn = sum over k from 0 to n of (n choose k) hk
Rules for homology groups
The following rules exist for homology groups of min-frame rotatopes.
- Cartesian products of two hyperspheres
- H Sa x Sb = h0 + ha + hb + ha+b
- Cartesian product of anything with a circle
- Hq A x S1= Hq A ⊕ Hq-1 A
- Cartesian products of two hyperspheres and a sphere
- H Sa x Sb x S2 = h0 + h2 + ha + ha+2 + hb+2 + ha+b + ha+b+2
Min-frame Rotatope Conjecture
Hq Sa1 x Sa2 x ... x Sak = the number of subsets of {a1,a2,...,ak} that sum to give q, where Sa is an a-net-sphere. This hasn't yet been proven to our knowledge.
Alternatively in Union, H[q] *NetSphere(a#) = #(powerSet(a) & partitionSet(q)); a < N; 0 <= q <= +a where N is the set of natural numbers excluding zero.
