Matematikte **reel sayılar** (**gerçel** ya da **gerçek sayılar**) kümesi, Fransızca *réel* "gerçek" den gelmektedir. Oranlı sayılar (rasyonel sayılar) kümesinin evrim sürecinden elde edilen bir varsayım kombinasyonudur. Reel sayılar kümesi {\displaystyle \mathbb {R} } sembolüyle gösterilir.

Her oranlı sayı (rasyonel sayı) bir gerçek sayıdır; virgülden sonra bloklar halinde tekrar eden ondalık açılımı vardır (0 dahil). Örneğin,

{\displaystyle {\frac {1}{4}}=0,2500000....}
eşitliğinde olduğu gibi. Burada dikkat edilmesi gereken, ondalık basamaklardaki rakamların bir süre sonra bloklar halinde periyodik tekrar etme özelliğidir. Bu şöyle ispatlanabilir: **m**, **n** iki tam sayı (**n** negatif) olsun. **m/n** oranlı sayısı ondalık ifade edilmek istendiğinde, **m** 'yi **n** 'ye bölerken (bölme algoritmasını varsayımı uygularken) ilk adımda kalan 0 ile n arasında olacaktır. Kalanın yanına sıfırlar ekleyip bölmeye devam edilecek ve bir sonraki adımda kalan yine 0 ile n arasında olacaktır. Sonsuz adımda sonlu sayıda değer alabilen kalanlar, bir süre sonra aynı değeri alacak ve kendini tekrar edecektir.

Oranlı sayılardan gerçek sayıları elde etme işlemiyse oranlı sayılara ondalık açılımındaki rakamların devirsel tekrar etmediği sayıların eklenmesi olarak düşünülebilir. Bu tür sonradan elde ettiğimiz gerçek sayılara oransız sayılar veya irrasyonel sayılar denir.

İrrasyonel sayıların varlığı
----------------------------

Düzlemde herhangi bir doğru parçası alıp buna da birim (br) uzunluk diyelim. Tam sayılarla bu doğru parçasının katları birebir eşlensin. Alınan bir doğrunun üzerinde bu tam sayı uzunlukları ve olası tüm oranları (oranlı sayılar) işaretlensin. Gösterilebilir ki, herhangi iki oranlı sayı arasında sonsuz çoklukta oranlı sayı vardır. Demek oluyor ki, alınan doğru üzerinde birbirlerine istenildiği kadar yakın ve oranlı sayıları temsil eden iki nokta (oranlı nokta) arasında , sonsuz çoklukta oranlı nokta vardır.

Bu tür noktaların, dolayısıyla uzunlukların varlığını ispatlamak için, kenar uzunluğu 1 birim (br) olan bir karenin köşegen uzunluğunu (**x**) sayı doğrusu üzerinde işaretleyelim. **x** uzunluğu, oranlı bir sayı değildir, yani **p** ve **q** birer tam sayı olmak üzere **p/q** şeklinde gösterilemeyen bir sayıdır; bu sayı {\displaystyle {\sqrt {2}}} olarak gösterilecektir.

Kabul edelim ki **x=p/q** olsun. Bundan başka, bu kesrin artık kısaltılamayan bir kesir olduğunu farz edelim, yani **p** ve **q** aralarında asal olsunlar. Başka bir deyişle, bunların 1'den başka ortak bölenleri bulunmasın. Pisagor teoremi sayesinde **x2=2=p2/q2** elde edilir. Dolayısıyla 2**q2=p2** olur. **p** ve **q** aralarında asal olduğu için 2, **p** 'yi bölmek zorundadır. Böylece eşitliğin sağ tarafı 4'e bölünür. Sol tarafının da dörde bölünmesi gerekeceğinden **q** da 2'ye bölünmek zorunda kalır. Hem **p** hem de **q** sayıları 2'ye bölünebiliyorsa, aralarında asallık kabulüyle çelişkili bir sonuç bulunmuş olur. O halde **x** 'in oranlı bir sayı olduğu kabulünden vazgeçmek gerekecektir.

Bu ispat, bir Pisagorcu olan Hippasus'a atfedilmektedir (MÖ 5. yüzyıl). İrrasyonel sayıların varlığının ilk antik Yunan matematikçi Pisagor'un okulu tarafından anlaşılmış olduğu görüşü yaygındır. Fakat Pisagor bu sayıların evrenin düzenine aykırı olduğunu düşünmüş ve öğrencilerine bu sayıların varlığını açıklamayı yasaklamıştır. Rivayete göre Hippasus'u o öldürtmüştür.

Reel sayıların kurulması
------------------------

İrrasyonel Sayılar ile oranlı sayılar kümesinin birleşimi Gerçel sayılar kümesini oluşturur. Bu kümeye reel sayılar veya gerçel sayılar da denir. Geometride karşılaşılan bazı büyüklüklerin anlamlandırılabilmesi için Klasik Yunan Dönemi'nde, yaygın inanca göre Pisagor ve öğrencileri tarafından sayı kavramına dâhil edilmişlerdir. Anlatılanlara göre Pisagor doğadaki tüm büyüklükleri rasyonel sayılarla ifade edilebileceğini söylemekteydi. Fakat bulduğu hipotenüs eşitliğinin bir sonucu olarak x2 = 2 gibi bir değerlerle karşılaştı. Uzun yıllar boyu bu tür sayıların uzun kesirlerle ifade edilebileceğini iddia etti ve göstermeye çalıştıysa da, öğrencilerinden birinin bu gibi sayıların kesinlikle kesirli bir biçimde gösterilemeyeceğini ispat etmesiyle ikna oldu ama hayatı boyu bunun bir sır gibi gizlenmesi için çalıştı ve doğada gerçel sayıların yeri olmadığını söylemeye devam etti.
Gerçel sayılar kümesi R harfi ile ifade edilir.

Diğer bilgiler
--------------

* Tam kare olmayan hiçbir doğal sayının karekökü oranlı değildir.
* Oranlı sayılar kümesi sayılabilir olmasına karşılık gerçel sayılar kümesi sayılamazdır.
* Gerçel sayılar "cebirsel sayıların elemanı olanlar" ve "aşkın sayılar" (transcendental) olarak ikiye ayrılırlar. Gerçel sayılar, cebirsel sayıları kapsamaz, fakat aşkın sayıları kapsar. Cebirsel bir gerçel sayı, tam sayı katsayılı bir polinomun kökü olabilen bir sayıdır; örneğin: x2 - 2 polinomunu 0 yapan değerlerden biri (kök) {\displaystyle {\sqrt {2}}}'dir. x - 2 polinomunun kökü 2'dir. Dolayısıyla {\displaystyle {\sqrt {2}}} ve 2 cebirsel sayılardır. Ancak \pi ve **e** sayıları gibi sayılar herhangi bir polinomun kökü olamazlar; bunlar aşkın sayılardır.

Ayrıca bakınız
--------------

* 0,999...
* e sayısı
* Devirli Sayı

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

Sayı sistemleri| Karmaşık {\displaystyle :\;\mathbb {C} } | 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Reel {\displaystyle :\;\mathbb {R} } | 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Rasyonel {\displaystyle :\;\mathbb {Q} } | 

|  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Tam sayı {\displaystyle :\;\mathbb {Z} } | 

|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- |
| Doğal {\displaystyle :\;\mathbb {N} } | 

|  |
| --- |
| Sıfır: 0 |
| Bir: 1 |
| Asal sayılar |
| Bileşik sayılar |

 |

 |
| Negatif tam sayılar |

 |

 |
| 

|  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- |
| Kesir | 

|  |
| --- |
| Sonlu ondalık sayı |
| İkili (sonlu ikili) |
| Devirli ondalık sayı |  |

 |

 |

 |

 |
| 

|  |  |  |  |
| --- | --- | --- | --- |
| İrrasyonel | 

|  |
| --- |
| Cebirsel irrasyonel |
| Aşkın |

 |

 |

 |

 |
| Sanal |

 |

 |

 |

Kaynakça
--------

1. ↑  "real number". *Oxford Reference* (İngilizce). doi:10.1093/oi/authority.20110803100406944. 12 Temmuz 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 12 Temmuz 2023.
2. ↑  Weisstein, Eric W. "Real Number". *mathworld.wolfram.com* (İngilizce). 29 Şubat 2000 tarihinde kaynağından arşivlendi. Erişim tarihi: 12 Temmuz 2023.

| * g
* t
* d
Sayılar |
| --- |
| Sayılabilir küme | 
* Doğal sayılar (\scriptstyle\mathbb{N})
* Tam sayı (\scriptstyle\mathbb{Z})
* Rasyonel sayılar (\scriptstyle\mathbb{Q})
* İnşa edilebilir sayılar
* Cebirsel sayılar ({\displaystyle \scriptstyle \mathbb {A} })
* Periyotlar
* Hesaplanabilir sayılar
* Tanımlanabilir gerçel sayılar
* Aritmetik sayılar
* Gaussyen tam sayılar

 |
| Kompozisyon cebiri | 
* Bölüm cebiri: Reel sayılar (\scriptstyle\mathbb{R})
* Karmaşık sayılar (\scriptstyle\mathbb{C})
* Dördey (\scriptstyle\mathbb{H})
* Sekizeyler (\scriptstyle\mathbb{O})

 |
| Split türleri | 
* \scriptstyle\mathbb{R} üzerinde:  • Split-karmaşık sayılar  • Split-dördeyler

\scriptstyle\mathbb{C} üzerinde:  • Split-sekizeyler  • Bikompleksler  • Bidördeyler  • Bisekizeyler
 |
| Diğer hiperkarmaşık sayılar | 
* İkil sayılar
* İkil dördeyler
* İkil-karmaşık sayılar
* Hiperbolik dördeyler
* Onaltıyeyler (\scriptstyle\mathbb{S})
* Split-bidördeyler
* Çoklukarmaşık sayılar
* Geometrik cebir
	+ Fiziksel uzay cebri
	+ Uzay-zaman cebri

 |
| Diğer türler | 
* Kardinal sayılar
* Genişletilmiş gerçek sayılar
* İrrasyonel sayılar
* Bulanık sayılar
* Hiper gerçek sayılar
* Levi-Civita cismi
* Surreal sayılar
* Aşkın sayılar
* Ordinal sayılar
* *p*-sel sayılar (*p*-sel solenoidler)
* Süperdoğal sayılar
* Süper gerçek sayılar

 |
| İlgili diğer kavramlar | 
* Çift ve tek sayılar
* Devirli sayılar
* Hiperbolik sayılar
* Sonluötesi sayılar
* Cayley–Dickson yapısı
* Tessarine
* Musean hipersayısı
* ∞ (sonsuz)
* Tam sayı dizileri
* Büyük sayılar (Googol)
* Matematik sabitleri
* Nominal sayılar
* Asal sayılar
* Bileşik sayılar
* Sanal sayılar
* Arkadaş sayılar
* Mükemmel sayılar
* Eksik sayılar
* Artık sayılar
* Üçgensel sayılar
* Karesel sayılar
* Kare-üçgensel sayılar
* Beşgensel sayılar
* Dörtyüzlüsel sayılar
* Harshad sayıları
* Yarım tam sayılar
* Palindromik sayılar
* Lasa sayısı

 |
| 
* Sınıflandırma
* Liste Liste

 |


|  |  |
| --- | --- |
| Otorite kontrolü Bunu Vikiveri'de düzenleyin | 
* BNF: cb11977586x (data)
* GND: 4202628-3
* LCCN: sh85093221
* NDL: 00574870
* NKC: ph125164
* NLI: 987007538747105171

 |