Privacy Policy Cookie Policy Terms and Conditions Натуральное число — Википедия

Натуральное число

Материал из Википедии — свободной энциклопедии

Натура́льные чи́сла — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления).


Существуют два подхода к определению натуральных чисел — числа, используемые при :

  • перечислении (нумеровании) предметов (первый, второй, третий…) — подход общепринятый в большинстве стран мира (в том числе и в России).
  • обозначении количества предметов (нет предметов, один предмет, два предмета… ) общепринято в трудах Бурбаки, где натуральные числа определяются как мощности конечных множеств.

Отрицательные и нецелые числа — натуральными числами не являются.

Множество натуральных чисел принято обозначать знаком \mathbb{N}.

Существует бесконечное множество натуральных чисел — для любого натурального числа найдется другое натуральное число, большее его.

Содержание

[править] Аксиомы Пеано

Формальное определение натуральных чисел в XIX веке сформулировал итальянский математик Джузеппе Пеано.
Аксиомы Пеано основывались на построениях Грассмана, хотя именно Пеано придал им современный вид.
Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства равенств вида 2 * 2 = 4, основных свойств натуральных и целых чисел, построение дробей и вещественных чисел.

Аксиомы Пеано:
Введём функцию S, которая сопоставляет числу x следующее за ним число.

  1. 1\in\mathbb{N} (1 является натуральным числом)
  2. Если x\in\mathbb{N}, то S(x)\in\mathbb{N} (Число, следующее за натуральным, также является натуральным)
  3. \not\exists x\in\mathbb{N}\ (S(x) = 1) (1 не следует ни за каким натуральным числом)
  4. Если \,\ S(b) = a и \,\ S(c) = a, тогда \,\ b = c (если натуральное число a непосредственно следует как за числом b, так и за числом c, то b = c)
  5. Аксиома индукции. Пусть \,\ P(n) — некоторый одноместный предикат, зависящий от параметра — натурального числа \,\ n. Тогда:
если \,\ P(1) и \forall\;n\ (P(n)\ \Rightarrow\; P(S(n))), то \forall\;n\ P(n)
(Если некоторое высказывание P верно для n = 1 (база индукции) и для любого n при допущении, что верно P(n), верно и P(n+1) (индукционное предположение), то P(n) верно для любых натуральных n)

[править] Теоретико-множественное определение

Согласно теории множеств, единственным объектом конструирования любых математических систем является множество.
Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:

  • 0 = \varnothing
  • S(n) = n\ \cup\ \left\{n\right\}

Числа, заданные таким образом, называются ординальными.

Первые несколько ординальных чисел и соответствующие им натуральные числа:
0 = \varnothing
1 = \left\{\varnothing\right\}
2 = \big\{\varnothing, \left\{\varnothing\right\}\big\}
3 = \Big\{\varnothing, \left\{\varnothing\right\}, \big\{\varnothing, \left\{\varnothing\right\}\big\}\Big\}

[править] Операции над натуральными числами

К замкнутым операциям (операциям, не выводящим результат из множества натуральных чисел) над натуральными числами относятся следующие арифметические операции:

  • Сложение. Cлагаемое + Слагаемое = Сумма
  • Умножение. Множитель * Множитель = Произведение
  • Вычитание. Уменьшаемое — Вычитаемое = Разность. При этом Уменьшаемое должно быть больше Вычитаемого (или равно ему, если считать 0 натуральным числом)
  • Деление. Делимое / Делитель = (Частное, Остаток). Если делимое = a, делитель = b, частное = p, остаток = q, то a = p*b + q.

Следует заметить, что именно операции сложения и умножения являются основополагающими. В частности, кольцо целых чисел определяется именно через бинарные операции сложения и умножения.

[править] Основные свойства

  1. Коммутативность сложения. \,\! a + b = b + a
  2. Коммутативность умножения. \,\! ab = ba
  3. Ассоциативность сложения. \,\! (a + b) + c = a + (b + c)
  4. Ассоциативность умножения. \,\! (ab)c = a(bc)
  5. Дистрибутивность умножения относительно сложения. \,\! \begin{cases} a(b+c) = ab + ac \\ (b + c)a = ba + ca \end{cases}

[править] Натуральные числа в русском языке

  • Числа от 1 до 10 — один (1), два (2), три (3), четы́ре (4), пять (5), шесть (6), семь (7), во́семь (8), де́вять (9), де́сять (10).
  • Числа от 11 до 20 — оди́ннадцать (11), двена́дцать (12), трина́дцать (13), четы́рнадцать (14), пятна́дцать (15), шестна́дцать (16), семна́дцать (17), восемна́дцать (18), девятна́дцать (19), два́дцать (20).
  • Числа от 30 до 90 — три́дцать (30), со́рок (40), пятьдеся́т (50), шестьдеся́т (60), се́мьдесят (70), во́семьдесят (80), девяно́сто (90).
  • Числа от 100 до 900 — сто (100), две́сти (200), три́ста (300), четы́реста (400), пятьсо́т (500), шестьсо́т (600), семьсо́т(700), восемьсо́т (800), девятьсо́т (900).

[править] См. также

[править] Ссылки


Числа

натуральные | целые | рациональные | алгебраические | вещественные | комплексные | кватернионы | числа Кэли

иррациональные | трансцендентные


p-адические

 
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu