nForum - Discussion Feed (normed field)2024-03-28T21:01:21+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "normed field" (48357)https://nforum.ncatlab.org/discussion/6085/?Focus=48357#Comment_483572014-07-13T18:46:44+00:002024-03-28T21:01:21+00:00Urshttps://nforum.ncatlab.org/account/4/
have added to normed field the statement that if the product preserves the norm strictly (by equality, not just by inequality) then one speaks of a “valued field”.
have added to normed field the statement that if the product preserves the norm strictly (by equality, not just by inequality) then one speaks of a “valued field”.