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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Դատարկ բազմությունը ոչ մի տարր չպարունակող բազմությունն է:

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

Նշանակում[խմբագրել | խմբագրել կոդը]

Դատարկ բազմության սիմվոլը

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

Յունիկոդում դատարկ բազմության նշանը U+2205-ում է[2]: 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).
  • Jech, Thomas (2002), Set Theory, Springer Monographs in Mathematics (3rd millennium տպ.), Springer, ISBN 3-540-44085-2 
  • Graham, Malcolm (1975) (english) (Hardcover), Modern Elementary Mathematics (2nd տպ.), New York: Harcourt Brace Jovanovich, ISBN 0155610392 

Արտաքին հղումներ[խմբագրել | խմբագրել կոդը]