Changes between Initial Version and Version 1 of Ticket #30092, comment 14
- Timestamp:
- 07/18/20 00:31:13 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #30092, comment 14
initial v1 1 1 I 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 3 Addendum - 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.