Tallinjen

Tallinjen är ett sätt att visualisera de reella talen.

Mall:Clear Särskilt tre egenskaper blir tydligjorda med denna bild:

1. Ordningsrelationen: om a<b och b<c så är a<c
2. Kontinuiteten: om a<c går det att finna ett b så att a<b och b<c
3. Oändligheten: det går alltid att hitta ett större tal eller mindre tal

eller uttryckt i matematiska symboler:

1. $(a<b)\wedge (b<c)\Rightarrow a<c$
2. $(a<c)\Rightarrow \mathrm{\exists }b:(a<b)\wedge (b<c)$
3. $b\in ℝ\Rightarrow (\mathrm{\exists }a\in ℝ:a<b)\wedge (\mathrm{\exists }c\in ℝ:b<c)$