«Դատարկ բազմություն»–ի խմբագրումների տարբերություն

'''Դատարկ բազմություն''', մաթեմատիկայում, ավելի կոնկրետ՝ [[Բազմությունների տեսություն|բազմությունների տեսության]] մեջ յուրահատուկ [[բազմություն]], որը չունի որևէ [[Էլեմենտ (մաթեմատիկա)|տարր]](էլեմենտ): Դատարկ բազմության մեծությունը և [[Բազմության հզորություն|հզորությունը]]<nowiki/> հավասար է [[զրո]]յին: Որոշ աքսիոմատիկ բազմությունների տեսություններ դատարկ բազմության գոյությունը հնարավոր են համարում [[դատարկ բազմության աքսիոմ]]ի ներառման միջոցով։ Այլ տեսություններում դատարկ բազմության գոյությունը հնարավոր է դուրս բերել։  Բազմությունների հնարավոր շատ հատկություններ ճիշտ են նաև դատարկ բազմության համար։

Դատարկ բազմության տարածված նշանակումներն են «{}», «∅» և «<math>\emptyset</math>» սիմվոները։ Վերջին երկուսը առաջին անգամ ներկայացրել է [[Բուրբաքի խումբ]]ը (հատկապես՝<nowiki/>[[Անդրե վեյլ|Անդրե Վեյլը]]) 1939 թվականին, [[նորվեգերեն]]ի<nowiki/>ևիև [[դանիերեն]]ի<nowiki/> այբուբենների <nowiki/>[[Ø]]  տառից ոգեշնչված. այն կապված չէ հունարեն <nowiki/>[[Ֆի (տառ)|Φ]] տառի հետ<ref>[http://jeff560.tripod.com/set.html Earliest Uses of Symbols of Set Theory and Logic.]</ref>

[[Յունիկոդ]]ում<nowiki/> դատարկ բազմության նշանը U+2205-ում է<ref>[http://www.unicode.org/charts/PDF/U2200.pdf Unicode Standard 5.2]</ref>: <nowiki/>[[TeX]]-ում այն կոդավորվում է՝ <tt>\emptyset</tt> կամ <tt>\varnothing:</tt>