Definició
Per definir els nombres racionals comencem definint els nombres naturals. Els nombres naturals són $$$1,2,3,4,5,\ldots$$$
Formalment els nombres naturals són aquells que es poden escriure com a suma d'uns.
Per exemple, el número $$5$$ és natural ja que $$5=1+1+1+1+1.$$
Al conjunt de nombres naturals que escrivim com $$\mathbb{N}$$.
El formalisme presentat pot resultar interessant en un context on calgui rigorositat en les definicions. En el nostre context deixarem de banda aquest formalisme per centrar-nos en el punt de vista més intuïtiu.
Els nombres naturals permeten definir la suma de dos nombres de manera "natural". També podem pensar en la resta com una operació natural, però és fàcil observar com la resta de dos nombres naturals no ha de ser natural.
Per exemple $$3-5$$ no és un nombre natural.
Per poder definir la resta de nombres naturals definim els nombres enters, que consisteixen en afegir als nombres naturals els números necessaris per poder definir la resta.
Com és conegut, els nombres enters són $$$\ldots,-3,-2,-1,0,1,2,3,\ldots$$$
És a dir, els nombres naturals són els enters amb signe positiu. El conjunt de nombres enters que escrivim $$\mathbb{Z}$$. Segons aquestes notacions tenim $$\mathbb{N} \subseteq \mathbb{Z}$$.
Els nombres enters disposen d'una altra operació. No és altra que la multiplicació usual. El producte de nombres enters és un altre nombre enter.
Podríem ara definir la divisió de nombres enters. Això no és possible sempre ja que la divisió de nombres enters no té perquè ser enter. Per exemple $$\dfrac{1}{2}$$ no és enter.
Per poder definir la divisió de nombres enters cal considerar els nombres racionals.
Els nombres racionals consisteixen en el quocient de nombres enters, on dos nombres racionals són iguals si el producte creuat és igual.
És a dir, $$\dfrac{a}{b}$$ és igual a $$\dfrac{c}{d}$$ si $$ad=cb$$.
En la definició anterior es requereix que tant $$b$$ com $$d$$ siguin no nuls, perquè el nombre racional estigui ben definit.
El nombre enter $$n$$ s'associa al racional $$\dfrac{n}{1}$$.
Aquesta última expressió no s'utilitza si no és necessària, escrivint només $$n$$. El conjunt de nombres racionals es denota per $$\mathbb{Q}$$. Segons el comentari anterior tenim $$\mathbb{Z}\subseteq \mathbb{Q}.$$
Veiem com les operacions de suma i resta definides per enters es poden estendre als nombres racionals:
$$$\dfrac{a}{b}+\dfrac{c}{d}=\dfrac{ad+bc}{bd}$$$ $$$\dfrac{a}{b}-\dfrac{c}{d}=\dfrac{ad-bc}{bd}$$$
Les operacions de multiplicació i divisió es realitzen segons aquesta regla:
$$$\dfrac{a}{b}\cdot\dfrac{c}{d}=\dfrac{ac}{bd}$$$ $$$\dfrac{a}{b} : \dfrac{c}{d}=\dfrac{ad}{bc}$$$