- #1
Sumanta
- 26
- 0
Hi ,
I was trying to understand why or where would the problem arise in the definition of the direct sum for the coproduct/direct sum for the set (1, 1, 1, ...) infinite number of times. I was trying to reason out as follows. I posted this on the set theory but I am not sure how to tag it to algebra hence I decided to copy paste the same.
(1, 1, 1, ...)[itex]\rightarrow[/itex] Y
[itex]\uparrow[/itex]
f[itex]_{i}[/itex][itex]\rightarrow[/itex] YPls note that the Y is the same as I cannot write the angular arrow.
Now if I say that f[itex]_{i}[/itex] acting on (e[itex]_{i}[/itex]) maps it to ( 0, 0, ...1 at the ith coordinate , 0, ...) then what is the place where I am making a mistake. The problem as I see is that either the map from the set (1, 1, 1, ...) to Y is either not unique or map from f[itex]_{i}[/itex][itex]\rightarrow[/itex] Y does not give the same value as the other path. I am really not sure which is the one and why.
Now Y can be any kind of general space. So I first thought if Y was just the {0} or the whole space R[itex]^{\infty}[/itex]. But I see very clearly that {0} choice does not give a counter example. Not sure how to handle the second case. Even thought with Y= N ( countable ) but still could not get to any kind of solution.
Thx
I was trying to understand why or where would the problem arise in the definition of the direct sum for the coproduct/direct sum for the set (1, 1, 1, ...) infinite number of times. I was trying to reason out as follows. I posted this on the set theory but I am not sure how to tag it to algebra hence I decided to copy paste the same.
(1, 1, 1, ...)[itex]\rightarrow[/itex] Y
[itex]\uparrow[/itex]
f[itex]_{i}[/itex][itex]\rightarrow[/itex] YPls note that the Y is the same as I cannot write the angular arrow.
Now if I say that f[itex]_{i}[/itex] acting on (e[itex]_{i}[/itex]) maps it to ( 0, 0, ...1 at the ith coordinate , 0, ...) then what is the place where I am making a mistake. The problem as I see is that either the map from the set (1, 1, 1, ...) to Y is either not unique or map from f[itex]_{i}[/itex][itex]\rightarrow[/itex] Y does not give the same value as the other path. I am really not sure which is the one and why.
Now Y can be any kind of general space. So I first thought if Y was just the {0} or the whole space R[itex]^{\infty}[/itex]. But I see very clearly that {0} choice does not give a counter example. Not sure how to handle the second case. Even thought with Y= N ( countable ) but still could not get to any kind of solution.
Thx
Last edited: