Talk:Seminorm Maps Zero Vector to Zero
Jump to navigation
Jump to search
I don't usually distinguish the scalar 0 from the vector 0, I understand that's sloppy on a page like this so thanks for picking it up. I assume subfield of $\C$ because that's all the generality I need, people are always welcome to extend to normed division ring or etc. Caliburn (talk) 17:59, 1 June 2022 (UTC)
Also that proof looks fine to me replacing "field" with "division ring". In particular commutativity is never appealed to. (and wouldn't matter because everything commutes with 0) Caliburn (talk) 18:41, 1 June 2022 (UTC)