Orientador: Raymundo Luiz de Alencar / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T11:13:34Z (GMT). No. of bitstreams: 1 Goncalves_DimasJose_M.pdf: 1368395 bytes, checksum: 8fae1804e08750be7d9fe13ae39638d5 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho, agrupamos um mínimo de conteúdo matemático para desenvolver uma prova do Teorema do Filtro de Kalman (discreto). A teoria de integração de Lebesgue e alguns elementos ( Teorema da Projeção) da teoria dos espaços de Hilbert são as principais ferramentas matemáticas incluídas, além de um estudo das principais propriedades da esperança condicional / Abstract: In this work we set a minimum of mathematical background to develop a proof of the (discrete) Kalman Filter Theorem.The lebesgue integration theory and some elements (the projection theorem) of the Hilbert space theory are the main mathematical tools included, besides a study of the main properties of the conditional expectation / Mestrado / Analise Funcional / Mestre em Matemática