Դատարկ բազմություն

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

Նշանակում 

Դատարկ բազմության տարածված նշանակումներն են «{}», «∅» և «» սիմվոները։ Վերջին երկուսը առաջին անգամ ներկայացրել է Բուրբաքի խումբը (հատկապես՝Անդրե Վեյլը) 1939 թվականին, նորվեգերենի և դանիերենի այբուբենների Ø  տառից ոգեշնչված. այն կապված չէ հունարեն Φ տառի հետ։

Յունիկոդում դատարկ բազմության նշանը U+2205-ում է։ TeX-ում այն կոդավորվում է՝ \emptyset կամ \varnothing:

Հատկություններ 
Ստանդարտ աքսիոմատիկ բազմությունների տեսությունում, երկու բազմություն հավասար են, եթե պարունակում են նույն տարրերը. այս պատճառով կարող է գոյություն ունենալ միայն մեկ առանց էլեմենտներով բազմություն։ Գոյություն ունի միայն մեկ դատարկ բազմություն։

Ծանոթագրություններ

Գրականություն 
 Halmos, Paul, Naive Set Theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition).

Արտաքին հղումներ 
 Weisstein, Eric W., "Empty Set", MathWorld.

Ոչինչ
Բազմությանների հզորություն
Բազմությունների տեսություն