{"id":100278,"date":"2018-03-20T12:10:23","date_gmt":"2018-03-20T15:10:23","guid":{"rendered":"http:\/\/clubes.obmep.org.br\/blog\/?page_id=100278"},"modified":"2020-11-02T21:23:42","modified_gmt":"2020-11-02T23:23:42","slug":"diagrama-de-venn-conjuntos","status":"publish","type":"page","link":"https:\/\/clubes.obmep.org.br\/blog\/diagrama-de-venn-conjuntos\/","title":{"rendered":".Diagrama de Venn &#8211; Conjuntos"},"content":{"rendered":"<p style=\"margin:20px\">\n<div class=\"gr1 cb37\">\n<p style=\"margin:10px;\">\n<p class=\"ti1 c3\" style=\"margin:10px;line-height:35px\">  Usando diagramas de Venn para ajudar a<br \/>\nentender a linguagem de conjuntos<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:40px 80px 40px 80px;\"> <strong> Aqui, vamos utilizar diagramas de <em>Venn <\/em> para ilustrar e tentar entender algumas defini\u00e7\u00f5es que aparecem de vez em quando nos nossos estudos. <\/strong><\/p>\n<div class=\"gr1 cb38\" style=\"width:90%;\">\n<p class=\"ti2 c3\" style=\"margin:10px;line-height:20px\"> I &#8211; Rela\u00e7\u00e3o de Pertin\u00eancia<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p>Os objetos que comp\u00f5em um conjunto s\u00e3o denominados &#8220;<em>elementos<\/em>&#8221; do conjunto em quest\u00e3o. A pertin\u00eancia <span style=\"font-size:11px;\">(ato de pertencer)<\/span> a um conjunto \u00e9 usualmente indicada pelo s\u00edmbolo [tex]\\in[\/tex] e, a n\u00e3o pertin\u00eancia, pelo s\u00edmbolo [tex]\\notin [\/tex]. Assim:<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> a nota\u00e7\u00e3o [tex]x \\in X[\/tex] significa que &quot;o objeto [tex]x[\/tex] \u00e9 elemento do conjunto [tex]X[\/tex]&quot;;<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> a nota\u00e7\u00e3o [tex]b \\notin B[\/tex] indica que &quot;o objeto [tex]b[\/tex] n\u00e3o \u00e9 elemento do conjunto [tex]B[\/tex]&quot;.<br \/>\n<span style=\"padding-left:30px;\"><\/span> Dessa forma, utilizando a figura abaixo, podemos usar as express\u00f5es:<br \/>\n <span style=\"color: #800000;padding-left:50px;\"><strong>&#9679;<\/strong><\/span> [tex]2 \\in A[\/tex] para indicar que o n\u00famero [tex]2[\/tex] \u00e9 elemento do conjunto [tex]A[\/tex].<br \/>\n <span style=\"color: #800000;padding-left:50px;\"><strong>&#9679;<\/strong><\/span> [tex]5 \\notin A[\/tex] para indicar que o n\u00famero [tex]5[\/tex] n\u00e3o \u00e9 elemento do conjunto [tex]A[\/tex].<\/p>\n<p style=\"margin:10px\">\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s02.png\" style=\"border: none;\"  alt=\"s02\" width=\"429\" height=\"316\" class=\"aligncenter size-full wp-image-66093\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s02.png 429w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s02-300x221.png 300w\" sizes=\"auto, (max-width: 429px) 100vw, 429px\" \/><\/p>\n<p style=\"margin:20px\">\n<p><span style=\"padding-left:30px;\"><\/span> Dependendo do contexto, o s\u00edmbolo [tex]\\in[\/tex] pode ser lido como <\/p>\n<p style=\"margin-left:20px;\"><em>&#8211; &#8220;\u00e9 elemento de&#8221;;<br \/>\n&#8211; &#8220;\u00e9 membro de&#8221;;<br \/>\n&#8211; &#8220;est\u00e1 em&#8221;, &#8220;pertence a&#8221;; <\/em><\/p>\n<p>e a sua nega\u00e7\u00e3o [tex]\\notin [\/tex] pode ser lida como <\/p>\n<p style=\"margin-left:20px;\"><em>&#8211; &#8220;n\u00e3o \u00e9 elemento de&#8221;;<br \/>\n&#8211;  &#8220;n\u00e3o \u00e9 membro de&#8221;;<br \/>\n&#8211;  &#8220;n\u00e3o est\u00e1 em&#8221;, &#8220;n\u00e3o pertence a&#8221;.<\/em><\/p>\n<p style=\"font-size:11px; line-height: 15px;\"> Particularmente, um conjunto que n\u00e3o tem elementos \u00e9 o que definimos como um &quot;<em>conjunto vazio<\/em>&quot; e \u00e9 representado pelo s\u00edmbolo [tex]\\emptyset[\/tex] ou por [tex]\\{ \\,  \\, \\}[\/tex].<br \/>\nAssim, por exemplo, se [tex]S[\/tex] \u00e9 o conjunto dos n\u00fameros naturais que s\u00e3o pares e \u00edmpares simultaneamente, ent\u00e3o [tex]S=\\emptyset.[\/tex]<br \/>\nObservamos que \u00e9 absolutamente incorreto utilizar [tex]\\{\\emptyset\\}[\/tex]  para representar o conjunto vazio.<\/p>\n<\/div>\n<p style=\"margin:30px\">\n<hr style=\"height:1px; width:20%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:40%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:50%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:40%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:20%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<p style=\"margin:30px\">\n<div class=\"gr1 cb38\" style=\"width:90%;\">\n<p class=\"ti2 c3\" style=\"margin:10px;line-height:20px\"> II &#8211; Rela\u00e7\u00e3o de Inclus\u00e3o<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p>Se todo elemento de um conjunto [tex]A[\/tex] \u00e9 tamb\u00e9m elemento de um conjunto [tex]B[\/tex], dizemos que [tex]A[\/tex] est\u00e1 contido em [tex]B[\/tex] (ou que [tex]A[\/tex] \u00e9 subconjunto de [tex]B[\/tex]) e  utilizamos a nota\u00e7\u00e3o [tex]A \\subset B[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s03.png\" style=\"border: none;\" alt=\"s03\" width=\"403\" height=\"313\" class=\"aligncenter size-full wp-image-66100\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s03.png 403w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s03-300x233.png 300w\" sizes=\"auto, (max-width: 403px) 100vw, 403px\" \/><\/p>\n<p style=\"margin:10px\">\n<p>Com rela\u00e7\u00e3o \u00e0 figura acima, podemos escrever que:<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]A \\subset B[\/tex], para indicar que [tex]A[\/tex] \u00e9 subconjunto de [tex]B[\/tex];<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]A \\subset S[\/tex], para indicar que [tex]A[\/tex] \u00e9 subconjunto de [tex]S[\/tex];<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]B \\subset S[\/tex], para indicar que [tex]B[\/tex] \u00e9 subconjunto de [tex]S[\/tex];<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]A \\subset B \\subset S[\/tex], para indicar as tr\u00eas inclus\u00f5es.<\/p>\n<p style=\"margin:10px\">\n<p>Se existir pelo menos um elemento de um conjunto [tex]X[\/tex] que n\u00e3o seja elemento de um conjunto [tex]M[\/tex], dizemos que [tex]X[\/tex] n\u00e3o est\u00e1 contido em [tex]M[\/tex] (ou que [tex]X[\/tex] n\u00e3o \u00e9 subconjunto de [tex]M[\/tex]) e  utilizamos a nota\u00e7\u00e3o [tex]X \\not\\subset M[\/tex].<br \/>\nCom rela\u00e7\u00e3o \u00e0 figura acima, podemos escrever que:<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]B \\not\\subset A[\/tex], para indicar que [tex]B[\/tex] n\u00e3o \u00e9 subconjunto de [tex]A[\/tex];<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]S \\not\\subset A[\/tex], para indicar que [tex]S[\/tex] n\u00e3o \u00e9 subconjunto de [tex]A[\/tex];<br \/>\n <span style=\"color: #800000;padding-left:30px;\"><strong>&#9658;<\/strong><\/span> [tex]S \\not\\subset B[\/tex], para indicar que [tex]S[\/tex] n\u00e3o \u00e9 subconjunto de [tex]B[\/tex].\n<\/div>\n<p style=\"margin:30px\">\n<hr style=\"height:1px; width:20%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:40%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:50%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:40%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:20%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<p style=\"margin:30px\">\n<div class=\"gr1 cb38\" style=\"width:90%;\">\n<p class=\"ti2 c3\" style=\"margin:10px;line-height:20px\"> III &#8211; Opera\u00e7\u00f5es com conjuntos<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p>Assim como podemos somar e multiplicar n\u00fameros, existem algumas opera\u00e7\u00f5es que podemos fazer com conjuntos. Com isso, \u00e9 poss\u00edvel criarmos novos conjuntos a partir de conjuntos dados utilizando essas opera\u00e7\u00f5es, dentre as quais destacamos: a uni\u00e3o (reuni\u00e3o), a interse\u00e7\u00e3o e a diferen\u00e7a. Vamos relembrar como efetuar cada uma delas e ilustr\u00e1-las com diagramas de <em>Venn<\/em>.<\/p>\n<p style=\"margin:20px\">\n<div class=\"gr1 cbta6\" style=\"width:90%;\">\n<p class=\"ti3 c3\"> Uni\u00e3o (Reuni\u00e3o) de conjuntos<\/p>\n<p style=\"margin:20px\">\n<p>A uni\u00e3o (reuni\u00e3o) de dois conjuntos [tex]A[\/tex] e [tex]B[\/tex] \u00e9 o conjunto indicado por [tex]A \\cup B[\/tex] e formado por todos os elementos de [tex]A[\/tex] e por todos os elementos de [tex]B[\/tex].<br \/>\nEm s\u00edmbolos:<br \/>\n[tex]\\qquad A \\cup B = \\{ x \\, ; \\, x \\in A \\textrm{ ou }\\, x \\in B\\}[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s07.png\" style=\"border: none;\"  alt=\"s07\" width=\"430\" height=\"290\" class=\"aligncenter size-full wp-image-66158\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s07.png 568w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s07-300x202.png 300w\" sizes=\"auto, (max-width: 430px) 100vw, 430px\" \/><\/p>\n<p style=\"margin:10px\">\n<p>Na figura acima, [tex]A[\/tex] e [tex]B[\/tex] s\u00e3o representados pelos c\u00edrculos e [tex]A \\cup B[\/tex] \u00e9 a parte sombreada.<br \/>\nNas imagens abaixo, podemos visualizar a uni\u00e3o [tex]A \\cup B[\/tex] em outras situa\u00e7\u00f5es relativas dos conjuntos [tex]A[\/tex] e [tex]B.[\/tex]<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F04.png\" style=\"border: none;\" alt=\"\" width=\"696\" height=\"162\" class=\"aligncenter size-full wp-image-95952\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F04.png 696w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F04-300x70.png 300w\" sizes=\"auto, (max-width: 696px) 100vw, 696px\" \/><\/p>\n<p style=\"font-size:11px; line-height: 20px;\"> A segunda e a terceira imagens ilustram uma propriedade caracter\u00edstica de subconjuntos:<br \/>\n<span style=\"padding-left:40px;\"><\/span>se [tex]X[\/tex] \u00e9 um subconjunto  de [tex]Z[\/tex] ([tex]X \\subset Z[\/tex]), ent\u00e3o [tex]X \\cup Z=Z.[\/tex]  <\/p>\n<\/div>\n<p style=\"margin:30px\">\n<div class=\"gr1 cbta6\" style=\"width:90%;\">\n<p class=\"ti3 c3\">Interse\u00e7\u00e3o de conjuntos<\/p>\n<p style=\"margin:20px\">\n<p>A interse\u00e7\u00e3o de dois conjuntos [tex]A[\/tex] e [tex]B[\/tex] \u00e9 o conjunto indicado por [tex]A \\cap B[\/tex] e formado pelos elementos comuns a [tex]A[\/tex] e a [tex]B[\/tex].<br \/>\nAssim:<br \/>\n[tex]\\qquad A \\cap B = \\{ x \\,  ; \\, x \\in A \\text{ e } x \\in B\\}[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s05.png\" style=\"border: none;\" alt=\"s05\" width=\"430\" height=\"290\" class=\"aligncenter size-full wp-image-66125\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s05.png 571w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s05-300x203.png 300w\" sizes=\"auto, (max-width: 430px) 100vw, 430px\" \/><\/p>\n<p style=\"margin:10px\">\n<p>Na figura acima, [tex]A[\/tex] e [tex]B[\/tex] s\u00e3o tamb\u00e9m representados pelos c\u00edrculos e [tex]A \\cap B[\/tex] \u00e9 a parte sombreada.<br \/>\nNas imagens abaixo, podemos visualizar a interse\u00e7\u00e3o [tex]A \\cap B[\/tex] em outras situa\u00e7\u00f5es relativas dos conjuntos [tex]A[\/tex] e [tex]B.[\/tex]<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F03.png\" style=\"border: none;\" alt=\"\" width=\"681\" height=\"165\" class=\"aligncenter size-full wp-image-95949\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F03.png 681w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F03-300x73.png 300w\" sizes=\"auto, (max-width: 681px) 100vw, 681px\" \/><\/p>\n<p style=\"font-size:11px; line-height: 20px;\"> A primeira imagem ilustra uma situa\u00e7\u00e3o importante: os conjuntos [tex]A[\/tex] e [tex]B[\/tex] n\u00e3o t\u00eam elementos em comum. Nesse caso, [tex]A \\cap B=\\emptyset \\, [\/tex] e dizemos que [tex]A[\/tex] e [tex]B[\/tex] s\u00e3o disjuntos.<br \/>\nA segunda e a terceira imagens ilustram mais uma propriedade caracter\u00edstica de subconjuntos:<br \/>\n<span style=\"padding-left:40px;\"><\/span>se [tex]X[\/tex] \u00e9 um subconjunto  de [tex]Z[\/tex] ([tex]X \\subset Z[\/tex]), ent\u00e3o [tex]X \\cap Z=X.[\/tex]<\/p>\n<\/div>\n<p style=\"margin:30px\">\n<div class=\"gr1 cbta6\" style=\"width:90%;\">\n<p class=\"ti3 c3\">Diferen\u00e7a de conjuntos<\/p>\n<p style=\"margin:20px\">\n<p>A diferen\u00e7a entre dois conjuntos [tex]A[\/tex] e [tex]B[\/tex] \u00e9 o conjunto indicado por [tex]A-B[\/tex] e  formado pelos elementos de [tex]A[\/tex] que n\u00e3o s\u00e3o elementos de [tex]B[\/tex].<br \/>\nDessa forma:<br \/>\n[tex]\\qquad A\u2013B = \\{ x \\, ; \\, x \\in A \\text{ e }\\, x \\notin B\\}[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s06.png\" style=\"border: none;\" alt=\"s06\" width=\"430\" height=\"284\" class=\"aligncenter size-full wp-image-66133\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s06.png 569w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/08\/s06-300x198.png 300w\" sizes=\"auto, (max-width: 430px) 100vw, 430px\" \/><\/p>\n<p style=\"margin:10px\">\n<p>Na figura acima, uma vez mais,  [tex]A[\/tex] e [tex]B[\/tex] s\u00e3o representados pelos c\u00edrculos e [tex]A-B[\/tex] \u00e9 a parte sombreada.<br \/>\nNas imagens abaixo, podemos visualizar a diferen\u00e7a [tex]A-B[\/tex] em outras situa\u00e7\u00f5es relativas dos conjuntos [tex]A[\/tex] e [tex]B.[\/tex]<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F06.png\" style=\"border: none;\" alt=\"\" width=\"677\" height=\"154\" class=\"aligncenter size-full wp-image-95973\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F06.png 677w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/09\/F06-300x68.png 300w\" sizes=\"auto, (max-width: 677px) 100vw, 677px\" \/><\/p>\n<p style=\"font-size:11px; line-height: 20px;\"> Como a diferen\u00e7a [tex]A-B[\/tex] \u00e9, informalmente, &quot;o que sobra de [tex]A[\/tex] quando apagamos [tex]B[\/tex]&quot;, a primeira e a terceira imagens acima ilustram, respectivamente, que:<br \/>\n<span style=\"padding-left:40px;\"><\/span>se [tex]A[\/tex] e [tex]B[\/tex] s\u00e3o disjuntos ([tex]A \\cap B=\\emptyset  \\, [\/tex]), ent\u00e3o [tex]A-B=A.[\/tex]<br \/>\n<span style=\"padding-left:40px;\"><\/span>se [tex]A[\/tex] \u00e9 subconjunto de [tex]B[\/tex]([tex]A \\subset B \\, [\/tex]), ent\u00e3o [tex]A-B=\\emptyset.[\/tex]<\/p>\n<p style=\"margin:20px\">\n<p>Quando temos [tex]A[\/tex] e  [tex]B[\/tex] conjuntos tais que [tex]B \\subset A[\/tex] (segunda imagem acima), a diferen\u00e7a [tex]A\u2013B[\/tex] \u00e9 denominada o &quot;<em>complementar de [tex]B[\/tex], com rela\u00e7\u00e3o a [tex]A[\/tex]<\/em>&quot; e indicada por [tex]\\complement_A^B [\/tex]. Particularmente, se [tex]S[\/tex] \u00e9 um conjunto que cont\u00e9m todos os conjuntos envolvidos em uma determinada discuss\u00e3o, a diferen\u00e7a  [tex]S-X[\/tex] \u00e9 dita, simplesmente, o complementar de [tex]X[\/tex] e \u00e9 indicada com a nota\u00e7\u00e3o [tex]\\complement X [\/tex] ou  [tex]\\overline{X}[\/tex].\n<\/div>\n<p style=\"margin:20px\">\n<\/div>\n<p style=\"margin:40px 80px 40px 80px;\"> <strong> Podemos utilizar diagramas de <em>Venn <\/em> para ajudar no entendimento de propriedades dessas tr\u00eas opera\u00e7\u00f5es definidas. Abaixo vamos apresentar cinco dessas propriedades e ilustrar tr\u00eas delas. <\/strong><\/p>\n<div class=\"gr1 cb38\" style=\"width:90%;\">\n<p class=\"ti2 c3\" style=\"margin:10px;line-height:20px\"> IV &#8211; Algumas propriedades importantes<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p>Sejam [tex]A[\/tex], [tex]B[\/tex] e [tex]C[\/tex] conjuntos quaisquer; ent\u00e3o valem as propriedades abaixo.<\/p>\n<p style=\"margin:10px 20px 20px 20px;\">\n<span style=\"color: #800000;\"><strong>&#9658;<\/strong><\/span> <strong>Comutatividade da uni\u00e3o<\/strong><br \/>\n [tex]\\qquad  (A \\cup B) = (B \\cup A)[\/tex]<br \/>\n<span style=\"color: #800000;\"><strong>&#9658;<\/strong><\/span><strong> Comutatividade da interse\u00e7\u00e3o <\/strong><br \/>\n[tex]\\qquad  (A \\cap B) = (B \\cap A)[\/tex]<br \/>\n<span style=\"color: #800000;\"><strong>&#9658;<\/strong><\/span> <strong>Distributividade da uni\u00e3o em rela\u00e7\u00e3o \u00e0 interse\u00e7\u00e3o<\/strong><br \/>\n[tex]\\qquad  A \\cup (B \\cap C) = (A \\cup B) \\cap (A \\cup C)[\/tex]<br \/>\n<span style=\"color: #800000;\"><strong>&#9658;<\/strong><\/span><strong> Distributividade da interse\u00e7\u00e3o em rela\u00e7\u00e3o \u00e0 uni\u00e3o<\/strong><br \/>\n [tex]\\qquad  A \\cap (B \\cup C) = (A \\cap B) \\cup (A \\cap C)[\/tex]<br \/>\nSe [tex]A[\/tex] e [tex]B[\/tex] forem subconjuntos de um conjunto  [tex]S[\/tex], ent\u00e3o valem tamb\u00e9m as duas pr\u00f3ximas propriedades.<br \/>\n<span style=\"color: #800000;\"><strong>&#9658;<\/strong><\/span><strong> Leis de <em>De Morgan<\/em><\/strong><br \/>\n[tex]\\qquad  \\overline{A} \\cup \\overline{B} = \\overline{A \\cap B}[\/tex]<br \/>\n[tex]\\qquad \\overline{A} \\cap \\overline{B} = \\overline{A \\cup B}[\/tex]\n<\/p>\n<p><strong>Observa\u00e7\u00e3o: <\/strong>Em fun\u00e7\u00e3o das comutatividades da uni\u00e3o e da interse\u00e7\u00e3o, as duas distributividades podem ser assim reescritas:<br \/>\n[tex]\\qquad  (B \\cap C) \\cup A = (B \\cup A) \\cap (C \\cup A)[\/tex];<br \/>\n[tex]\\qquad  (B \\cup C) \\cap A = (B \\cap A) \\cup (C \\cap A)[\/tex].<\/p>\n<p style=\"margin:30px\">\n<div class=\"gr1 cbta6\" style=\"width:90%;\">\n<p class=\"ti3 c3\">Ilustra\u00e7\u00f5es<\/p>\n<p style=\"margin:20px\">\n<p><strong>(1)<\/strong> Os pr\u00f3ximos diagramas ilustram a propriedade distributiva [tex] A \\cup (B \\cap C) = (A \\cup B) \\cap (A \\cup C)[\/tex].<\/p>\n<p><span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para obtermos a respectiva representa\u00e7\u00e3o do conjunto [tex] A \\cup (B \\cap C)[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Sombreamos o conjunto [tex]A[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Sombreamos a interse\u00e7\u00e3o [tex]B \\cap C[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Sombreamos a uni\u00e3o de [tex]A[\/tex] e a interse\u00e7\u00e3o [tex]B \\cap C[\/tex].<br \/>\n<span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para obtermos a respectiva representa\u00e7\u00e3o do conjunto [tex] (A \\cup B) \\cap (A \\cup C)[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Sombreamos os conjuntos [tex]A[\/tex] e [tex]B[\/tex] para ilustrar a uni\u00e3o [tex] A \\cup B[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Sombreamos os conjuntos [tex]A[\/tex] e [tex]C[\/tex] para ilustrar a uni\u00e3o [tex] A \\cup C[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Fizemos a sobreposi\u00e7\u00e3o das representa\u00e7\u00f5es das uni\u00f5es [tex]A \\cup B \\,  [\/tex] e [tex]A \\cup C \\,  [\/tex] e sombreamos a interse\u00e7\u00e3o.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/S36.png\" style=\"border: none;\" alt=\"S36\" width=\"746\" height=\"241\" class=\"aligncenter size-full wp-image-66165\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/S36.png 746w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/S36-300x97.png 300w\" sizes=\"auto, (max-width: 746px) 100vw, 746px\" \/><br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/06\/S37_1.png\" style=\"border: none;\"alt=\"S37_1\" width=\"755\" height=\"251\" class=\"aligncenter size-full wp-image-78166\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/06\/S37_1.png 755w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2017\/06\/S37_1-300x100.png 300w\" sizes=\"auto, (max-width: 755px) 100vw, 755px\" \/><\/p>\n<p>Observem que os sombreamentos finais dos dois passo a passos ilustram a igualdade em quest\u00e3o.<\/p>\n<p style=\"margin:20px\">\n<hr style=\"height:2px; width:100%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:100%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p><strong>(2)<\/strong> Consideraremos [tex]A[\/tex] e [tex]B[\/tex] subconjuntos de um conjunto [tex]S[\/tex]. Os pr\u00f3ximos diagramas ilustram a primeira lei de De Morgan [tex]\\overline{A} \\cup \\overline{B} = \\overline{A \\cap B}[\/tex].<br \/>\n<span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para a representa\u00e7\u00e3o do conjunto [tex] \\overline{A} \\cup \\overline{B}[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar de [tex] A[\/tex], com rela\u00e7\u00e3o a [tex] S[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar de [tex]B[\/tex], com rela\u00e7\u00e3o a [tex] S[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos a uni\u00e3o de [tex]\\overline A[\/tex] e [tex]\\overline B[\/tex].<br \/>\n<span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para obtermos a representa\u00e7\u00e3o do conjunto [tex]\\overline{A \\cap B}[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos a interse\u00e7\u00e3o dos conjuntos [tex]A[\/tex] e [tex]B[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar da interse\u00e7\u00e3o [tex] A \\cap B[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig023.png\" style=\"border: none;\" alt=\"\" width=\"668\" height=\"188\" class=\"aligncenter size-full wp-image-100033\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig023.png 668w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig023-300x84.png 300w\" sizes=\"auto, (max-width: 668px) 100vw, 668px\" \/><br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig024.png\" style=\"border: none;\"alt=\"\" width=\"441\" height=\"174\" class=\"aligncenter size-full wp-image-100034\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig024.png 441w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2018\/03\/fig024-300x118.png 300w\" sizes=\"auto, (max-width: 441px) 100vw, 441px\" \/><\/p>\n<p>Observem que as regi\u00f5es coloridas dos \u00faltimos diagramas dos dois passo a passos ilustram a igualdade em quest\u00e3o.<\/p>\n<p style=\"margin:20px\">\n<hr style=\"height:2px; width:100%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:100%;background-color:#800000; margin-top: 8px; margin-bottom: 8px; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p><strong>(3)<\/strong> Consideraremos [tex]A[\/tex] e [tex]B[\/tex] subconjuntos de um conjunto [tex]S[\/tex]. Os pr\u00f3ximos diagramas ilustram a segunda lei de De Morgan [tex]\\overline{A} \\cap \\overline{B} = \\overline{A \\cup B}[\/tex].<br \/>\n<span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para a representa\u00e7\u00e3o do conjunto [tex] \\overline{A} \\cap \\overline{B}[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar de [tex] A[\/tex], com rela\u00e7\u00e3o a [tex] S[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar de [tex]B[\/tex], com rela\u00e7\u00e3o a [tex] S[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos a interse\u00e7\u00e3o de [tex]\\overline A[\/tex] e [tex]\\overline B[\/tex].<br \/>\n<span style=\"padding-left:30px;\"><strong>&#8718;<\/strong><\/span> Para obtermos a representa\u00e7\u00e3o do conjunto [tex]\\overline{A \\cup B}[\/tex] seguimos os seguintes passos:<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos a uni\u00e3o dos conjuntos [tex]A[\/tex] e [tex]B[\/tex];<br \/>\n<span style=\"padding-left:50px;\"><strong>&#9642;<\/strong><\/span> Colorimos o complementar da uni\u00e3o [tex] A \\cup B[\/tex].<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s40.png\" style=\"border: none;\"  alt=\"s40\" width=\"732\" height=\"194\" class=\"aligncenter size-full wp-image-66188\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s40.png 732w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s40-300x80.png 300w\" sizes=\"auto, (max-width: 732px) 100vw, 732px\" \/><br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s41.png\" style=\"border: none;\"  alt=\"s41\" width=\"548\" height=\"198\" class=\"aligncenter size-full wp-image-66189\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s41.png 548w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2016\/09\/s41-300x108.png 300w\" sizes=\"auto, (max-width: 548px) 100vw, 548px\" \/><\/p>\n<p>Observem que as regi\u00f5es coloridas dos \u00faltimos diagramas dos dois passo a passos ilustram a igualdade em quest\u00e3o.\n<\/p><\/div>\n<\/div>\n<p style=\"margin:40px 80px 40px 150px;\"> <strong> Para quem gosta de resolver exerc\u00edcios &#8230; <\/strong><\/p>\n<div class=\"gr1 cb38\" style=\"width:90%;\">\n<p class=\"ti2 c3\" style=\"margin:10px;line-height:20px\"> V &#8211; Exerc\u00edcios<\/p>\n<hr style=\"height:2px;background-color:#800000; border: 0 none\"\/>\n<p style=\"margin:20px\">\n<p>1. Represente conjuntos pelos diagramas de <em>Venn <\/em> e ilustre as seguintes propriedades: <\/p>\n<p style=\"margin:10px 20px 20px 20px;\">\n[tex]\\qquad  (A \\cap \\overline{B})\\cup (A \\cap B)=A[\/tex]<br \/>\n[tex]\\qquad  (A \\cap B) \\cup (\\overline{A} \\cap B)= B[\/tex]<br \/>\n[tex]\\qquad  (A \\cap \\overline{B})\\cup  (A \\cap B) \\cup (\\overline{A} \\cap B)=A \\cup B[\/tex]\n<\/p>\n<p>2. Quais das seguintes igualdades s\u00e3o verdadeiras?<\/p>\n<p style=\"margin:10px 20px 20px 50px;\">\n(a) [tex](A \\cup B) \\cap (A \\cup C) = A \\cup (B \\cap C)[\/tex]<br \/>\n(b) [tex]A \\cup B = (A \\cap \\overline{B}) \\cup B[\/tex]<br \/>\n(c) [tex]\\overline{A} \\cap B = A \\cup B[\/tex]<br \/>\n(d) [tex](\\overline{A \\cup B}) \\cap C = \\overline{A} \\cap \\overline{B} \\cap C[\/tex]<br \/>\n(e) [tex](A \\cap B) \\cap (\\overline{B} \\cap C) = \\emptyset[\/tex]<br \/>\n(f) [tex](A \\cap B) \\cup (A \\cap \\overline{B}) = A[\/tex]<\/p>\n<\/div>\n<p style=\"margin:20px;\">\n<table style=\"border:0px;  height:auto; margin-left: auto; margin-right: auto;width:640px;\">\n<tr>\n<td class=\"bf\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-1001 alignright\" style=\"border: 0px;\" alt=\"\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2013\/01\/menino.jpg\" width=\"95\" height=\"115\" \/><\/td>\n<td class=\"bf\">\n<p class=\"fala  bg3 cb31\" style=\"width:520px; font-size:14px\">Observamos que os diagramas de Venn ilustram propriedades envolvendo conjuntos, mas n\u00e3o as demonstram. Demonstra\u00e7\u00f5es para esse tipo de propriedades exigem t\u00e9cnicas que n\u00e3o temos interesse em discutir nesta Sala.<br \/>\n<strong>Embora n\u00e3o sirvam como demonstra\u00e7\u00f5es, diagramas de Venn s\u00e3o de grande ajuda!<\/strong><\/p>\n<\/td>\n<\/tr>\n<\/table>\n<p style=\"margin:25px;\">\n<hr style=\"height:2px;background-color:#800000; margin-top: 6px; margin-bottom: 6px; border: 0 none\"\/>\n<hr style=\"height:2px;background-color:#800000; margin-top: 6px; margin-bottom: 6px; border: 0 none\"\/>\n<p style=\"text-align: right;\"><span style=\"color: #800000; font-size: 20px;\"><strong>Equipe COM &#8211; OBMEP<\/strong><\/span><\/p>\n<\/div>\n<p class=\"fim\"><a title=\"Voltar.\" href=\"http:\/\/clubes.obmep.org.br\/blog\/?p=100276\"><span style=\"color: #dd3628;\"><strong>Voltar para Sala Inicial<\/strong><\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Usando diagramas de Venn para ajudar a entender a linguagem de conjuntos Aqui, vamos utilizar diagramas de Venn para ilustrar e tentar entender algumas defini\u00e7\u00f5es que aparecem de vez em quando nos nossos estudos. I &#8211; Rela\u00e7\u00e3o de Pertin\u00eancia Os objetos que comp\u00f5em um conjunto s\u00e3o denominados &#8220;elementos&#8221; do conjunto em quest\u00e3o. A pertin\u00eancia (ato &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/clubes.obmep.org.br\/blog\/diagrama-de-venn-conjuntos\/\">Continue lendo<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-onecolumn.php","meta":{"footnotes":""},"class_list":["post-100278","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/100278","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/comments?post=100278"}],"version-history":[{"count":23,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/100278\/revisions"}],"predecessor-version":[{"id":169136,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/100278\/revisions\/169136"}],"wp:attachment":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/media?parent=100278"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}