Күмәклек — Математиканың мөһим төшөнсәләренең береһе; ул, үҙе был күмәклектең элементтары тип аталған һәм уларҙың һәр береһе өсөн дөйөм характерлы үҙсәнлектәргә эйә булған ниндәйҙер объекттарҙың йыйылмаһы, тупланмаһы булған математик объект.
Күмәклектең дөйөм үҙсәнлектәрен өйрәнеү менән күмәклектәр теорияһы, шулай уҡ математиканың һәм математик логиканың оҡшаш бүлектәре шөғөлләнә.
Миҫалдар: бирелгән ҡалала йәшәүселәр күмәклеге, өҙлөкһөҙ функциялар күмәклеге, бирелгән тигеҙләмәнең сығарылыштары күмәклеге.
Күмәклек буш һәм буш булмаған, тәртипкә килтерелгән һәм тәртипкә килтерелмәгән, сикле һәм сикһеҙ булырға мөмкин, сикһеҙ күмәклек иҫәпле йәки иҫәпһеҙ булырға мөмкин. Улай ғына түгел, хәйләһеҙ, шулай уҡ аксиоматик күмәклектәр теорияларында теләһә ниндәй объект ғәҙәттә күмәклек тип һанала. Күмәклек төшөнсәһе математиканың бөтә бүлектәренә лә дөйөм идеологияны һәм терминологияны ҡулланырға мөмкинлек бирә.
Сикле һәм сикһеҙ күмәклектәр теорияһына нигеҙ Бернард Больцано тарафынан һалына, ул күмәклектәр теорияһы принциптарының ҡайһы берҙәрен әйтеп бирә.
1872 йылдан алып 1897 йылдарға тиклем (башлыса 1872—1884 йылдарҙа) Георг Кантор байтаҡ хеҙмәттәрен баҫтырып сығара, уларҙа күмәклектәр теорияһының төп бүлектәре, нөктәле күмәклектәр теоряһын һәм трансфинитлы һандар (кардиналь һәм рәт) күмәклектәре теоряһын да индереп, системалы рәүештә яҙып бирелә. Был хеҙмәттәрендә ул күмәклектәр теорияһының төп төшөнсәләрен индереп кенә ҡалмай, математиканы күмәклектәр теорияһы теоремаларын иҫбатлау өсөн ҡулланған яңы типтағы фекерҙәре менән байыта, уларҙы, атап әйткәндә, беренсе тапҡыр сикһеҙ күмәклектәргә ҡуллана. Шуға күрә күмәклектәр теорияһын Георг Кантор төҙөгән тип дөйөм иҫәпләнә. Күмәклекте «бирелгән үҙсәнлеккә эйә булған бөтә объекттар йыйылмаһы өсөн берҙәй исем» тип билдәләй. Был объекттарҙы күмәклек элементтары тип атай. үҙсәнлегенә эйә булған объекттар күмәклеген тип тамғалай. Әгәр ниндәйҙер күмәклек булһа, ул саҡта -ты күмәклегенең характерлы үҙсәнлеге тип атай.
Был концепция парадокстарға, атап әйткәндә, Рассел парадоксына килтерә.
Күмәклектәр теорияһы ысынбарлыҡта бөтә хәҙерге математик теорияларҙың нигеҙе булараҡ файҙаланылғанлыҡтан, бер береһенә бәйһеҙ рәүештә Бертран Рассел һәм Эрнст Цермело тарафынан 1908 йылда күмәклектәр теорияһы аксиомалаштырыла. Артабан күп тикшеренеүселәр ике системаны ла, нигеҙҙә уларҙың характерын һаҡлап, киренән ҡарап сығалар һәм үҙгәртәләр. Әлегә тиклем улар һаман Рассел тибындағы теория һәм Цермело күмәклектәр теорияһы булараҡ билдәлеләр. Аҙағыраҡ Канторҙың күмәклектәр теорияһын хәйләһеҙ күмәклектәр теорияһы тип атау ҡабул ителгән, ә яңы төҙөлгәнен — аксиоматик күмәклектәр теорияһы тип атайҙар.
XX быуат урталарында нығынған практика буйынса күмәклек ZFC аксиомаларын (һайлау аксиомаһы менән Цермело — Френкель аксиомалары) ҡәнәғәтләндереүсе модель һымаҡ билдәләнә. Бындай ҡараш ваҡытында ҡайһы бер математик теорияларҙа күмәклек булмаған объекттар йыйылмаһы барлыҡҡа килә. Бындай йыйылмалар кластар (төрлө тәртиптәге) тип аталалар.
Күмәклекте төҙөүсе объекттарҙы күмәклек элементтары йәки күмәклек нөктәләре тип атайҙар. Күмәклектәрҙе йышыраҡ латин алфавитының баш хәрефтәре менән тамғалайҙар, уның элементтарын — бәләкәй хәрефтәр менән. Әгәр — күмәклегенең элементы булһа, ул саҡта (« -ға инә») тип яҙалар. Әгәр күмәклегенең элементы булмаһа, ул саҡта (« -ға инмәй») тип яҙалар. Мультикүмәклектән айырмалы рәүештә күмәклектең һәр элементы уникаль, һәм күмәклектә ике берҙәй элемент була алмай. Икенсе төрлө әйткәндә, күмәклеккә унда булған элементҡа оҡшаш элементты өҫтәү, уны үҙгәртмәй:
Ике күмәклектең тигеҙлеге
Күмәклекте биреүҙең ике төп ысулы бар: һанап биреү һәм һүрәтләү.
Беренсе ысул шунан ғибәрәт, күмәклеккә ингән элементтарҙың тулы исемлеге бирелә һәм һанап сығыла. Мәҫәлән, 10-дан бәләкәйерәк тиҫкәре булмаған йоп һандар күмәклеген теҙем рәүешендә бирергә мөмкин: . Был ысулды сикле күмәклектәрҙең сикләнгән һаны өсөн генә ҡулланып була.
Икенсе ысулды күмәклекте теҙмә ярҙамында биреү ҡыйын йәки мөмкин булмағанда ҡулланалар. Был осраҡта күмәклектәр үҙҙәренең элементтарының үҙсәнлектәре менән биреләләр. Әгәр күмәклегенә ингән бөтә элементтар ҡәнәғәтләндергән һәм күмәклегенә инмәгән элементтар ҡәнәғәтләндермәгән үҙсәнлеге бирелһә, күмәклеге бирелгән була.
Тамғалау
күмәклеген биреү өсөн ҡулланыла; ул күмәклеге күмәклегенең үҙсәнлеге үтәлгән элементтарынан һәм тик шул элементтарынан ғына тора тигәнде аңлата.
Мәҫәлән, функцияһы графигын түбәндәгесә бирергә мөмкин:
Ике һәм күмәклектәре бер-береһе менән төрлө бәйләнештәргә инергә мөмкиндәр.
Күмәклектәр өҫтөндә бирелгән төп бинар операциялар:
Ғәмәлдәрҙең мәғәнәһен аңлатыу өсөн йыш ҡына Венн диаграммалары ҡулланыла, уларҙа геометрик фигуралар өҫтөндә, нөктәләр күмәклеге кеүек, ғәмәлдәрҙең һөҙөмтәләре күрһәтелгән.
Киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ теләһә ниндәй күмәклектәр системаһы, киҫелеш һәм берекмәгә ҡарата дистрибутив рәшәткә төҙөй.
Тултырыу түбәндәгесә билдәләнә:
Тултырыу ғәмәле ниндәйҙер билдәләнгән универсум ( ингән универсаль күмәклек ) булыуын күҙ уңында тота, һәм күмәклектәрҙең был универсум менән айырмаһына ҡайтып ҡала:
Киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ, билдәләнгән универсумы булған күмәклектәр системаһы, шул рәүешле индерелгән тултырыу менән Буль алгебраһын төҙөй.
Булеан — бөтә аҫкүмәклектәр күмәклеге:
тамғаланышы сикле күмәклектең бөтә аҫкүмәклектәре күмәклеге ҡеүәте үҙсәнлегенән килеп сыға:
Булеан билдәләнгән универсумы булған, киҫелеш һәм берекмә ғәмәлдәренә ҡарата йомоҡ күмәклектәр системаһын барлыҡҡа килтерә, йәғни, Буль алгебраһын барлыҡҡа килтерә.
Күмәклектәр өҫтөндә ғәмәлдәр башҡарыу эҙмә-эҙлелеге, ғәҙәттәгесә, йәйәләр ярҙамында бирелергә мөмкин. Йәйәләр булмаған осраҡта тәүҙә унар ғәмәлдәр (тултырыу), аҙаҡ — киҫелеш, унан һуң — бер үк өҫтөнлөклө булған берекмә һәм айырма башҡарыла. Бер үк өҫтөнлөклө булған ғәмәлдәр һулдан уңға ҡарай башҡарыла. Был осраҡта шуны күҙ уңында тоторға кәрәк, үҙсәнлеге үтәлгән арифметик ҡушыу һәм алыуҙан айырмалы рәүештә, күмәклектәр өҫтөндә оҡшаш ғәмәлдәр өсөн был дөрөҫ түгел. Мәҫәлән, әгәр булһа, ул саҡта ләкин, шул уҡ ваҡытта, .
Күмәклек ҡеүәте — сикле күмәклек өсөн элементтар һаны төшөнсәһен, араһында биекция урынлаштырырға мөмкин булған күмәклектәр тигеҙ ҡеүәтле булырлыҡ итеп дөйөмләштереүсе, күмәклектең характеристикаһы. йәки тип тамғалана. Буш күмәклектең ҡеүәте нулгә тигеҙ, сикле күмәклектәр өсөн ҡеүәт элементтар һаны менән тап килә, бер-береһе менән эсенә алыу принцибы буйынса бәйләнгән (әгәр булһа, ул саҡта ) һәм сикле күмәклек булеаны ҡеүәте үҙсәнлеге таралған сикһеҙ күмәклектәр өсөн, махсус кардиналь һандар индерелә: сикһеҙ күмәклектәр осрағында ( тамғаланышы үҙе был үҙсәнлек менән нигеҙләнә).
Иң бәләкәй сикһеҙ ҡеүәт тип тамғалана, был иҫәпле күмәклек ҡеүәте. Иҫәпле күмәклек булеанына биектив континуум ҡеүәте йәки тип тамғалана. Континуум-гипотеза — иҫәпле ҡеүәт һәм континуум ҡеүәте араһында аралаш ҡеүәт юҡ тигән фараз.
Ҡалып:Логика
This article uses material from the Wikipedia Башҡорт article Күмәклек, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Башҡа шарт булмаһа, CC BY-SA 4.0 лицензияһына ярашлы, эстәлек менән һәр кем файҙалана ала. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Башҡорт (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.