Буш күмәклек: өлгөләр араһындағы айырма
Эстәлек юйылған Эстәлек өҫтәлгән
Таңһылыу (фекер алышыу | өлөш) |
ZUFAr (фекер алышыу | өлөш) күренеште төҙәтеү |
||
1 юл:
[[Файл:Empty set.svg|thumb|right|100px|Буш күмәклектең тамғаланышы]]
'''Буш күмәклек''' (Математикала)
Буш күмәклек күп сәйнәлгән сисә алырлыҡ (тимәк, һанап сыҡмалы һәм арифметик), транзитив һәм тулыһынса тәртипкә һалынған күмәклек (теләһә ниндәй тәртип мөнәсәбәте өсөн). Буш күмәклек иң бәләкәй тәртип һаны һәм иң бәләкәй кардиналь һан. Топологияла буш күмәклек бер үк ваҡытта йомоҡ һәм асыҡ күмәклек.
<math>\in</math>- ирекле күмәклектән башланыусы, артабанғы һәр элементы алдан килеүсенең элементы булып торған, һәр саҡ сикле һандағы аҙымдан һуң буш күмәклек менән тамамланған сынйыр (даимилыҡ аксиомаһын ҡара). Шулай итеп, буш күмәклек, ҡалған бөтә күмәклектәр төҙөлгән «төҙөүсе кирбес» булып тора.
Ҡайһы бер күмәклектәр теорияһы билдәләмәләрендә буш күмәклектең булыуы постулат итеп алына (буш күмәклек аксиомаһын ҡара), икенселәрендә
Буш күмәклек математикала сиктән тыш мөһим роль уйнай.<ref>{{начало цитаты}}Если
== Буш күмәклекте тамғалау ==
Юл 35 ⟶ 36:
* Буш күмәклектең теләһә ниндәй күмәклек менән симметрик айырмаһы һуңғы [күрһәтелгән күмәклеккә] тигеҙ. Икенсе төрлө әйткәндә, <math>\forall a \ (\varnothing \triangle a = a \ \land \ a \triangle \varnothing = a)</math> һәм, айырым осраҡта, <math>\varnothing \triangle \varnothing = \varnothing</math>
* Буш күмәклектең теләһә ниндәй күмәклеккә декарт ҡабатландығы буш күмәклеккә тигеҙ. Икенсе төрлө әйткәндә, <math>\forall a \ (\varnothing \times a = \varnothing \ \land \ a \times \varnothing = \varnothing)</math> һәм, айырым осраҡта, <math>\varnothing \times \varnothing = \varnothing</math>.
* Буш күмәклек
* Буш күмәклек
* Буш күмәклектең ҡеүәте нулгә тигеҙ. Икенсе төрлө әйткәндә, <math>|\varnothing| = 0</math>.
* Буш күмәклектең үлсәие нулгә тигеҙ. Икенсе төрлө әйткәндә, <math>\mu(\varnothing) = 0</math>
== Шулай уҡ ҡара ==
* Буш күмәклек аксиомаһы
* Күмәклек теорияһы аксиоматикаһы
|