TEMAS PARA O EXAME DE QUALIFICAO

Conforme indicado no Regulamento do Programa de Matemtica do ICMC USP, o

exame de qualificao no Doutorado e Doutorado Direto consiste de trs provas
escritas, uma em cada subrea, com pelo menos duas em nvel avanado, cujos temas
e referncias principais e complementares esto listados e indicados a seguir:
lgebra
Mdulo Elementar:
Grupos: grupos quocientes, teorema de Lagrange, grupos de permutao, teorema de
Sylow, o teorema de Jordan-Holder, grupos solveis (Referncia [1]).
Teoria de Galois: extenses finitas, extenses algbricas, nmeros algbricos e
transcendentes, extenses separveis e Galoisianas, grupo de Galois, o teorema
fundamental da teoria de Galois, construes com rgua e compasso, solubilidade por
radicais, corpos finitos, extenses ciclotmicas (Referncia [2]).
Referncias:
[1] Garcia, A., Lequain Y., Elementos de lgebra, Projeto Euclides. 2002.
[2] Rotman, J., Galois Theory, Second Edition, Universitext. Springer-Verlag, New York,
1998.
[3] Stewart, I., Galois Theory, Third Edition, Chapman e Hall/CRC Mathematics, Boca
Raton, FL, 2004.
[4] Artin, M., Algebra, Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
Disciplina: SMA5738-1 lgebra

Mdulo Avanado:
Anis: anis e homomorfismos de anis, ideais, anis quocientes, divisores de zero,
elementos nilpotentes, unidades, ideais primos e maximais, nilradical e radical de
Jacobson, operaes com ideais, extenso e contrao de ideais. Mdulos: mdulos e
homomorfismos de mdulos, submdulos e mdulo quociente, operaes com
submdulos, soma e produto direto, mdulos finitamente gerados, sequncias exatas,
produto tensorial de mdulos, restrio e extenso de escalares, propriedades e
exatido do produto tensorial. Anis e mdulos de fraes: localizao, propriedades
locais, extenso e contrao de ideais em anis de fraes. Decomposio primria em
anis Noetherianos. Extenses inteiras e valorizaes: extenses inteiras, os teoremas
de going up e going down, anis de valorizao, o teorema de normalizao de
Noether. Condies de cadeias: anis Noetherianos e Artinianos, o teorema de base de
Hilbert. Teorema de estrutura dos anis Artinianos. Anis de valorizao discreta e
domnios de Dedekind, ideais fracionrios. Teoria de dimenso: funes de Hilbert,
teoria de dimenso em anis Noetherianos, teorema do ideal principal de Krull e
aplicaes (Referncia [1]).
Anis locais regulares. Derivaes e diferenciais, mdulo de diferenciais de Kahler,
primeira sequncia exata fundamental e segunda sequncia exata fundamental
(Referncias [2] ou [3]).

Disciplina: SMA5771-1 lgebra Comutativa

Referncias:
[1] Atiyah, M.F., MacDonald, I. G., Introduction to commutative algebra. AddisonWesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969.
[2] Eisenbud, D., Commutative algebra. With a view toward algebraic geometry.
Graduate Texts in Mathematics, 150. Springer-Verlag, New York, 1995.
[3] Matsumura, H,. Commutative algebra. Second edition. Mathematics Lecture Note
Series, 56. Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980.
[4] Matsumura, H., Commutative ring theory. Translated from the Japanese by M.
Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8. Cambridge
University Press, Cambridge, 1989.
[5] Kunz, E., Introduction to commutative algebra and algebraic geometry. Translated
from the 1980 German original by Michael Ackerman. With a preface by David
Mumford. Reprint of the 1985 edition. Modern Birkhuser Classics.
Birkhuser/Springer, New York, 2013.
[6] J. S. Milne, A Primer of Commutative Algebra, disponvel online em
http://www.jmilne.org/math/xnotes/ca.html] .

Topologia e Geometria
Mdulo Elementar: Compacidade: teorema de Tychonoff, compactificao por um
ponto, compactificao de Stone-Cech, espaos localmente compactos. Conexidade.
Axiomas de separao: espaos de Hausdorff, Normal, T0 e T1. Lema de Urysohn e o
teorema de extenso de Tietze. Construes topolgicas: somas diretas, espaos
quociente. Exemplos: conjunto de Cantor, curva de Peano, cubo de Hilbert, topologia
de Zariski. O grupo fundamental (Referncias [1]).
Classificao de superfcies compactas, caracterstica de Euler, exemplos de superfcies
com caracterstica positiva, zero e negativa (Referncias [5]).
Referncias:
[1] Munkres, J. R., Topology: a first course. Prentice-Hall, Inc., Englewood Cliffs, N.J.,
1975.
[2] Dugundji, J., Topology, Allyn and Bacon, Inc., 1996.
[3] Armstrong, M. A., Basic topology. Corrected reprint of the 1979 original.
Undergraduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1983.
[4] Lima, E. L., Elementos de topologia geral, Coleo Textos Universitrios: SBM,
2010.
[5] Massey, W. S., Algebraic topology: An introduction. Graduate Texts in Mathematics.
Springer-Verlag, New York, 1984.
[6] Jnich, K., Topology. With a chapter by Theodor Brcker. Translated from the
German by Silvio Levy. Undergraduate Texts in Mathematics. Springer-Verlag, New
York, 1984.
Disciplina: SMA5706-1 Topologia I

Mdulo Avanado:
O teorema da funo implcita e o teorema da funo inversa (Referncia [1]). Pontos
crticos, valores regulares, funes de Morse (definio, Lema de Morse) e o teorema
de Sard (Referncia [2]). Imerses e submerses (Referncia [2]). Superfcies nos
espaos euclidianos (Referncia [1]). Variedades topolgicas e diferenciveis
(exemplos). Fibrado tangente, campos de vetores, derivadas de Lie (definio e
frmula para seu clculo) (Referncias [1] e [2]). Formas diferenciais e o teorema de
Stokes, cohomologia de de Rham (definio e exemplos) (Referncia [2]). Mtrica
Riemanniana, conexes afins, transporte Paralelo, geodsicas (Referncias [1] e [2]).
Transversalidade, grau de Brouwer, ndices de singularidades de campos de vetores
(Referncia [2]). Grupos de homotopia (grupo fundamental).
Espaos de
recobrimento, teorema de levantamento, transformao de Deck. O teorema de
Seifert-Van Kampen (Referncias Bsicas [3] e [4], Referncia Complementar [5]).
Disciplina: SMA5781-2 Variedades Diferenciveis
Disciplina: SMA5871 Geometria de Variedades
SMA5776-2 Topologia Algbrica I
Referncias:
[1] Lima, E. L., Variedades diferenciveis, Monografias de Matemtica, IMPA, Rio de
Janeiro, 1973.
[2] Burns, K.; Gidea, M., Differential geometry and topology, Studies in Advanced
Mathematics, Chapman and Hall.
Graduate Texts in Mathematics, 139. Springer-Verlag, New York, 1997.
[3] Munkres, J. R. , Topology, second edition, Prentice Hall, Inc., 2000.
[4] Lima, E. L. Grupo Fundamental e Espaos de Recobrimento, IMPA, Rio de Janeiro.
[5] Bredon, G. E., Topology and geometry. Corrected third printing of the 1993 original.

Anlise
Mdulo Elementar:
Parte I. Medida e Integrao. Medidas: sigma-lgebras, medida exterior, medidas de
Borel na reta. Integrao: funes mensurveis, integrao, modos de convergncia,
medidas produtos, a integral de Lebesgue em R^n, o teorema de Fubini, mudana de
variveis e coordenadas polares (Referncia [2]).
Parte II. Anlise Funcional Elementar. O teorema de categoria de Baire e suas
conseqncias: os teoremas da aplicao aberta, do grfico fechado e o princpio da
limitao uniforme. As topologias fraca e fraca*: o teorema de Banach-Alaoglu.
Espaos de Hilbert: projeo sobre conjuntos convexos, os teorema de representao
de Riesz e Lax-Milgram, somas de Hilbert e bases ortogonais. Operadores compactos: a
teoria de Riesz-Fredholm, o espectro de um operador compacto e a decomposio
espectral de um operador compacto e autoadjunto (Referncia [1]).
Os espaos de Banach clssicos: definio e propriedades elementares dos espaos
L^p, as desigualdades de Holder, e de Minkowski, completude (Referncias [1] e [2]).

Disciplina: SMA5801 Medida e Integrao

Disciplina: SMA5717 Anlise Funcional
Referncias:
[1] Brezis, H., Functional Analysis, Sobolev Spaces and Partial Differential Equations,
Springer Verlag, Universitext 2011.
[2] Folland, G. B. Real Analysis. Modern Techniques and Their Applications (second
edition), John Willey & Sons, New York, 1999.
Mdulo Avanado:
Parte I. Anlise Funcional Topologias fraca e fraca*: o Teorema de Banach-Alaoglu,
Reflexividade e os teoremas de Kakutani e Eberlein-Smulian, A separabilidade e a
metrizabilidade da bola unitria na topologia fraca, espaos uniformemente convexos
(Referncia [1]).
A teoria espectral: o conjunto resolvente e o conjunto espectral, decomposio do
espectro, a identidade do resolvente e a expanso em sries de Taylor e Laurent do
operador resolvente. Operadores lineares limitados: raio espectral e sua
caracterizao, o teorema da aplicao espectral para polinmios. Operadores
compactos: a caracterizao do espectro dos operadores compactos, operadores
adjuntos, simtricos e autoadjuntos. O teorema de Friedrichs e a caracterizao minmax de autovalores. O teorema da aplicao espectral Clculo operacional para
operadores fechados, conjuntos espectrais e projees espectrais, o teorema da
aplicao espectral (Referncia [3]).
Parte II. Medida e integrao Decomposio e derivao: medidas com sinal e medidas
complexas, o teorema de Lebesgue-Radon-Nikodyn, o teorema de derivao de
Lebesgue e funes de variao limitada, o teorema fundamental do clculo para
integrais de Lebesgue (Referncia [2]).
Os espaos L^p gerais: definio e propriedades elementares, reflexividade, o teorema
de representao de Riesz, separabilidade, aproximao de funes de L^p por
funes suaves e critrios de compacidade forte em L^p (Referncia [1]).
Anlise de Fourier: convoluo: Desigualdade de Young (e a aproximao de funes
L^p por funes suaves). A transformada de Fourier: definio e propriedades, a
transformada de Fourier inversa, o teorema de Plancherel e a frmula de Poisson.
Convergncia pontual de sries de Fourier, anlise de Fourier de medidas, aplicaes
(Referncia [2]).
Referncias:
[1] Brezis, H., Functional Analysis, Sobolev Spaces and Partial Differential Equations,
Springer Verlag, Universitext 2011.
[2] Folland, G. B., Real Analysis. Modern Techniques and Their Applications (second
edition), John Willey & Sons, New York, 1999.
[3] Taylor, A. E., Lay, D. C., Introduction of Functional Analysis (second edition), John
Wiley & Sons, New York 1980.
[4] Carvalho, A. N., Anlise II - Notas de Aula. So Carlos, 2007. Disponvel em:
<http://www.icmc.usp.br/pessoas/andcarva/analiseII.pdf>.

Disciplina: SMA5717 Anlise Funcional

Disciplina: SMA5878-2 Anlise Funcional II

Alternativa aos mdulos bsicos de qualquer subrea:

Anlise Complexa: Funes Analtica, exponencial e logaritmo, transformaes de
Mobius. Frmula de itegrao de Cauchy, teorema de Liouville, singularidades isoladas,
teorema de Casorati-Weirestrass, teorema de aplicao aberta. Princpio do mximo,
princpio de reflexo de Schwarz, teorema de residuo, teorema de Rouch. Funes
harmnicas, Teorema de Hurwitz. Transformaes conformes, teorema de Riemann.
Funes subharmnicas, problema de Dirichlet, teorema de Picard (Referncia [2]).
Fatos elementares sobre funes elpticas (Referncia [3]).
Referncias:
[1] Ahlfors, L. V., Complex analysis. An introduction to the theory of analytic functions
of one complex variable. Third edition. International Series in Pure and Applied
Mathematics. McGraw-Hill Book Co., New York, 1978.
[2] Conway, J. B., Functions of one complex variable. Graduate Texts in Mathematics,
11. Springer-Verlag, New York-Heidelberg, 1973.
[3] Stein, E. M.; Shakarchi, F., Complex analysis. Princeton Lectures in Analysis, II.
Princeton University Press, Princeton, NJ, 2003.
Disciplina: SMA5729 Funes de Uma Varivel Complexa