Garis bilangan riil

Garis bilangan riil (bahasa Inggris: real number line atau real line) dalam matematika, adalah garis di mana setiap titiknya melambangan suatu bilangan riil. Jadi, garis bilangan riil adalah himpunan semua bilangan riil ${\displaystyle \mathbb {R} }$, dipandang sebagai suatu ruang geometri, yaitu ruang Euklidean dalam satu dimensi.

Garis bilangan riil adalah suatu kontinum linear menurut tatanan ${\displaystyle <}$ standar. Secara khusus, garis bilangan riil adalah himpunan terurut linear menurut ${\displaystyle <}$, dan urutan ini adalah rapat dan mempunyai sifat batasan-bawah-terkecil.

Garis bilangan riil membentuk suatu ruang metrik, dengan fungsi jarak yang dinyatakan oleh beda mutlak:

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

Garis bilangan riil memuat suatu topologi standar yang dapat diperkenalkan dalam dua jalan ekuivalen yang berbeda.

• Pertama, karena bilangan riil adalah urutan total, bilangan-bilangan itu memuat topologi tatanan.
• Kedua, bilangan-bilangan riil mewarisi suatu topologi metrik dari metrik sesuai definisi di atas. Topologi tatanan dan topologi metrik pada ${\displaystyle \mathbb {R} }$ adalah sama. Sebagai suatu ruang topologi, garis bilangan riil bersifat homeomorfik pada interval terbuka ${\displaystyle (0,1)}$.

Garis bilangan riil adalah suatu ruang vektor atas medan ${\displaystyle \mathbb {R} }$ dari bilangan riil (yaitu, atas dirinya sendiri) dari dimensi 1. Mempunyai suatu hasilkali dalam standar, membuatnya suatu ruang Euklides. Norma standar pada ${\displaystyle \mathbb {R} }$ adalah sekadar fungsi nilai absolut.

Garis bilangan riil memuat suatu pengukuran kanonikal, yaitu "pengukuran Lebesque". Pengukuran ini dapat didefinisikan sebagai kelengkapan suatu pengukuran Borel yang didefinisikan pada ${\displaystyle \mathbb {R} }$, di mana pengukuran pada interval apapun merupakan panjang dari interval itu.

Pengukuran Lebesgue pada garis bilangan riil adalah satu contoh paling sederhana dari suatu pengukuran Haar pada sebuah kelompok kompak lokal.

Garis bilangan riil merupakan subruang satu dimensi dari suatu aljabar bilangan riil ${\displaystyle A}$ di mana ${\displaystyle \mathbb {R} \subset A}$.^{[butuh klarifikasi]} Misalnya, dalam bidang kompleks ${\displaystyle z=x+iy}$, subruang ${\displaystyle \{z\colon y=0\}}$ adalah suatu garis bilangan riil. Mirip dengan itu, aljabar kuaternion

${\displaystyle q=w+xi+yj+zk}$

mempunyai suatu garis bilangan riil dalam subruang ${\displaystyle \{q\colon x=y=z=0\}}$.

Ketika aljabar bilangan riil adalah suatu jumlah langsung ${\displaystyle A=R\oplus V,}$ maka suatu konjugasi pada ${\displaystyle A}$ dinyatakan dengan pemetaan ${\displaystyle v\mapsto -v}$ subruang ${\displaystyle V}$. Secara demikian garis bilangan riil terdiri dari titik-titik tetap pada konjugasi tersebut.

• Garis (geometri)
• Garis bilangan
• Bilangan riil

• Munkres, James (1999). Topology (edisi ke-2nd). Prentice Hall. ISBN 0-13-181629-2. 
• Walter Rudin, Real and Complex Analysis, McGraw-Hill, 1966, ISBN 0-07-100276-6.