Впорядковане кільце

Дійсні числа є впорядкованим кільцем, яке також є впорядкованим полем. Цілі числа, підмножина дійсних чисел, є впорядкованим кільцем, яке не є впорядкованим полем.

В абстрактній алгебрі впорядковане кільце — це (зазвичай комутативне) кільце $R$ із порядком $\le$ таке, що для всіх $a$, $b$ і $c$ у $R$:

• якщо $a\le b$, тоді $a+c\le b+c$.
• якщо $0\le a$ та $0\le b$, тоді $0\le ab$.

Приклади

Впорядковані кільця знайомі з арифметики. Приклади включають цілі, раціональні та дійсні числа. (раціональні та дійсні числа утворюють впорядковані поля) Комплексні числа, навпаки, не утворюють впорядкованого кільця чи поля, оскільки між елементами $1$ та $i$ немає властивого порядку зв'язку.

Додатні елементи

За аналогією з дійсними числами, ми називаємо елемент $c$ впорядкованого кільця $R$ додатним, якщо $0<c$, і від'ємним, якщо $c<0$. $0$ не вважається ні додатним, ні від'ємним.

Множину додатних елементів впорядкованого кільця $R$ часто позначають $R_{+}$. Альтернативна нотація, якій віддають перевагу в деяких дисциплінах, полягає у використанні $R_{+}$ для набору невід'ємних елементів і $R_{++}$ для набору додатних елементів.

Абсолютна величина

Якщо $a$ — елемент упорядкованого кільця $R$, то абсолютна величина $a$ (позначається $|a|$) визначається так:

$|a|:=\{\begin{array}{cc}\phantom{-}a,& \text{якщо }0\le a,\\ -a,& \text{в іншому випадку},\end{array}$

де $-a$ є протилежним до $a$ елементом і $0$ є нейтральним елементом.

Дискретні впорядковані кільця

Дискретне впорядковане кільце або дискретно впорядковане кільце — це впорядковане кільце, в якому немає елементів між $0$ і $1$. Цілі числа є дискретним впорядкованим кільцем, а раціональні числа — ні.

Основні властивості

Для всіх $a$, $b$ і $c$ у $R$:

• Якщо $a\le b$ і $0\le c$, то $ac\le bc$. Ця властивість іноді використовується для визначення впорядкованих кілець замість другої властивості у визначенні вище.
• $|ab|=|a||b|$.
• Впорядковане кільце, яке не є Шаблон:Нп, є нескінченним.
• Справедливо одне з наступного: $a$ додатне, $-a$ додатне або $a=0$.

Ця властивість випливає з того факту, що впорядковані кільця є абелевими Шаблон:Нп відносно додавання.

• У впорядкованому кільці жоден від'ємний елемент не є квадратом. Це пояснюється тим, що якщо $a\ne 0$ і $a=b^2$,

то $b\ne 0$ і $a=(-b{)}^2$; оскільки $b$ або $-b$ додатні, $a$ має бути невід'ємним.

Див. також

• Впорядковане поле — алгебраїчний об'єкт з упорядкованою структурою
• Впорядкована група — група із сумісним частковим порядком
• Шаблон:Нп
• Шаблон:Нп — векторний простір із частковим порядком
• Шаблон:Нп — кільце з сумісним частковим порядком
• Шаблон:Нп — частково впорядкований топологічний простір
• Шаблон:Нп — частково впорядкований векторний простір, упорядкований як решітка
• Шаблон:Нп — частково впорядкований векторний простір, упорядкований як решітка

Примітки

Список нижче містить посилання на теореми, перевірені проектом IsarMathLib. Шаблон:Reflist