Rationaal getal

quotiënt van twee gehele getallen

Een rationaal getal is in de wiskunde het quotiënt, de verhouding, Latijn: ratio, van twee gehele getallen waarvan het tweede niet nul is. De verzameling van rationale getallen wordt meestal genoteerd als .

Relatie tussen de verschillende verzamelingen getallen

De rationale getallen maken deel uit van de reële getallen en omvatten de gehele getallen . Ieder geheel getal is dus ook een rationaal getal en ieder rationaal getal is ook een reëel getal.

Voorbeelden van rationale getallen zijn:

Ieder geheel getal is rationaal, zo is:

, enzovoort.

Ieder decimale getal met eindig veel decimalen is een rationaal getal:

0,5 = 5/10 = 1/2
0,17 = 17/100
0,567943209 = 567943209/1000000000

Niet ieder rationaal getal is als een decimaal getal te schrijven met eindig veel decimalen. Bijvoorbeeld:

1/3 = 0,3333…

en

15/7 = 2,142857 142857 142857 142857…,

zijn beide decimale getallen met oneindig veel decimalen, maar wel met een zich herhalend patroon. Men spreekt van een repeterende breuk. Ieder rationaal getal in het decimale stelsel heeft achter de komma een eindig aantal cijfers of is een repeterende breuk. Als een getal met oneindig veel decimalen geen herhalend patroon heeft, is het een irrationaal getal.

De verzameling van de rationale getallen is niet eindig, maar wel aftelbaar. De rationale getallen liggen dicht op de getallenlijn, wat betekent dat ieder punt daarop willekeurig dicht door een rationaal getal kan worden benaderd, maar er zijn ook oneindig veel 'gaten', want tussen ieder tweetal rationale getallen ligt een irrationaal getal.

Getallen als de wortel 2, π en e behoren niet tot de verzameling van rationale getallen, omdat ze niet als een breuk, dus als quotiënt van twee gehele getallen, kunnen worden geschreven. Deze getallen heten irrationaal.

Operaties met rationale getallen bewerken

Getalverzamelingen

Natuurlijke getallen
Gehele getallen
Rationale getallen
Reële getallen
Complexe getallen
Quaternionen
p-adische getallen
Hyperreële getallen
Surreële getallen
Transfiniete getallen

Irrationale getallen
Algebraïsche getallen
Transcendente getallen
Imaginaire getallen

Als verzameling zijn de rationale getallen volgens de bovenstaande definitie te schrijven als

 ,

waarin   de verzameling van gehele getallen is.

  is door de eigenschappen van de optelling en vermenigvuldiging een voorbeeld van een lichaam (Nederland) of veld (Belgisch). Voor de bewerkingen die we met rationale getallen kunnen uitvoeren, gelden de volgende regels.

optellen:  
vermenigvuldigen:  
aftrekken:  
delen:  

Eigenschappen bewerken

  is het quotiëntenlichaam van het integriteitsgebied   van de gehele getallen.

  is het kleinste lichaam van karakteristiek 0. Elk ander lichaam van karakteristiek 0 bevat een kopie van  .

De rationale getallen zijn niet algebraïsch gesloten, bijvoorbeeld doordat de vierkantswortel van het rationale getal 2 niet op zijn beurt rationaal is.[1]

De algebraïsche sluiting van   is het lichaam van de algebraïsche getallen. Deze verzameling wordt genoteerd als   of   en is net als   aftelbaar. Let wel,   is niet gelijk aan het lichaam   van de complexe getallen, dat de algebraïsche sluiting van de reële getallen is.

Gegeven een positief geheel getal  . Als   een rationaal getal is, dan is   een kwadraat.

Bewijs 
Neem aan dat   rationaal is. Dan zijn er gehele getallen   en   zodat   en ggd . Dan kan   niet verder worden vereenvoudigd en is  , omdat   een geheel getal is. Dus is   een kwadraat.

Definitie bewerken

De rationale getallen kunnen worden gedefinieerd als equivalentieklassen van paren gehele getallen, waarbij het tweede niet nul is. Twee breuken liggen dan in dezelfde equivalentieklassen, wanneer zij hetzelfde rationaal getal zijn.

Beschouw de productverzameling  , dat is de verzameling van alle geordende paren van gehele getallen waarvan het tweede verschillend is van 0. Op deze productverzameling bepaalt men een equivalentierelatie door te zeggen dat het geordende paar   gelijkwaardig is met het paar   als  .

Opdat dit een equivalentierelatie zou zijn, moet de transitiviteit worden nagegaan: indien een willekeurig derde geordend paar   gelijkwaardig is met  , dan ook met  . Dit kan worden uitgerekend:

 

en omdat   verschillend is van 0, moet  .

Men noteert de equivalentieklasse van het geordende paar   als de breuk ab en kan nagaan dat de algemene rekenregels voor de optelling en de vermenigvuldiging van breuken met deze equivalentierelatie overeenkomen, de resultaten zijn onafhankelijk van de gekozen vertegenwoordiger van een equivalentieklasse, en dat ze de structuur van een lichaam/veld bepalen. De elementen van dit lichaam/veld zijn de rationale getallen.