Рациональ һан: өлгөләр араһындағы айырма
Эстәлек юйылған Эстәлек өҫтәлгән
Таңһылыу (фекер алышыу | өлөш) |
Таңһылыу (фекер алышыу | өлөш) |
||
71 юл:
# '''Тәртипкә килтереү бәйләнешенең [[транзитивлыҡ]] үҙсәнлеге.''' Теләһә ниндәй өс <math>a</math>, <math>b</math> һәм <math>c</math> рациональ һаны өсөн әгәр <math>a</math> бәләкәй <math>b</math> һәм <math>b</math> бәләкәй <math>c</math> булһа, ул саҡта <math>a</math> бәләкәй <math>c</math>, ә әгәр <math>a</math> тигеҙ <math>b</math> һәм <math>b</math> тигеҙ <math>c</math> булһа, ул саҡта <math>a</math> тигеҙ <math>c</math>.
#: <math>\forall a,b,c \in \mathbb{Q} ~ \left( a<b \land b<c \Rightarrow a<c \right) \land \left( a=b \land b=c \Rightarrow a=c \right)</math>.
# '''Ҡушыуҙың [[Коммутатив операция|коммутативлығы]]''' Рациональ ҡушылыусыларҙың урынын алмаштырыуҙан сумма үҙгәрмәй.
#: <math>\forall a,b \in \mathbb{Q} ~~ a+b=b+a</math>.
# '''Ҡушыуҙың [[Ассоциативлыҡ (математика)|ассоциативлығы]]''' Өс рациональ һанды ҡушыу тәртибе һөҙөмтәгә тәьҫир итмәй.
#: <math>\forall a,b,c \in \mathbb{Q} ~~ \left( a + b \right) + c = a + \left( b + c \right)</math>.
# '''[[0 (һан)|нулдең]] булыуы.''' Шундай 0 рациональ һаны бар, уны ҡушҡанда теләһә ниндәй башҡа рациональ һан үҙгәрмәй.
#: <math>\exists 0 \in \mathbb{Q} ~ \forall a \in \mathbb{Q} ~~ a+0=a</math>.
# '''Ҡапма-ҡаршы һандарҙың булыуы''' Теләһә ниндәй рациональ һан өсөн ҡапма-ҡаршы рациональ һан бар. Ҡапма-ҡаршы һандарҙың суммаһы нулгә тигеҙ.
#: <math>\forall a \in \mathbb{Q} ~ \exists \left( -a \right) \in \mathbb{Q} ~~ a + \left( -a \right) = 0</math>.
# '''Ҡабатлауҙың коммутативлығы.''' Рациональ ҡабатлашыусыларҙың урынын алмаштырыуҙан ҡабатландыҡ үҙгәрмәй.
#: <math>\forall a,b \in \mathbb{Q} ~~ a \cdot b = b \cdot a</math>.
# '''Ҡабатлауҙың ассоциативлығы.''' Өс рациональ һанды ҡабатлау тәртибе һөҙөмтәгә тәьҫир итмәй.
#: <math>\forall a,b,c \in \mathbb{Q} ~~ \left( a \cdot b \right) \cdot c = a \cdot \left( b \cdot c \right)</math>.
# '''[[1 (һан)|берәмектең]] булыуы.''' Шундай 1 рациональ һаны бар, уға ҡабатлағанда теләһә ниндәй башҡа рациональ һан үҙгәрмәй.
#: <math>\exists 1 \in \mathbb{Q} ~ \forall a \in \mathbb{Q} ~~ a \cdot 1 = a</math>.
# '''[[Кире һан|Кире һандарҙың]] булыуы.''' Теләһә ниндәй нулдән айырмалы рациональ һан өсөн кире рациональ һан бар, үҙ-ара кире һандарҙың ҡабатландығы бергә тигеҙ.
#: <math>\forall a \in \mathbb{Q} ~ \exists a^{-1} \in \mathbb{Q} ~~ a \cdot a^{-1} = 1</math>.
# '''Ҡабатлауҙың ҡушыуға ҡарата [[Дистрибутивность|дистрибутивлығы]].''' Ҡабатлау ғәмәле ҡушыу ғәмәле менән таратыу законы аша ярашлы:
#: <math>\forall a,b,c \in \mathbb{Q} ~~ \left( a+b \right) \cdot c = a \cdot c + b \cdot c</math>.
# '''Тәртипкә килтереү бәйләнешенең ҡушыу ғәмәле менән бәйләнеше.''' Рациональ тигеҙһеҙлектең уң һәм һул яҡтарына бер үк рациональ һанды ҡушырға мөмкин.
#: <math>\forall a,b,c \in \mathbb{Q} ~~ a<b \Rightarrow a+c<b+c</math>.
# '''Тәртипкә килтереү бәйләнешенең ҡабатлау ғәмәле менән бәйләнеше.''' Рациональ тигеҙһеҙлектең уң һәм һул яҡтарын бер үк ыңғай рациональ һанға ҡабатларға мөмкин.
#: <math>\forall a,b,c \in \mathbb{Q} ~~ c>0 \land a<b \Rightarrow a \cdot c < b \cdot c</math>.
# '''[[Архимед аксиомаһы]].''' <math>a</math> рациональ һаны ниндәй генә булмаһын, шунса берәмек алырға мөмкин, уларҙың суммаһы <math>a</math> һанынан арта.
#: <math>\forall a \in \mathbb{Q} ~ \exists n \in \mathbb{N} ~~ \sum_{k=1}^{n}1>a</math>.
|