2 ms·
They would never be the same. It's just that everything still works the same if you switch out every i with -i (and thus every -i with i).
by grumbelbart 8mo ago
They would never be the same. It's just that everything still works the same if you switch out every i with -i (and thus every -i with i).
- alexey-salmin 8mo agoThere are ways to build C that result in: 1) Exactly one C 2) Exactly two isomorphic Cs 3) Infinitely many isomorphic Cs It's not really the question of whether i and -i are the same or not. It's the question of whether this question arises at all and in which form.
- zozbot234 8mo agoThe question is meaningless because isomorphic structures should be considered identical. A=A. Unless you happen to be studying the isomorphisms themselves in some broader context, in which case how the structures are identical matters. (For example, the fact that in any expression you can freely switch i with -i is a meaningful claim about how you might work with the complex numbers.)
- gowld 8mo agoPP meant automorphisms, which is what the OP article is about.
- zmgsabst 8mo agoHomotopy type theory was invented to address this notion of equivalence (eg, under isomorphism) being equivalent to identity; but there’s not a general consensus around the topic — and different formalisms address equivalence versus identity in varied ways.