Escolar Documentos
Profissional Documentos
Cultura Documentos
Departamento de Matemática
Análise 1 - Verão/2024
Lista 1
1 Números naturais
Nessa seção, e no que se segue, vamos denotar por N o conjunto dos números naturais e por
s : N → N a função sucessor. Lembremos que o par (N, s) satisfaz os axiomas de Peano:
(P1) a função s é injetiva, isto é, dois números que têm o mesmo sucessor são iguais;
(P2) N − s(N) contém apenas um elemento, isto é, existe apenas um elemento de N que não é
sucessor de ninguém. Esse elemento é representado pelo sı́mbolo 1;
A maior parte das propriedades acerca dos números naturais podem ser provadas usando a
propriedade (P 3) acima. Prove as que listamos abaixo, sempre considerando n ∈ N.
n(n+1)
1. A soma dos n primeiros números naturais 1 + 2 + · · · + n = 2
.
n(n+1)(2n+1)
2. [vı́deo] A soma dos n primeiros quadrados é 12 + 22 + · · · + n2 = 6
.
4. Para todo n ∈ N, temos que n ̸= s(n), isto é, nenhum número pode ser o sucessor dele
mesmo.
1
7. Se n ≥ 4, então 2n < n! := n · (n − 1) · (n − 2) · · · 3 · 2.
4. Seja (F, +, ·) um corpo cujo elemento neutro da adição é 0, e o elemento neutro da multi-
plicação é 1. Prove as afirmações seguintes:
(P1) se x, y ∈ P , então x + y ∈ P e x · y ∈ P ;
(P2) dado x ∈ F , ocorre exatamente uma das seguintes alternativas: x = 0 ou x ∈ P ou
−x ∈ P
2
Dados x, y ∈ F , escrevemos
x>y ⇔ x + (−y) ∈ P.
Usamos ainda os sı́mbolos ≥, <, ≤ que significam:
h i h i h i
x ≥ y, se x > y ou x = y , x < y, se y > x , x ≤ y, se y ≥ x
Mostre que
(a) x ∈ P ⇔ x>0
(b) x < 0 ⇔ x ̸= 0, x ̸∈ P
Para esse corpo ordenado arbitrário, é possı́vel provar todas as propriedades usuais da com-
paração entre números racionais. Listamos algumas delas abaixo para que você exercite,
sempre considerando que x, y, z, t ∈ F :
3 Ínfimo e Supremo
1. O conjunto B = {x ∈ Q : x2 < 2, x > 0} não possui supremo em Q.
3
(a) se α > 0, então inf(αA) = α inf A e sup(αA) − α sup A;
(b) se α < 0, então inf(αA) = α sup A e sup(αA) = α inf A.
4 Números reais
No que segue vamos assumir que vale o seguinte:
Postulado de Dedekind: Todo subconjunto não-vazio de R, constituı́do de elementos positivos,
tem um ı́nfimo.
3. Use o fato de que 2n ∈ N, para todo n ∈ N, para mostrar que N não é limitado superiormente.
4. Dado a > 0, existe n ∈ N tal que n1 < a. Conclua daı́ que o corpo dos reais é arquimediando,
isto é, dados 0 < a ≤ b em R, existe n ∈ N tal que b < na.
5. Neste exercı́cio vamos mostra que Q é denso em R, isto é, dados quaiquer x < y em R, existe
r ∈ Q tal que x < r < y.
1
(a) Use o fato de R ser arquimediano para obter n0 ∈ N tal que 0 < n0
< y − x.
(b) Com o valor de n0 acima, use a propriedade arquimediana para mostrar que o conjunto
A = {k ∈ Z : y ≤ nk0 } é não-vazio. Em seguida, conclua que existe k0 = inf A, onde
k0 ∈ A.
k0 −1
(c) Finalmente, conclua que r = n0
∈ Q é tal que x < r < y.
6. R − Q é denso em R.
√ √
Dica: note que, se x < y, então existe r ∈ Q tal que 2x < r < 2y.
4
5 Desigualdades
1. Resolva os itens a seguir:
4. Se |x| ≤ 1, então |x − 3| ≥ 2.
9. A média harmônica de x, y ∈ (0, +∞) é definida como sendo o número h tal que h−1 =
1
2
(x−1 + y −1 ). Mostre que a média harmônica é menor do que ou igual à média geométrica.
Quando essas duas médias são iguais?
5
10. Se xi , yi ∈ R, para i = 1, . . . , n, então vale a desigualdade de Cauchy-Schwarz
n
!2 n
! n !
X X X
xi y i ≤ x2i yi2 .
i=1 i=1 i=1
Pn
Dica: calcule o discriminante do trinômio em λ dada por i=1 (xi + λyi )2 ≥ 0
6
Notas das atividades de sala de aula
A nota extra será considerada para os alunos que tiverem respondindo o questionário enviado pelo SIGAA
Quem estiver com nota "????" ou não veio na aula 1 deve respondê-lo o quanto antes
O link do questionário está nas duas mensagens iniciais enviadas pelo SIGAA
Respondeu
Matrícula Aula 1 Aula 2 Aula 3 Aula 4 Aula 5 Aula 6 Aula 7
Questionário?
170080421 Sim 5,0
170105784 Sim 5,0
170130835 ????
180019732 Sim 5,0
180047965 ????
180056654
180063421 Sim 8,0
180065211 Sim 5,0
180101773 ????
180108891 Sim
180116665 ????
180124269 Sim 1,0
180140213 Sim 10,0
180144715 Sim 5,0
190028777 Sim 5,0
190029102 ????
190031450 ????
190039035 Sim 5,0
190039281 Sim 7,0
190044063 ????
190046511 Sim 5,0
190056347
190088656 Sim 9,0
190090596 Sim 5,0
190107723 Sim 5,0
190110783 Sim
190125390
190127732 Sim 5,0
200013432 ????
200015656 Sim 5,0
200023888 Sim 9,0
200039636 Sim 10,0
200059149 Sim 5,0
200060694 Sim 5,0
202053180 ????
202053205 Sim 5,0
202053223 Sim 5,0
211019768 Sim 5,0
211019795 ????
211019857 Sim 10,0
211019900 Sim 5,0
211019919 ????
211040500 Sim 5,0
211040547 Sim 5,0
212004920 ????
221010354
221012644 ????
221025867 Sim 5,0
222014545 ????
222016290 Sim