Vennov diagram: definícia, história a použitie v matematike

Vennov diagram – prehľad: definícia, história a praktické použitie v matematike, pravdepodobnosti a informatike. Jednoduché vysvetlenie a názorné príklady pre študentov a pedagógov.

Vennov diagram je diagram, ktorý znázorňuje logický vzťah medzi množinami. Spopularizoval ich John Venn v 80. rokoch 19. storočia a v súčasnosti sa bežne používajú. Používajú sa pri výučbe elementárnej teórie množín a na znázornenie jednoduchých vzťahov medzi množinami v pravdepodobnosti, logike, štatistike, lingvistike a informatike. Vennov diagram používa na znázornenie množín uzavreté krivky nakreslené na rovine. Veľmi často sú to kružnice alebo elipsy. Každá oblasť, do ktorej sa krivky rozdelia, reprezentuje jedinečnú kombináciu členstva alebo nečlenstva do jednotlivých množín; táto vlastnosť umožňuje ľahko čítať operácie ako zjednotenie, prienik alebo doplnok.

Podobné myšlienky boli navrhnuté už pred Vennom. Christian Weise v roku 1712 (Nucleus Logicoe Wiesianoe) a Leonhard Euler (Listy nemeckej princeznej) 1768 prišli s podobnými myšlienkami. Túto myšlienku spopularizoval Venn v Symbolickej logike, kapitola V "Diagramatická reprezentácia", 1881. Venn rozšíril a systematizoval používanie týchto diagramov tak, aby zobrazovali všetky možné logické vzťahy medzi n množinami (t. j. všetky 2^n oblastí), nielen tie, ktoré sa v konkrétnom prípade vyskytujú.

Interpretácia a základné operácie

Pri čítaní Vennovho diagramu sa bežne rozlišujú tieto pojmy a operácie:

• Zjednotenie (A ∪ B) — oblasť patriaca aspoň do jednej z množín. V diagrame sa vysvetlí ako súčet všetkých oblastí, ktoré pokrývajú dané množiny.
• Prienik (A ∩ B) — oblasť spoločná pre obe množiny (prekrývanie kriviek).
• Doplnok (Aᶜ) — oblasti mimo danej množiny, ale v rámci univerzálnej množiny znázornenej pozadím diagramu.
• Rozdiel (A \ B) — body, ktoré sú v A, ale nie v B (časti A mimo prieniku).
• Symetrický rozdiel (A △ B) — oblasti, ktoré sú len v jednej z množín, nie v oboch.

Na praktické účely sa často používajú tieňovanie alebo farebné označenie príslušných oblastí, prípadne popisky počtov (kardinálnych veličín) pre aplikácie v pravdepodobnosti alebo štatistike.

Najbežnejšie konfigurácie

Najčastejší sú:

• Dvojmnožinový Vennov diagram — dve prekrývajúce sa kružnice, ktoré zobrazujú A, B, ich prienik a zvyšné časti.
• Trojmnožinový Vennov diagram — tri kružnice v tvare trojuholníkového usporiadania, ktoré vytvárajú 7 nesúvislých oblastí vnútri plus oblasť mimo všetkých troch (spolu 2^3 = 8 oblastí).

Pre viac ako tri množiny už jednoduché kružnice často nestačia. V praxi sa používajú zložitejšie krivky, elipsy alebo špeciálne konštrukcie symetrických Vennových diagramov (existujú všeobecné konštrukcie pre n množín, väčšinou s komplikovanejším tvarom oblastí).

Venn vs. Euler

Je dôležité rozlíšiť Vennove a Eulerove diagramy. Eulerove diagramy znázorňujú len skutočné vzťahy medzi množinami — ak je prienik prázdny, príslušná spoločná oblasť sa nezobrazí. Naproti tomu Vennove diagramy zobrazujú všetky možné kombinácie členstva (aj keď niektoré oblasti môžu byť prázdne), čo ich robí vhodnými na formálne logické uvažovanie a dôkazy identít v teórii množín.

Generalizácie a obmedzenia

• Pre n ≤ 3 sa obvykle používajú kružnice. Pre n ≥ 4 treba použiť komplikovanejšie krivky, alebo sa pristupuje k alternatívnym vizualizáciám (napríklad Eulerove diagramy, Karnaughove mapy, alebo priestorové/počítačové zobrazenia).
• Pri veľmi veľkých množinách alebo pri rozsiahlych množinových rodinách stráca Vennov diagram prehľadnosť — v takých prípadoch sú vhodnejšie numerické alebo interaktívne nástroje.
• Existujú štúdie konštrukcie tzv. symetrických Vennových diagramov (kde sú krivky usporiadané podľa rotačnej symetrie), ako aj algoritmy na generovanie Vennových diagramov pre veľké n.

Použitie v praxi

• Vyučovanie a vizualizácia základných pojmov v teórii množín a logike.
• Riešenie príkladov v pravdepodobnosti, kde oblasti diagramu zodpovedajú udalostiam a ich mieram (pravdepodobnostiam) — napr. pri výpočte P(A ∪ B) alebo P(A ∩ B).
• Porovnanie súborov dát v štatistike a bioinformatike (napr. analýza prekrývania génových zoznamov).
• Analytické a didaktické nástroje v lingvistike (napr. krížové kategórie) a v informatike (logické operácie, optimalizácia výrazov, vizualizácia výsledkov dotazov).
• Simplifikácia booleovských výrazov pri návrhu logických obvodov a pri práci s Karnaughovými mapami.

Praktické príklady

• A ∪ B — zašrafujte všetky oblasti, ktoré ležia v kružnici A alebo v kružnici B (vrátane prieniku).
• A ∩ B — zašrafujte len oblasť, kde sa kružnice A a B prekrývajú.
• A \ B — zašrafujte časť kružnice A, ktorá neleží v prerušenej oblasti prieniku s B.
• Pre trojicu A, B, C možno ľahko vyznačiť napr. A ∩ (B ∪ C) alebo (A △ B) ∩ C jednoduchým výberom príslušných dielikov diagramu.

Zhrnutie: Vennov diagram je jednoduchý, vizuálne zrozumiteľný nástroj na znázornenie vzťahov medzi množinami, veľmi užitočný pri učení, riešení úloh v pravdepodobnosti a štatistike a pri komunikácii výsledkov analýz. Jeho obmedzením je zložitosť pri veľkom počte množín, čo si vyžaduje špeciálne konštrukcie alebo alternatívne vizualizácie.

Príklad

V nasledujúcom príklade sú použité dve množiny A a B, ktoré sú tu znázornené ako farebné kruhy. Oranžový kruh, súbor A, predstavuje všetky živé tvory, ktoré sú dvojnohé. Modrý kruh, súbor B, predstavuje živé tvory, ktoré môžu lietať. Každý samostatný typ tvora si možno predstaviť ako bod niekde na diagrame. Živé tvory, ktoré môžu lietať a zároveň majú dve nohy - napríklad papagáje - sú potom v oboch súboroch, takže zodpovedajú bodom v oblasti, kde sa modré a oranžové kruhy prekrývajú. Táto oblasť obsahuje všetky takéto a len takéto živé tvory.

Ľudia a tučniaky sú dvojnohí, a preto sú potom v oranžovom kruhu, ale keďže nemôžu lietať, objavujú sa v ľavej časti oranžového kruhu, kde sa neprekrýva s modrým kruhom. Komáre majú šesť nôh a lietajú, takže bod pre komáre je v časti modrého kruhu, ktorá sa neprekrýva s oranžovým. Všetky tvory, ktoré nemajú dve nohy a nemôžu lietať (napríklad veľryby a pavúky), by boli reprezentované bodmi mimo oboch kruhov.

Spojená plocha množín A a B sa nazýva zjednotenie A a B, označuje sa A ∪ B. Zjednotenie v tomto prípade obsahuje všetky živé tvory, ktoré sú buď dvojnohé, alebo môžu lietať (alebo oboje). Oblasť v A aj B, kde sa obe množiny prekrývajú, sa nazýva priesečník A a B, označuje sa A ∩ B. Napríklad priesečník oboch množín nie je prázdny, pretože v ňom existujú body, ktoré predstavujú tvory, ktoré sú v oranžovom aj modrom kruhu.

Sady A (tvory s dvoma nohami) a B (tvory, ktoré môžu lietať)

Otázky a odpovede

Otázka: Čo je to Vennov diagram?

Otázka: Kto spopularizoval Vennove diagramy?

Otázka: Na čo sa používajú?

Otázka: Kto navrhol podobné myšlienky pred Johnom Vennom?

Otázka: Kedy John Venn publikoval Symbolickú logiku?

Otázka: V ktorej kapitole Symbolickej logiky John Venn spopularizoval myšlienku Vennovho diagramu?

Otázka: Ako boli tieto myšlienky reprezentované pred vynájdením modernej verzie Vennova diagramu?

Hľadajte podľa písmena