Рационалан број

Симбол за скуп рационалних бројева

Рационални бројеви ($\mathbb{Q}$) су укључени у реалне бројеве ($ℝ$), док сами обухватају целе бројеве ($\mathbb{Z}$), који обухватају природне бројеве ($\mathbb{N}$)

У математици, рационалан број (понекад у разговору употребљавамо разломак) је број који се може записати као однос два цела броја a/b, где b није нула. На пример, Шаблон:Math је рационалан број, као и сваки цео број (нпр. Шаблон:Math). Скуп свих рационалних бројева, који се такође називају „рационалним” вредностима, поље рационалних вредности или поље рационалних бројева обично се означава подебљаним Шаблон:Math (или $\mathbb{Q}$, уникод вредношћу Шаблон:Unichar или Шаблон:Unichar); како га је 1895. означио Ђузепе Пеано по речи quoziente, што је италијански за „квоцијент“, а први пут се појавио у Бурбакијевој Алгебри.

Сваки рационалан број може бити написан на бесконачан број начина, на пример $\frac{3}{6}=\frac{2}{4}=\frac{1}{2}$. Најједноставнији облик је када бројилац и именилац немају заједничког делитеља (узајамно су прости), а сваки рационалан број различит од нуле има тачно једну једноставну форму са позитивним имениоцем. Рационални бројеви имају децимални развој са периодичним понављањем група цифара. Овде се рачуна и случај када нема децимала или када се од неког места 0 понавља бесконачно. Ово је истинито за сваку целобројну основу већу од 1. Другим речима, ако је развој исписа неког броја у некој бројној основи периодичан, он је периодичан у свим основама, а број је рационалан. Реалан број који није рационалан се зове ирационалан. Скуп свих рационалних бројева, који чине поље, означава се са $\mathbb{Q}$. Користећи скуповну нотацију $\mathbb{Q}$ се дефинише као: $\mathbb{Q}=\{\frac{m}{n}:m\in \mathbb{Z},n\in \mathbb{Z},n\ne 0\},$ где је $\mathbb{Z}$ скуп целих бројева.

Децимално проширење рационалног броја се било завршава након коначног броја цифара (пример: Шаблон:Math), или на крају почиње да се понавља исти коначни низ цифара изнова и изнова (пример: Шаблон:Math). Насупрот томе, свака децимала која се понавља или завршава представља рационалан број. Ови искази су тачни у бази 10, и у свакој другој целобројној бази (на пример, бинарној или хексадецималној).

Реалан број који није рационалан назива се ирационалан. Ирационални бројеви укључују Шаблон:Math, [[Pi|Шаблон:Pi]], Шаблон:Math, и Шаблон:Math. Децимално проширење ирационалног броја се наставља без понављања. Пошто је скуп рационалних бројева пребројив, а скуп реалних небројив, и скоро сви реални бројеви су ирационални.

Рационални бројеви се могу формално дефинисати као класе еквиваленције парова целих бројева Шаблон:Math са Шаблон:Math, користећи релацију еквиваленције дефинисану на следећи начин:

$(p_1,q_1)\sim (p_2,q_2)⟺p_1{q}_2=p_2{q}_1.$

Разломак Шаблон:Math тада означава класу еквиваленције Шаблон:Math.

Рационални бројеви заједно са сабирањем и множењем чине поље које садржи целе бројеве и налази се у било ком пољу које садржи целе бројеве. Другим речима, поље рационалних бројева је просто поље, а поље има карактеристику нула ако и само ако садржи рационалне бројеве као потпоље. Коначна проширења Шаблон:Math називају се поља алгебарских бројева, а алгебарско затварање Шаблон:Math је поље алгебарских бројева.

Етимологија

Иако се данас рационални бројеви дефинишу у виду односа, термин рационалан није изведен и речи -{ratio}-. Напротив, то је однос који је изведен из рационалног. Прва употреба речи -{ratio}- са његовим савременим значењем је посведочена на енглеском око 1660. године, док се употреба речи -{rational}- за квалификационе бројеве појавила скоро век раније, 1570. године. Ово значење рационалног потиче од математичког значења ирационалног, које је први пут коришћено 1551. године, а коришћено је у „преводима Еуклида (следећи његову особену употребу Шаблон:Lang)“.

Ова необична историја потиче од чињенице да су стари Грци „избегли јерес тако што су себи забранили да мисле о тим [ирационалним] дужинама као бројевима“. Дакле, такве дужине су биле ирационалне, у смислу нелогичног, о чему се „не говори“ (Шаблон:Lang на грчком).

Аритметика

Четвртине

Два рационална броја (разломка) $\frac{a}{b}$ и $\frac{c}{d}$ су једнаки ако и само ако важи $ad=bc$.

Два рационална броја се сабирају на следећи начин

$\frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}$

Правило множења гласи

$\frac{a}{b}\cdot \frac{c}{d}=\frac{ac}{bd}$

Адитивни и мултипликативни инверзни елемент постоји код рационалних бројева

$-\left(\frac{a}{b}\right)=\frac{-a}{b}=\frac{a}{-b}$ и ${\left(\frac{a}{b}\right)}^{-1}=\frac{b}{a}$ ако је $a\ne 0$

Следи да је количник два разломка дат са

$\frac{a}{b}÷\frac{c}{d}=\frac{ad}{bc}$

Египатски разломци

Сваки позитивни рационални број може бити представљен као збир различитих јединичних разломака, као што је

$\frac{5}{7}=\frac{1}{2}+\frac{1}{6}+\frac{1}{21}.$

За сваки позитивни рационални број постоји бесконачно много начина да се број овако представи и то се зову египатски разломци. Код старих Египћана је овакав начин представљања био основа за све математичке радње.

Формална конструкција

Дијаграм који приказује репрезентацију еквивалентних класа парова целих бројева

Рационални бројеви се могу формирати као класе еквиваленције уређених парова целих бројева.

Тачније, нека Шаблон:Math буде скуп парова Шаблон:Math целих бројева таквих да Шаблон:Math. Релација еквиваленције је дефинисана на овом скупу са

$(m_1,n_1)\sim (m_2,n_2)⟺m_1{n}_2=m_2{n}_1.$

Сабирање и множење се могу дефинисати следећим правилима:

$(m_1,n_1)+(m_2,n_2)\equiv (m_1{n}_2+n_1{m}_2,n_1{n}_2),$

$(m_1,n_1)\times (m_2,n_2)\equiv (m_1{m}_2,n_1{n}_2).$

Ова релација еквиваленције је релација конгруенције, што значи да је компатибилна са сабирањем и множењем дефинисаним горе; скуп рационалних бројева Шаблон:Math је дефинисан као количнички сет успостављен овом релацијом еквиваленције, Шаблон:Math, опремљен сабирањем и множењем изазваним горњим операцијама. (Ова конструкција се може извести са било којим интегралним доменом и производи његово поље разломака.)

Класа еквиваленције пара Шаблон:Math означава се Шаблон:Math. Два пара Шаблон:Math и Шаблон:Math припадају истој класи еквиваленције (то јест, еквивалентни су) ако и само ако је Шаблон:Math. То значи да је Шаблон:Math ако и само ако је Шаблон:Math.

Свака класа еквиваленције Шаблон:Math може бити представљена са бесконачно много парова, пошто

$\cdots =\frac{-2m}{-2n}=\frac{-m}{-n}=\frac{m}{n}=\frac{2m}{2n}=\cdots .$

Свака класа еквиваленције садржи јединствени канонски репрезентативни елемент. Канонски представник је јединствени пар Шаблон:Math у класи еквиваленције тако да су Шаблон:Mvar и Шаблон:Mvar међусобно прости, а Шаблон:Math. Ово се назива репрезентација у најнижим терминима рационалног броја.

Цели бројеви се могу сматрати рационалним бројевима који идентификују цео број Шаблон:Mvar са рационалним бројем Шаблон:Math.

Тотални ред се може дефинисати на рационалним бројевима, што проширује природни ред целих бројева. Постоји

$\frac{m_1}{n_1}\le \frac{m_2}{n_2}$

ако

$(n_1{n}_2>0\text{and}{m}_1{n}_2\le n_1{m}_2)\text{или}(n_1{n}_2<0\text{and}{m}_1{n}_2\ge n_1{m}_2).$

Литература

• Шаблон:Citation
• Шаблон:Citation. — Translation into English by John Stillwell of Theorie der algebraischen Functionen einer Veränderlichen (1882).
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation

Спољашње везе

• Шаблон:Springer
• "Rational Number" From MathWorld – A Wolfram Web Resource
• Completion of Algebraic Closure – on-line lecture notes by Brian Conrad
• An Introduction to p-adic Numbers and p-adic Analysis - on-line lecture notes by Andrew Baker, 2007
• Efficient p-adic arithmetic (slides)
• Introduction to p-adic numbers