View source for Operações com conjuntos

No que se segue apresentam-se algumas operações entre  conjuntos. Assim, sejam $A$ e $B$ dois conjuntos do universo $U$.
O conjunto que contém os elementos comuns aos dois conjuntos $A$ e $B$ é conhecido como '''interseção''' dos dois conjuntos, $A \cap B = \{x \in U : x \in A \mbox{ e } x \in B \}$:

[[File:Intersecao.png]]

Se a interseção de dois conjuntos é o vazio, significa que os conjuntos não possuem elementos em comum e, neste caso os conjuntos dizem-se '''disjuntos'''.

A '''reunião''' (ou união) de dois conjuntos $A$ e $B$ é o conjunto que contém todos os elementos dos dois conjuntos,
$A \cup B = \{x \in U : x \in A \mbox{ ou } x \in B \}$ .

[[File:reuniao.png]]

Designa-se por $A-B$ ou $A \backslash B$  o conjunto que contém todos os elementos de $A$, excepto os que pertencem a $B$, $A \backslash B = \{ x \in U : x \in A \mbox{ e } x \notin B \}$.

[[File:a_B.png]]

Todos os elementos do conjunto universo que não pertencem ao conjunto $A$ formam um conjunto chamado complementar de $A$, o qual se representa por  $A^{C}$ ou $\overline{A}$, $\overline{A} = \{ x \in U : x \notin A \}$.

[[File:complementar.png]]


'''Exemplo:''' Se considerar $A=[-1,3[$ e $B=]0, + \infty [$, tem-se:

$\begin{array}{ccc}
 &  & \\
A \cap B = ]0,3[ & A \cup B = [-1, + \infty [ & A^{\cal{C}} = \overline{A} = ]- \infty, -1[ \cup [3, + \infty [ \\
& & \\
B^{\cal{C}} = \overline{B} = ]- \infty , 0] & A-B = A \backslash B = [-1,0]  & B-A = B \backslash A = [3, + \infty [
\\
\end{array}$

==Condições==
Uma '''condição (numérica)''' é uma expressão que contém variáveis e que, para toda a concretização (substituição das variáveis por números), só admite um valor lógico, verdadeiro (V) ou falso (F).

Chama-se
''''condição universal''' (''CU'') a uma condição que é verdadeira para toda a concretização (p.e., $x^2+1>0$); chama-se
'''condição impossível''' (''CI'') a uma condição que é falsa para toda a concretização (p.e., $x^2+1 \le 0$).

A partir de condições elementares (por exemplo, relações de igualdade, $=$, ou de ordem, $<$), constroem-se condições mais ''complicadas'' por conjunção (com o operador $\land$, "e") ou disjunção (com o operador $\lor$, "ou").

* À conjunção de condições ($\land$) corresponde a interseção de conjuntos solução ($\cap$).
* À disjunção de condições ($\lor$) corresponde a reunião de conjuntos solução ($\cup$). 


===Exemplos===
* $x > 0 $ '''e''' $x \le 1$, é equivalente à condição $0<x \le 1$;
* $x +1=5 $ '''ou''' $x-2 <0$, é equivalente à condição $x \in ]-\infty , 2[ \cup \{4\}$;
* $x+2<0$ '''e''' $x+2 \ge 0$ é uma condição impossível. O seu conjunto solução é o conjunto vazio, $\emptyset $;
* $x+2<0$ '''ou''' $x+2 \ge 0$ é uma condição universal. O seu conjunto solução é o conjunto  $\mathbb{R} $.  

Podem formular-se as seguintes leis:

Seja $C$ uma condição qualquer, $CI$  uma condição impossível, $CU$ uma condição universal. Então,
* $C\land CI$ é $CI$: a conjunção de uma condição qualquer com uma condição impossível é uma condição impossível.
** $\underbrace{x+1=0}_{C}\land \underbrace{x^2+1=0}_{CI}$
** $\underbrace{x+1=0}_{C}\land \underbrace{1=0}_{F}$
são '''Condições Impossíveis'''.
* $C\lor CU$ é ''CU'': A disjunção de uma condição qualquer com uma condição universal é uma condição universal.
**$\underbrace{x+1=0}_{ C}\lor \underbrace{x^2+1>0}_{CU}$ e
** $\underbrace{x+1=0}_{ C}\lor \underbrace{1>0}_V$
são '''Condições Universais'''.
* $ C\lor CI$ e $ C\land CU$  são equivalentes a $C$, porque os conjuntos solução coincidem com o conjunto solução de $C$.

[[Matemática Elementar#Números e conjuntos|Voltar]] &nbsp; [[Condições|Seguinte]]