Teorema de Heine-Borel

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde novembro de 2013). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Em matemática, o teorema de Heine-Borel ou teorema de Borel-Lebesgue, estabelece que em um conjunto é compacto se e somente se é fechado e limitado.

Discussão[editar | editar código-fonte]

Um conjunto é dito compacto se apresentar a seguinte propriedade:

Toda cobertura aberta admite uma subcobertura finita. Ou seja, se são conjuntos abertos indexados por um índice e:

Então existe uma família finita que cobre :

Esta propriedade é chamada de propriedade de Heine-Borel ou propriedade de Borel-Lebesgue.

Um conjunto é dito fechado se toda sequência convergente contida em converge para um ponto de , ou seja:

, então:

Um conjunto é dito limitado se estiver contido em alguma bola de raio finito.

Um lema sobre a distância de um compacto a um ponto fora dele[editar | editar código-fonte]

Mostraremos que se é um conjunto compacto e então existe um número , tal que:

Para tal, defina:

É claro que para todo ponto em .

Agora construa os abertos:

, ou seja, a bola de centro y e raio

Eles formam uma cobertura para :

Usando a definição de compacidade, estabelecemos a existência de um conjunto finito de pontos tais que:

Por construção, os abertos são disjuntos das bolas centradas em de raio :

Defina:

temos:

Tomando a união, temos:

Pela definição da bola , temos que todo ponto do conjunto está a uma distância não inferior a , o que completa a demonstração.

Compacto implica fechado[editar | editar código-fonte]

Seja um conjunto compacto e seja seu complementar. O lema anterior mostra que contém uma bola aberta em torno de cada um de seus pontos, logo é aberto.

Compacto implica limitado[editar | editar código-fonte]

Seja um conjunto não limitado, então ele possui uma seqüência com as seguintes propriedade:

Construa a cobertura:

A união dos cobre todo o espaço, mas nenhuma subcobertura finita cobre toda a seqüência .

Assim, nenhum conjunto não-limitado é compacto.

Fechado e limitado implica compacto[editar | editar código-fonte]

Vamos utilizar o argumento do teorema de Bolzano-Weierstrass.

Para tal, considere um conjunto fechado e limitado e suponha, por absurdo, que não seja compacto, ou seja, que exista uma cobertura de abertos e não admita subcobertura finita.

Por ser limitado, deve estar contido em algum hipercubo:

Faço bisseção de cada uma das arestas do hipercubo, de forma a obter hipercubos menores. Considere os subconjuntos formados pela intesecção de com cada um destes hipercubos menores. Pelo menos um desses conjuntos não pode ser coberto com uma subcobertura finita.

Prossiga o argumento recursivo para obter uma seqüencia de conjuntos fechados (pois cada hipercubo é fechado e a intersecção de fechados é um fechado) encaixados cujo diâmetro tende a zero. Aplique o teorema de Cantor para obter um ponto na intersecção de todos estes fechado que não pode ser coberto por subcobertura finita. Um absurdo.

Ver também[editar | editar código-fonte]