Co to liczba wymierna? Wyjaśnienie i przykłady

Liczbą wymierną nazywamy każdą wartość, którą można zapisać jako ułamek zwykły \(\frac{p}{q}\), gdzie p i q to liczby całkowite, a q jest różne od zera. Do tego zbioru należą więc nie tylko ułamki, ale i wszystkie liczby całkowite, a nawet skończone i okresowe zapisy dziesiętne. To wbrew pozorom rozległa i uporządkowana grupa, a jej pełne zrozumienie usuwa wiele matematycznych wątpliwości.

Definicja i symbolika liczb wymiernych

Formalny zapis definicji odwołuje się do ilorazu dwóch dowolnych liczb całkowitych. Warunek, by mianownik był niezerowy, wynika z fundamentalnej zasady niedzielenia przez zero. Zbiór ten tradycyjnie oznacza się symbolem \(\mathbb{Q}\), który wywodzi się od niemieckiego słowa „Quotient”, czyli iloraz. Dzięki takiemu ujęciu liczby wymierne stanowią rozszerzenie zbioru liczb całkowitych \(\mathbb{Z}\) o możliwość swobodnego dzielenia.

W praktyce oznacza to, że każdą liczbę całkowitą, na przykład 5, można bez przeszkód zapisać jako \(\frac{5}{1}\). Podobnie postępujemy z zerem, gdzie w liczniku pojawia się zero, a mianownik pozostaje dowolną liczbą całkowitą różną od zera, np. \(\frac{0}{1}\). Taka elastyczność zapisu pokazuje, że definicja jest pojemna i ściśle ujmuje to, co w arytmetyce uznajemy za proporcję lub stosunek dwóch wartości.

Przykłady liczb i ich zapisów ułamkowych

Wielu uczniów na wczesnym etapie nauki zastanawia się, czy ułamek dziesiętny może być liczbą wymierną. Odpowiedź jest twierdząca, o ile tylko rozwinięcie dziesiętne ma charakter skończony lub okresowy. Na przykład wartość 0,25 zamienia się na ułamek \(\frac{1}{4}\), co natychmiast spełnia definicję ilorazu dwóch liczb całkowitych. Również ułamek okresowy 0,(1) jest wymierny, ponieważ jego forma ułamkowa to \(\frac{1}{9}\).

Do tego samego zbioru trafiają liczby mieszane, takie jak \(1 \frac{2}{3}\), po ich przekształceniu na ułamek niewłaściwy \(\frac{5}{3}\). Co ciekawe, przynależność do \(\mathbb{Q}\) zachowują również wartości ujemne. Zapis \(-\frac{3}{2}\) jest zgodny z definicją, ponieważ licznik (-3) i mianownik (2) pozostają liczbami całkowitymi. Tę samą własność ma każda ujemna liczba całkowita, którą można sprowadzić do ułamka, na przykład -3 staje się \(\frac{-3}{1}\).

Pierwiastki a świat wymierności

Wokół pierwiastków narosło wiele nieporozumień. Kluczowe jest tutaj rozróżnienie samego symbolu od jego wyniku. Sam pierwiastek z dwóch jest klasycznym przykładem liczby niewymiernej, jednak już \(\sqrt{4}\) daje wynik 2, który bez problemu zapisujemy jako \(\frac{2}{1}\). Innymi słowy, nie każdy symbol pierwiastka skazuje liczbę na niewymierność; istotna jest wartość liczbowa po wykonaniu działania. Z tego powodu \(\sqrt{9}\) to wciąż 3, a więc element zbioru \(\mathbb{Q}\).

Niewymierność pojawia się dopiero wówczas, gdy wynikiem jest wartość o nieskończonym, nieokresowym rozwinięciu dziesiętnym. Klasyczne dowody geometryczne pokazują, że nie istnieje ułamek, który precyzyjnie oddałby długość przekątnej kwadratu o boku 1. Wtedy właśnie mamy do czynienia z linią graniczną między tym, co da się zapisać jako prosty iloraz, a tym, co wymyka się takiemu przedstawieniu.

Gęstość zbioru i relacja z osią rzeczywistą

Jedną z ważnych własności tego zbioru jest jego gęstość. Oznacza ona, że pomiędzy dowolnymi dwiema różnymi liczbami wymiernymi zawsze znajdziemy trzecią liczbę tego samego typu. Gdybyśmy spojrzeli na oś liczbową, punkty odpowiadające wymiernym wartościom są rozłożone niezwykle ciasno, choć nie wypełniają całej przestrzeni. Całościowy obraz daje dopiero rozszerzenie do zbioru liczb rzeczywistych \(\mathbb{R}\), które wypełnia powstałe luki.

W teorii mnogości podkreśla się, że zbiór \(\mathbb{Q}\) jest przeliczalny, co znaczy, że jego liczebność jest taka sama jak zbioru liczb naturalnych \(\mathbb{N}\). Można to osiągnąć, stosując sprytną metodę ustawiania wszystkich ułamków w tablicy i przeglądania ich po przekątnych. Własność ta na pierwszy rzut oka wydaje się zaskakująca, bo intuicja podpowiada, że ułamków jest nieporównanie więcej niż zwykłych liczb 1, 2, 3, a jednak z formalnego punktu widzenia są to zbiory równoliczne.

Liczenie po przekątnej

Wyobraźmy sobie nieskończoną tabelę, gdzie wiersze oznaczają liczniki, a kolumny mianowniki. W każdej komórce znajduje się ułamek. Idąc zygzakiem przez taką planszę, jesteśmy w stanie ponumerować każdy z ułamków, pomijając powtórzenia. Ta procedura dowodzi, że mocy zbioru \(\mathbb{Q}\) nie da się porównać z potęgą kontinuum, jaką dysponują liczby rzeczywiste.

Czym liczby wymierne nie są?

Drugą stroną medalu są wartości, które nie dają się przedstawić w żądanej formie. Liczba \(\pi\) jest najsłynniejszym przykładem. Choć w przybliżeniach inżynierskich używa się 3,14, jej prawdziwa natura to nieskończony i całkowicie nieokresowy ciąg cyfr po przecinku. Nie istnieje żaden ułamek zbudowany z liczb całkowitych, który opisałby ją z absolutną dokładnością. Podobnie rzecz ma się z \(\sqrt{3}\) – to również nie daje się zapisać jako czysty iloraz dwóch całkowitych składników.

W literaturze matematycznej można też spotkać intrygujące konstrukcje sumowania liczb niewymiernych. Pojawia się na przykład pytanie, czy suma dwóch takich liczb zawsze jest niewymierna. Doświadczenie uczy, że nie ma tu sztywnej reguły. Wystarczy znaleźć parę w rodzaju \(\sqrt{2}\) i \(-\sqrt{2}\). Każda z nich z osobna jest niewymierna, ale ich suma daje 0, czyli liczbę ze zbioru \(\mathbb{Q}\).

Argumenty z postacią algebraiczną

Podobny efekt daje połączenie \(5-\sqrt{2}\) z \(\sqrt{2}\). Osobno oba wyrażenia są niewymierne, ale razem znoszą część zawierającą pierwiastek, tworząc jawnie wymierną piątkę. Spojrzenie na to zagadnienie uczy, że zbiór \(\mathbb{Q}\) jest zamknięty na podstawowe działania, ale luz w definicji niewymierności pozwala na tworzenie zaskakujących sum i różnic. Właśnie dlatego algebrę określa się często sztuką znajdowania ukrytych struktur wśród pozornego chaosu liczb.

Kształtowanie ciała przez dodawanie i mnożenie

Z punktu widzenia algebry abstrakcyjnej, liczby wymierne wraz z działaniami dodawania i mnożenia tworzą strukturę zwaną ciałem. Oznacza to, że dla każdego niezerowego elementu istnieje odwrotność, czyli możliwe jest dzielenie, co odróżnia \(\mathbb{Q}\) od pierścienia liczb całkowitych. W pierścieniu całkowitym dzielenie 5 przez 3 nie da całkowitego wyniku, natomiast w ciele wymiernym bez przeszkód zapiszemy wynik jako \(\frac{5}{3}\).

Własności porządkowe również są tu przebogate. Porządek w zbiorze \(\mathbb{Q}\) jest gęsty, ale nie ciągły. Oś wymierna, mimo ogromnej liczby punktów, posiada luki w każdym miejscu odpowiadającym wartościom niewymiernym. To właśnie ta subtelna cecha doprowadziła matematyków do zbudowania pełniejszego zbioru liczb rzeczywistych.

Różnicę między tymi strukturami można zebrać w krótkim zestawieniu:

Podczas zagłębiania się w temat warto zwrócić uwagę na możliwość reprezentacji każdej liczby wymiernej za pomocą skończonego ułamka łańcuchowego. Jest to cecha, która w piękny sposób wyróżnia elementy \(\mathbb{Q}\) pośród szerszego tła wartości rzeczywistych. Na przykład ułamek zwykły \(\frac{5}{3}\) da się rozpisać jako konkretny, zwięzły schemat piętrowy i właśnie ta skończoność stanowi granicę między uporządkowaną wymiernością a nieskończoną złożonością świata niewymiernego.