• Anúncio Global
    Respostas
    Exibições
    Última mensagem

operações de conjuntos

operações de conjuntos

Mensagempor Sergio Ribeiro Alves » Qui Fev 14, 2008 10:40

Mentes brilhantes de plantão responda-me o porque de (-3)*(-2)=+6;
Só não quero que diga que na multiplicação (-)com (-) é mais .

E o porque de numa divisão de (2/3) / (3/5) tem-se o inverso da segunda fração e não da primeira?
Sergio Ribeiro Alves
Novo Usuário
Novo Usuário
 
Mensagens: 1
Registrado em: Qui Fev 14, 2008 10:28
Área/Curso: Estudante
Andamento: cursando

Re: operações de conjuntos

Mensagempor admin » Qui Fev 14, 2008 16:21

Olá Sergio.
O adjetivo que você usou não cabe a mim, de qualquer forma vou fazer alguns comentários.

Sobre as suas duas perguntas, apenas formalizando, em outras palavras, de fato você quer resolução para os seguintes problemas:

1) Sendo a,b \in \mathbb{Z}, prove que: (-a) \cdot (-b) = a\cdot b
Neste caso, a e b estão limitados ao conjunto dos inteiros, mas a idéia pode ser extendida para outros conjuntos.


2) Sendo a,b \in \mathbb{Q}, prove que: \frac{a}{b} = a \cdot \frac1b


Embora a teoria dos conjuntos esteja presente em praticamente todos as aspectos matemáticos, este tema é mais tratado em álgebra.
Farei um breve percurso teórico nestas provas que, matematicamente, responderá as suas perguntas.
Mas, a abstração e uma didática interpretação destes resultados, sim, continuará sendo um desafio.
E mesmo citando o curso de graduação da USP, acredite, salvo algumas raras exceções, para nossa decepção, os professores passam longe deste trabalho.
Lidar com as sutilezas, fica por conta do aluno.

Assuntos como estes são tratados como triviais no ensino pré-graduação, uma vez que requerem uma pesada carga teórica, com um grau de formalização até então não utilizado.

Sobre parte desta teoria, veja em nossa bibliografia, você encontrará assuntos relacionados em:
MILIES, Francisco César Polcino e COELHO, Sônia Pitta. Números: Uma Introdução à Matemática, 3a.edição. São Paulo: EDUSP, 2003.

Recomendo a leitura da introdução.
Sendo mais específico, da página 13 à 18, você terá conteúdo sobre sua dúvida 1.
E da página 156 à 163, sobre a sua dúvida 2.

Você verá que para começar, é necessária uma introdução axiomática.
Pesquise também sobre anéis, domínios de integridade e corpos, veja em:
GONÇALVES, Adilson. Introdução à álgebra, 5a.edição. Rio de Janeiro: IMPA, 2006.

O conjunto dos inteiros é um domínio de integridade.
O conjunto dos racionais é um corpo.


No caso (1), como \mathbb{Z} é um domínio de integridade, este conjunto satisfaz um grupo de axiomas relacionados às operações de soma e produto: propriedade associativa da soma, existência do elemento neutro aditivo, existência do oposto aditivo, comutatividade da soma, associatividade do produto, distributividade à esquerda e à direita, é um anel com unidade, comutativo e não tem divisores de zero.

Para provarmos (1), partimos do axioma do oposto aditivo:

Existência do oposto: para cada inteiro a existe um único elemento que chamaremos oposto de a e indicaremos por -a, tal que
a+(-a)=0

Este axioma também pode ser interpretado assim:
O oposto de um elemento a é o único inteiro que verifica a equação a+x=0.

Então, precisamos antes provar (i):
-(-a)=a

Observando que a verifica a equação (-a)+x=0.
Conseqüentemente, a é o oposto de -a que é o elemento indicado por -(-a).

Na seqüência, precisamos provar (ii):
(-a)(b)=-(ab)=a(-b)

Para a primeira igualdade, observamos que (-a)b é a solução de ab+x=0, já que:
ab+(-a)b=[(-a)+a]b=0 \cdot b = 0

Da mesma forma, ab+a(-b)=0.

E finalmente, para (1), aplicamos (ii):

(-a)\cdot (-b)=-(a(-b))=-(-(ab))

E usando (i) no último termo, segue que:
(-a)(-b)=ab.


Sergio, repare que este é um resumo do formalismo e que muitos conceitos aqui citados podem ser bem explorados, como por exemplo, provar que o conjunto dos inteiros é, de fato, um domínio de integridade.
Além do que, não citei explicitamente os axiomas, apenas fiz referência aos nomes.


Para provarmos (2), partimos da seguinte definição de produto entre elementos racionais:
Sejam \alpha e \beta elementos de \mathbb{Q}.
O produto de \alpha por \beta será o racional \alpha \beta obtido da seguinte forma:

\alpha \beta = \frac{ac}{bd}

Sendo \alpha = \frac{a}{b} e \beta = \frac{c}{d}.

Então, é necessário verificar que esta definição independe dos representantes, da seguinte forma, provando este lema:

Lema: Sejam \frac{a}{b} = \frac{a\prime}{b\prime} e \frac{c}{d} = \frac{c\prime}{d\prime} números racionais. Então,
\frac{ac}{bc} = \frac{a\prime c\prime}{b\prime d\prime}

Prova do lema: da hipótese, escrevemos:
ab\prime = ba\prime

cd\prime = dc\prime

Daqui, multiplicamos membro a membro:
ab\prime \cdot cd\prime = ba\prime \cdot dc\prime

Reescrevemos (propriedade associativa do produto):
ac \cdot b\prime d\prime = bd \cdot a\prime c\prime

E finalmente,
\frac{ac}{bd} = \frac{a\prime c\prime}{b\prime d\prime}

Ou seja, este lema nos diz que a defnição de produto vale para qualquer elemento racional.


Então, para provar (2), vamos partir do segundo membro:
a \cdot \frac1b = \frac{a}{1} \cdot \frac1b =
Aplicação da definição de produto:

= \frac{a\cdot 1}{1 \cdot b} =

Agora vamos aplicar o axioma da existência da unidade, lembrando que podemos fazer isso pois \mathbb{Z} é domínio de integridade:

= \frac{a}{b}



Note que os argumentos matemáticos necessários para esclarecer suas perguntas, precisam passar por este formalismo resumido aqui.
A leitura complementar é fundamental.

Espero não ter piorado.
Um abraço!
Fábio Sousa
Equipe AjudaMatemática.com
| bibliografia | informações gerais | arquivo de dúvidas | desafios

"O tolo pensa que é sábio, mas o homem sábio sabe que ele próprio é um tolo."
William Shakespeare
Avatar do usuário
admin
Colaborador Administrador - Professor
Colaborador Administrador - Professor
 
Mensagens: 886
Registrado em: Qui Jul 19, 2007 10:58
Formação Escolar: GRADUAÇÃO
Área/Curso: Licenciatura em Matemática IME-USP
Andamento: formado


Voltar para Álgebra Elementar

 



  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 12 visitantes

 



Assunto: Simplifique a expressão com radicais duplos
Autor: Balanar - Seg Ago 09, 2010 04:01

Simplifique a expressão com radicais duplos abaixo:

\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}

Resposta:
Dica:
\sqrt[]{2} (dica : igualar a expressão a x e elevar ao quadrado os dois lados)


Assunto: Simplifique a expressão com radicais duplos
Autor: MarceloFantini - Qua Ago 11, 2010 05:46

É só fazer a dica.


Assunto: Simplifique a expressão com radicais duplos
Autor: Soprano - Sex Mar 04, 2016 09:49

Olá,

O resultado é igual a 1, certo?