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$ |