Нақты Сан

Ол рационал сандар және иррационал сандар болып бөлінеді. Нақты сан түсінігі рационал сан ұғымын кеңейтуден шыққан. Кеңейтудің қажеттілігі кез келген шаманың мәнін толық анықталған сан көмегімен өрнектеуден және математиканың ішкі дамуынан пайда болды. Мысалы: сандарға орындалатын бірсыпыра амалдарды пайдалану облысын кеңейту (түбір астынан шығару, логарифмдерді есептеу, теңдеулерді шешу және т.б.). Нақты сандардың жалпы ұғымын ертедегі грек математиктері салыстырып өлшеуге болмайтын кесінділер теориясында берді. Жүйелі теорияны тек 19 ғасырдың соңында Г.Кантор, Ю.Дедекинд және К.Вейерштрасс жасады.

Барлық нақты сандар жиыны сан түзуі деп аталады. Нақты сандар жиыны сызықты реттелген жиын және негізгі арифметикалық амалдарға (қосу мен көбейту) қатысты өріс құрады. Сан түзуі геометриялық түзуге ұқсас, былайша айтқанда, нақты сандар мен түзудегі нүктелер арасында реттілігі сақталатын өзара бірмәнді сәйкестік орнатуға болады. Осы сәйкестіктен сан түзуінің үздіксіздігі шығады. Түзудің үздіксіздігі жөніндегі қағида қазіргі математикалық талдаудың негізі болып табылады.

Нақты сандардың негізгі қасиеттерін атап өтейік. Айталық, ${\displaystyle a,b,c}$  — нақты сандар болсын. Онда:
${\displaystyle 1^{0}.a+b=b+a}$  — (қосынды үшін ауыстырымлыдық заңы);
${\displaystyle 2^{0}.(a+b)+c=a+(c+b)}$  — (терімділік заңы);
${\displaystyle 3^{0}.a*b=a*b}$  — (көбейтінді үшін ауыстырымдылық заңы);
${\displaystyle 4^{0}.(a*b)*c=a*(b*c)}$  — (терімділік заңы);
${\displaystyle 5^{0}.(a+b)*c=a*c+b*c}$  — (үлесімділік заңы);
${\displaystyle 6^{0}.a+0=a}$  — нөлдік элементтің бар болуы;
${\displaystyle 7^{0}.a+(-a)=0}$  — ${\displaystyle a}$  санына қарама-қарсы бір ғана ${\displaystyle a}$  саны табылады;
${\displaystyle 8^{0}.a*1=a}$  — бірлік элементтің бар болуы;
${\displaystyle 9^{0}.a*a^{-1}}$  — теңдік орындалатын ${\displaystyle a}$  санына кері ${\displaystyle 1 \over a}$  саны табылады;
${\displaystyle 10^{0}.a}$  және ${\displaystyle b}$  нақты сандары үшін төмендегі үш қатынастың:

   a) ${\displaystyle a=b}$  ( ${\displaystyle a}$  тең ${\displaystyle b}$  );
    ә) ${\displaystyle a>b}$  ( ${\displaystyle ab}$  - дан үлкен);
    b) ${\displaystyle a$  ( ${\displaystyle ab}$  - дан кіші) - тек біреуі ғана орындалады. 
 

${\displaystyle 11^{0}.}$  Нақты сандардың үзіліссіздігі. Айталық ${\displaystyle A}$  және ${\displaystyle B}$  - екі нақты сандар жиындары болсын. Егер ${\displaystyle a\in A}$  және ${\displaystyle b\in B}$  нақты сандар үшін ${\displaystyle a$  қатынасы орындалатын болса, онда ${\displaystyle a}$  және ${\displaystyle b}$  сандары үшін ең болмағанда бір ${\displaystyle c}$  нақтысаны табылып, ${\displaystyle a$  қатынастары орындалады.