Changes between Initial Version and Version 1 of Ticket #30092, comment 14


Ignore:
Timestamp:
07/18/20 00:31:13 (2 years ago)
Author:
tscrim
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30092, comment 14

    initial v1  
    11I also have a question. Do we need this to be be a subcategory for vector spaces? I would think it would be sufficient for a module structure for the definition to make sense. For example, '''Z''' is naturally a normed '''Z'''-module that is not a vector space.
     2
     3Addendum - Well, we actually need normed fields and rings as well for this to make sense. In fact, any additive monoid with a metric (function) becomes naturally normed. So we should also set that additional category link. I am not sure how to do that off-hand.