Parte05¶
Subconjuntos¶
Definição¶
Afirma-se que um conjunto \(A\) é subconjunto de um conjunto \(B\) se, e somente se, todo elemento do conjunto \(A\) pertencer também ao conjunto \(B\). Ainda, se \(A\) é subconjunto de \(B\), então \(A\) está contido em \(B\) \((A \subset B)\). Simbolicamente, a definição será:
\(A \subset B \Longleftrightarrow \left\{ \forall x \in A \Longrightarrow x \in B \right\}\)
Exemplos:
- Se \(A = \{ a, e, i, o, u \}\), então \(\left\{ n, \tilde{a}, o,\,\, e, s, t, \acute{a},\,\, c, o, n, t, i, d, o \right\} \not\subset A\)
OBS:\(\,\,\not\subset\) significa "não está contido"; sendo a negação de \(\subset\) - Se \(A \subset B\), então \(B \supset A\), onde \(\supset\) significa "contém";
- Se \(A = \{ a, e, i, o, u \}\), então \(\left\{ a, e, i, o, u \right\} \subset A\)
- Se \(A = \{ a, e, i, o, u \}\), então \(\left\{a,e\right\}\subset A\)
- \(\{x \, | \, 5x - 4 = 1 \} \subset \{x \, | \, x \in \mathbb{Z}\}\)
Propriedades da inclusão¶
- \(\varnothing \subset A; \,\, \forall A\)
- \(B \subset U\) (U = Conjunto Universo)
- \(D \subset D\) (reflexiva)
- \(\left(E \subset F \quad \mathrm{e} \quad F \subset{G} \right) \Longrightarrow \left(E \subset G \right)\) (transitiva)
- \(\left(A \subset B \quad \mathrm{e} \quad B \subset{A} \right) \Longleftrightarrow \left(A = B \right)\) (antissimétrica ou conjuntos iguais)
Conjunto das partes¶
Dado um conjunto \(A\), denomina-se conjunto das partes de \(A\) ou conjunto potência de \(A\) o conjunto formado por todos os subconjuntos de \(A\). Esse conjunto será representado por \(P(A)\). Sendo \(A\) um conjunto finito, com \(n\) elementos, o número de elementos do conjunto \(P(A)\) será \(2^{n}\). Exemplos:
- Se \(A=\{4,5,6\}, \,\,\mathrm{ent\tilde{a}o}\,\, n=3\). O conjunto \(P(A)\) terá \(2^{3}=8\) elementos e será formado por: \(P(A) = \left\{ \varnothing;\,\{4\};\,\{5\};\,\{6\};\,\{4,5\};\,\{4,6\};\,\{5,6\};\,\{4,5,6\} \right\}\)
- Se \(B=\{4,5\}, \,\,\mathrm{ent\tilde{a}o}\,\, n=2\). O conjunto \(P(B)\) terá \(2^{2}=4\) elementos e será formado por: \(P(B) = \left\{ \varnothing;\,\{4\};\,\{5\};\,\{4,5\}; \right\}\)
- Se \(C=\{4\}, \,\,\mathrm{ent\tilde{a}o}\,\, n=1\). O conjunto \(P(C)\) terá \(2^{1}=2\) elementos e será formado por: \(P(C) = \left\{ \varnothing;\,\{4\} \right\}\)
- Se \(D=\{ \}, \,\,\mathrm{ent\tilde{a}o}\,\, n=0\). O conjunto \(P(D)\) terá \(2^{0}=1\) único elemento e será formado por: \(P(D) = \{ \{\} \}\,\, \text{ou}\,\,\{ \varnothing \}\)
- Todas as afirmações abaixo são verdadeiras. Se \(E = \left\lbrace \varnothing;8;9;\{8\};\{8;9\};10\right\rbrace\), então:
então: | |||
---|---|---|---|
a) \(\varnothing \in E\) | b) \(\varnothing \subset E\) | c) \(\{\} \in E\) | d) \(\{\} \subset E\) |
e) \(8 \in E\) | f) \(\{8\} \in E\) | g) \(\{8\} \subset E\) | h) \(\{ \varnothing;8 \} \subset E\) |
i) \(9 \in E\) | j) \(\{9\} \notin E\) | k) \(\{9\} \subset E\) | l) \(\{ \varnothing;9 \} \subset E\) |
m) \(\{8;9;10\} \notin E\) | n) \(\{8;9;10\} \subset E\) | o) \(\{8;9\} \in E\) | p) \(\{8;9\} \subset E\) |