twoflower
- 363
- 0
Hi,
I can't see why these lattices aren't isomorphic:
<br /> (\mathbb{N} \mbox{ u } \left\{-\infty, +\infty\right\}, \le) \mbox{ and } (\mathbb{N} \mbox{ u } \left\{-\infty, +\infty\right\}, \le)^{inverse}<br /> [/itex]<br /> <br /> I thought that this isomorphism would straightforwardly map an element <b>x</b> onto <b>-x</b> in the second lattice, so why aren't these isomorphic please?<br /> <br /> I see why <b>these</b> two lattices aren't isomorphic:<br /> <br /> <br /> (\mathbb{N}, \le) \mbox{ and } (\mathbb{N}, \le)^{inverse}<br /> [/itex]<br /> <br /> because the element <b>0</b> from the first one has no equivalent in the inversed lattice, but the first couple of lattices seems ok to me.<br /> <br /> <br /> <br /> <br /> Thank you for clarification.
I can't see why these lattices aren't isomorphic:
<br /> (\mathbb{N} \mbox{ u } \left\{-\infty, +\infty\right\}, \le) \mbox{ and } (\mathbb{N} \mbox{ u } \left\{-\infty, +\infty\right\}, \le)^{inverse}<br /> [/itex]<br /> <br /> I thought that this isomorphism would straightforwardly map an element <b>x</b> onto <b>-x</b> in the second lattice, so why aren't these isomorphic please?<br /> <br /> I see why <b>these</b> two lattices aren't isomorphic:<br /> <br /> <br /> (\mathbb{N}, \le) \mbox{ and } (\mathbb{N}, \le)^{inverse}<br /> [/itex]<br /> <br /> because the element <b>0</b> from the first one has no equivalent in the inversed lattice, but the first couple of lattices seems ok to me.<br /> <br /> <br /> <br /> <br /> Thank you for clarification.
Last edited: