Mewn topoleg a meysydd mathemateg cysylltiedig, mae gofod metrizadwy yn ofod topolegol sy'n gartrefomorffig i ofod metrig. Hynny yw, lle topolegol (X, {T}})} Dywedir ei bod yn cael ei gyfeirio os oes metrig
d \ colon X \ times X \ to [0, \ infty)}
fel bod y topology a ysgogir gan d yw {T}}} . Theoremau metrization yw theoremau sy'n rhoi digon o amodau ar gyfer gofod topolegol i fod yn bosibl. [Mathemateg] |