Күмәклек

РУВИКИ — интернет энциклопедия мәғлүмәте

Күмәклек — Математиканың мөһим төшөнсәләренең береһе; ул, үҙе был күмәклектең элементтары тип аталған һәм уларҙың һәр береһе өсөн дөйөм характерлы үҙсәнлектәргә эйә булған ниндәйҙер объекттарҙың йыйылмаһы, тупланмаһы булған математик объект[1]. Күмәклектең дөйөм үҙсәнлектәрен өйрәнеү менән күмәклектәр теорияһы, шулай уҡ математиканың һәм математик логиканың оҡшаш бүлектәре шөғөлләнә.

Миҫалдар: бирелгән ҡалала йәшәүселәр күмәклеге, өҙлөкһөҙ функциялар күмәклеге, бирелгән тигеҙләмәнең сығарылыштары күмәклеге.

Күмәклек буш һәм буш булмаған, тәртипкә килтерелгән һәм тәртипкә килтерелмәгән, сикле һәм сикһеҙ булырға мөмкин, сикһеҙ күмәклек иҫәпле йәки иҫәпһеҙ булырға мөмкин. Улай ғына түгел, хәйләһеҙ, шулай уҡ аксиоматик күмәклектәр теорияларында теләһә ниндәй объект ғәҙәттә күмәклек тип һанала. Күмәклек төшөнсәһе математиканың бөтә бүлектәренә лә дөйөм идеологияны һәм терминологияны ҡулланырға мөмкинлек бирә.

Төшөнсәнең тарихы[үҙгәртергә | вики-тексты үҙгәртергә]

Сикле һәм сикһеҙ күмәклектәр теорияһына нигеҙ Бернард Больцано тарафынан һалына, ул күмәклектәр теорияһы принциптарының ҡайһы берҙәрен әйтеп бирә.

1872 йылдан алып 1897 йылдарға тиклем (башлыса 1872—1884 йылдарҙа) Георг Кантор байтаҡ хеҙмәттәрен баҫтырып сығара, уларҙа күмәклектәр теорияһының төп бүлектәре, нөктәле күмәклектәр теоряһын һәм трансфинитлы һандар (кардиналь һәм рәт) күмәклектәре теоряһын да индереп, системалы рәүештә яҙып бирелә. Был хеҙмәттәрендә ул күмәклектәр теорияһының төп төшөнсәләрен индереп кенә ҡалмай, математиканы күмәклектәр теорияһы теоремаларын иҫбатлау өсөн ҡулланған яңы типтағы фекерҙәре менән байыта, уларҙы, атап әйткәндә, беренсе тапҡыр сикһеҙ күмәклектәргә ҡуллана. Шуға күрә күмәклектәр теорияһын Георг Кантор төҙөгән тип дөйөм иҫәпләнә. Күмәклекте «бирелгән үҙсәнлеккә эйә булған бөтә объекттар йыйылмаһы өсөн берҙәй исем» тип билдәләй. Был объекттарҙы күмәклек элементтары тип атай. үҙсәнлегенә эйә булған объекттар күмәклеген тип тамғалай. Әгәр ниндәйҙер күмәклек булһа, ул саҡта -ты күмәклегенең характерлы үҙсәнлеге тип атай.

Был концепция парадокстарға, атап әйткәндә, Рассел парадоксына килтерә.

Күмәклектәр теорияһы ысынбарлыҡта бөтә хәҙерге математик теорияларҙың нигеҙе булараҡ файҙаланылғанлыҡтан, бер береһенә бәйһеҙ рәүештә Бертран Рассел һәм Эрнст Цермело тарафынан 1908 йылда күмәклектәр теорияһы аксиомалаштырыла. Артабан күп тикшеренеүселәр ике системаны ла, нигеҙҙә уларҙың характерын һаҡлап, киренән ҡарап сығалар һәм үҙгәртәләр. Әлегә тиклем улар һаман Рассел тибындағы теория һәм Цермело күмәклектәр теорияһы булараҡ билдәлеләр. Аҙағыраҡ Канторҙың күмәклектәр теорияһын хәйләһеҙ күмәклектәр теорияһы тип атау ҡабул ителгән, ә яңы төҙөлгәнен — аксиоматик күмәклектәр теорияһы тип атайҙар.

XX быуат урталарында нығынған практика буйынса күмәклек ZFC аксиомаларын (һайлау аксиомаһы менән Цермело — Френкель аксиомалары) ҡәнәғәтләндереүсе модель һымаҡ билдәләнә. Бындай ҡараш ваҡытында ҡайһы бер математик теорияларҙа күмәклек булмаған объекттар йыйылмаһы барлыҡҡа килә. Бындай йыйылмалар кластар (төрлө тәртиптәге) тип аталалар.

Күмәклек элементы[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклекте төҙөүсе объекттарҙы күмәклек элементтары йәки күмәклек нөктәләре тип атайҙар. Күмәклектәрҙе йышыраҡ латин алфавитының баш хәрефтәре менән тамғалайҙар, уның элементтарын — бәләкәй хәрефтәр менән. Әгәр  — күмәклегенең элементы булһа, ул саҡта -ға инә») тип яҙалар. Әгәр күмәклегенең элементы булмаһа, ул саҡта -ға инмәй») тип яҙалар. Мультикүмәклектән айырмалы рәүештә күмәклектең һәр элементы уникаль, һәм күмәклектә ике берҙәй элемент була алмай. Икенсе төрлө әйткәндә, күмәклеккә унда булған элементҡа оҡшаш элементты өҫтәү, уны үҙгәртмәй:

.

Ике күмәклектең тигеҙлеге

булыуын аңлата.

Күмәклекте биреү[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклекте биреүҙең ике төп ысулы бар: һанап биреү һәм һүрәтләү.

Беренсе ысул шунан ғибәрәт, күмәклеккә ингән элементтарҙың тулы исемлеге бирелә һәм һанап сығыла. Мәҫәлән, 10-дан бәләкәйерәк тиҫкәре булмаған йоп һандар күмәклеген теҙем рәүешендә бирергә мөмкин: . Был ысулды сикле күмәклектәрҙең сикләнгән һаны өсөн генә ҡулланып була.

Икенсе ысулды күмәклекте теҙмә ярҙамында биреү ҡыйын йәки мөмкин булмағанда ҡулланалар. Был осраҡта күмәклектәр үҙҙәренең элементтарының үҙсәнлектәре менән биреләләр. Әгәр күмәклегенә ингән бөтә элементтар ҡәнәғәтләндергән һәм күмәклегенә инмәгән элементтар ҡәнәғәтләндермәгән үҙсәнлеге бирелһә, күмәклеге бирелгән була.

Тамғалау

күмәклеген биреү өсөн ҡулланыла; ул күмәклеге күмәклегенең үҙсәнлеге үтәлгән элементтарынан һәм тик шул элементтарынан ғына тора тигәнде аңлата.

Мәҫәлән, функцияһы графигын түбәндәгесә бирергә мөмкин:

Күмәклектәрҙең һәм оҡшаш объекттарҙың ҡайһы бер төрҙәре[үҙгәртергә | вики-тексты үҙгәртергә]

Махсус күмәклектәр[үҙгәртергә | вики-тексты үҙгәртергә]

  • Буш күмәклек — бер элементы ла булмаған күмәклек.
  • Бер элементлы күмәклек — бер элементтан торған күмәклек.
  • Универсаль күмәклек (универсум) — бөтә булыуы мөмкин булған объекттар ингән күмәклек. Рассел парадоксы менән бәйле был төшөнсә хәҙерге ваҡытта «ҡаралған мәсьәләлә ҡатнашыусы бөтә күмәклектәрҙе лә индергән күмәклек» һымаҡ аңлатыла.

Оҡшаш объекттар[үҙгәртергә | вики-тексты үҙгәртергә]

  • Кортеж (атап әйткәндә, тәртипкә килтерелгән пар) — сикле һандағы исемләнгән объекттарҙың тәртипкә килтерелгән йыйылмаһы. Түңәрәк йәки мөйөшлө йәйәләр эсендә яҙыла, ә элементтары ҡабатланырға мөмкиндәр.
  • Мультикүмәклек (Петри селтәрҙәре теорияһында «комплект» тип атала) — тапҡырлы элементтарлы күмәклек.
  • Арауыҡ — ниндәйҙер өҫтәлмә структураһы булған күмәклек.
  • Вектор — ниндәйҙер яландың сикле һандағы элементтары координаталар сифатында ингән һыҙыҡлы арауыҡ элементы. Тәртип булыуы мөһим, элементтар ҡабатланырға мөмкин.
  • Эҙмә-эҙлелек — бер натураль үҙгәреүсәнле функция. Элементтарҙың тәртибе мөһим булған сикһеҙ йыйылмаһы (төрлө булыуы мотлаҡ түгел) кеүек күрһәтелә.
  • Аныҡ булмаған күмәклек — күмәклеккә оҡшаш математик объект, уғи ингәнлек бәйләнеш менән түгел, ә функция менән бирелә. Икенсе төрлө әйткәндә, аныҡ булмаған күмәклек элементтарына ҡарата «ҡайһы тиклем» улар күмәклеккә инәләр икәнен әйтеп була, ә ябай ғына улар күмәклеккә инәләр йәки инмәйҙәр тип кенә әйтеп булмай.

Иерархия буйынса[үҙгәртергә | вики-тексты үҙгәртергә]

  • Күмәклектәр күмәклеге (атап әйткәндә, булеан — бирелгән күмәклектең бөтә аҫкүмәклектәре күмәклеге).
  • Аҫкүмәклек
  • Өҫкүмәклек

Күмәклектәр араһында бәйләнештәр[үҙгәртергә | вики-тексты үҙгәртергә]

өсөн Эйлер диаграммаһы

Ике һәм күмәклектәре бер-береһе менән төрлө бәйләнештәргә инергә мөмкиндәр.

  • -ға инә, әгәр күмәклегенең һәр элементы күмәклегенә лә инһә:
  • -ны үҙ эсенә ала, әгәр -ға инһә:
  • тигеҙ -ға, әгәр һәм бер-береһенә инһә:
    • Теләһә ниндәй күмәклек өсөн
    • Әгәр булһа, ул саҡта
    • Әгәр , булһа, ул саҡта .
  • -ға ҡәтғи инә, әгәр -ға инһә, ләкин уға тигеҙ булмаһа:
  • -ны ҡәтғи үҙ эсенә ала, әгәр -ға ҡәтғи инһә:
  • һәм киҫешмәйҙәр, әгәр уларҙың уртаҡ элементтары булмаһа:
    һәм киҫешмәйҙәр
  • һәм дөйөм торошта торалар, әгәр фәҡәт күмәклегенә генә ингән элемент булһа, фәҡәт күмәклегенә генә ингән элемент булһа, шулай уҡ ике күмәклеккә лә ингән элемент булһа:
    һәм дөйөм торошта торалар

Күмәклектәр өҫтөндә ғәмәлдәр[үҙгәртергә | вики-тексты үҙгәртергә]

өсөн Венн диаграммаһы
өсөн Венн диаграммаһы
өсөн Венн диаграммаһы
өсөн Венн диаграммаһы

Бинар операциялар[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклектәр өҫтөндә бирелгән төп бинар операциялар:

  • киҫелеш:
    .
  • берекмә:
    .
Әгәр һәм күмәклектәре киҫешмәһә, ул саҡта . Уларҙың берекмәһен шулай уҡ ошолай тамғалайҙар: .
  • айырма:
    .
  • симметрик айырма:
    .
  • Декарт йәки тура ҡабатлау:
    .

Ғәмәлдәрҙең мәғәнәһен аңлатыу өсөн йыш ҡына Венн диаграммалары ҡулланыла, уларҙа геометрик фигуралар өҫтөндә, нөктәләр күмәклеге кеүек, ғәмәлдәрҙең һөҙөмтәләре күрһәтелгән.

Киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ теләһә ниндәй күмәклектәр системаһы, киҫелеш һәм берекмәгә ҡарата дистрибутив рәшәткә төҙөй.

Унар ғәмәлдәр[үҙгәртергә | вики-тексты үҙгәртергә]

өсөн Венн диаграммаһы

Тултырыу түбәндәгесә билдәләнә:

.

Тултырыу ғәмәле ниндәйҙер билдәләнгән универсум ( ингән универсаль күмәклек ) булыуын күҙ уңында тота, һәм күмәклектәрҙең был универсум менән айырмаһына ҡайтып ҡала:

.

Киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ, билдәләнгән универсумы булған күмәклектәр системаһы, шул рәүешле индерелгән тултырыу менән Буль алгебраһын төҙөй.

Булеан — бөтә аҫкүмәклектәр күмәклеге:

.

тамғаланышы сикле күмәклектең бөтә аҫкүмәклектәре күмәклеге ҡеүәте үҙсәнлегенән килеп сыға:

.

Булеан билдәләнгән универсумы булған, киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ күмәклектәр системаһын барлыҡҡа килтерә, йәғни, Буль алгебраһын барлыҡҡа килтерә.

Ғәмәлдәр өҫтөнлөгө[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклектәр өҫтөндә ғәмәлдәр башҡарыу эҙмә-эҙлелеге, ғәҙәттәгесә, йәйәләр ярҙамында бирелергә мөмкин. Йәйәләр булмаған осраҡта тәүҙә унар ғәмәлдәр (тултырыу), аҙаҡ — киҫелеш, унан һуң — бер үк өҫтөнлөклө булған берекмә һәм айырма башҡарыла. Бер үк өҫтөнлөклө булған ғәмәлдәр һулдан уңға ҡарай башҡарыла. Был осраҡта шуны күҙ уңында тоторға кәрәк, үҙсәнлеге үтәлгән арифметик ҡушыу һәм алыуҙан айырмалы рәүештә, күмәклектәр өҫтөндә оҡшаш ғәмәлдәр өсөн был дөрөҫ түгел. Мәҫәлән, әгәр булһа, ул саҡта ләкин, шул уҡ ваҡытта, .

Ҡеүәт[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклек ҡеүәте — сикле күмәклек өсөн элементтар һаны төшөнсәһен, араһында биекция урынлаштырырға мөмкин булған күмәклектәр тигеҙ ҡеүәтле булырлыҡ итеп дөйөмләштереүсе, күмәклектең характеристикаһы. йәки тип тамғалана. Буш күмәклектең ҡеүәте нулгә тигеҙ, сикле күмәклектәр өсөн ҡеүәт элементтар һаны менән тап килә, бер-береһе менән эсенә алыу принцибы буйынса бәйләнгән (әгәр булһа, ул саҡта ) һәм сикле күмәклек булеаны ҡеүәте үҙсәнлеге таралған сикһеҙ күмәклектәр өсөн, махсус кардиналь һандар индерелә: сикһеҙ күмәклектәр осрағында ( тамғаланышы үҙе был үҙсәнлек менән нигеҙләнә).

Иң бәләкәй сикһеҙ ҡеүәт тип тамғалана, был иҫәпле күмәклек ҡеүәте. Иҫәпле күмәклек булеанына биектив континуум ҡеүәте йәки тип тамғалана. Континуум-гипотеза — иҫәпле ҡеүәт һәм континуум ҡеүәте араһында аралаш ҡеүәт юҡ тигән фараз.

Иҫкәрмәләр[үҙгәртергә | вики-тексты үҙгәртергә]

Әҙәбиәт[үҙгәртергә | вики-тексты үҙгәртергә]

  • К. Куратовский, А. Мостовский. Теория множеств / Перевод с английского М. И. Кратко под редакцией А. Д. Тайманова. — М.: Мир, 1970. — 416 с.
  • Столл Р. Р. Множества. Логика. Аксиоматические теории. / Перевод с английского Ю. А. Гастева и И. Х. Шмаина под редакцией Ю. А. Шихановича. — М.: Просвещение, 1968. — 232 с.

Ҡалып:Логика