Вы находитесь на странице: 1из 11

Dos Teoremas

Da Matemtica

Vol.1: Dos Conjuntos e da Aritmtica com inteiros


Brasil, Fortaleza, CE.

Importante lembrar que, neste livro, a ordem Matemtica inversa: Antes de Aritmtica, vm os conjuntos. Isso mo por acaso. A maioria dos teoremas formulados para Aritmtica tem como base a Teoria dos Conjuntos. No para tanto: um contedo cheio de axiomas (ou teoremas, tais que, de to simples, no precisam de nenhuma demonstrao), que podem (e devem) serem usados como ferramenta para demonstraes mais formais e/ou concretas. Por isso, criada essa ordem lgica, na qual um contedo depende do outro. Alm disso, os Teoremas formulados por mim so sempre demonstrados (salvo as conjecturas), e s expostos se houver um propsito fixo para tal. Para melhor entendimento deste livro recomendado j conhecer-se sobre tudo o que abordamos, para, ento, entender uma nova abordagem. importante lembrar que esta obra no tem o objetivo de deixar as coisas mais complexas, e, sim, transform-las em ferramentas para futuras aplicaes. A obra dividida em dia partes: esta, e o volume 2: Do Clculo, onde h um aprofundamento em Geometria Analtica e em reas, e adiciona-se a Geometria Espacial.

No existem mtodos fceis para resolver problemas difceis.

- Ren Descartes
Cordialmente, Autoria.
2

ndice
1.Teoria dos Conjuntos 1.1 Teoria dos Conjuntos 1.1.1 Conceito de Conjunto 1.1.2 Operaes Bsicas ente Conjuntos 1.1.3 Conjuntos Gerais dos Nmeros 2. Aritmtica em Z 2.1 Operaes Bsicas em Z 2.1.1 Soma 2.1.2 Subtrao 2.1.3 Produto 2.1.4 Razo

1.A Teoria dos Conjuntos


1.1 A teoria dos conjuntos A teoria dos conjuntos o ramo matemtico que estuda as definies dos conjuntos de elementos. 1.1.1 Conceito de conjunto Um conjunto o Conceito Primitivo1 da Teoria dos conjuntos. Se dissermos que um conjunto um grupo de elementos, estaremos desconsiderando o Conjunto Vazio, que no tem elementos, mas um conjunto. Como definio de um conjunto, adotaremos a seguinte notao: A = {E1, E2,... En}, onde A (sempre em letra maiscula) o nome do conjunto, as chaves designam onde comea e onde termina a definio de seus elementos, e Ek um elemento qualquer. Obs.1: Dado um conjunto C = {..., (3,5),...}, tem-se que (3,5) elemento de C, mas nem 3, nem 5, so elementos de C, pois o parnteses que est delimitado pelas vrgulas do conjunto, portanto, somente (3,5) elemento de C. Tipos de Conjuntos: 1.Vazio No conjunto vazio, no existem elementos, e ele representado por O= { }. Teoremas: T.1: O Pertence a qualquer conjunto A. Dem.: Se um conjunto C pertence a outro O,

por que no existe elemento de C que no esteja em O. Se C vazio, ento no possui elementos
1

Conceito primitivo aquilo que no pode ser definido simplesmente como palavras. Ex: Em Qumica: ligao; em Biologia: vida; em Geometria: ponto, reta e plano...

que estejam fora de qualquer outro conjunto O. Portanto, O Est em qualquer conjunto.
Obs.2: Se A = {..., O,...} por que o Elemento O est em A, mas no o conjunto vazio, embora ele esteja, mas no representado na expresso. 2.Universo O conjunto universo aquele que contm todos os elementos de um sistema de conjuntos, e dado por: U = {unio de todos os conjuntos}2. Veja suas propriedades: T.1: O conjunto Universo contm todos os

conjuntos do sistema no qual ele pertence.


Dem.: Se o universo do sistema o conjunto de

todos os elementos desse sistema, e os conjuntos do sistema so alguns desses elementos, ento qualquer elemento de qualquer um desses conjuntos est no conjunto universo.
3.Binrio o conjunto que contm apenas dois elementos. So binrios conjuntos do tipo A = {a, b} ou B = {Sim, No}. 4.Subconjunto

um conjunto que formado por um ou mais elementos de outro conjunto. Ex: Se A = {3, 2,1}, ento B = {2,3} parte (subconjunto) de A. dito Conjunto das partes de A todo conjunto que contm todos os subconjuntos de A como elementos. Seu nmero de elementos sempre maior do que o do conjunto original e dado por 2n, onde n o nmero de elementos do conjunto original.

No daremos, ainda, nenhuma notao com os smbolos corretos, pois, para isso, necessrio o contedo do livro em 1.2.

1.1.2

Operaes Bsicas com Conjuntos

So ditas operaes em conjuntos: Interseco (), unio (), e Subtrao (-). Definies:

1.Unio o conjunto que contm todos os elementos de A e B. dado por A B. Verbalmente, tem-se Elementos de A ou B. 2.Interseco o conjunto que contm somente elementos de A que esto, tambm, em B. dado por AB. Verbalmente, tem-se: Elementos somente de A em B. 3.A subtrao o conjunto de elementos de A que no esto em B. dada por: A-B. Verbalmente, tem-se: Elementos somente de A. 4.Continncia: Se um elemento contm ou est contido em outro. Contm: A contm todos os elementos de B (A>B). Contido: A possui elementos que esto em B (A<B).
Propriedades3: B<A AB = A, 4 A. AB = BA, A e B. (AB) C = A (BC), A, B, e C. AO = A, A. AA = A, A. B<A AB = B, A e B. AB = BA, A e B. (AB) C = A (BC), A, B e C. AO = O, A. AA = A, A. B<A B-A = O, A e B. O-A = O, A. A-A = O, A. AB = O A-B = A, A e B. A B A-B B-A, A e B.

3 4

No precisam de demonstrao, pois so conseqncia lgica das definies. Significa para todo(s) ou qualquer que seja(m).

Propriedade Natural dos Nmeros de Elementos de um Conjunto Qualquer5: O

nmero de elementos de um conjunto natural qualquer que seja esse conjunto.

1.2 Conjuntos Gerais dos nmeros6. So conjuntos que agrupam os nmeros, de forma a design-los de acordo com uma caracterstica. So esses conjuntos: N = {0, +1, +2,... + } Z = {-,... -1, 0, +1,... +} Q = {-,... -1, 5,... -1,... 0,... +1,... + } I = {Dzimas no peridicas} R = {QI} Observe que se adicionado, ao lado do smbolo do conjunto, *, por que ele no possui o zero. Se adicionado + ou -, teremos, respectivamente, que ele no possui nmeros negativos ou positivos.
Q N Z I

Representao Grfica dos Conjuntos Gerais dos Nmeros.

5 6

Essa propriedade de minha autoria. No ser usado, agora, a notao dos nmeros complexos, e, quanto aos irracionais, aprofundaremos em aritmtica.

2.Aritmtica
2.1.Operaes Bsicas em Z 2.1.1 Adio Definio: Dado um conjunto A E7 Z, seja NA o

nmero de elementos de a. Dado outro conjunto B E Z, seja NB o nmero de elementos de B. NAUB equivale soma de Na e Nb, ou seja: ao nmero de elementos de AUB, para todo AB = O.
Logo, conclumos que a soma de dois nmeros o nmero de elementos de outro conjunto que contem dois conjuntos, cada um com exatamente o nmero de elementos que os nmeros dados. Essa definio embora complexa, fornece uma elegante demonstrao para as propriedades da soma. Teoremas sobre soma: T.1: A soma de dois inteiros sempre inteira. Dem.: Como num caso excepcional, usaremos uma demonstrao mais simples para esse teorema: A demonstrao pela Reta Numrica ().

Dada uma Reta , que contm todos os nmeros de Z, teremos que, dado uma origem convencionada, um ponto P, que dista NA dessa origem, feita desse ponto P uma segunda origem, tal que, dela, seja feita um ponto Q, que dela dista NB, a soma da distncia desse ponto Q a P, e da primeira origem at ele, inteira.
7

Os smbolos E, NE(ou E cortado) significam, respectivamente, em relao a elementos e conjuntos, Pertence a e no pertence a. Essa Definio, assim como as demonstraes, de minha autoria.

T.2: NA + NB = NB + NA. Dem.: Se a NA + NB = NAUB, e, por propriedade operativa dos conjuntos, AUB = BUA, temos que, se NB + NA = NBUA, portanto, NAUB = NBUA, logo, NA +NB = NB + NA. T.3: NA + 0 = 0. Dem.: Se NB = 0, por que B no possui elemento algum, logo, NB = O. Logo, AUB = A. Portanto, se NA + NB = NAUB, E AUB = A, logo, NA + NB = NA, ou seja: NA + 0 = NA. 2.1.2 Multiplicao Gostaria de resaltar que no existem conjuntos com quantidade negativa de elementos, por implicao da Propriedade Natural do Nmero de Elementos de um Conjunto Qualquer, logo, multiplicaes com nmeros menores que zero decorrncia da aplicao lgica da situao, e implica somente num resultado negativo, como ser demonstrado posteriormente. Conceito: Dado um conjunto A, seja NA o nmero de elementos de A, e dado outro B, seja NB o nmero de elementos de B. Se cada elemento de A se relacionar a um elemento de B, ou viceversa, teremos um nmero NAXB de relaes, e esse nmero o produto de NA e NB. Observe a parte destacada no texto. Ela indica a Propriedade Ambgua da Multiplicao, ou seja: O nmero de relaes que partem de A

para B idntico ao nmero de relaes que partem de B para A.

o nmero de elementos de B, e cada relao pode ser vista como um objeto que parte de ambos os conjuntos, o nmero de relaes deve permanecer constante, independentemente de onde partem as relaes.

Dem.: Se NA o nmero de elementos de A, e NB

A Notao Geral da Multiplicao a expresso utilizada para demonstrar os teoremas sobre multiplicao. Ela dada por: A x B = A + A +... A.
B vezes.

Teoremas Sobre Multiplicao: T.1: axb = bxa. a = NA, b = NB. Dem.: Se Cada elemento de A se relaciona com os todos os elementos de B, e a relao pode partir tanto de A, como de B, o Nmero de relaes deve permanecer constante8. T.2: ax(b+c) = axb + axc, a = NA, b=NB, c = NC.

elementos de A para todos os de B, e a interseo de B e C nula, ento as relaes que partem de A para B, e de A para C, ser o mesmo nmero de relaes que partem de A para BUC.
T.3: a x b = c, a E N, b E Z-, c E Z-

Dem.: Como as relaes aplicam-se de todos os

Dem.: Nesse caso, a demonstrao usada tambm ser pelo Mtodo da Reta.

Dada uma reta , que contm nmeros de Z, tem-se que, se a natural, e b inteiro negativo, pela notao geral da multiplicao, o resultado ser a soma de b a vezes, logo, a cada vez o resultado distancia-se mais da origem, permanecendo, assim, negativo.
T.4: a x b = c, a,b E Z-, c E Z+. 2.1.3 Razo
9

8 9

Decorrncia da Propriedade Ambgua da Multiplicao. A demonstrao desse teorema no ser usada, por determinados motivos.

10

inteiros a e b, o nmero que, multiplicado por a, equivale a b.


Observe que a razo derivada da multiplicao,ou seja: para efetu-la, necessrio multiplicar, embora existam mtodos de se efetuar essa operao. Observe, tambm, que a razo de dois negativos positiva, e de um positivo e um negativo, negativa.

Conceito: dita razo de dois nmeros

11