Álgebra abstrata/Números naturais: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
m Desfeita a edição 105387 de 201.67.82.152 (Usuário Discussão:201.67.82.152)
Sem resumo de edição
Linha 1:
{{Navegação|[[..Álgebra_abstrata/Índice| Índice]]
|[[pt:Álgebra_abstrata/Índice/Relação | Relação Binária e Relação de Equivalência]]
|[[../Introdução/]]
|[[pt:Álgebra_abstrata/Índice/Inteiros | Números Inteiros]]
|[[../Enumerabilidade/]]
}}
 
O conjunto dos números naturais (N) é formado pelos números inteiros de 0 a mais infinito.
== Conjunto totalmente ordenado ==
N={0,1,2,3,4,...}
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'''.
 
[[Categoria:Álgebra abstrata]]
=== Números naturais ===
 
É o conjunto básico de análise <math>\mathbb N=\{1,2,3,\ldots\}</math> (Alguns autores tomam <math>\{0,1,2,\ldots\}</math> - quando queremos referir-se a este conjunto usamos <math>\mathbb{N}_0</math>). Os números naturais são tudo o que você precisa para realizar uma ''contagem''. Este conjunto é definido por suas propriedades. A primeira propriedade dos números naturais <math>\mathbb{N}</math> é que se tem uma:
 
==== Relação de equivalência ====
 
Uma relação <math>=</math> é chamada de '''relação de equivalência''' se forem satisfeitos os seguintes axiomas:
# Reflexividade
#:<math>\forall n\in\mathbb{N},\ n=n</math>
# Simetria
#:<math>\forall n,m\in\mathbb{N},\ n=m\Leftrightarrow m=n</math>
# Transitividade
#:<math>\forall n,m,l\in\mathbb{N},\ (n=m)\and(m=l)\Rightarrow(n=l)</math>
 
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.
 
==== Ordenação numa relação de equivalência ====
 
A essa relação de equivalência está associada uma ordenação. Isso significa que, adicionalmente, são válidas as seguintes propriedades:
# Tricotomia
#:<math>\forall m,n\in\mathbb{N}</math> uma e só uma das seguintes afirmações é válida
#:<math>m<n\ </math>
#:<math>m=n\ </math>
#:<math>m>n\ </math>
#: Nós denotamos <math>(m<n)\or(m=n)</math> como <math>m\le n</math>. Analogamente, denotamos <math>(m>n)\or(m=n)</math> como <math>m\ge n</math>
# Transitividade de <math><\ </math>, <math>>\ </math> e <math>=\ </math>.
#:<math>\forall n,m,l\in\mathbb{N},\ (n< m)\and(m\le l)\Rightarrow(n< l)</math>
#:<math>\forall n,m,l\in\mathbb{N},\ (n> m)\and(m\ge l)\Rightarrow(n> l)</math>
 
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 <math>\mathbb{N}</math> está associada uma operação chamada adição.
 
 
==== Propriedades da adição ====
 
O conjunto <math>\mathbb{N}</math> e a operação de adição <math>+\ </math> satisfazem os seguintes axiomas:
# Fechamento
#:<math>\forall n,m\in\mathbb{N},\ (n+m)\in\mathbb{N}</math>
# Comutatividade
#:<math>\forall n,m\in\mathbb{N},\ n+m=m+n</math>
# Associatividade
#:<math>\forall n,m,l\in\mathbb{N},\ n+(m+l)=(n+m)+l</math>
#:Significa que podemos inequivocamente escrever <math>n+m+l</math>
# Boa ordenação
#:<math>\forall n,m\in\mathbb{N},\ n<n+m</math>
# Lei do corte (ou cancelamento)
#:<math>\forall n,m\in\mathbb{N},\ m+n=m+p \Rightarrow n=p</math>
# Tricotomia
#:<math>\forall p,q,m,l\in\mathbb{N},\ (m=n) \or (n+q=m) \or (n=m+p) </math>
# Monotonicidade
#:<math>\forall n,m,l\in\mathbb{N},\ (n<m)\Rightarrow n+l<m+l </math>
 
Essas propriedades significam o seguinte: se acrescentarmos dois números naturais o resultado é um número natural. A ordem em que é feita a adição de dois números não é importante e se eu adicionar dois números naturais, 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 à uma existência bem definida os números naturais como os conhecemos: o conjunto dos números naturais não é vazio. Podemos nomear o menor elemento de <math>\mathbb{N}</math> como sendo o número 1.
:<math>\exists 1\in\mathbb{N}:1\le n,\ \forall n\in\mathbb{N}</math>
 
Esta declaração apenas diz que 1 existe e é inferior ou igual a qualquer outro número natural. Com estes pressupostos, poderemos ir em frente e derivar todas as propriedades de <math>\mathbb{N}</math>.
 
 
==== Propriedades da multiplicação ====
 
Sobre os números naturais, podemos definir um segundo operador, a multiplicação <math>\times</math>. O conceito de multiplicação sobre <math>\mathbb{N}</math> é simplesmente uma abreviação para a adição repetida. Aqui estão os axiomas da multiplicação.
# Fechamento
#:<math>\forall n,m\in\mathbb{N},\ n\times m\in\mathbb{N}</math>
# Identidade
#:<math>\forall n\in\mathbb{N},\ n\times 1=n</math>
# Comutatividade
#:<math>\forall n,m\in\mathbb{N},\ n\times m=m\times n</math>
# Associatividade
#:<math>\forall n,m,l\in\mathbb{N},\ (n\times m)\times l=n\times (m\times l)</math>
#: Significa que podemos inequivocamente escrever <math>n\times m\times l</math>
# Distributividade
#:<math>\forall n,m,l\in\mathbb{N},\ n\times (m+l)=n\times m+n\times l</math>
# Boa ordenação
#:<math>\forall n,m\in\mathbb{N},\ m\le n\times m</math>
# Lei do corte (ou cancelamento)
#: <math>\forall n,m,l\in\mathbb{N},\ (n\times l = m \times l) \implies (n=m) </math>
# Monotonicidade
#: <math> m<n \Rightarrow m \times p < n \times p </math>
 
O primeiro axioma diz que o resultado da multiplicação entre dois números naturais é também um número natural. 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 <math>\mathbb{N}</math>. Escrever sempre <math>n\times m</math> para multiplicação é entediante, por isso a abreviaremos como <math>nm\ </math>. 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:
:<math>n\times n\equiv n^2\ </math>
 
=== 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.
#<math>\exists0\in\mathbb{N}_0</math>
#: Existe um elemento chamado de "0" dentro do conjunto dos números naturais.
#<math>\forall x\in\mathbb{N}_0\ \exists S_x\in\mathbb{N}_0</math>
#: Todo número natural tem um sucessor, que também é um número natural.
#<math>\forall x\in \mathbb{N}_0\ S_x\not=0</math>
#: Não há número natural cujo sucessor é 0.
#<math>\forall x,y\in\mathbb{N}_0\ S_x=S_y\implies x=y</math>
#: O sucessor de um elemento é único.
#<math> (0 \in A) \and (x \in A) \implies ( S_x \in A ) \implies \mathbb {N}_0 \subset A </math>
#: '''[[w:Indução matemática|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 ====
 
*:<math>S_y > y\ </math>
*: O sucessor de um número y é maior do que o número y
*:<math>x >y \implies S_x>y</math>
*: Se x é um número maior do que um número y então o sucessor de x é maior do que y
 
==== Adição ====
 
*:<math>x+0=x\ </math>
*: A soma de qualquer número com zero e retorna o próprio número
*:<math>x+S_y=S_{x+y}\ </math>
*: 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 ====
 
*:<math>x\times 0=0</math>
*: O produto de um número com zero é zero
*:<math>x\times S_y=x+xy</math>
*: 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".
 
#<math>\exists 1\in\mathbb{N}</math>
#:1 é um elemento do conjunto
#<math>\forall x\in\mathbb{N}\implies (x+1)\in\mathbb{N}\ </math>
#:Para qualquer número natural x a soma de x com 1 também é um número natural
#<math>\forall x\in\mathbb{N}\ x+1\ne x</math>
#:A soma de qualquer número natural x com 1 é diferente de x
#<math>\forall x,y\in\mathbb{N}\ x+1=y+1\implies x=y</math>
#:Adicionando 1 de um modo único
#<math>(1\in A)\and(x\in A)\implies (x+1)\in A\implies \mathbb{N}\subset A </math>
#:'''[[w:Indução matemática|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 <math>\empty</math>.
* Seja o conjunto <math>S_n=n\cup\{n\}</math>
*: 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.
*<math>\exists\mathbb{N}_0:\empty\in\mathbb{N}_0\and\left(\forall x\in\mathbb{N}_0\ x\cup\{x\}\in\mathbb{N}_0\right)</math>
*: Existe um conjunto chamado <math>\mathbb{N}_0</math> contendo <math>\empty</math> (o conjunto nulo), e de tal forma que para qualquer elemento x, o conjunto <math>x\cup\{x\}</math> 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 S<sub>x</sub> = S<sub>y</sub> <math>\implies</math> x = y pode ser visto facilmente pelo fato de que <math>x\cup\{x\}=y\cup\{y\} \implies x=y</math>. O quinto axioma de Peano detém porque se <math>\empty\in A\and\left(\forall x\in A\ x\cup\{x\}\in A\right)</math>, 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/Índice|Matemática elementar]]
 
=== Wikipédia ===
 
* [[w:Análise matemática|Análise matemática]]
* [[w:Conjunto ordenado|Conjunto ordenado]]
* [[w:Número natural|Números naturais]]
* [[w:Relação de equivalência|Relação de equivalência]]
* [[w:Axiomas de Peano|Axiomas de Peano]]
* [[w:Axiomas de Zermelo-Fraenkel|Axiomas de Zermelo-Fraenkel]]
* [[w:Número inteiro|Números inteiros]]
* [[w:Valor absoluto|Valor absoluto]]
* [[w:Espaço métrico|Espaço métrico]]
 
 
[[Categoria:Análise real|Contando números]]