On two copies of the real line with their usual topologies, let and . The coordinate projection maps give
The first two open sets are unbounded strips; their set intersection is an open rectangle. The point passes both coordinate tests, whereas fails the first because the endpoint is excluded.
Figure 1.
An open rectangle is the intersection of two coordinate-projection strips
. Dashed boundaries and hollow endpoints are excluded. Arrows at the ends of the strips indicate that the strips continue indefinitely. The final panel projects the interior point onto the two tested intervals. Details.
Every point of an open set in the Euclidean plane has such an open rectangle around it inside that open set. Conversely, every open rectangle contains a small Euclidean ball around each of its points. Thus the product topology here is the usual metric topology of the Euclidean plane. With finitely many factors all coordinates may be restricted; on an infinite Cartesian product a basic cylinder set must leave all but finitely many factors free.

There are no discussions about this article yet.

Articles by others on the same topic (NaN)

There are currently no matching articles.