Coordinate seminorms

ID: coordinate-seminorms

On , the coordinate seminorms and measure horizontal and vertical components separately. Their kernels of seminorms are the vertical and horizontal axes. Neither is a norm, but together they form a separating family of seminorms. A basic zero neighbourhood is
Each condition alone is an unbounded strip; their intersection is an open rectangle. For , this is the unit open ball of the maximum norm . For unequal tolerances it is the unit open ball of the weighted norm . Thus the two coordinate measurements generate the usual topology of the plane.
For a numerical check, take , : passes both tests, passes only the horizontal test, and passes only the vertical test. A direction missed by one seminorm is detected by the other.
Figure 1.
Two coordinate seminorm strips intersect in a basic open rectangle
. Details.

New to topics? Read the docs here!