Lógica Matemática – Conjuntos e Funções (exercício 3)
Seja uma função $$f:X\longrightarrow Y$$, e sejam $$A$$ e $$B$$ subconjuntos de $$X$$. Então $$f(A\cap B)\subseteq f(A)\cap f(B)$$. Demonstração: De fato, seja $$p\in f(A\cap B)$$....
Matemática
Lógica Matemática – Conjuntos e Funções (exercício 2)
Seja uma função $$f:X\longrightarrow Y$$, e sejam $$A$$ e $$B$$ subconjuntos de $$X$$. Então $$f(A\cup B)=f(A)\cup f(B)$$. Demonstração: De fato, se $$p\in f(A)\cup f(B)$$, é...
Lógica Matemática – Conjuntos e Funções (exercício 1)
Uma função $$f:X\longrightarrow Y$$ é sobrejetora, se, e somente se, para cada $$A\subset X$$, tem-se que $$Y-f(A)\subseteq f(X-A)$$. Demonstração: Assumimos que $$f$$ é sobrejetora, isto...
Lógica Matemática – Conjuntos – Famílias (exercício 1)
Seja $$(A_{n})_{n\in\mathbb{N}}$$ uma família de conjuntos e $$A = \cup_{n\in\mathbb{N}}A_{n}$$. Prove que existe uma família $$(B_{n})_{n\in\mathbb{N}}$$, com $$B_{n} \subset B_{n+1}$$ e $$A = \cup_{n\in\mathbb{N}}B_{n}$$. Solução:...
Álgebra Linear Computacional – Matriz de Posto 1 (potência matricial)
Definição e propriedade da matriz $$C$$ (clique aqui). Propriedade: Seja $$C=(vw^{T})$$, com $$v_{n\times 1}$$ e $$w_{n\times 1}$$. É verdade que $$C^{k}=(w^{T}v)^{k-1}(vw^{T})$$. Demonstração: Provaremos para $$k=2$$,...
Lógica Matemática – Relação de Equivalência (exercício 1)
Seja uma relação $$p$$, que é reflexiva e transitiva no conjunto $$A$$. Para $$a,b\in A$$, definimos $$a\sim b$$ se, e somente se, $$apb\land bpa$$. a)...
