Tyhjä joukko ei sisällä alkioita. Tyhjän joukon merkki
**Tyhjä joukko** on joukko-opillinen kokonaisuus, joka ei sisällä yhtään alkiota.  Tyhjän joukon merkki on isohko poikkiviivallinen ympyrä ∅, mutta vaihtoehtoisesti tyhjää joukkoa voidaan merkitä myös tyhjillä aaltosulkeilla {}. Epätyhjä joukko A puolestaan on joukko, joka ei ole tyhjä joukko. Tällöin merkitään A ≠ ∅.

Koska tyhjässä joukossa ei ole yhtään alkiota, on tyhjän joukon jokaiselle alkiolle jokainen väite tosi. Tämä helpottaa monesti tyhjää joukkoa koskevien lauseiden formalisointia. Sen sijaan tyhjälle joukolle kaikki väitteet eivät ole tosia. Epätosi on esimerkiksi väite "tyhjässä joukossa on alkio".

Metrisissä avaruuksissa tyhjä joukko on määritelty sekä avoimeksi että suljetuksi.*lähde?*

Esimerkkejä
-----------

* {x ∊ ℝ : x² < 0} = ∅ eli sellaisten reaalilukujen joukko, joiden neliö eli toinen potenssi on negatiivinen, on tyhjä joukko.
* {n ∊ ℕ : n < 0} = ∅ eli negatiivisten luonnollisten lukujen joukko on tyhjä joukko, sillä ei ole olemassa negatiivista luonnollista lukua.

Tyhjä joukko osajoukkona
------------------------

Tyhjä joukko on minkä tahansa joukon osajoukko. Tämä voidaan todistaa seuraavasti:

Tehdään vastaväite: on olemassa joukko A, jonka osajoukko ∅ ei ole. Tällöin joukossa ∅ on oltava alkio, joka ei ole joukon A alkio. Mutta tyhjässä joukossa ei määritelmän mukaan ole alkioita. Siispä vastaväite on johtanut ristiriitaan, joten se ei voi pitää paikkaansa.

Tyhjän joukon merkit tietokonejärjestelmissä
--------------------------------------------

Tyhjän joukon merkin otti käyttöön ranskalainen matemaatikko André Weil vuonna 1939. Alun perin kyseessä oli norjalainen Ø-kirjain, jolle Weil täten antoi uuden matemaattisen merkityksen. Nykyisin se käsitetään kuitenkin muun muassa Unicodessa eri merkiksi, joka on saanut koodiarvon U+2205.

Koska tyhjän joukon merkkiä on kuitenkin hankala tuottaa tavanomaisella näppäimistöllä eikä se edes sisälly kaikkiin merkistöihin tai fontteihin, korvikkeena voidaan käyttää Latin 1 -merkistöönkin sisältyvää suuraakkosta Ø (U+00D8), joka tosin ei yleensä ole muodoltaan täydellinen ympyrä. Melkein samannäköinen kuin tyhjän joukon merkki mutta pienempi on halkaisijan merkki ⌀ (U+2300).

Teknisesti turvallisin tyhjän joukon merkintätapa ovat aaltosulkeet, sillä ne sisältyvät jo ASCII-merkistöön ja toimivat siis käytännöllisesti katsoen tilanteessa kuin tilanteessa.

| Merkki | Unicode | HTML-viittaus | Laajennettu suomalainen näppäimistö | Alt-koodi |
| --- | --- | --- | --- | --- |
| tunnus | nimi | lohko |
| ∅ | U+2205 | tyhjä joukko | Matemaattisia operaattoreita | &empty;&#8709;&#x2205; |  | Alt·8709 |
| Ø | U+00D8 | latinalainen suuraakkonen o ja vinoviiva yli | Latinalaisen merkistön täydennys Latin 1:ksi | &Oslash;&#216;&#xD8; | AltGr·⇧ Shift·Ö | Alt·0216 |
| { | U+007B | vasen aaltosulje | Latinalainen perusosa | &#123;&#x7B; | AltGr·7 | Alt·0123 |
| } | U+007D | oikea aaltosulje | &#125;&#x7D; | AltGr·0 | Alt·0125 |

Lähteet
-------

1. ↑  Häsä, Jokke & Rämö, Johanna: *Johdatus abstraktiin algebraan*, s. 13. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.
2. ↑  Earliest Uses of Symbols of Set Theory and Logic (kohta "The null set symbol (Ø)") *jeff560.tripod.com*. Viitattu 24.4.2017.
3. ↑  Mathematical Operators (PDF) *The Unicode Standard*.  1991–2009. Viitattu 19.9.2010. (englanniksi)
4. 1 2 3  Eurooppalaisen merkistön merkkien suomenkieliset nimet (HTML) (Suomennos on tehty Suomen Standardisoimisliiton taloudellisella avustuksella, mutta sitä ei ole vahvistettu SFS-standardiksi.)  2004. Helsingin yliopiston yleisen kielitieteen laitos.  Arkistoitu 19.9.2010. Viitattu 19.9.2010.
5. ↑  C1 Controls and Latin-1 Supplement (PDF) *The Unicode Standard*.  1991–2009. Viitattu 19.9.2010. (englanniksi)
6. ↑  C0 Controls and Basic Latin (PDF) *The Unicode Standard*.  1991–2009. Viitattu 19.9.2010. (englanniksi)

Kirjallisuutta
--------------

* Merikoski, Jorma; Virtanen, Ari; Koivisto, Pertti: *Diskreetti matematiikka I*. Tampere: Tampereen yliopisto, 2001 (1993). ISBN 951-44-3604-0.
* Lipschutz, Seymour: *Set Theory and Related Topics*. McGraw-Hill, 1964. ISBN 0070379866.