Percurso Guiado: Conjuntos
Têm de ser seguidas estas regras
- as chavetas têm de ser precedidas de \
- na representação de conjuntos por compreensão não usar
":" nem "|" no sentido de tal que, mas sim
\
talque - o conjunto dos naturais
|N
é escrito (mesmo fora de expressões) como
\
nat{}, e o dos naturais com zero |N0 como\
natz{}. Da mesma forma deve-se usar\
nint para o conjunto dos inteiros,\
nintp para o dos inteiros positivos,\
nintpz para o dos inteiros positivos e zero,\
nrac para o dos racionais, e\
nrea para o dos reais.
Experimente o seguinte exemplo:
Seja A um subconjunto de \
nat{} definido por
extensão como $A=\
{2,3,4,5\
}$. Uma
definição alternativa, por compreensão, é: $A=\
{x
\
talque 1<x<6\
}$.
Outras notações para conjuntos a usar em expressões:
forma final | como obter | |
---|---|---|
pertence | \(x\in\{1,2,3\}\) | $x\ in\ {1,2,3\ }$ |
conjunto vazio | \(\emptyset\) | $\ emptyset$ |
união | \(A = B \cup C\) | $A=B\ cup C$ |
intersecção | \(A = B \cap C\) | $A=B\ cap C$ |
subtracção | \(A = B \setminus C\) | $A=B\ setminus C$ |
contido em | \(A \subset B\) | $A\ subset B$ |
contido em ou igual a | \(A \subseteq B\) | $A\ subseteq B$ |
contém | \(A \supset B\) | $A\ supset B$ |
contém ou igual a | \(A \supseteq B\) | $A\ supseteq B$ |
união iterada | \(A = \bigcup_i B_i\) | $A=\ bigcup_i B_i$ |
intersecção iterada | \(A = \bigcap_i B_i\) | $A=\ bigcap_i B_i$ |