Okruh 19    2 - 3 - 8 - 9 - 10 - 11 - 12 - 13 - 14 - 15 - 16 - 17 - 18 - 19 - 20 - 21
18. Jak se dokazuje rovnost dvou množin, například M = N ?
 

Důkaz rovnosti množin M, N se skládá ze dvou částí, které musí platit současně. Proměnnou x označme libovolný prvek základní množiny Z.

   1) Jestliže x M    x N (tedy dokazujeme M N).
   2) Jestliže x N    x M (tedy dokazujeme N M).
Příklad:
Máme dokázat, že pro libovolné podmnožiny A, B, C základní množiny Z platí [ A ( B C ) ] = [ ( A B) ( A C) ].
  1) Dokážeme [ A ( B C ) ] [ ( A B ) ( A C ) ]
pro libovolný prvek x základní množiny Z platí:
x [ A ( B C ) ] x A x ( B C )
x A ( x B x C )
[ ( x A x B ) ( x A x C ) ]
[ x A B x A C ] x [ ( A B ) ( A C ) ]
  2) Dokážeme [ ( A B ) ( A C ) ] [ A ( B C ) ]
pro libovolný prvek x základní množiny Z platí:
x [ ( A B ) ( A C ) ] [ x A B x A C ] [ ( x A x B ) ( x A x C ) ]
x A ( x B x C ) x A x ( B C ) x [ A ( B C ) ]
V důkazu se použije definice množinových operací průnik množin a sjednocení množin, dále poznatky z výrokové logiky.
Podívejte se na tautologii výrokové logiky, která byla použita v uvedeném důkazu.

Gymnázium V. Hlavatého, Poděbradova 661, 440 62 Louny
© 2004 Milan Rieger - webdesign, grafika