Күмәклектәр теорияһы

Википедия — ирекле энциклопедия мәғлүмәте
Перейти к навигации Перейти к поиску
Ике күмәклектең киҫешеүен сағылдырған Венн диаграммаһы

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

Хәҙерге күмәклектәр теорияһы 1870 йылда Георг Кантор һәм Рихард Дедекинд хеҙмәттәренән башланғыс ала. Бөгөнгө көндә был теория математиканың күп бүлектәренең — дөйөм топологияның, дөйөм алгебраның, функциональ анализдың нигеҙендә ята[1]. XX быуаттың беренсе яртыһында күмәклектәр теорияһы күҙлегенәнән ҡараш математиканың күп традицион бүлектәренә индерелә, шуның менән бәйле математиканы уҡытыуҙа, шул иҫәптән мәктәптәрҙә, киң ҡулланыла башланы. Әммә математик теорияларҙы логик яҡтан яҡшы итеп төҙөү өсөн күмәклектәр теорияһын ҡулланыу ҡатмарлаша, сөнки ул үҙенең фекерләү ысулдарын нигеҙләүгә мохтаж.[2].

XX быуаттың икенсе яртыһынан башлап күмәклектәр теорияһының әһәмиәтенә ҡараш һәм уның математиканың үҫешенә йоғонтоһо, математиканың күп өлкәләрендә уның аппаратын асыҡтан-асыҡ ҡулланмайынса етерлек дәрәжәлә дөйөм һөҙөмтәләргә өлгәшеп була икәнен аңлау иҫәбенә, һиҙелерлек кәмей. Шулай булыуға ҡарамаҫтан, математиканың бөтә бүлектәрендә лә күмәклектәр теорияһы нотацияһы, уның ысулдарын ҡулланыуға бәйһеҙ рәүештә, дөйөм ҡабул ителгән булып ҡала.

Теорияның төп төшөнсәләре: күмәклек (ирекле тәбиғәтле объекттар йыйылмаһы), элементтарҙың күмәклеккә инеү мөнәсәбәте, аҫкүмәклек, күмәклектәр өҫтөндә ғәмәлдәр, күмәклектәрҙең сағылышы, үҙ-ара-бер мәғәнәле ярашлылыҡ, ҡеүәт (сикле, иҫәпле, иҫәпһеҙ), трансфинит индукция.

Кантор күмәклегенең өс үлсәмле вариантын күҙаллау

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

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

Күмәклектәр, шул иҫәптән сикһеҙ күмәклектәр, математикала Боронғо Греция замандарында уҡ асыҡтан-асыҡ булмаған формала телгә алына: мәҫәлән, бөтә рациональ, бөтөн, натураль, таҡ, ябай һандар күмәклектәренең береһе икенсеһенә инеү бәйләнештәре ҡаралған. Күмәклектәрҙең тигеҙ ҡеүәтле булыу идеяһы башланғыстары Галилейҙа осрай: һандар һәм уларҙың квадраттары араһында ярашлылыҡ тураһында фекер йөрөтөп, ул «бөтөн өлөштән ҙурыраҡ» аксиомаһын сикһеҙ объекттарға ҡулланып булмауына иғтибар итә (Галилей парадоксы)[3].

Актуаль сикһеҙ күмәклек тураһында беренсе төшөнсә 1800-се йылдар башында, «Арифметик тикшеренеүҙәрендә» баҫылып сыҡҡан Гаусс хеҙмәттәрендә яҙылған тип һанала[4]. Әммә Гаусс сикһеҙ күмәклектәрҙе йәки кластарҙы үҙаллы тикшеренеү объекты итеп ҡарамай, улай ғына түгел, ул актуаль сикһеҙлекте математик иҫбатлауҙарҙа ҡулланыу мөмкинлегенә ҡаршы фекер әйтә [5].

Сикһеҙ күмәклектәр тураһында асығыраҡ күҙаллау Дирихле хеҙмәттәрендә, 1856—1857 йылдарҙағы лекциялар курсында күренә[6]. Функциональ сағыштырыуҙар теорияһы буйынса 1820—1850-се йылдарҙағы Галуа, Шёман һәм Серре хеҙмәттәрендә шулай уҡ күмәклектәр теорияһынан сығып ҡарау элементтары беленә. Уларҙы 1857 йылда Дедекинд дөйөмләштерә[7]. Күмәклектәр теорияһының айырым төшөнсәләрен Штейнер һәм Штаудттың 1830—1860-сы йылдарҙағы проект геометрияһы буйынса хеҙмәттәрендә осратырға мөмкин: бөтә предмет һиҙелерлек дәрәжәлә күмәклектәр теорияһы өсөн төп төшөнсә булған үҙ-ара-бер мәғәнәле сағылдырыу тураһында күҙаллауға бәйле, әммә проект геометрияһында ундай ярашлыҡтарға өҫтәлмә сикләүҙәр ҡуйыла (ҡайһы бер геометрик бәйләнештәрҙең һаҡланыуы). Атап әйткәндә, Штейнер тура һыҙыҡтағы нөктәләр күмәклеге һәм шәлкемдәге нурҙар күмәклеге өсөн иҫәпһеҙ күмәклек төшөнсәһе индерә һәм уларҙың иҫәпһеҙ аҫкүмәклектәре менән эш итә, ә 1867 йылдағы хеҙмәтендә күмәклектең характеристикаһы итеп ҡеүәт төшөнсәһе индерә [8].

Канторҙың хәйләһеҙ күмәклектәр теорияһына яҡын торған күҙаллауҙар Больцано хеҙмәттәрендә бар[9], иң башта, авторы 1851 йылда вафат булғандан һуң баҫылып сыҡҡан «Парадоксы бесконечного»[en] хеҙмәтендә, унда ирекле һанлы күмәклектәр ҡарала, ә уларҙы сағыштырыу өсөн үҙ-ара-бер мәғәнәле сағылдырыу төшөнсәһе бирелә, «күмәклек» (нем. menge) термины үҙе шулай уҡ тәү тапҡыр был хеҙмәттә систематик рәүештә ҡулланыла. Ләкин, Больцано хеҙмәте математик булыуға ҡарағанда башлыса фәлсәфәүи характерҙа, атап әйткәндә, унда күмәклектең ҡеүәте һәм сикһеҙлек дәүмәле йәки тәртибе төшөнсәләре араһында аныҡ сикләү юҡ, һәм был күҙаллауҙарҙа әҙме-күпме формаль һәм тулы математик теория юҡ[10]. Вейерштрастың, Мерэ һәм Дедекиндтың 1850-се йылдар аҙағында барлыҡҡа килгән һәм 1860-сы йылдар башында баҫылып сыҡҡан ысын һандар теорияһы хәйләһеҙ күмәклектәр теорияһы идеялары менән күп яҡтан ауаздаш, улар континуумды рациональ һәм иррациональ нөктәләрҙән төҙөлгән күмәклек итеп ҡарайҙар[11].

Хәйләһеҙ күмәклектәр теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

Георг Кантор 1870 йылда
Рациональ һандар күмәклегенең иҫәпле булыуын иҫбатлау схемаһы
Кантор — Бернштейн теоремаһын иҫбатлауҙың схематик идеяһы

Күмәклектәр теорияһын хәйләһеҙ вариантта төп төҙөүсе булып немец математигы Георг Кантор тора, нөктәләр күмәклеген абстракциялауға уны 1870—1872 йылдарҙағы тригонометрик рәттәр теорияһын үҫтереү буйынса (Римандың хеҙмәттәрен дауам итеүсе) хеҙмәттәр этәрә[12]. Күмәклектәрҙең тиң ҡеүәтлелеге мәсьәләләре менән ҡыҙыҡһынып, 1873 йылда Кантор рациональ һандар күмәклегенең иҫәпле булыуын асыҡлай һәм бөтөн һәм ысын һандар күмәклектәренең тиң ҡеүәтле булыу мәсьәләһен тиҫкәре хәл итә[en] (һуңғә һөҙөмтәне 1874 йылда Вейерштрасстың талабы буйынса баҫтыра)[13][14]. 1877 йылда Кантор һәм араһында үҙ-ара бер мәғәнәле ярашлыҡты иҫбат итә(теләһә ниндәй өсөн). Беренсе һөҙөмтәләре менән Кантор Дедекинд һәм Вейерштрасс менән үҙ-ара яҙышҡан хаттарҙа бүлешә, улар илтифатлы критика һәм иҫбатлауға иҫкәрмәләр менән яуап бирәләр. 1879 йылдан башлап 1884 йылға тиклем сикһеҙ нөктәле күмәклектәрҙе тикшереү һөҙөмтәләре менән Mathematische Annalenда алты мәҡәлә баҫтыра [15][16].

1877 йылда Дедекинд «О числе классов идеалов конечного поля» мәҡәләһен баҫтыра, унда ялан, модулдәр, идеалдар, ҡулсалар кеүек күмәклектәр менән асыҡтан-асыҡ эш итә, һәм улар өсөн инеү бәйләнештәрен («<» һәм «>» тамғаларын ҡулланып), берләштереү («+» тамғаһы менән) һәм киҫешеү («−» инфиксы менән) операцияларын ҡуллана, һәм бынан тыш, берекмә һәм киҫелеш операцияларының ике төрлө булыуын күрһәтеп, ысынында күмәклектәр алгебраһына килә, Дедекинд тамғалауында:

,
,

Артабан үҙенең хеҙмәттәрендә күп тапҡыр был һөҙөмтәне ҡуллана[17]. 1878 йылда баҫылып сыҡҡан төрлө һандағы үлсәмле континуумдарҙың тиң ҡеүәтлелеге тураһында хеҙмәттәрҙә Кантор, Дедекинд хеҙмәтенә таянып, күмәклектәр теорияһы операцияларын ҡуллана. Бынан тыш, был хеҙмәттә беренсе тапҡыр асыҡтан-асыҡ күмәклек ҡеүәте төшөнсәһе индерелә, иҫәпле күмәклектең теләһә ниндәй сикһеҙ аҫкүмәклегенең иҫәпле булыуы иҫбатлана, ә алгебраик һандарҙың сикле яландары иҫәпле күмәклек миҫалы итеп килтерелә. Канторҙың төрлө һандағы үлсәмле континуумдарҙың тиң ҡеүәтлелеге тураһында хеҙмәте математиктарҙың иғтибарын киң йәлеп итә.

1880 йылда Кантор күмәклектәр теорияһының ике төп идеяһын әйтә — буш күмәклек тураһында төшөнсә һәм трансфинит индукцияһы методы. 1881 йылдан башлап Кантор методтары менән башҡа математиктар ҡуллана башлайҙар: Вольтерра, Дюбуа-Реймон, Бендиксон[se], Гарнак, башлыса функцияларҙың интегралланыусанлығы мәсьәләләре менән бәйле [18]. 1883 йылдағы хеҙмәтендә Кантор, үҙе индергән камил күмәклек һәм күмәклек тығыҙлығы төшөнсәләрен файҙаланып, континуумдың тарихи беренсе формаль билдәләмәһен бирә (дөйөм топологияла ҡулланылған хәҙерге замандыҡынан айырмалы, ләкин улар менән принципиаль оҡшаш булған), шулай уҡ бер ҡайҙа ла тығыҙ булмаған камил күмәклектең (Кантор күмәклеге булараҡ билдәле булған) классик миҫалын төҙөй[19], шулай уҡ континуум-гипотезаны асыҡтан-асыҡ әйтеп бирә.

1885—1895 йылдарҙа хәйләһеҙ күмәклектәр теорияһын төҙөү буйынса эштәр Дедекиндтың хеҙмәттәрендә үҫеш ала (Кантор был 10 йыл дауамында ауырыу сәбәпле бары тик бер ҙур булмаған хеҙмәтен баҫтыра). Шулай, «Что такое числа и для чего они служат?» китабында[20] (унда шулай уҡ беренсе тапҡыр Пеано арифметикаһы булараҡ билдәле булған арифметиканы аксиомалаштырыу төҙөлә), ул осорға тиклем билдәле булған күмәклектәр теорияһы һөҙөмтәләре иң ҙур дөйөмлөктә систематик яҙып бирелгән — теләһә ниндәй күмәклек өсөн (мотлаҡ һанлы түгел), беренсе тапҡыр Кантор — Бернштейн теоремаһы әйтеп бирелгән[21], күмәклектәр алгебраһы аңлатып бирелгән һәм күмәклектәр теорияһы ғәмәлдәренең үҙсәнлектәре асыҡланған[22].

1895—1897 йылдарҙа Кантор хәйләһеҙ күмәклектәр теорияһын нигеҙҙә тамамлаусы ике хеҙмәттән торған цикл баҫтыра[23][24].

1880-се йылдар башынан, башлыса трансфинит индукцияһы идеялары баҫылып сыҡҡандан һуң, күмәклектәр теорияһы ҡарашы шул осорҙоң күп билдәле математиктары тарафынан киҫкен ҡабул итмәүгә осрай, ул ваҡытта төп оппоненттар Герман Шварц һәм, беренсе сиратта, математик объекттар булып тик натураль һандар һәм нимә уларға туранан-тура ҡайтып ҡала, шулар ғына иҫәпләнә ала тип иҫәпләүсе Леопольд Кронекер була (уның «бог создал натуральные числа, а всё прочее — дело рук человеческих» тигән фразаһы билдәле). Шулай булыуға ҡарамаҫтан, 1890-сы йылдар аҙағына күмәклектәр теорияһы дөйөм танылыу яулай, быға бигерәк тә Цюрихта Математиктарҙың беренсе халыҡ-ара конгресында (1897 йыл) Адамарҙың һәм Гурвицтың докладтары, унда күмәклектәр теорияһының анализда уңышлы ҡулланылыуына миҫалдар килтерелә, шулай уҡ математик берләшмәлә һиҙелерлек йоғонтоһо булған Гильберт тарафынан күмәклектәр теорияһы инструментарийын киң ҡулланыуы булышлыҡ итә [25].

Парадокстар[үҙгәртергә | вики-тексты үҙгәртергә]

Хәйләһеҙ теорияла, күмәклектәрҙе ниндәйҙер үҙсәнлеккә эйә булған бөтә объекттарҙы йыйыу билдәһе буйынса ғына төҙөргә мөмкинлек биргән күмәклек төшөнсәһенең аныҡ булмауы, 1895—1925 йылдар араһында байтаҡ ҡапма-ҡаршылыҡтар килеп сығыуына килтерә, был күмәклектәр теорияһын фундаменталь инструмент булараҡ файҙаланып булыуға шикләнеү тыуҙыра, был хәл «кризис оснований математики» тигән билдәлелек ала[26].

Бөтә рәт һандары күмәклеген ҡарау килтергән ҡапма-ҡаршылыҡты беренсе булып Кантор 1895 йылда асыҡлай[27], Бурали-Форти (итал. Cesare Burali-Forti) тарафынан 1897 йылда яңынан асыла һәм беренсе тапҡыр баҫтырып сығарыла, һәм Бурали-Форти парадоксы исеме ала[28]. 1899 йылда Дедекиндҡа хатында Кантор беренсе тапҡыр универсумдың бөтә күмәклектәр күмәклеге булараҡ ҡапма-ҡаршылығы тураһында әйтә, сөнки уның бөтә аҫкүмәклектәре күмәклеге, [29] принцибын ҡәнәғәтләндермәйенсә, үҙ-үҙенә тиң ҡеүәтле булырға тейеш була, аҙаҡ был антиномия Кантор парадоксы тигән исем ала.

1901 йылдар тирәһендә Бертран Рассел тарафынан асыҡланған һәм 1903 йылда «Основания математики» монографияһында баҫылып сыҡҡан Рассел парадоксы күмәклектәр теорияһының һәм дөйөм алғанда математика нигеҙҙәренең артабанғы үҫешенә тәьҫир иткән мөһим ҡапма-ҡаршылыҡ булып тора. Парадокстың айышы, бөтә күмәклектәр күмәклегенең үҙ-үҙенә ҡарағанлығы мәсьәләһен ҡарағанда, үҙен индермәү ҡапма-ҡаршылығы. Бынан тыш, Ришар парадоксы, Берри парадоксы һәм Греллинг — Нельсон парадоксы кеүек антиномияларҙың асыҡланыуы сама менән шул осорға тап килә.

Килеп тыуған парадокстарҙы математиктар берләшмәһендә тикшереү һөҙөмтәһендә, килеп тыуған проблемаларҙы хәл итеү буйынса ике йүнәлеш барлыҡҡа килә: теорияның инструменталь ҡеүәтен һаҡлағанда, ҡапма-ҡаршылыҡһыҙлыҡты тәьмин иткән аксиомалар системаһын һайлау ярҙамында күмәклектәр теорияһын рәсмиләштереү, икенсеһе — интуитив аңлауға бирелмәгән конструкцияларҙы һәм ысулдарҙы ҡарауҙан баш тартыу. Цермело, Гильберт, Бернайс, Хаусдорфтар тарафынан башланған беренсе йүнәлеш сиктәрендә, күмәклектәрҙең аксиоматик теорияһының бер-нисә варианты төҙөлә [⇨] һәм яһалма сикләүҙәр иҫәбенә төп ҡапма-ҡаршылыҡтар еңеп сығыла. Төп сағылдырыусыһы Брауэр булған икенсе йүнәлеш, математикала яңы йүнәлеш — интуиционизм тыуҙыра, һәм бер ни тиклем ул Пуанкаре, Лебег, Борель, Вейльдәр тарафынан яҡлау таба.

Күмәклектәрҙең аксиоматик теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклектәр теорияһын беренсе аксиомалаштырыуҙы Цермело 1908 йылда баҫтырып сығара, был системала парадокстарҙы бөтөрөүҙә төп ролде «селекция аксиомаһы» уйнарға тейеш була(нем. aussonderung), уға ярашлы, -тан күренешендәге бәйләнеш килеп сыҡҡанда ғына үҙсәнлегенән күмәклеген төҙөп була [30]. 1922 йылда Скулем һәм Френкель хеҙмәттәре арҡаһында ғына Цермело аксиомалары базаһында, күләмлек, буш күмәклектең булыуы, парҙар, сумма, дәрәжә, сикһеҙлек аксиомаларын ҡушып, система тамам формалашып бөтә. Был аксиоматикалар Цермело — Френкель теорияһы булараҡ киң таралыу ала, система һайлау аксиомаһы менән ZFC тип тамғалана, һайлау аксиомаһынан тыш — ZF.

Һайлау аксиомаһының үҙенсәлекле роле уның интуитив аңлайышлы булмауында һәм күмәклеккә билдәләмә биреүҙең эффектив ысулы булмауҙа. Атап әйткәндә Борель һәм Лебег, уны ҡулланып алынған иҫбатлауҙар, уға бәйле булмаған иҫбатлауҙарға ҡарағанда башҡа танып белеү әһәмиәтенә эйә тип иҫәпләгәндәр, Гильберт һәм Хаусдорф уны, башҡа аксиомалар кеүек үк һис шикһеҙ (бәхәсһеҙ) тип танып, бер һүҙһеҙ ҡабул итәләр[31].

Күмәклектәр теорияһын аксиомалаштырыуҙың таралыу алған икенсе вариантын фон Нейман 1925 йылда эшләй, Бернайс тарафынан 1930-сы йылдарҙа рәсмиләштерелә, һәм Гёдель тарафынан 1940 йылда ябайлаштырыла (континуум-гипотезаның һайлау аксиомаһына бәйле булмауын иҫбатлау буйынса эшендә), һуңғы варианты фон Нейман — Бернайс — Гёдель аксиомалар системаһы исеме аҫтында билдәлелек ала һәм NGB тип тамғалана[32].

Күмәклектәрҙең дескриптив теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

XX быуат башында Лебег, Бэр, Борель хеҙмәттәрендә күмәклектәрҙең үлсәнмәле булыу мәсьәләһе тикшерелә. 1910—1930 йылдарҙа был хеҙмәттәр нигеҙендә дескриптив күмәклектәр теорияһы эшләнә, ул систематик рәүештә күмәклектәрҙең эске үҙсәнлектәрен өйрәнә. Лузин, Александров, Суслин, Хаусдорф теорияны эшләүгә төп өлөш индерәләр. 1970-се йыдарҙа күмәклектәрҙең дескриптив теорияһы дөйөм топологик аруыҡтар осрағына дөйөмләштерелә.

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

Грек, урыҫ һәм латин алфавиттарының баш хәрефтәре графемаларының бөтә киҫелештәрен күрһәтеүсе Венн диаграммаһы
Декарт ҡабатландығы

Күмәклектәр теорияһының нигеҙендә ошондай төп төшөнсәләр ята: күмәклек һәм күмәклектең ингәнлек бәйләнеше ( тип тамғалана[33] — « күмәклегенең элементы», « күмәклегенә инә»). Буш күмәклек, ғәҙәттә символы менән тамғалана — бер элементы ла булмаған күмәклек. Аҫкүмәклек һәм өҫкүмәклек — бер күмәклектең икенсеһенә инеү мөнәсәбәте (ярашлы рәүештә ҡәтғи булмаған инеү осрағында һәм , һәм ҡәтғи инеү осрағында һәм тип тамғалана).

Күмәклектәр өҫтөндә түбәндәге ғәмәлдәр башҡарыла:

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

Берекмә һәм киҫелеште йыш ҡына күмәклектәр ғаиләһенә лә ҡулланалар, һәм тип тамғалана һәм, ярашлы рәүештә, ғаиләһенә ингән бөтә күмәклектәрҙең берекмәһен һәм ғаиләгә ингән бөтә күмәклектәрҙең киҫелешен төҙөйҙәр.

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

һәм күмәклектәренең Декарт ҡабатландығы — һәм -ның элементтарының бөтә тәртипкә килтерелгән элементтары парҙары күмәклеге: . Күмәклектәр теорияһында күмәклеген күмәклегенә сағылдырыу бинар мөнәсәбәт булараҡ ҡарала — аҫкүмәклеге — беренсе элементтың икенсеһенә ярашлылығының берҙән бер булыу шарты менән: .

Булеан — бирелгән күмәклектең бөтә аҫкүмәклектәре күмәклеге, йәки тип тамғалана (сөнки -ны -гә сағылдырыуҙар күмәклеге менән тап килә).

Күмәклек ҡеүәте (кардиналь һан) — күмәклек элементтары һаны характеристикаһы, формаль рәүештә араһында үҙ-ара бер мәғәнәле ярашлылыҡ урынлаштырырға мөмкин булған күмәклектәр өҫтөндә эквивалентнлыҡ класы итеп билдәләнә, йәки тип тамғалана. Буш күмәклектең ҡеүәте нулгә тигеҙ, сикле күмәклектәрҙең ҡеүәте — элементтар һанына тигеҙ булған бөтөн һан. Кардиналь һандар өҫтөндә, шул иҫәптән сикһеҙ күмәклектәрҙе характерлаусы, тәртип мөнәсәбәте урынлаштырырға мөмкин, иҫәпле күмәклек ҡеүәте тип тамғалана (алеф — йәһүд алфавитының беренсе хәрефе), сикһеҙ күмәклектәр ҡеүәттәренең иң бәләкәйе булып тора, континуумдың ҡеүәте йәки тип тамғалана, континуум-гипотеза — иҫәпле ҡеүәт һәм континуум ҡеүәте араһында ике аралағы ҡеүәттәр юҡ тигән фараз.[34]

Тәртип һандарын -ға тиклем күрһәтеү

Әгәр кардиналь һан күмәклектәрҙең үҙ-ара бер мәғәнәле ярашлыҡ урынлаштырыу мөмкинлегенә ҡарата эквивалентнлыҡ класын характерлаһа, ул саҡта тәртип һаны (ординал) — тулыһынса тәртипкә килтерелгән күмәклектәрҙең биектив ярашлылыҡҡа ҡарата тулы тәртип мөнәсәбәтен һаҡлаусы эквивалентнлыҡ класы характеристикаһы. Ординалдар тәртип һандары арифметикаһы[en] индереү ярҙамында (ҡушыу һәм ҡабатлау ғәмәлдәре менән) төҙөлә, сикле күмәклектәрҙең тәртип һаны кардинал менән тап килә (ярашлы натураль һан менән тамғалана), тәбиғи тәртиптәге бөтә натураль һандар күмәклегенең тәртип һаны тип тамғалана, артабан:

һандары төҙөлә,

унан һуң -[en]:

.

Бөтә - һәм -һандар — иҫәпле ординалдар күмәклеге ҡеүәте ҡеүәтенә эйә.[35]

Дөйөмләштереү[үҙгәртергә | вики-тексты үҙгәртергә]

Йыш ҡына күмәклектәр теорияһына ҡаршы ҡуйылған категориялар теорияһы саралары менән, инструменталь һәм дидактик ҡараштан сығып, Ловер һәм Тирни (ингл. Miles Tierney) 1970 йылда топостар теорияһын төҙөй, уның өйрәнеү объекты — элементар топос — күмәклектәр теорияһы аңлауында күмәклектәрҙең тәртибе менән оҡшашлыҡ принцибы буйынса төҙөлгән, ысынында күмәклектәр теорияһының бөтә варианттарын элементар топостар менән күрһәтеп булды.

Аныҡ булмаған күмәклектәр теорияһы — 1960-сы йылдарҙа Лотфи Заде тарафынан тәҡдим ителгән киңәйтелгән күмәклектәр теорияһы[36] аныҡ булмаған логика концепцияһы сиктәрендә, аныҡ булмаған теорияла элементтарҙың күмәклеккә инеү мөнәсәбәте урынына интервалындағы ҡиммәттәр менән ингәнлек функцияһы ҡарала: әгәр элементтың ингәнлек функцияһы нулгә тигеҙ булһа, ул күмәклеккә аныҡ инмәй, әгәр бергә тигеҙ булһа, аныҡ инә, ҡалған осраҡтарҙа инеү мөнәсәбәте аныҡ түгел тип иҫәпләнә. Мәғлүмәт теорияһында, кибернетикала, информатикала ҡулланыла.

Мультикүмәклектәр теорияһы[37], комплекттар теорияһы тип аталған Петри селтәре теорияһын ҡулланғанда, бер үк элементтың бер нисә экземпляры булыуын рөхсәт иткән күмәклектән айырмалы рәүештә, төп төшөнсә сифатында ирекле тәбиғәтле элементтар йыйылмаһы ҡарала, инеү мөнәсәбәте был теорияла экземплярҙар һаны функцияһы менән алмаштырыла:  — элементының мультикүмәклеккә инеү һаны, комплекттарҙы берләштергәндә элементтарҙың экземпляр һаны инеү максимумы буйынса алына (), киҫелештә — минимум буйынса ()[38]. Теоретик информатикала, яһалма интеллектта, Ҡарарҙар ҡабул итеү теорияһында ҡулланыла.

Күмәклектәрҙең альтернатив теорияһы[en] — чехословак математиктары 1970-сы йылдарҙан алып, башлыса Петр Вопенки (чех Petr Vopěnka) хеҙмәттәрендә үҫтергән теория[39], күмәклекте объект һымаҡ аныҡ рәсмиләштереүгә нигеҙләнгән, буш күмәклектән һәм күрәләтә булған элементтарҙан индуктив төҙөлгән, объекттың барыһын бергә ҡарауҙы рөхсәт иткән үҙсәнлектәре өсөн кластар төшөнсәһе индерелә, ә күмәклектәрҙең аҫкластарын өйрәнеү өсөн ярымкүмәклектәр[en] концепцияһы ҡулланыла.

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

Берлинда «Теоретико-множественные часы» 9:32 ваҡытын күрһәтә

1960—1970-се йылдарҙа музыка теорияһы сиктәрендә үҙенең күмәклектәр теорияһы[en] төҙөлә, ул музыкаль объекттарҙы (тауыштарҙы уларҙың бейеклектәре, динамикаһы, оҙайлылығы менән), улар араһында үҙ-ара мөнәсәбәтте һәм уларҙың төркөмдәре өҫтөндә ғәмәлдәрҙе дөйөм һүрәтләү сараларын бирә. Әммә математик күмәклектәр теорияһы менән бәйләнеш туранан-тура түгел, ә терминологик һәм мәҙәни: күмәклектәрҙең музыкаль теорияһында тик сикле объекттар ҡарала һәм ниндәйҙер мөһим теоретик һөҙөмтәләр йәки әһәмиәтле ҙур конструкциялар ҡулланылмай; был теорияла күберәк төркөм теорияһы һәм комбинаторика аппараттары эшкә ҡушылған[40].

Шулай уҡ күмәклектәр теорияһының йөкмәткеһенән бигерәк мәҙәни йоғонтоһо аҫтында немец дизайнеры Биннингер (нем. Dieter Binninger) 1975 йылда, төҫлө яҡтырып торған индикаторҙар ярҙамында ваҡытты күрһәтеү өсөн бишле принцип ҡулланған беренсе ҡоролма булараҡ Гиннесстың рекордтар китабына ингән (өҫтән индикаторҙарҙың беренсе һәм икенсе рәте сәғәтте күрһәтә, өсөнсө һәм дүртенсе рәттәр — минуттарҙы), «теоретико-множественные» часы (нем. Mengenlehreuhr) (шулай уҡ Берлин сәғәте исеме аҫтында билдәле, нем. Berlin-Uhr) ижад итә. Сәғәт Берлиндың Europa-Center сауҙа-офис комплексында ҡуйылған.

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

  1. Множеств теория / П. С. Александров // Ҙур совет энциклопедияһы : в 30 т. / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978. «<…>явилась фундаментом ряда новых математических дисциплин (теории функций действительного переменного, общей топологии, общей алгебры, функционального анализа и др.) <…> оказала глубокое влияние на понимание самого предмета математики»
  2. Математический энциклопедический словарь — М.: «Сов. энциклопедия », 1988. — Б. 382.
  3. Бурбаки, 1963, с. 39
  4. C. F. Gauss Disquititiones arithmeticae — Lipsiae, 1801.
  5. Медведев, 1965, с. 24
  6. P. G. Lejuen Dirichlet Vorlesungen über Zahlentheorie — Braunschweig, 1863., курсты баҫмаға Дирихле вафат булғандан һуң Дедекинд әҙерләй
  7. Медведев, 1965, с. 24—27
  8. Медведев, 1965, с. 28—32
  9. Медведев, 1965, с. 74—77
  10. Бурбаки, 1963, с. 39—40
  11. Медведев, 1965, с. 61—67
  12. Медведев, 1965, с. 86—87
  13. Медведев, 1965, с. 94—95
  14. Кантор, 1985, 2. Об одном свойстве совокупности всех алгебраических чисел. Оригинал: Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. — Journal für die Reine und Angewandte Mathematik, 77 (1874), p. 258—262, с. 18—21
  15. Кантор, 1985, 5. О бесконечных линейных точечных многообразиях. Оригинал: Über unendliche, lineare Punktmannichfahltigkeiten. — Mathematische Annalen, Bd. 15 (1879), 17 (1880), 20 (1882), 21 (1883), 23 (1884), с. 40—141
  16. Бурбаки, 1963, с. 40—41
  17. Медведев, 1965, с. 103—105
  18. Медведев, 1965, с. 113—117
  19. Медведев, 1965, с. 126—131
  20. Dedekind, R. Was sind und was sollen die Zahlen? — Braunschweig: Drud und Berlag von Friedrich Bieweg, 1893. — 60 p.
  21. Доказана независимо Эрнстом Шрёдером и Феликсом Бернштейном в 1897 году
  22. Медведев, 1965, 14. «Что такое числа и для чего они служат?» Р. Дедекинда, с. 144—157
  23. Кантор, 1985, 10. К обоснованию учения о трансфинитных множествах. Оригинал: Beiträge zur Begründung der transfiniten Mengenlehre. — Mathematische Annalen, Bd. 46 (1895) p. 481—512; Bd. 49 (1897), p. 207—246, с. 173—245
  24. Медведев, 1965, 17. Новый взлёт Кантора, с. 171—178
  25. Бурбаки, 1963, «Никто не сможет изгнать нас из рая, созданного для нас Кантором» — говорит Гильберт в «Основаниях геометрии», изданных в 1899 году, с. 44,49
  26. Бурбаки, 1963, Парадоксы теории множеств и кризис оснований, с. 44—53
  27. Не опубликовано, сообщено в письме Гильберту
  28. Медведев, 1965
  29. Бурбаки, 1963, с. 44
  30. Бурбаки, 1963, с. 46
  31. Куратовский, Мостовский, 1970, с. 61
  32. Бурбаки, 1963, с. 46—47
  33. Символ (от грек. εστι — «быть») введён Пеано.
  34. Куратовский, Мостовский, 1970, с. 176—211, 305—327
  35. Куратовский, Мостовский, 1970, с. 273—303
  36. L. Zadeh Fuzzy Sets (инг.) // Information and Control. — 1965. — Т. 5. — С. 338—353. — ISSN 0019-9958. — DOI:10.1016/S0019-9958(65)90241-X Архивировано из первоисточника 27 ноябрь 2007.
  37. А. Б. Петровский Пространства множеств и мультимножеств — М.: Едиториал УРСС, 2003. — Б. 248. — ISBN 5-7262-0633-9.
  38. Джеймс Питерсон Обзор теории комплектов // Теория сетей Петри и моделирование систем = Petri Net Theory and The Modelling of Systems — М.: Мир, 1984. — Б. 231—235. — 264 б. — 8400 экз.
  39. П. Вопенка Математика в альтернативной теории множеств = Mathematics in The Alternative Set Theory / перевод А. Драгалина — М.: Мир, 1983. — 152 б. — (Новое в зарубежной математике). — 6000 экз.
  40. M. Schuijer Analyzing Atonal Music: Pitch-Class Set Theory and Its Contexts — Rochester: University Rochester Press, 2008. — 306 p. — ISBN 978-1-58046-270-9.

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

Ҡалып:Разделы математики