Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ матСматичСская это: ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ – ΠœΠΠ’Π•ΠœΠΠ’Π˜Π§Π•Π‘ΠšΠΠ― Π˜ΠΠ”Π£ΠšΠ¦Π˜Π―

Π‘ΠΎΠ΄Π΅Ρ€ΠΆΠ°Π½ΠΈΠ΅

ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” это… Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ?

ο»Ώ
ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 β€” Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° Π·Π°Ρ‚Π΅ΠΌ доказываСтся, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n + 1 β€” шаг ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, ΠΈΠ»ΠΈ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ ΠΏΠΎ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ наглядно ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСно Π² Π²ΠΈΠ΄Π΅ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° Π΄ΠΎΠΌΠΈΠ½ΠΎ. ΠŸΡƒΡΡ‚ΡŒ ΠΊΠ°ΠΊΠΎΠ΅ ΡƒΠ³ΠΎΠ΄Π½ΠΎ число косточСк Π΄ΠΎΠΌΠΈΠ½ΠΎ выставлСно Π² ряд Ρ‚Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Ρ‡Ρ‚ΠΎ каТдая косточка, падая, ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΡ€ΠΎΠΊΠΈΠ΄Ρ‹Π²Π°Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ Π·Π° Π½Π΅ΠΉ косточку (Π² этом Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄). Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ Ρ‚ΠΎΠ»ΠΊΠ½Ρ‘ΠΌ ΠΏΠ΅Ρ€Π²ΡƒΡŽ косточку (это Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ), Ρ‚ΠΎ всС косточки Π² ряду ΡƒΠΏΠ°Π΄ΡƒΡ‚.

Π’ΠΎΡ‡Π½ΠΎΠ΅ описаниС

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ трСбуСтся ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ бСсконСчной ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π·Π°Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Π½Π½Ρ‹Ρ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ числами: P_1, P_2, \ldots, P_n, P_{n+1}, \ldots

Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся Π±Π°Π·ΠΎΠΉ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.)
  2. Для любого n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ Pn, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния нашСй ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ЛогичСским основаниСм для этого ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° слуТит Ρ‚Π°ΠΊ называСмая аксиома ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, пятая ΠΈΠ· аксиом ПСано, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Π΅ числа. Π’Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ эквивалСнтна Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ Π² любом подмноТСствС Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл сущСствуСт ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт.

БущСствуСт Ρ‚Π°ΠΊΠΆΠ΅ вариация, Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΉ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Π’ΠΎΡ‚ Π΅Π³ΠΎ строгая Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠ°:

ΠŸΡƒΡΡ‚ΡŒ имССтся ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ P_1,P_2, P_3 \ldots. Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ.
  2. Для любого Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½Ρ‹ всС P_1,P_2, P_3 \ldots P_n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния Π² этой ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Ρ‚Π°ΠΊΠΆΠ΅ эквивалСнтСн аксиомС ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Π² аксиомах ПСано.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹

Π—Π°Π΄Π°Ρ‡Π°. Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ, ΠΊΠ°ΠΊΠΎΠ²Ρ‹ Π±Ρ‹ Π½ΠΈ Π±Ρ‹Π»ΠΈ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ΅ n ΠΈ вСщСствСнноС q β‰  1, выполняСтся равСнство

1 + q + \cdots + q^n = \frac{1 - q^{n + 1}}{1  -q}.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ ΠΏΠΎ n.

Π‘Π°Π·Π°, n = 1:

1 + q = \frac{(1 - q)(1 + q)}{1 - q}=\frac{1 - q^{1 + 1}}{1 - q}.

ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄: ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ

1 + q + \cdots + q^n=\frac{1- q^{n + 1}}{1 - q},

Ρ‚ΠΎΠ³Π΄Π°

1+q+\cdots +q^n+q^{n+1}=\frac{1-q^{n+1}}{1-q}+q^{n+1}=
=\frac{1-q^{n+1}+(1-q)q^{n+1}}{1-q}=\frac{1-q^{n+1}+q^{n+1}-q^{(n+1)+1}}{1-q}=\frac{1-q^{(n+1)+1}}{1-q},

Ρ‡Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

ΠšΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ: Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ утвСрТдСния Pn Π² этом Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ β€” Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ равСнства

1+q+\cdots +q^n=\frac{1-q^{n+1}}{1-q}.

Π‘ΠΌ. Ρ‚Π°ΠΊΠΆΠ΅

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

Π›ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Π°

  • Н. Π―. Π’ΠΈΠ»Π΅Π½ΠΊΠΈΠ½ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. ΠšΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€ΠΈΠΊΠ°. ПособиС для ΡƒΡ‡ΠΈΡ‚Π΅Π»Π΅ΠΉ. М., ΠŸΡ€ΠΎΡΠ²Π΅Ρ‰Π΅Π½ΠΈΠ΅, 1976.β€”48 с
  • Π›. Π˜. Π“ΠΎΠ»ΠΎΠ²ΠΈΠ½Π°, И. Πœ. Π―Π³Π»ΠΎΠΌ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ Π² Π³Π΅ΠΎΠΌΠ΅Ρ‚Ρ€ΠΈΠΈ, Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 21, Π€ΠΈΠ·ΠΌΠ°Ρ‚Π³ΠΈΠ· 1961.β€”100 с.
  • Π . ΠšΡƒΡ€Π°Π½Ρ‚, Π“. Роббинс Β«Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°?Β» Π“Π»Π°Π²Π° I, Β§ 2.
  • И. Π‘. Π‘оминский ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 3, Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ «Наука» 1965.β€”58 с.

Wikimedia Foundation. 2010.

  • ΠœΠ΅Ρ‚ΠΎΠ΄ Π»Π°ΠΊΡ‚Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π°ΠΌΠ΅Π½ΠΎΡ€Π΅ΠΈ
  • ΠœΠ΅Ρ‚ΠΎΠ΄ Ρ€Π΅ΠΏΠ»ΠΈΠΊ

Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Β«ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈΒ» Π² Π΄Ρ€ΡƒΠ³ΠΈΡ… словарях:

  • ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° затСм… …   ВикипСдия

  • ΠœΠ΅Ρ‚ΠΎΠ΄ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • ΠœΠ•Π’ΠžΠ” ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ β€” способ построСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊ Ρ€ΠΎΠΌ Π² Π΅Π΅ основу кладутся Π½Π΅ΠΊ Ρ€Ρ‹Π΅ Π΅Π΅ полоТСния – аксиомы ΠΈΠ»ΠΈ постулаты, – ΠΈΠ· ΠΊ Ρ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ полоТСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹) выводятся ΠΏΡƒΡ‚Π΅ΠΌ рассуТдСний, Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Ρ… Π΄ ΠΎ ΠΊ Π° Π· Π° Ρ‚ Π΅ Π» ь с Ρ‚ Π² Π° ΠΌ ΠΈ. ΠŸΡ€Π°Π²ΠΈΠ»Π°, ΠΏΠΎ ΠΊ рым… …   Ѐилософская энциклопСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹ΠΉ ΠΌΠ΅Ρ‚ΠΎΠ΄ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • Π“Π•ΠΠ•Π’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” β€” способ задания содСрТания ΠΈ сущности исслСдуСмого ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π° Π½Π΅ ΠΏΡƒΡ‚Π΅ΠΌ ΠΊΠΎΠ½Π²Π΅Π½Ρ†ΠΈΠΈ, ΠΈΠ΄Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΈΠ»ΠΈ логичСского Π²Ρ‹Π²ΠΎΠ΄Π°, Π° с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ изучСния Π΅Π³ΠΎ происхоТдСния (ΠΎΠΏΠΈΡ€Π°ΡΡΡŒ Π½Π° ΠΈΠ·ΡƒΡ‡Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈΡ‡ΠΈΠ½, ΠΏΡ€ΠΈΠ²Π΅Π΄ΡˆΠΈΡ… ΠΊ Π΅Π³ΠΎ возникновСнию, ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌ становлСния). Широко… …   Ѐилософия Π½Π°ΡƒΠΊΠΈ: Π‘Π»ΠΎΠ²Π°Ρ€ΡŒ основных Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΎΠ²

  • АксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΡΠΏΠΎΡΠΎΠ± построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΅Ρ‘ основу кладутся Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ исходныС полоТСния (суТдСния) аксиомы (Π‘ΠΌ. Аксиома), ΠΈΠ»ΠΈ ΠŸΠΎΡΡ‚ΡƒΠ»Π°Ρ‚Ρ‹, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ утвСрТдСния этой Π½Π°ΡƒΠΊΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ (Π‘ΠΌ. Π’Π΅ΠΎΡ€Π΅ΠΌΠ°)) Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ΡŒΡΡβ€¦ …   Π‘ΠΎΠ»ΡŒΡˆΠ°Ρ совСтская энциклопСдия

  • аксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” (ΠΎΡ‚ Π³Ρ€Π΅Ρ‡. axioma) принятоС ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ способ построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°Ρ… ΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ лишь аксиомами, постулатами ΠΈ Ρ€Π°Π½Π΅Π΅ Π²Ρ‹Π²Π΅Π΄Π΅Π½Π½Ρ‹ΠΌΠΈ ΠΈΠ· Π½ΠΈΡ… утвСрТдСниями. Π’ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ярко продСмонстрирован… …   ЭнциклопСдия эпистСмологии ΠΈ философии Π½Π°ΡƒΠΊΠΈ

  • ΠΠΠ˜ΠœΠ•ΠΠ¬Π¨Π˜Π₯ ΠšΠ’ΠΠ”Π ΠΠ’ΠžΠ’ ΠœΠ•Π’ΠžΠ” β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² ошибок Ρ‚Π΅ΠΎΡ€ΠΈΠΈ для ΠΎΡ†Π΅Π½ΠΊΠΈ нСизвСстных Π²Π΅Π»ΠΈΡ‡ΠΈΠ½ ΠΏΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°ΠΌ ΠΈΠ·ΠΌΠ΅Ρ€Π΅Π½ΠΈΠΉ, содСрТащим случайныС ошибки. Н. ΠΊ. ΠΌ. примСняСтся Ρ‚Π°ΠΊΠΆΠ΅ для ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ прСдставлСния Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ (Π±ΠΎΠ»Π΅Π΅ простыми) функциями ΠΈ часто оказываСтся …   ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ энциклопСдия

  • ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция  ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² матСматичСского Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала ΠΏΡ€ΠΎΠ² …   ВикипСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ β€” Π£ этого Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π° ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ значСния, см. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio  Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅)  процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки… …   ВикипСдия


ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” ВикипСдия. Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция

Dominoeffect.png

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” ΠΌΠ΅Ρ‚ΠΎΠ΄ матСматичСского Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 β€” Π±Π°Π·Π° (базис) ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° Π·Π°Ρ‚Π΅ΠΌ доказываСтся, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n + 1 β€” шаг ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, ΠΈΠ»ΠΈ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ ΠΏΠΎ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ наглядно ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСно Π² Π²ΠΈΠ΄Π΅ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° Π΄ΠΎΠΌΠΈΠ½ΠΎ. ΠŸΡƒΡΡ‚ΡŒ ΠΊΠ°ΠΊΠΎΠ΅ ΡƒΠ³ΠΎΠ΄Π½ΠΎ число косточСк Π΄ΠΎΠΌΠΈΠ½ΠΎ выставлСно Π² ряд Ρ‚Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Ρ‡Ρ‚ΠΎ каТдая косточка, падая, ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΡ€ΠΎΠΊΠΈΠ΄Ρ‹Π²Π°Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ Π·Π° Π½Π΅ΠΉ косточку (Π² этом Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄). Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ Ρ‚ΠΎΠ»ΠΊΠ½Ρ‘ΠΌ ΠΏΠ΅Ρ€Π²ΡƒΡŽ косточку (это Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ), Ρ‚ΠΎ всС косточки Π² ряду ΡƒΠΏΠ°Π΄ΡƒΡ‚.

Π€ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠ°

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ трСбуСтся ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ бСсконСчной ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π·Π°Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Π½Π½Ρ‹Ρ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ числами: P1,P2,…,Pn,Pn+1,…{\displaystyle P_{1},P_{2},\ldots ,P_{n},P_{n+1},\ldots }.

Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1{\displaystyle P_{1}} Π²Π΅Ρ€Π½ΠΎ. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся Π±Π°Π·ΠΎΠΉ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.)
  2. Для любого n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ Pn{\displaystyle P_{n}}, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ Pn+1{\displaystyle P_{n+1}}. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния нашСй ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.

ЛогичСским основаниСм для этого ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° слуТит Ρ‚Π°ΠΊ называСмая аксиома ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, пятая ΠΈΠ· аксиом ПСано, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Π΅ числа. Π’Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ эквивалСнтна Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ Π² любом нСпустом подмноТСствС Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл сущСствуСт ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт.

ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ

БущСствуСт Ρ‚Π°ΠΊΠΆΠ΅ вариация, Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΉ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Π’ΠΎΡ‚ Π΅Π³ΠΎ строгая Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠ°:

ΠŸΡƒΡΡ‚ΡŒ имССтся ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ P1{\displaystyle P_{1}}, P2{\displaystyle P_{2}}, P3{\displaystyle P_{3}}, …{\displaystyle \ldots }. Если для любого Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ n{\displaystyle n} ΠΈΠ· Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ истинны всС P1{\displaystyle P_{1}}, P2{\displaystyle P_{2}}, P3{\displaystyle P_{3}}, …{\displaystyle \ldots }, Pnβˆ’1{\displaystyle P_{n-1}}, слСдуСт Ρ‚Π°ΠΊΠΆΠ΅ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Pn{\displaystyle P_{n}}, Ρ‚ΠΎ всС утвСрТдСния Π² этой ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ истинны, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ (βˆ€n∈N)((βˆ€i∈{1;…;nβˆ’1})Pi⟢Pn)⟢(βˆ€n∈N)Pn{\displaystyle (\forall n\in {\mathbb {N} }){\Big (}(\forall i\in \{1;\dots ;n-1\})P_{i}\longrightarrow P_{n}{\Big )}\longrightarrow (\forall n\in {\mathbb {N} })P_{n}}.

Π’ этой Π²Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ оказываСтся излишнСй, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ являСтся Ρ‚Ρ€ΠΈΠ²ΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΌ частным случаСм ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π°. Π”Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, ΠΏΡ€ΠΈ n=1{\displaystyle n=1} импликация (βˆ€i∈{1;…;nβˆ’1})Pi⟢Pn{\displaystyle (\forall i\in \{1;\dots ;n-1\})P_{i}\longrightarrow P_{n}} эквивалСнтна P1{\displaystyle P_{1}}. ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ являСтся прямым ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ΠΌ Π±ΠΎΠ»Π΅Π΅ сильной трансфинитной ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.

ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Ρ‚Π°ΠΊΠΆΠ΅ эквивалСнтСн аксиомС ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Π² аксиомах ПСано.

Π˜ΡΡ‚ΠΎΡ€ΠΈΡ

ОсознаниС ΠΌΠ΅Ρ‚ΠΎΠ΄Π° матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ ΠΊΠ°ΠΊ ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Π²Π°ΠΆΠ½ΠΎΠ³ΠΎ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° восходит ΠΊ Π‘Π»Π΅Π·Ρƒ Паскалю ΠΈ ГСрсониду, хотя ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹Π΅ случаи примСнСния Π²ΡΡ‚Ρ€Π΅Ρ‡Π°ΡŽΡ‚ΡΡ Π΅Ρ‰Ρ‘ Π² Π°Π½Ρ‚ΠΈΡ‡Π½Ρ‹Π΅ Π²Ρ€Π΅ΠΌΠ΅Π½Π° Ρƒ ΠŸΡ€ΠΎΠΊΠ»Π° ΠΈ Π­Π²ΠΊΠ»ΠΈΠ΄Π°[1]. Π‘ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π±Ρ‹Π»ΠΎ Π²Π²Π΅Π΄Π΅Π½ΠΎ Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½ΠΎΠΌ Π² 1838 Π³ΠΎΠ΄Ρƒ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹

Π—Π°Π΄Π°Ρ‡Π°. Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ, ΠΊΠ°ΠΊΠΎΠ²Ρ‹ Π±Ρ‹ Π½ΠΈ Π±Ρ‹Π»ΠΈ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ΅ n ΠΈ вСщСствСнноС q β‰  1, выполняСтся равСнство

1+q+q2+β‹―+qn=1βˆ’qn+11βˆ’q.{\displaystyle 1+q+q^{2}+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}}.}

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ ΠΏΠΎ n.

Π‘Π°Π·Π°, n = 1:

1+q=(1βˆ’q)(1+q)1βˆ’q=1βˆ’q1+11βˆ’q.{\displaystyle 1+q={\frac {(1-q)(1+q)}{1-q}}={\frac {1-q^{1+1}}{1-q}}.}

ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄: ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ

1+q+β‹―+qn=1βˆ’qn+11βˆ’q,{\displaystyle 1+q+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}},}

Ρ‚ΠΎΠ³Π΄Π°

1+q+β‹―+qn+qn+1=1βˆ’qn+11βˆ’q+qn+1={\displaystyle 1+q+\cdots +q^{n}+q^{n+1}={\frac {1-q^{n+1}}{1-q}}+q^{n+1}=}
=1βˆ’qn+1+(1βˆ’q)qn+11βˆ’q=1βˆ’qn+1+qn+1βˆ’q(n+1)+11βˆ’q=1βˆ’q(n+1)+11βˆ’q{\displaystyle ={\frac {1-q^{n+1}+(1-q)q^{n+1}}{1-q}}={\frac {1-q^{n+1}+q^{n+1}-q^{(n+1)+1}}{1-q}}={\frac {1-q^{(n+1)+1}}{1-q}}},

Ρ‡Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

ΠšΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ: ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния Pn{\displaystyle P_{n}} Π² этом Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ β€” Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ равСнства

1+q+β‹―+qn=1βˆ’qn+11βˆ’q.{\displaystyle 1+q+\cdots +q^{n}={\frac {1-q^{n+1}}{1-q}}.}

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΡ

  1. ↑ Nachum L. Rabinovih. Π Π°Π±ΠΈ Π›Π΅Π²ΠΈ Π±Π΅Π½ Π“Π΅Ρ€ΡˆΠΎΠΌ ΠΈ происхоТдСниС ΠΌΠ΅Ρ‚ΠΎΠ΄Π° матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ = Rabbi Levi ben Gershom and the origins of mathematical induction // Archive for History of Exact Sciences. β€” 1970. β€” Π’Ρ‹ΠΏ. 6. β€” Π‘. 237-248.

Π›ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Π°

Бсылки

  • Π’ΠΈΠ΄Π΅ΠΎ ΠΏΠΎ ΠΌΠ΅Ρ‚ΠΎΠ΄Ρƒ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ энциклопСдия

ΠœΠ΅Ρ‚ΠΎΠ΄ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡. ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, основанный Π½Π° ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ΅ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ: ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ (Ρ…), зависящСС ΠΎΡ‚ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° Ρ…, считаСтся Π΄ΠΎΠΊΠ°Π·Π°Π½Π½Ρ‹ΠΌ, Ссли Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ А(1) ΠΈ для любого Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠΈΠ· прСдполоТСния, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ (ΠΏ), Π²Ρ‹Π²Π΅Π΄Π΅Π½ΠΎ, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ Ρ‚Π°ΠΊΠΆΠ΅ А(n+1). Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ утвСрТдСния А(1) составляСт ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ шаг (ΠΈΠ»ΠΈ базис) ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ А(n+1)Π² ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠΈ, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ (ΠΏ), Π½Π°Π·. ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ. ΠŸΡ€ΠΈ этом Ρ…Π½Π°Π·. ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠΌ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ (ΠΏ).ΠΏΡ€ΠΈ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ А(n+1) Π½Π°Π·. ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹ΠΌ ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ М. ΠΈ. являСтся Ρ‚Π°ΠΊΠΆΠ΅ основаниСм для ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹Ρ… ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΉ. ΠŸΡ€ΠΎΡΡ‚Π΅ΠΉΡˆΠΈΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ Ρ‚Π°ΠΊΠΎΠ³ΠΎ опрСдСлСния являСтся ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ свойства: Β«Π±Ρ‹Ρ‚ΡŒ словом Π΄Π»ΠΈΠ½Ρ‹ n Π² Π΄Π°Π½Π½ΠΎΠΌ Π°Π»Ρ„Π°Π²ΠΈΡ‚Π΅ Базис ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ: каТдая Π±ΡƒΠΊΠ²Π° Π°Π»Ρ„Π°Π²ΠΈΡ‚Π° (*) Π΅ΡΡ‚ΡŒ слово Π΄Π»ΠΈΠ½Ρ‹ 1. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄: Ссли Π• β€” слово Π΄Π»ΠΈΠ½Ρ‹ ΠΏ, Ρ‚ΠΎ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ слово Π•ai, Π³Π΄Π΅ Π΅ΡΡ‚ΡŒ слово Π΄Π»ΠΈΠ½Ρ‹ n+1. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π°Ρ‡ΠΈΠ½Π°Ρ‚ΡŒΡΡ с Π½ΡƒΠ»Π΅Π²ΠΎΠ³ΠΎ шага. Часто Π±Ρ‹Π²Π°Π΅Ρ‚ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎ А(1) ΠΈ А(n+1) Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½Ρ‹ΠΌΠΈ рассуТдСниями. Π’ Ρ‚Π°ΠΊΠΈΡ… случаях ΡƒΠ΄ΠΎΠ±Π½ΠΎ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΉ эквивалСнтной Ρ„ΠΎΡ€ΠΌΠΎΠΉ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° М. ΠΈ. Если для всякого ΠΏΠΈΠ· прСдполоТСния: (Ρ…).Π²Π΅Ρ€Π½ΠΎ ΠΏΡ€ΠΈ любом Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠΌ x<n β€” слСдуСт, Ρ‡Ρ‚ΠΎ (Ρ…).Π²Π΅Ρ€Π½ΠΎ Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΡ€ΠΈ Ρ…=ΠΏ, Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ (Ρ…).Π²Π΅Ρ€Π½ΠΎ ΠΏΡ€ΠΈ любом Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠΌ Ρ…. Π’ Ρ‚Π°ΠΊΠΎΠΉ Ρ„ΠΎΡ€ΠΌΠ΅ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ М. ΠΈ. ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ для Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ (Ρ…), Π² ΠΊ-Ρ€Ρ‹Ρ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ Ρ…ΠΏΡ€ΠΎΠ±Π΅Π³Π°Π΅Ρ‚ Ρ‚ΠΎ ΠΏΠ»ΠΈ ΠΈΠ½ΠΎΠ΅ мноТСство, Π²ΠΏΠΎΠ»Π½Π΅ упорядочСнноС ΠΏΠΎ Π½Π΅ΠΊ-Ρ€ΠΎΠΌΡƒ трансфинитному Ρ‚ΠΈΠΏΡƒ (трансфинитная индукция). Π’ качСствС простых ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠ² трансфинитной ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ ΠΎΡ‚ΠΌΠ΅Ρ‚ΠΈΠΌ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΡŽ ΠΏΠΎ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Ρƒ, ΠΏΡ€ΠΎΠ±Π΅Π³Π°ΡŽΡ‰Π΅ΠΌΡƒ мноТСство всСх слов Π² Π΄Π°Π½Π½ΠΎΠΌ Π°Π»Ρ„Π°Π²ΠΈΡ‚Π΅, упорядочСнноС лСксикографичСски, ΠΈ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΡŽ ΠΏΠΎ ΠΏΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΡŽ Ρ„ΠΎΡ€ΠΌΡƒΠ» Π² Π΄Π°Π½Π½ΠΎΠΌ Π»ΠΎΠ³ΠΈΠΊΠΎ-ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡. исчислСнии. Иногда для Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° Π½Π΅ΠΊ-Ρ€ΠΎΠ³ΠΎ утвСрТдСния А(n) ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ ΠΏΠΎ пприходится ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ с (ΠΏ).Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Ρ‚ΡŒ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ ΠΏΠΎ пряд Π΄Ρ€ΡƒΠ³ΠΈΡ… ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π±Π΅Π· ΠΊ-Ρ€Ρ‹Ρ… ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΡŽ для (ΠΏ).Π½Π΅ удаСтся провСсти. Π’ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΠΉ Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΡƒΠΊΠ°Π·Π°Ρ‚ΡŒ Ρ‚Π°ΠΊΠΈΠ΅ утвСрТдСния (ΠΏ), для ΠΊ-Ρ€Ρ‹Ρ… Π² Ρ€Π°ΠΌΠΊΠ°Ρ… рассматриваСмого исчислСния индукция Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΡ€ΠΎΠ²Π΅Π΄Π΅Π½Π° Π±Π΅Π· добавлСния Π½ΠΎΠ²Ρ‹Ρ… Π²ΡΠΏΠΎΠΌΠΎΠ³Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, зависящих ΠΎΡ‚ ΠΏ(см. [3]). Π’ Ρ‚Π°ΠΊΠΈΡ… случаях ΠΌΡ‹ ΠΈΠΌΠ΅Π΅ΠΌ Π΄Π΅Π»ΠΎ с Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎΠΌ ряда ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ совмСстной матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ. ВсС эти утвСрТдСния Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΠΈΡ‚ΡŒ Π² ΠΎΠ΄Π½Ρƒ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡŽ, ΠΎΠ΄Π½Π°ΠΊΠΎ практичСски Ρ‚Π°ΠΊΠΎΠ΅ объСдинСниС Ρ‚ΠΎΠ»ΡŒΠΊΠΎ услоТнило Π±Ρ‹ рассмотрСниС, Ρ‚. ΠΊ. ΠΏΡ€ΠΈ этом исчСзла Π±Ρ‹ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π½Π΅Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Ρ… осмыслСнных ссылок Π½Π° ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹Π΅ ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅ прСдполоТСния. Π’ Π½Π΅ΠΊ-Ρ€Ρ‹Ρ… ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡. исслСдованиях число понятий ΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, опрСдСляСмых ΠΈ Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Ρ… слоТной совмСстной ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ, исчисляСтся Ρ‚Ρ€Π΅Ρ…Π·Π½Π°Ρ‡Π½ΠΎΠΉ Ρ†ΠΈΡ„Ρ€ΠΎΠΉ (см. [4]). Π’ этом случаС Π²Π²ΠΈΠ΄Ρƒ наличия Π² ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠΌ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ большого числа пСрСкрСстных ссылок Π½Π° ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅ прСдполоТСния, для ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ (Π½Π΅Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ) понимания любого (Π΄Π°ΠΆΠ΅ самого простого) опрСдСлСния ΠΈΠ»ΠΈ утвСрТдСния ΠΏΡ€ΠΈ Π΄Π°Π½Π½ΠΎΠΌ достаточно большом Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΈ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Ρ‡ΠΈΡ‚Π°Ρ‚Π΅Π»ΡŒ Π΄ΠΎΠ»ΠΆΠ΅Π½ Π±Ρ‹Ρ‚ΡŒ Π·Π½Π°ΠΊΠΎΠΌ с содСрТаниСм всСх Π²Π²ΠΎΠ΄ΠΈΠΌΡ‹Ρ… совмСстной ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ понятий ΠΈ ΠΌΠ½ΠΎΠ³ΠΈΡ… свойств этих понятий для ΠΌΠ΅Π½ΡŒΡˆΠΈΡ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. По-Π²ΠΈΠ΄ΠΈΠΌΠΎΠΌΡƒ, СдинствСнным ΠΊΠΎΡ€Ρ€Π΅ΠΊΡ‚Π½Ρ‹ΠΌ с Π»ΠΎΠ³ΠΈΡ‡. Ρ‚ΠΎΡ‡ΠΊΠΈ зрСния Π²Ρ‹Ρ…ΠΎΠ΄ΠΎΠΌ ΠΈΠ· Π²ΠΎΠ·Π½ΠΈΠΊΠ°ΡŽΡ‰Π΅Π³ΠΎ здСсь Π»ΠΎΠ³ΠΈΡ‡. ΠΊΡ€ΡƒΠ³Π° являСтся аксиоматич. ΠΈΠ·Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ всСй рассматриваСмой систСмы понятий. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, большоС число понятий, опрСдСляСмых совмСстной ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠ΅ΠΉ, ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ нСобходимости примСнСния аксиоматичСского ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π² ΠΈΠ½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠΌ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ ΠΈ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅. Π­Ρ‚ΠΎ β€” наглядный ΠΏΡ€ΠΈΠΌΠ΅Ρ€ нСобходимости аксиоматич. ΠΌΠ΅Ρ‚ΠΎΠ΄Π° для Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡. Π·Π°Π΄Π°Ρ‡, Π° Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ вопросов, относящихся ΠΊ основаниям ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ. Π›ΠΈΡ‚.:[1] Π“ΠΈΠ»ΡŒΠ±Π΅Ρ€Ρ‚ Π”., Π‘ Π΅ Ρ€ Π½ Π° ΠΉ с П., Основания ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ. ЛогичСскиС исчислСния ΠΈ формализация Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠΈ, ΠΏΠ΅Ρ€. с Π½Π΅ΠΌ., М., 1979; [2] К Π» ΠΈ Π½ ΠΈ Π‘. К., Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² ΠΌΠ΅Ρ‚Π°ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΡƒ, ΠΏΠ΅Ρ€. с Π°Π½Π³Π»., М., 1957; [3] Π¦ ΠΈ Π½ ΠΌ Π° Π½ Π›. Π›., Β«ΠœΠ°Ρ‚Π΅ΠΌ. сб.Β», 1968, Ρ‚. 77, β„–1, с. 71-104; [4] Адян Π‘. И., ΠŸΡ€ΠΎΠ±Π»Π΅ΠΌΠ° БСрнсайда ΠΈ тоТдСства Π² Π³Ρ€ΡƒΠΏΠΏΠ°Ρ…, М., 1975. Π‘. И. Адян.

Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ: ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ энциклопСдия Π½Π° Gufo.me


ЗначСния Π² Π΄Ρ€ΡƒΠ³ΠΈΡ… словарях

  1. ΠœΠΠ’Π•ΠœΠΠ’Π˜Π§Π•Π‘ΠšΠΠ― Π˜ΠΠ”Π£ΠšΠ¦Π˜Π― β€” ΠœΠΠ’Π•ΠœΠΠ’Π˜Π§Π•Π‘ΠšΠΠ― Π˜ΠΠ”Π£ΠšΠ¦Π˜Π―, ΠΌΠ΅Ρ‚ΠΎΠ΄, Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°ΡŽΡ‰ΠΈΠΉ, Ρ‡Ρ‚ΠΎ матСматичСскоС ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ Π²Π΅Ρ€Π½ΠΎ для любого ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Ρ†Π΅Π»ΠΎΠ³ΠΎ числа ΠΏ, Ссли Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ Π΄Π²Π° условия: 1) ΠΎΠ½ΠΎ Π²Π΅Ρ€Π½ΠΎ для основной Π²Π΅Π»ΠΈΡ‡ΠΈΠ½Ρ‹, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, 1, ΠΈ 2) Ссли ΠΎΠ½ΠΎ Π²Π΅Ρ€Π½ΠΎ для значСния k… Научно-тСхничСский ΡΠ»ΠΎΠ²Π°Ρ€ΡŒ
  2. ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” Π’Π΅ΡΡŒΠΌΠ° ΠΎΠ±Ρ‰ΠΈΠΉ способ матСматичСских Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π² ΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΉ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹Π΅ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° основаны Π½Π° Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠΌ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ΅ М. ΠΈ., ΡΠ²Π»ΡΡŽΡ‰Π΅ΠΌΡΡ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ· основных матСматичСских аксиом. Π‘ΠΎΠ»ΡŒΡˆΠ°Ρ совСтская энциклопСдия
  3. ΠœΠΠ’Π•ΠœΠΠ’Π˜Π§Π•Π‘ΠšΠΠ― Π˜ΠΠ”Π£ΠšΠ¦Π˜Π― β€” ΠœΠΠ’Π•ΠœΠΠ’Π˜Π§Π•Π‘ΠšΠΠ― Π˜ΠΠ”Π£ΠšΠ¦Π˜Π― β€” ΠΎΠ±Ρ‰ΠΈΠΉ способ матСматичСского Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° ΠΈΠ»ΠΈ опрСдСлСния Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ свойства А для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… n, основанный Π½Π° Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠΈ ΠΎΡ‚ n ΠΊ n+1. Π‘ΠΎΠ»ΡŒΡˆΠΎΠΉ энциклопСдичСский ΡΠ»ΠΎΠ²Π°Ρ€ΡŒ

ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” это… Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ?

ο»Ώ
ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 β€” Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° Π·Π°Ρ‚Π΅ΠΌ доказываСтся, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n + 1 β€” шаг ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, ΠΈΠ»ΠΈ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ ΠΏΠΎ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ наглядно ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСно Π² Π²ΠΈΠ΄Π΅ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° Π΄ΠΎΠΌΠΈΠ½ΠΎ. ΠŸΡƒΡΡ‚ΡŒ ΠΊΠ°ΠΊΠΎΠ΅ ΡƒΠ³ΠΎΠ΄Π½ΠΎ число косточСк Π΄ΠΎΠΌΠΈΠ½ΠΎ выставлСно Π² ряд Ρ‚Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Ρ‡Ρ‚ΠΎ каТдая косточка, падая, ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΡ€ΠΎΠΊΠΈΠ΄Ρ‹Π²Π°Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ Π·Π° Π½Π΅ΠΉ косточку (Π² этом Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄). Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ Ρ‚ΠΎΠ»ΠΊΠ½Ρ‘ΠΌ ΠΏΠ΅Ρ€Π²ΡƒΡŽ косточку (это Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ), Ρ‚ΠΎ всС косточки Π² ряду ΡƒΠΏΠ°Π΄ΡƒΡ‚.

Π’ΠΎΡ‡Π½ΠΎΠ΅ описаниС

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ трСбуСтся ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ бСсконСчной ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π·Π°Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Π½Π½Ρ‹Ρ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ числами:

Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся Π±Π°Π·ΠΎΠΉ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.)
  2. Для любого n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ Pn, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния нашСй ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ЛогичСским основаниСм для этого ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° слуТит Ρ‚Π°ΠΊ называСмая аксиома ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, пятая ΠΈΠ· аксиом ПСано, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Π΅ числа. Π’Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ эквивалСнтна Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ Π² любом подмноТСствС Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл сущСствуСт ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт.

БущСствуСт Ρ‚Π°ΠΊΠΆΠ΅ вариация, Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΉ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Π’ΠΎΡ‚ Π΅Π³ΠΎ строгая Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠ°:

ΠŸΡƒΡΡ‚ΡŒ имССтся ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ . Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ.
  2. Для любого Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½Ρ‹ всС , Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния Π² этой ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Ρ‚Π°ΠΊΠΆΠ΅ эквивалСнтСн аксиомС ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Π² аксиомах ПСано.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹

Π—Π°Π΄Π°Ρ‡Π°. Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ, ΠΊΠ°ΠΊΠΎΠ²Ρ‹ Π±Ρ‹ Π½ΠΈ Π±Ρ‹Π»ΠΈ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ΅ n ΠΈ вСщСствСнноС q β‰  1, выполняСтся равСнство

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ ΠΏΠΎ n.

Π‘Π°Π·Π°, n = 1:

ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄: ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ

Ρ‚ΠΎΠ³Π΄Π°

,

Ρ‡Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

ΠšΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ: Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ утвСрТдСния Pn Π² этом Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ β€” Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ равСнства

Π‘ΠΌ. Ρ‚Π°ΠΊΠΆΠ΅

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

Π›ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Π°

  • Н. Π―. Π’ΠΈΠ»Π΅Π½ΠΊΠΈΠ½ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. ΠšΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€ΠΈΠΊΠ°. ПособиС для ΡƒΡ‡ΠΈΡ‚Π΅Π»Π΅ΠΉ. М., ΠŸΡ€ΠΎΡΠ²Π΅Ρ‰Π΅Π½ΠΈΠ΅, 1976.β€”48 с
  • Π›. Π˜. Π“ΠΎΠ»ΠΎΠ²ΠΈΠ½Π°, И. Πœ. Π―Π³Π»ΠΎΠΌ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ Π² Π³Π΅ΠΎΠΌΠ΅Ρ‚Ρ€ΠΈΠΈ, Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 21, Π€ΠΈΠ·ΠΌΠ°Ρ‚Π³ΠΈΠ· 1961.β€”100 с.
  • Π . ΠšΡƒΡ€Π°Π½Ρ‚, Π“. Роббинс Β«Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°?Β» Π“Π»Π°Π²Π° I, Β§ 2.
  • И. Π‘. Π‘оминский ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 3, Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ «Наука» 1965.β€”58 с.

Wikimedia Foundation. 2010.

  • ΠœΠ΅Ρ‚ΠΎΠ΄ Π»Π°ΠΊΡ‚Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π°ΠΌΠ΅Π½ΠΎΡ€Π΅ΠΈ
  • ΠœΠ΅Ρ‚ΠΎΠ΄ Ρ€Π΅ΠΏΠ»ΠΈΠΊ

Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Β«ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈΒ» Π² Π΄Ρ€ΡƒΠ³ΠΈΡ… словарях:

  • ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° затСм… …   ВикипСдия

  • ΠœΠ΅Ρ‚ΠΎΠ΄ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • ΠœΠ•Π’ΠžΠ” ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ β€” способ построСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊ Ρ€ΠΎΠΌ Π² Π΅Π΅ основу кладутся Π½Π΅ΠΊ Ρ€Ρ‹Π΅ Π΅Π΅ полоТСния – аксиомы ΠΈΠ»ΠΈ постулаты, – ΠΈΠ· ΠΊ Ρ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ полоТСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹) выводятся ΠΏΡƒΡ‚Π΅ΠΌ рассуТдСний, Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Ρ… Π΄ ΠΎ ΠΊ Π° Π· Π° Ρ‚ Π΅ Π» ь с Ρ‚ Π² Π° ΠΌ ΠΈ. ΠŸΡ€Π°Π²ΠΈΠ»Π°, ΠΏΠΎ ΠΊ рым… …   Ѐилософская энциклопСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹ΠΉ ΠΌΠ΅Ρ‚ΠΎΠ΄ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • Π“Π•ΠΠ•Π’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” β€” способ задания содСрТания ΠΈ сущности исслСдуСмого ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π° Π½Π΅ ΠΏΡƒΡ‚Π΅ΠΌ ΠΊΠΎΠ½Π²Π΅Π½Ρ†ΠΈΠΈ, ΠΈΠ΄Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΈΠ»ΠΈ логичСского Π²Ρ‹Π²ΠΎΠ΄Π°, Π° с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ изучСния Π΅Π³ΠΎ происхоТдСния (ΠΎΠΏΠΈΡ€Π°ΡΡΡŒ Π½Π° ΠΈΠ·ΡƒΡ‡Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈΡ‡ΠΈΠ½, ΠΏΡ€ΠΈΠ²Π΅Π΄ΡˆΠΈΡ… ΠΊ Π΅Π³ΠΎ возникновСнию, ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌ становлСния). Широко… …   Ѐилософия Π½Π°ΡƒΠΊΠΈ: Π‘Π»ΠΎΠ²Π°Ρ€ΡŒ основных Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΎΠ²

  • АксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΡΠΏΠΎΡΠΎΠ± построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΅Ρ‘ основу кладутся Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ исходныС полоТСния (суТдСния) аксиомы (Π‘ΠΌ. Аксиома), ΠΈΠ»ΠΈ ΠŸΠΎΡΡ‚ΡƒΠ»Π°Ρ‚Ρ‹, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ утвСрТдСния этой Π½Π°ΡƒΠΊΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ (Π‘ΠΌ. Π’Π΅ΠΎΡ€Π΅ΠΌΠ°)) Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ΡŒΡΡβ€¦ …   Π‘ΠΎΠ»ΡŒΡˆΠ°Ρ совСтская энциклопСдия

  • аксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” (ΠΎΡ‚ Π³Ρ€Π΅Ρ‡. axioma) принятоС ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ способ построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°Ρ… ΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ лишь аксиомами, постулатами ΠΈ Ρ€Π°Π½Π΅Π΅ Π²Ρ‹Π²Π΅Π΄Π΅Π½Π½Ρ‹ΠΌΠΈ ΠΈΠ· Π½ΠΈΡ… утвСрТдСниями. Π’ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ярко продСмонстрирован… …   ЭнциклопСдия эпистСмологии ΠΈ философии Π½Π°ΡƒΠΊΠΈ

  • ΠΠΠ˜ΠœΠ•ΠΠ¬Π¨Π˜Π₯ ΠšΠ’ΠΠ”Π ΠΠ’ΠžΠ’ ΠœΠ•Π’ΠžΠ” β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² ошибок Ρ‚Π΅ΠΎΡ€ΠΈΠΈ для ΠΎΡ†Π΅Π½ΠΊΠΈ нСизвСстных Π²Π΅Π»ΠΈΡ‡ΠΈΠ½ ΠΏΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°ΠΌ ΠΈΠ·ΠΌΠ΅Ρ€Π΅Π½ΠΈΠΉ, содСрТащим случайныС ошибки. Н. ΠΊ. ΠΌ. примСняСтся Ρ‚Π°ΠΊΠΆΠ΅ для ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ прСдставлСния Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ (Π±ΠΎΠ»Π΅Π΅ простыми) функциями ΠΈ часто оказываСтся …   ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ энциклопСдия

  • ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция  ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² матСматичСского Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала ΠΏΡ€ΠΎΠ² …   ВикипСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ β€” Π£ этого Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π° ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ значСния, см. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio  Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅)  процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки… …   ВикипСдия


ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” это… Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ?

ο»Ώ
ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 β€” Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° Π·Π°Ρ‚Π΅ΠΌ доказываСтся, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ n + 1 β€” шаг ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, ΠΈΠ»ΠΈ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ ΠΏΠΎ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ наглядно ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ прСдставлСно Π² Π²ΠΈΠ΄Π΅ Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠ° Π΄ΠΎΠΌΠΈΠ½ΠΎ. ΠŸΡƒΡΡ‚ΡŒ ΠΊΠ°ΠΊΠΎΠ΅ ΡƒΠ³ΠΎΠ΄Π½ΠΎ число косточСк Π΄ΠΎΠΌΠΈΠ½ΠΎ выставлСно Π² ряд Ρ‚Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Ρ‡Ρ‚ΠΎ каТдая косточка, падая, ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΡ€ΠΎΠΊΠΈΠ΄Ρ‹Π²Π°Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ Π·Π° Π½Π΅ΠΉ косточку (Π² этом Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄). Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ Ρ‚ΠΎΠ»ΠΊΠ½Ρ‘ΠΌ ΠΏΠ΅Ρ€Π²ΡƒΡŽ косточку (это Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ), Ρ‚ΠΎ всС косточки Π² ряду ΡƒΠΏΠ°Π΄ΡƒΡ‚.

Π’ΠΎΡ‡Π½ΠΎΠ΅ описаниС

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ трСбуСтся ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ бСсконСчной ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π·Π°Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Π½Π½Ρ‹Ρ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹ΠΌΠΈ числами: P_1, P_2, \ldots, P_n, P_{n+1}, \ldots

Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся Π±Π°Π·ΠΎΠΉ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ.)
  2. Для любого n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½ΠΎ Pn, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния нашСй ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ЛогичСским основаниСм для этого ΠΌΠ΅Ρ‚ΠΎΠ΄Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° слуТит Ρ‚Π°ΠΊ называСмая аксиома ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, пятая ΠΈΠ· аксиом ПСано, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΠΈΡ… Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Π΅ числа. Π’Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ ΠΌΠ΅Ρ‚ΠΎΠ΄Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ эквивалСнтна Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ Π² любом подмноТСствС Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл сущСствуСт ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт.

БущСствуСт Ρ‚Π°ΠΊΠΆΠ΅ вариация, Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΉ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Π’ΠΎΡ‚ Π΅Π³ΠΎ строгая Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠ°:

ΠŸΡƒΡΡ‚ΡŒ имССтся ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ P_1,P_2, P_3 \ldots. Допустим, Ρ‡Ρ‚ΠΎ

  1. УстановлСно, Ρ‡Ρ‚ΠΎ P1 Π²Π΅Ρ€Π½ΠΎ.
  2. Для любого Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ n Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ссли Π²Π΅Ρ€Π½Ρ‹ всС P_1,P_2, P_3 \ldots P_n, Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎ ΠΈ Pn + 1. (Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ называСтся ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠΌ.)

Π’ΠΎΠ³Π΄Π° всС утвСрТдСния Π² этой ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ Π²Π΅Ρ€Π½Ρ‹.


ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ ΠΏΠΎΠ»Π½ΠΎΠΉ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Ρ‚Π°ΠΊΠΆΠ΅ эквивалСнтСн аксиомС ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ Π² аксиомах ПСано.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹

Π—Π°Π΄Π°Ρ‡Π°. Π”ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ, ΠΊΠ°ΠΊΠΎΠ²Ρ‹ Π±Ρ‹ Π½ΠΈ Π±Ρ‹Π»ΠΈ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ΅ n ΠΈ вСщСствСнноС q β‰  1, выполняСтся равСнство

1 + q + \cdots + q^n = \frac{1 - q^{n + 1}}{1  -q}.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ ΠΏΠΎ n.

Π‘Π°Π·Π°, n = 1:

1 + q = \frac{(1 - q)(1 + q)}{1 - q}=\frac{1 - q^{1 + 1}}{1 - q}.

ΠŸΠ΅Ρ€Π΅Ρ…ΠΎΠ΄: ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ

1 + q + \cdots + q^n=\frac{1- q^{n + 1}}{1 - q},

Ρ‚ΠΎΠ³Π΄Π°

1+q+\cdots +q^n+q^{n+1}=\frac{1-q^{n+1}}{1-q}+q^{n+1}=
=\frac{1-q^{n+1}+(1-q)q^{n+1}}{1-q}=\frac{1-q^{n+1}+q^{n+1}-q^{(n+1)+1}}{1-q}=\frac{1-q^{(n+1)+1}}{1-q},

Ρ‡Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

ΠšΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ: Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ утвСрТдСния Pn Π² этом Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ β€” Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ Π²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ равСнства

1+q+\cdots +q^n=\frac{1-q^{n+1}}{1-q}.

Π‘ΠΌ. Ρ‚Π°ΠΊΠΆΠ΅

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

Π›ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Π°

  • Н. Π―. Π’ΠΈΠ»Π΅Π½ΠΊΠΈΠ½ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. ΠšΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€ΠΈΠΊΠ°. ПособиС для ΡƒΡ‡ΠΈΡ‚Π΅Π»Π΅ΠΉ. М., ΠŸΡ€ΠΎΡΠ²Π΅Ρ‰Π΅Π½ΠΈΠ΅, 1976.β€”48 с
  • Π›. Π˜. Π“ΠΎΠ»ΠΎΠ²ΠΈΠ½Π°, И. Πœ. Π―Π³Π»ΠΎΠΌ Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ Π² Π³Π΅ΠΎΠΌΠ΅Ρ‚Ρ€ΠΈΠΈ, Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 21, Π€ΠΈΠ·ΠΌΠ°Ρ‚Π³ΠΈΠ· 1961.β€”100 с.
  • Π . ΠšΡƒΡ€Π°Π½Ρ‚, Π“. Роббинс Β«Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°?Β» Π“Π»Π°Π²Π° I, Β§ 2.
  • И. Π‘. Π‘оминский ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ. Β«ΠŸΠΎΠΏΡƒΠ»ΡΡ€Π½Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΏΠΎ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅Β», Выпуск 3, Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ «Наука» 1965.β€”58 с.

Wikimedia Foundation. 2010.

  • ΠœΠ΅Ρ‚ΠΎΠ΄ Π»Π°ΠΊΡ‚Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π°ΠΌΠ΅Π½ΠΎΡ€Π΅ΠΈ
  • ΠœΠ΅Ρ‚ΠΎΠ΄ Ρ€Π΅ΠΏΠ»ΠΈΠΊ

Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Β«ΠœΠ΅Ρ‚ΠΎΠ΄ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈΒ» Π² Π΄Ρ€ΡƒΠ³ΠΈΡ… словарях:

  • ΠŸΡ€ΠΈΠ½Ρ†ΠΈΠΏ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΠ΅Π³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала провСряСтся ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ утвСрТдСния с Π½ΠΎΠΌΠ΅Ρ€ΠΎΠΌ 1 Π±Π°Π·Π° ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, Π° затСм… …   ВикипСдия

  • ΠœΠ΅Ρ‚ΠΎΠ΄ ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • ΠœΠ•Π’ΠžΠ” ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ β€” способ построСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊ Ρ€ΠΎΠΌ Π² Π΅Π΅ основу кладутся Π½Π΅ΠΊ Ρ€Ρ‹Π΅ Π΅Π΅ полоТСния – аксиомы ΠΈΠ»ΠΈ постулаты, – ΠΈΠ· ΠΊ Ρ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ полоТСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹) выводятся ΠΏΡƒΡ‚Π΅ΠΌ рассуТдСний, Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Ρ… Π΄ ΠΎ ΠΊ Π° Π· Π° Ρ‚ Π΅ Π» ь с Ρ‚ Π² Π° ΠΌ ΠΈ. ΠŸΡ€Π°Π²ΠΈΠ»Π°, ΠΏΠΎ ΠΊ рым… …   Ѐилософская энциклопСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½Ρ‹ΠΉ ΠΌΠ΅Ρ‚ΠΎΠ΄ β€” Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅) процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки с Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ Π½Π΅ ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Π΅Ρ€Π΅Π· Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° скорСС Ρ‡Π΅Ρ€Π΅Π· нСкоторыС… …   ВикипСдия

  • Π“Π•ΠΠ•Π’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” β€” способ задания содСрТания ΠΈ сущности исслСдуСмого ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π° Π½Π΅ ΠΏΡƒΡ‚Π΅ΠΌ ΠΊΠΎΠ½Π²Π΅Π½Ρ†ΠΈΠΈ, ΠΈΠ΄Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΈΠ»ΠΈ логичСского Π²Ρ‹Π²ΠΎΠ΄Π°, Π° с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ изучСния Π΅Π³ΠΎ происхоТдСния (ΠΎΠΏΠΈΡ€Π°ΡΡΡŒ Π½Π° ΠΈΠ·ΡƒΡ‡Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈΡ‡ΠΈΠ½, ΠΏΡ€ΠΈΠ²Π΅Π΄ΡˆΠΈΡ… ΠΊ Π΅Π³ΠΎ возникновСнию, ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌ становлСния). Широко… …   Ѐилософия Π½Π°ΡƒΠΊΠΈ: Π‘Π»ΠΎΠ²Π°Ρ€ΡŒ основных Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΎΠ²

  • АксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΡΠΏΠΎΡΠΎΠ± построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΅Ρ‘ основу кладутся Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ исходныС полоТСния (суТдСния) аксиомы (Π‘ΠΌ. Аксиома), ΠΈΠ»ΠΈ ΠŸΠΎΡΡ‚ΡƒΠ»Π°Ρ‚Ρ‹, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ утвСрТдСния этой Π½Π°ΡƒΠΊΠΈ (Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ (Π‘ΠΌ. Π’Π΅ΠΎΡ€Π΅ΠΌΠ°)) Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ΡŒΡΡβ€¦ …   Π‘ΠΎΠ»ΡŒΡˆΠ°Ρ совСтская энциклопСдия

  • аксиоматичСский ΠΌΠ΅Ρ‚ΠΎΠ΄ β€”         ΠΠšΠ‘Π˜ΠžΠœΠΠ’Π˜Π§Π•Π‘ΠšΠ˜Π™ ΠœΠ•Π’ΠžΠ” (ΠΎΡ‚ Π³Ρ€Π΅Ρ‡. axioma) принятоС ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ способ построСния Π½Π°ΡƒΡ‡Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ Π² Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°Ρ… ΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ лишь аксиомами, постулатами ΠΈ Ρ€Π°Π½Π΅Π΅ Π²Ρ‹Π²Π΅Π΄Π΅Π½Π½Ρ‹ΠΌΠΈ ΠΈΠ· Π½ΠΈΡ… утвСрТдСниями. Π’ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ярко продСмонстрирован… …   ЭнциклопСдия эпистСмологии ΠΈ философии Π½Π°ΡƒΠΊΠΈ

  • ΠΠΠ˜ΠœΠ•ΠΠ¬Π¨Π˜Π₯ ΠšΠ’ΠΠ”Π ΠΠ’ΠžΠ’ ΠœΠ•Π’ΠžΠ” β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² ошибок Ρ‚Π΅ΠΎΡ€ΠΈΠΈ для ΠΎΡ†Π΅Π½ΠΊΠΈ нСизвСстных Π²Π΅Π»ΠΈΡ‡ΠΈΠ½ ΠΏΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°ΠΌ ΠΈΠ·ΠΌΠ΅Ρ€Π΅Π½ΠΈΠΉ, содСрТащим случайныС ошибки. Н. ΠΊ. ΠΌ. примСняСтся Ρ‚Π°ΠΊΠΆΠ΅ для ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ прСдставлСния Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠΌΠΈ (Π±ΠΎΠ»Π΅Π΅ простыми) функциями ΠΈ часто оказываСтся …   ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ энциклопСдия

  • ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция β€” ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ индукция  ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠ² матСматичСского Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ утвСрТдСния для всСх Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл. Для этого сначала ΠΏΡ€ΠΎΠ² …   ВикипСдия

  • Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ β€” Π£ этого Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π° ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ значСния, см. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ. Π˜Π½Π΄ΡƒΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. inductio  Π½Π°Π²Π΅Π΄Π΅Π½ΠΈΠ΅)  процСсс логичСского Π²Ρ‹Π²ΠΎΠ΄Π° Π½Π° основС ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π° ΠΎΡ‚ частного полоТСния ΠΊ ΠΎΠ±Ρ‰Π΅ΠΌΡƒ. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΡƒΠΌΠΎΠ·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ связываСт частныС прСдпосылки… …   ВикипСдия


Π”ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ

Π’Π°Ρˆ адрСс email Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΠΏΡƒΠ±Π»ΠΈΠΊΠΎΠ²Π°Π½. ΠžΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ поля ΠΏΠΎΠΌΠ΅Ρ‡Π΅Π½Ρ‹ *