خط حقیقی

تابع d بر R × R با ضابطهٔ

${\displaystyle d(x,y)=|x-y|}$

یک متریک برای R است. فضای متری (d,‏R) را خط حقیقی اقلیدسی یا فضای اقلیدسی یک بعدی خوانیم.