Úgy látom, hogy a fogalmakban vannak olyan apróságok elrejtve, ami általában sokak számára nem egyértelmű, például számomra sem, ezért is értetlenkedtem korábban.
Azonban topologikus, vagy nem, de mindenképpen metrikus. Ugyanis a Cauchy sorozat fogalmához szükség van a két szám távolságára, vagyis a metrikára. Ez pedig a (nem negatív) valós számokra hivatkozik. Tehát akkor tudjuk a Q-beli sorozatról, hogy Cauchy sorozat, ha két racionális szám távolsága valós szám. Róka fogta csuka?
Ui: Én persze el tudnék képzelni egy nem negatív racionális számokon értelmezett távolságfogalmat is, mivel a racionális intervallum ugyanúgy végtelenségig darabolható, mint a valós intervallum. Természetesen ekkor minden halmazhoz a saját távolságfogalmát kellene használni. Jelenleg azonban a metrika címszó alatt csak a valós számokra van hivatkozás.
