Liczby wymierne

Liczby wymierne – liczby, które można zapisać w postaci ilorazu dwóch liczb całkowitych, w którym dzielnik jest różny od zera^[1]. Są to więc liczby, które można przedstawić za pomocą ułamka zwykłego. Zbiór liczb wymiernych oznaczany jest zazwyczaj symbolem ${\displaystyle \mathbb {Q} .}$ Wobec tego:

${\displaystyle \mathbb {Q} =\left\{{\frac {m}{n}}:m,n\in \mathbb {Z} ,n\neq 0\right\}.}$

Liczby wymierne są szczególnym przypadkiem liczb rzeczywistych. Liczbę rzeczywistą, która nie jest wymierna nazywamy liczbą niewymierną. Szczególnym przypadkiem liczb wymiernych są m.in. liczby całkowite i liczby naturalne.

Liczby wymierne tworzą ciało ułamków pierścienia liczb całkowitych. Konstrukcję tę możemy przedstawić w następujący sposób:

Niech w zbiorze par liczb całkowitych ${\displaystyle (a,b)\in \mathbb {Z} \times \mathbb {Z} ,}$ których następnik jest różny od zera, dana będzie relacja równoważności

${\displaystyle (a,b)\sim (c,d)}$ wtedy i tylko wtedy, gdy ${\displaystyle ad=bc.}$

W zbiorze klas abstrakcji tej relacji określa się dwa działania

• ${\displaystyle [(a,b)]+[(c,d)]=[(ad+bc,bd)],}$
• ${\displaystyle [(a,b)]\cdot [(c,d)]=[(ac,bd)].}$

Parę ${\displaystyle (a,b)}$ zapisuje się zwykle w postaci ułamka ${\displaystyle {\tfrac {a}{b}},}$ bądź jeśli ${\displaystyle b=1,}$ to parę tę utożsamia się po prostu z liczbą ${\displaystyle a.}$

Własności

• Liczby wymierne z dodawaniem, mnożeniem, zerem i jedynką określonymi w poprzedniej sekcji stanowią ciało.
  • W arytmetyce teoretycznej ciało liczb wymiernych definiuje się jako ciało ułamków pierścienia liczb całkowitych.
• Zbiór liczb wymiernych jest równoliczny ze zbiorem liczb naturalnych, czyli jest to zbiór przeliczalny (co oznacza się ${\displaystyle |\mathbb {Q} |=\aleph _{0}}$).
• Jako podzbiór przestrzeni liczb rzeczywistych ${\displaystyle \mathbb {R} ,}$ liczby wymierne są gęste w ${\displaystyle \mathbb {R} .}$

Dla wykazania tej własności wystarczy udowodnić, że dla każdych ${\displaystyle x,y\in \mathbb {R} ,\;x<y}$ istnieje liczba wymierna ${\displaystyle u\in \mathbb {Q} ,\;x<u<y.}$

Dowód Gdyby ${\displaystyle x,y}$ były wymierne, to oczywiście ${\displaystyle u={\tfrac {x+y}{2}}}$ spełnia tezę. Niech więc choć jedno spośród ${\displaystyle x,y}$ jest niewymierne.

• Jeśli ${\displaystyle x<0<y,}$ to można przyjąć ${\displaystyle u=0.}$
• Jeśli ${\displaystyle 0=x<y,}$ to ponieważ ${\displaystyle \mathbb {R} }$ jest ciałem archimedesowym, to wystarczy wskazać ${\displaystyle n\in \mathbb {N} }$ takie, że ${\displaystyle n>{\tfrac {1}{y}},}$ czyli ${\displaystyle 0<{\tfrac {1}{n}}<y.}$
  Podobnie gdy ${\displaystyle x<y=0,}$ wskazujemy ${\displaystyle n>{\tfrac {1}{-x}}}$ i wówczas ${\displaystyle x<{\tfrac {1}{-n}}<0.}$
• Niech więc ${\displaystyle 0<x<y}$ i niech np. ${\displaystyle x}$ jest niewymierne.
  Dla pewnego ${\displaystyle q\in \mathbb {N} }$ zachodzi ${\displaystyle q>{\tfrac {1}{y-x}},}$ stąd ${\displaystyle 1<q(y-x).}$
  Z drugiej strony istnieje ${\displaystyle p\in \mathbb {N} }$ takie, że ${\displaystyle p>qx,}$ niech ${\displaystyle p_{0}}$ będzie najmniejszą liczbą naturalną o tej własności. Pokażemy, że ${\displaystyle qx<p_{0}<qx+1.}$ Rzeczywiście, gdyby ${\displaystyle p_{0}\geqslant qx+1,}$ to byłoby ${\displaystyle p_{0}-1\geqslant qx.}$ Ponieważ równość nie może zachodzić (liczba niewymierna nie może być liczbą naturalną), więc ${\displaystyle p_{0}-1>qx}$ wbrew temu, że ${\displaystyle p_{0}}$ jest najmniejszą liczbą wśród liczb naturalnych ${\displaystyle p}$ o własności ${\displaystyle p>qx.}$
  Ostatecznie ${\displaystyle qx<p_{0}<qx+1}$ łącznie z warunkiem ${\displaystyle 1<q(y-x)}$ daje

${\displaystyle qx<p_{0}<qx+q(y-x)=qy}$

czyli

${\displaystyle x<{\frac {p_{0}}{q}}<y.}$

Jeśli ${\displaystyle y}$ jest niewymierne i ${\displaystyle x}$ wymierne, to wystarczy znaleźć ${\displaystyle n\in \mathbb {N} }$ takie, że ${\displaystyle n>y}$ i znaleźć jak poprzednio ${\displaystyle u\in \mathbb {Q} }$ spełniające ${\displaystyle 0<n-y<u<n-x.}$ Wówczas ${\displaystyle n-u\in \mathbb {Q} }$ i ${\displaystyle x<n-u<y.}$

• Jeśli ${\displaystyle x<y<0,}$ to wystarczy znaleźć jak w poprzednim punkcie ${\displaystyle u\in \mathbb {Q} }$ spełniające ${\displaystyle 0<-y<u<-x}$ i wówczas ${\displaystyle x<-u<y.}$

Zobacz też

• liczba
• liczby niewymierne
• liczby przestępne
• ułamek egipski

Przypisy