Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have expanded norm a bit.
Have added to norm the definition of a normed group, only to discover that there is also an entry normed group, so I have cross-linked them now.
I am experimenting with some table-to-be-used-for-inclusion
analytic geometry ingredients – table
But not really happy yet.
I have added to norm the usual (?) definition of homomorphism of normed groups (homomorphisms of the underlying groups which are bounded in norm).
You mean that you added this to normed group (which is where it belongs). I added remarks on bounded vs short homomorphisms, the same issue that you were having with normed rings.
There is more on this issue at Banach space#morphisms.
Okay, thanks.
Added some properties of unit balls: they are convex sets, balanced sets and absorbing set.
1 to 7 of 7