Álgebra abstrata/Números naturais

< Álgebra abstrata

Conjunto totalmente ordenado

Intuitivamente, é qualquer conjunto onde, dados dois objetos, sabemos, sem equívoco, qual deles é o maior.
Em vez de dar uma definição abstrata de ordenação, vamos começar com alguns exemplos de conjuntos
ordenados e explorar as características básicas que permitirão uma definição mais formal. Esta abordagem,
apesar de não ser tão rigorosa desde o início, deve facilitar a compreensão do conceito abstrato. Nosso
primeiro e mais importante passo é definir os números naturais.

Números naturais
É o conjunto básico de análise (poucos autores tomam - quando
queremos referir-se a este conjunto usamos ). Os números naturais são tudo o que você precisa para
realizar uma contagem.

Pode-se definir os números naturais de duas formas:

1. axiomaticamente
São dados axiomas que os números naturais satisfazem; normalmente, estes são os Axiomas de Peano.
Mostra-se, em seguida, que existe um modelo para eles. Mostra-se que este modelo é "único" no sentido
matemático; a "unicidade" significa que qualquer outro objeto com os mesmos axiomas será essencialmente
igual)Este conjunto é definido por suas propriedades.

1. construtivamente
A partir da teoria (por exemplo, a teoria dos conjuntos segundo os axiomas de Zermelo-Fraenkel) constrói-
se o conjunto dos números naturais, e provam-se os seus axiomas.

Relação Binária
Dados dois conjuntos não vazios e , uma relação binária de em , é um subconjunto qualquer de
. Se é uma relação binária e um determinado par então dizemos que está
relacionado com por , e neste caso também podemos escrever . É comum também a representação
de relações por símbolos tais como , , . Quando os conjuntos e são iguais, escrevemos
simplesmente , para indicar que é uma relação binária de em , e dizemos que é uma
relação sobre .

Exemplo: Tomemos o conjunto dos números reais e a relação , significando que um

certo número está relacionado com outro número se (e somente se) . Assim,
claramente . De outra forma, dizemos que 1 está
relacionado com 2, 10 está relacionado com 80. Claro que existem pares ordenados
que não fazem parte desta relação. Como por exemplo os pares
 Analogamente, também é uma relação binária.

Relação de Equivalência
Tomemos uma relação binária sobre uma conjunto não vazio A. A relação é uma relação de
equivalência sobre A se:

(reflexividade) para todo ;

(simetria) Se , então ;
(transitividade) Se e , então .
A relação sobre o conjunto é uma relação de equivalência. De fato:

1. Reflexividade

2. Simetria

3. Transitividade

Estas declarações matematicamente concisas podem ser descritas em uma forma menos rigorosa. A primeira
declaração afirma simplesmente que cada número natural é igual a si próprio. A segunda afirma que a
declaração da igualdade é válida independentemente da ordem em que você diga isso. A última declaração
diz que quando dois números naturais são iguais e um deles é igual a qualquer outra coisa pode-se concluir
que os três são iguais. Estas são as premissas simples que fazemos quando falamos informalmente de
igualdade. Esta pequena lista dá-nos uma forma de verificar se uma certa "igualdade" satisfaz nossas
expectativas do que significa dizer que duas coisas são iguais.

Relação de ordem total

Diferentemente de uma relação de equivalência, em uma relação de ordem estrita total as propriedades são:

1. Tricotomia

uma e só uma das seguintes afirmações é válida

Nós denotamos como . Analogamente, denotamos

como

2. Transitividade de , e .
Menos formalmente isso significa que dados quaisquer dois números naturais ou são eles são iguais ou
então um deles (e somente um) é o maior dos dois. Se for considerado um terceiro número, que é maior do
que o maior dos nossos dois primeiros, ele também será maior do que o menor dos dois primeiros. Com
isto, agora temos uma definição concisa do que significa dizer que os números possuem uma ordenação.

Finalmente, aos números naturais está associada uma operação chamada adição.

Propriedades da adição
O conjunto e a operação de adição satisfazem os seguintes axiomas:

1. Fechamento

2. Comutatividade

3. Associatividade

Significa que podemos inequivocamente escrever

4. Boa ordenação

5. Lei do corte (ou cancelamento)

6. Tricotomia

7. Monotonicidade

Essas propriedades significam o seguinte: se acrescentarmos dois números naturais positivos o resultado é
um número natural positivo. A ordem em que é feita a adição de dois números não é importante e se eu
adicionar dois números naturais positivos, a soma é maior do que qualquer deles. Este é o nosso conceito de
adição de números positivos simplificado para as premissas básicas. Há apenas mais um pressuposto
necessário para trazer a uma existência bem definida os números naturais positivos como os conhecemos: o
conjunto dos números naturais positivos não é vazio. Podemos nomear o menor elemento de como
sendo o número 1.
Esta declaração apenas diz que 1 existe e é inferior ou igual a qualquer outro número natural positivo. Com
estes pressupostos, poderemos ir em frente e derivar todas as propriedades de .

Propriedades da multiplicação
Sobre os números naturais positivos, podemos definir um segundo operador, a multiplicação . O conceito
de multiplicação sobre é simplesmente uma abreviação para a adição repetida. Aqui estão os axiomas da
multiplicação.

1. Fechamento

2. Identidade

3. Comutatividade

4. Associatividade

Significa que podemos inequivocamente escrever

5. Distributividade

6. Boa ordenação

7. Lei do corte (ou cancelamento)

8. Monotonicidade

O primeiro axioma diz que o resultado da multiplicação entre dois números naturais positivos é também um
número natural positivo. Outro deles indica que qualquer número multiplicado por 1 é ele mesmo. Os dois
últimos dizem como a multiplicação se comporta em relação à adição e à ordenação sobre . Escrever
sempre para multiplicação é entediante, por isso a abreviaremos como . Além disso,
abreviaremos também repetidos produtos de um mesmo número usando um índice logo acima do número,
indicando quantas vezes o mesmo é repetido. Por exemplo:
Axiomas de Peano
Suplente derivação do conjunto de números naturais; pode ser caracterizado por alguns axiomas
chamado de Peano ou axiomas de Peano Dedekind . Uma ligeira modificação das definições de adição e
multiplicação nos axiomas de Peano construiria um conjunto diferente, onde o elemento "0" a ser descrita
poderia ser efetivamente algum número natural diferente de 0. Estes axiomas podem, assim, servir como a
definição do conjunto de números naturais.

1.

Existe um elemento chamado de "0" dentro do conjunto dos números naturais.

2.

Todo número natural tem um sucessor, que também é um número natural.

3.

Não há número natural cujo sucessor é 0.

4.

O sucessor de um elemento é único.

5.

Indução matemática: se 0 está dentro do conjunto e n esta dentro do conjunto,

implica que o seu sucessor também estará dentro do conjunto e, em seguida, todos os
números naturais estão dentro do conjunto.

Um número natural pode ser definido como um elemento do conjunto dos números naturais. Estes
axiomas podem ser usados para provar muitas teoremas importantes sobre operações básicas e predicados,
que são adição, multiplicação e ordem. Adição e multiplicação são muito importantes operadores binários, e
a ordenação é um importante binário predicado. Eles podem ser definidos como segue:

Ordenação

O sucessor de um número y é maior do que o número y

Se x é um número maior do que um número y então o sucessor de x é maior do que y

Adição

A soma de qualquer número com zero e retorna o próprio número

 A soma de um número x com o sucessor de um número y é o sucessor da soma de x e
y

Multiplicação

O produto de um número com zero é zero

O produto de um número x com o sucessor de um número y é a soma de x com o

produto de x e y

Não é necessário conhecer estas definições para saber o que adição, multiplicação e ordenação significam.
No entanto, estas definições mostram como é possível construir adição, multiplicação e ordenação dos
axiomas de Peano.

Construções alternativa de adição e multiplicação

O elemento básico não tem necessariamente de ser uma identidade para adição. Com efeito, se as definições
de adição e multiplicação, foram definidas de maneira diferente, em seguida, o elemento básico é
comumente escrito "1".

1.

1 é um elemento do conjunto

2.

Para qualquer número natural x a soma de x com 1 também é um número natural

3.

A soma de qualquer número natural x com 1 é diferente de x

4.

Adicionando 1 de um modo único

5.

Indução matemática: Se 1 é um elemento do conjunto A e para qualquer elemento x

de A a soma de x com 1 também está no conjunto então todos os números naturais
estão no conjunto A.

Axiomas de Zermelo-Fraenkel
Os números naturais também podem ser construídos a partir de conjuntos. Este não é um passo necessário,
e pode ser ignorada, mas demonstra que definida a teoria, temos uma base suficiente para explicar os
números naturais. O Axioma de Zermelo Fraenkel proporciona condições suficientes para um conjunto
que satisfaça o Axioma de Peano.

Seja 0 associado com o conjunto vazio .

Seja o conjunto

O sucessor de um número natural n é a união do conjunto associado com n e o

conjunto contendo n. Assim, cada número natural é um conjunto contendo os seus
predecessores. Por exemplo, 1 é (0), 2 é (0,1), 3 é (0,1,2), e assim por diante.

Existe um conjunto chamado contendo (o conjunto vazio), e de tal forma que para
qualquer elemento x, o conjunto também está dentro do conjunto. Este
axioma é chamado de axioma do infinito e foi construído de modo a definir
identificando-se com os números naturais.

Esta construção dos números naturais obviamente satisfaz os três primeiros axiomas de Peano. O fato de Sx
= Sy x = y pode ser visto facilmente pelo fato de que . O quinto
axioma de Peano detém porque se , então este seria definido como sendo
os números naturais e, por isso, o natural seria um número trivial do subconjunto A.

Ver também

Wikilivros
Análise real
Matemática elementar

Wikipédia
Análise matemática
Conjunto ordenado
Números naturais
Relação de equivalência
Axiomas de Peano
Axiomas de Zermelo-Fraenkel
Números inteiros
Valor absoluto
Espaço métrico

Obtido em "https://pt.wikibooks.org/w/index.php?title=Álgebra_abstrata/Números_naturais&oldid=456625"