Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² курс матСматичСского Π°Π½Π°Π»ΠΈΠ·Π°

ΠšΡƒΡ€Ρ посвящён основам матСматичСского Π°Π½Π°Π»ΠΈΠ·Π° для нСматСматичСских ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎΡΡ‚Π΅ΠΉ. Π›Π΅ΠΊΡ†ΠΈΠΈ Π±ΡƒΠ΄ΡƒΡ‚ Π²ΠΊΠ»ΡŽΡ‡Π°Ρ‚ΡŒ объяснСния, ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΈ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π°, Π½ΠΎ Π·Π½Π°Π½ΠΈΠ΅ строгих Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π² Π½Π΅ являСтся ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ. ΠŸΠ΅Ρ€Π²Ρ‹Π΅ Π»Π΅ΠΊΡ†ΠΈΠΈ посвятят Ρ„ΡƒΠ½Π΄Π°ΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½Ρ‹ΠΌ понятиям: элСмСнтам Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств, основам вСщСствСнных чисСл ΠΈ числовой прямой, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΠΎΠ½ΡΡ‚ΠΈΡŽ ΠΏΡ€Π΅Π΄Π΅Π»Π°.

Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств

ВСория мноТСств β€” нСобходимая основа для понимания матСматичСского Π°Π½Π°Π»ΠΈΠ·Π°. Π•Ρ‘ Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ Π½Π°Ρ‡Π°Π»ΠΎΡΡŒ Π² XIX Π²Π΅ΠΊΠ΅, ΠΈ сСйчас ΠΎΠ½Π° являСтся ΠΎΠ±Ρ‰Π΅ΠΏΡ€ΠΈΠ·Π½Π°Π½Π½Ρ‹ΠΌ языком соврСмСнной ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ.

  • ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ β€” это ΡΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ² (элСмСнтов), ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½Ρ‘Π½Π½Ρ‹Ρ… ΠΏΠΎ ΠΊΠ°ΠΊΠΎΠΌΡƒ-Π»ΠΈΠ±ΠΎ ΠΏΡ€ΠΈΠ·Π½Π°ΠΊΡƒ. ΠŸΡ€ΠΈΡ€ΠΎΠ΄Π° элСмСнтов Π½Π΅ Π²Π°ΠΆΠ½Π°; ΠΊΠ»ΡŽΡ‡Π΅Π²ΠΎ, Ρ‡Ρ‚ΠΎ ΠΎΠ½ΠΈ ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Π΅Π΄ΠΈΠ½ΡƒΡŽ ΠΊΠΎΠ»Π»Π΅ΠΊΡ†ΠΈΡŽ.
  • ΠŸΡ€ΠΈΠΌΠ΅Ρ€ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ мноТСства: {1, 3, 5, 135, ΠœΠ°Ρ€Ρ}. ΠŸΠΎΡ€ΡΠ΄ΠΎΠΊ элСмСнтов Π² мноТСствС Π½Π΅ ΠΈΠΌΠ΅Π΅Ρ‚ значСния.
  • ΠΠ°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Π΅ числа ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ΡΡ ΠΊΠ°ΠΊ N = {1, 2, 3, ...}. Π‘ΠΈΠΌΠ²ΠΎΠ» n ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ для обозначСния ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ³ΠΎ Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ числа.

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ β€” это ΠΊΠΎΠ³Π΄Π° ΠΊΠ°ΠΊΠΈΠ΅-Ρ‚ΠΎ элСмСнты собраны Π² ΠΊΡƒΡ‡Ρƒ.

Π‘Ρ€Π°Π²Π½Π΅Π½ΠΈΠ΅ ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мноТСствами

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° ΠΌΠΎΠΆΠ½ΠΎ ΡΡ€Π°Π²Π½ΠΈΠ²Π°Ρ‚ΡŒ ΠΈ Π½Π°Π΄ Π½ΠΈΠΌΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡ‚ΡŒ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½Ρ‹Π΅ арифмСтичСским.

Π‘Ρ€Π°Π²Π½Π΅Π½ΠΈΠ΅ мноТСств

  • ΠŸΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ (A βŠ† B): ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ A являСтся подмноТСством B, Ссли ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ Ρ‚Π°ΠΊΠΆΠ΅ ΠΈ B.
  • РавСнство мноТСств (A = B): ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° Ρ€Π°Π²Π½Ρ‹, Ссли A βŠ† B ΠΈ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ B βŠ† A.
  • Для записи ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ логичСскиС символы: βˆ€ (для любого), βˆƒ (сущСствуСт).

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ

  • ОбъСдинСниС (A βˆͺ B): ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… A ΠΈΠ»ΠΈ B.
  • ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ (A ∩ B): ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… ΠΈ A, ΠΈ B.
  • Π Π°Π·Π½ΠΎΡΡ‚ΡŒ (A \ B): ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… A, Π½ΠΎ Π½Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… B. Если мноТСства Π½Π΅ ΠΏΠ΅Ρ€Π΅ΡΠ΅ΠΊΠ°ΡŽΡ‚ΡΡ, Ρ‚ΠΎ A \ B = A.

Бвойства ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ объСдинСния ΠΈ пСрСсСчСния ΠΎΠ±Π»Π°Π΄Π°ΡŽΡ‚ свойствами, ΠΏΠΎΡ…ΠΎΠΆΠΈΠΌΠΈ Π½Π° слоТСниС ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ чисСл:

  • ΠšΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: A βˆͺ B = B βˆͺ A; A ∩ B = B ∩ A.
  • ΠΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: (A βˆͺ B) βˆͺ C = A βˆͺ (B βˆͺ C); (A ∩ B) ∩ C = A ∩ (B ∩ C). Π­Ρ‚ΠΎ позволяСт Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ΡŒ ΠΎΠ± объСдинСнии ΠΈ пСрСсСчСнии любого (Π² Ρ‚ΠΎΠΌ числС бСсконСчного) числа мноТСств.
  • Π”ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: A ∩ (B βˆͺ C) = (A ∩ B) βˆͺ (A ∩ C) ΠΈ A βˆͺ (B ∩ C) = (A βˆͺ B) ∩ (A βˆͺ C). Π­Ρ‚ΠΎ Π°Π½Π°Π»ΠΎΠ³ Ρ€Π°ΡΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Π·Π°ΠΊΠΎΠ½Π° Π² Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠ΅.

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ мноТСств

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ β€” это характСристика, ΠΎΠ±ΠΎΠ±Ρ‰Π°ΡŽΡ‰Π°Ρ понятиС «количСство элСмСнтов» Π½Π° бСсконСчныС мноТСства.

ΠœΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… мноТСств

Для ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… мноТСств ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ β€” это просто число элСмСнтов. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ A ΠΌΠΎΡ‰Π½Π΅Π΅ B, Ссли Π² A большС элСмСнтов. Если элСмСнтов ΠΏΠΎΡ€ΠΎΠ²Π½Ρƒ, мноТСства Ρ€Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½Ρ‹.

Π Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ ΠΈ счётныС мноТСства

  • Π”Π²Π° мноТСства Ρ€Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½Ρ‹, Ссли ΠΌΠ΅ΠΆΠ΄Ρƒ ΠΈΡ… элСмСнтами ΠΌΠΎΠΆΠ½ΠΎ ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ Π²Π·Π°ΠΈΠΌΠ½ΠΎ ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΠ΅ соотвСтствиС (Π±ΠΈΠ΅ΠΊΡ†ΠΈΡŽ).
  • ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ, Ρ€Π°Π²Π½ΠΎΠΌΠΎΡ‰Π½ΠΎΠ΅ мноТСству Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл N, называСтся счётным. Π•Π³ΠΎ элСмСнты ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅Ρ€Π΅Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Ρ‚ΡŒ: 1, 2, 3, ...
  • ΠŸΡ€ΠΈΠΌΠ΅Ρ€: мноТСство всСх Ρ†Π΅Π»Ρ‹Ρ… чисСл Z Ρ‚Π°ΠΊΠΆΠ΅ счётно, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π΅Π³ΠΎ элСмСнты ΠΌΠΎΠΆΠ½ΠΎ Π·Π°Π½ΡƒΠΌΠ΅Ρ€ΠΎΠ²Π°Ρ‚ΡŒ (0, 1, -1, 2, -2, ...).

Бвойства счётных мноТСств

  • Π›ΡŽΠ±ΠΎΠ΅ бСсконСчноС подмноТСство счётного мноТСства само являСтся счётным.
  • ОбъСдинСниС ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ ΠΈΠ»ΠΈ Π΄Π°ΠΆΠ΅ счётного числа счётных мноТСств остаётся счётным мноТСством.
  • Бчётная ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ β€” это минимальная бСсконСчная ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ. НС сущСствуСт бСсконСчного мноТСства, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π±Ρ‹Π»ΠΎ Π±Ρ‹ мСньшС счётного.

НСсчётныС мноТСства. Π’Π΅ΠΎΡ€Π΅ΠΌΠ° ΠšΠ°Π½Ρ‚ΠΎΡ€Π°

Π‘ΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ мноТСства, ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… большС счётной.

  • ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ всСх подмноТСств Π΄Π°Π½Π½ΠΎΠ³ΠΎ мноТСства A обозначаСтся P(A) (Π±ΡƒΠΊΠ²ΠΎΠΉ P каллиграфичСски).
  • Для ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ мноТСства ΠΈΠ· n элСмСнтов ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ P(A) Ρ€Π°Π²Π½Π° 2^n, Ρ‡Ρ‚ΠΎ большС n.
  • Π’Π΅ΠΎΡ€Π΅ΠΌΠ° ΠšΠ°Π½Ρ‚ΠΎΡ€Π°: ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ всСх подмноТСств счётного мноТСства ΠΈΠΌΠ΅Π΅Ρ‚ ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ, строго Π±ΠΎΠ»ΡŒΡˆΡƒΡŽ, Ρ‡Π΅ΠΌ само счётноС мноТСство. Π­Ρ‚ΠΎ Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚ сущСствованиС бСсконСчности Π±ΠΎΠ»Π΅Π΅ высокого порядка.
  • Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π½Π΅ сущСствуСт максимальной бСсконСчной мощности β€” всСгда ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ мноТСство Π΅Ρ‰Ρ‘ большСй мощности (Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, взяв мноТСство всСх подмноТСств).
  • ΠŸΡ€ΠΈΠΌΠ΅Ρ€ мноТСства мощности, большСй счётной β€” мноТСство всСх вСщСствСнных чисСл, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π±ΡƒΠ΄Π΅Ρ‚ рассмотрСно Π΄Π°Π»Π΅Π΅.