1

TRABALHO DE RECUPERAO

Jackson Costa Lima

EDITORA PROMINAS E ORGANIZADORES. Tpicos Especiais em Matemtica. In:

ANLISE REAL, Mdulo 7. 2017, p.7 68.

A anlise real tida uma das mais importantes disciplinas do curso de

matemtica que pode ser encarada como uma disciplina que antecede aos estudos
dos clculos diferenciais e integrais.

Anlise real o ramo da anlise matemtica que lida com o conjunto dos
nmeros reais e as funes reais. A anlise real surgiu da necessidade de prover
provas rigorosas s ideias intuitivas do clculo tais como continuidade, limite,
derivadas, integrais e sequncias de funes.

A apresentao da anlise real em textos introdutrios geralmente comea

com provas simples em teoria dos conjuntos, uma definio precisa do conceito de
funo e uma introduo aos nmeros naturais e a importante tcnica de prova
chamada de induo matemtica.

As demonstraes so conceitos bsicos de grande utilidade para

formalizao de resultados diversos:

Proposies Primitivas: So axiomas ou postulados so proposies

iniciais que so aceitas sem demonstraes.
Teorema: uma proposio que deduzida de proposies
primitivas ou de lemas.
Proposio: uma afirmao aceita como verdadeira aps
demonstraes.
Lema: Tambm uma afirmao aceita como verdadeira aps
demonstraes, porm o lema usado como prova de um teorema.
Prova por Reduo ao Absurdo ou Contrapositiva: uma prova em
que realizamos o caminho inverso negando o que foi afirmado antes
exemplo, se a resulta em b ento o no b resultar em no a.
 2

Prova do tipo se, e somente se: diferente da prova por reduo ou

absurdo o mesmo a resultando em b ser o b resultado em a, ou
seja, a prova da proposta se d em ambos sentidos, ou seja, uma
lgica bi condicional.

Todo conjunto de nmeros finitos possui uma quantidade finita de

elementos, assim como o conjunto de nmeros infinitos possui uma quantidade
infinitas de elementos. Pode-se definir um conjunto finito como um conjunto vazio ou
que que possua uma contagem que tenha fim, e uma mesma cardinalidade. J um
conjunto infinito que possui uma correspondncia biunvoca com seus subconjuntos,
ou seja, se um de seus subconjuntos for infinito ou conjunto ser infinito, so exemplos
de conjuntos de nmeros infinitos, os naturais, reais, complexos entre outros.

As sequncias e sries numricas so sucesses so sequncias em que

se pode definir um fator de avano, ou seja, uma razo em que se pode definir o n-
ensimo termo dessa sequncia, progresses aritmticas e geomtricas so
exemplos de sries.

O conceito de convergncia, central para a Anlise, introduzido via limites

de sequncias. Muitas leis que governam os processos limites podem ser derivadas,
e muitos limites calculados. Sries infinitas, as quais pertencem a um tipo especial de
sequncias, so estudadas neste ponto. Sries de potncias servem para definir
muitas funes centrais, como a funo exponencial e as funes trigonomtricas.
Vrios tipos de subconjuntos dos nmeros reais, como conjuntos abertos, conjuntos
fechados e espaos compactos, e suas propriedades so introduzidas em seguida.

Quando uma srie admite limite passa a ser srie convergente e a que
no admite uma srie divergente.

Uma srie dita convergente quando em um determinado momento no

haver mais avano numrico e se afixar em determinado limite, ou seja, dali no
passa mais.

Uma srie divergente sempre haver sequncia e nunca ter um fim nico,
ou seja, sempre estar indo para algum lugar sem um local especifico.

O conceito de continuidade pode agora ser definido via limites. Mostra-se

que a soma, o produto, a composio e o quociente de funes contnuas resulta em
uma funo contnua e prova-se o Teorema do Valor Intermedirio. A noo de
 3

derivada pode ser introduzida como um particular processo limite e as familiares

regras de diferenciao do clculo podem ser provadas rigorosamente. Um teorema
central aqui o teorema do valor mdio.

Ento pode-se fazer integrais (de Riemann e de Lebesgue) e provar o

teorema fundamental do clculo, tipicamente usando o teorema do valor mdio.

Neste ponto, seria til estudar as noes de continuidade e convergncia

em uma base mais abstrata, para um posterior estudo de espaos de funes. Isto
feito em topologia e usando espaos mtricos. Conceitos como compacidade,
completeza, conectividade, continuidade uniforme, separabilidade, so definidos e
investigados.