|
3 | added 16 characters in body | ||
|
This The associative case follows from Mazur's Theorem (see here). He proved that there are up to isomorphism precisely three Banach division algebras, namely $\mathbb R,\mathbb C$ and $\mathbb H$. This applies to the completion of any normed division algebra, which still verifies the identity $|ab|=|a||b|$, and hence is a division algebra. |
||||
|
|
2 | added 1 characters in body | ||
|
This is known as follows from Mazur's Theorem (see here). He proved that there are up to isomorphism precisely three Banach division algebras, namely $\mathbb R,\mathbb C$ and $\mathbb H$. This applies to the completion of any normed division algebra, which still verifies the identity $|ab|=|a||b|$, and hence is a division algebra. |
||||
|
|
1 |
|
||
|
This is known as Mazur's Theorem (see here). He proved that there are up to isomorphism precisely three Banach division algebras, namely $\mathbb R,\mathbb C$ and $\mathbb H$. This applies to the completion of any normed division algebra, which still verifies the identity $|ab|=|a||b|$, and hence is a division algebra. |
||||
