Normed rings #
In this file we continue building the theory of (semi)normed rings.
Non-unital seminormed ring structure on the product of finitely many non-unital seminormed rings, using the sup norm.
Equations
Seminormed ring structure on the product of finitely many seminormed rings, using the sup norm.
Equations
If σ
and σ'
are mutually inverse, then one is RingHomIsometric
if the other is. Not an
instance, as it would cause loops.
Normed ring structure on the product of finitely many non-unital normed rings, using the sup norm.
Equations
Normed ring structure on the product of finitely many normed rings, using the sup norm.
Equations
Non-unital seminormed commutative ring structure on the product of finitely many non-unital seminormed commutative rings, using the sup norm.
Equations
Normed commutative ring structure on the product of finitely many non-unital normed commutative rings, using the sup norm.
Equations
Seminormed commutative ring structure on the product of finitely many seminormed commutative rings, using the sup norm.
Equations
Normed commutative ring structure on the product of finitely many normed commutative rings, using the sup norm.
Equations
A seminormed ring is a topological ring.
Equations
Equations
Equations
Equations
Multiplication by a nonzero element a
on the left, as a Dilation
of a ring with a strictly
multiplicative norm.
Equations
Instances For
Multiplication by a nonzero element a
on the right, as a Dilation
of a ring with a strictly
multiplicative norm.