Sunday, November 1, 2015

general topology - Wedge Sum Example



I am trying to understand the concept of wedge sum in the context of Algebraic Topology.




Say I am given two sets, $A=[1, 2, 3]$ and $B=[4, 5]$



Now, disjoint union $A \sqcup B$ = $[(1,0), (2,0), (3,0), (4,1), (5, 1)]$



Now lets identify points $(1,0)$ and $(4,1)$ as similar.



Hence $A\vee B = A \sqcup B $/~ = $[[(1,0), (4,1],(2,0), (3,0), (5, 1)]$



Is the above example correct?




Also a different example, if there are two $S^1$ having two distinct base points, say $x_0$ and $y_0$, and if we identify these two base points as similar, then :



$S^1 \vee S^1 =[($ two base points glued together), $S^1-x_0, S^1-y_0)$



And if this circle example is correct, my question is what happens to the set index, when we construct the disjoint union as depicted in the first example, i.e., elements of first set is appended with $0$, and the elements of second set appended with $1$ as in first example above. Because I have constructed the wedge sum in circle case without explicitly mentioning the set index here. And IF both the example are correct, why the second example does not need the set index.



Also in first example, there is a question of how to read the results. Say the numbers in both the original sets mean length of sticks. Now in the wedge sum each element has two numbers, e.g, $(5,1)$, then what individual element means in the context of length of stick?


Answer



Both your examples are correct. The index set is usually omitted since it is only a technicality that blurs the vision:




$$S^1\vee S^1=\big(S^1\sqcup S^1\big)/\sim=\big(S^1\times\{0\}\cup S^2\times\{1\}\big)/\sim$$



and formally the relation $\sim$ is induced by (i.e. the smallest equivalence relation for which) $(x_0, 0)\sim (y_0, 1)$




Also in first example, there is a question of how to read the results.




Well, you should not think about the second coordinate, since (as I've said) it's only a technicality. On the other hand the meaning of a wedge sum is a whole different story. It's hard to say without bigger context.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...