(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

As the title suggests, I need to show that RxR is metrizable in the dictionary order topology.

As a reminder, for two elements (a, b) and (c, d) of R^2, the dictionary order is defined as (a, b) < (c, d) if a < c, or if a = c and b < d.

3. The attempt at a solution

The typical basis elements for the dictionary order topology (dot from now on) are represented by either "infinite vertical regions" or "vertical intervals".

If we define a metric on R^2 with:

d(x, y) = |x2 - y2| , for x1 = y1 ; max{|xi - yi|, for x1 =/= y1}

where x = (xi) and y = (yi) are points in R^2,

we can prove that the dot equals the topology induced by this metric, for, if B is some basis element in the dot, we can find open balls which are either regions or open intervals contained in this basis element, whatever it looks like. The same vice versa.

I hope this works.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Proving R^2 is metrizable in the dictionary order topology

**Physics Forums | Science Articles, Homework Help, Discussion**