Ræðar tölur
Úr Wikipediu, frjálsa alfræðiritinu
Talnamengi í stærðfræði | ||||||
![]() |
Náttúrlegar tölur | |||||
![]() |
Heiltölur | |||||
![]() |
Ræðar tölur | |||||
![]() |
Óræðar tölur | |||||
![]() |
Rauntölur | |||||
![]() |
Tvinntölur | |||||
![]() |
Fertölur | |||||
![]() |
Áttundatölur | |||||
![]() |
Sextándatölur |
Ræðar tölur eru í stærðfræði talnamengi þeirra talna sem tákna má sem hlutfall tveggja heilla talna þar sem seinni talan er ekki núll. Mengi þetta er táknað með stafnum sem stendur fyrir „Quotient“ eða hlutfall á íslensku og er skilgreint á með mengjaskilgreiningarhætti á eftirfarandi hátt:
Ræðu tölurnar eru þétt hlutmengi í mengi rauntalna. Það þýðir að sérhver rauntala er markgildi samleitinnar runu af ræðum tölum. Með öðrum orðum þýðir það í hversu lítilli grennd um hverja rauntölu sem vera skal má finna ræðar tölur.
[breyta] Teljanleiki
Mengi ræðra talna er teljanlegt, sem unnt er að ímynda sér að hægt sé að stilla ræðu tölunum upp í röð. Formlegar þýðir það að unnt að smíða átæka vörpun frá til
. Þessi merkilegi eiginleiki blasir þó ekki við. Eitt af vandamálunum er að sérhver ræð tala hefur óendanlega margar jafngildar framsetningar, t.d. er
.
Ein leið til að telja það hlutmengi ræðu talnanna sem er hlutfall tveggja jákvæðra heiltalna er með dúfustélsaðferð Cantors:
Upptalningin okkar á þessu hlutmengi í væri þá eftirfarandi:
- 1 ↔
, 2 ↔
, 3 ↔
, 4 ↔
, 5 ↔
, 6 ↔
, o.s.frv.
Glöggur lesandi sér þó að með þessu erum við að margnúmera sumar ræðu talnanna, t.d. er . Við getum þó lagað vörpunina okkar með því að númera tvær jafngildar ræðar tölur aðeins einu sinni. Í okkar tilfelli myndum við t.d. sleppa að varpa
í 5.
Að vísu höfum við með þessu ekki sýnt fram á að allt mengið sé teljanlegt, en hugmyndin er sú sama. Eins og með svo margt annað í stærðfræðinni ráðumst við ekki beint á þetta vandamál með því að smíða vörpun með flókinni forskrift, heldur er vandamálið leyst í smærri og einfaldari verkefnum. Til að sýna fram á teljanleika
myndum við fyrst sýna fram á teljanleika
með dúfustélsaðferðinni. Með því að sýna að sammengi tveggja teljanlegra mengja sé teljanlegt fæst svo að þar sem
og eðlilega
eru teljanleg að
er teljanlegt. Þá má nota sér þessar stoðir til að sýna að
sé teljanlegt og því
.