Teorema de Heine-Borel

En matemàtiques, el teorema de Heine-Borel també anomenat teorema de Borel-Lebesgue estableix que un subconjunt de R n {\displaystyle \mathbb {R} ^{n}} és tancat i acotat si i només si és compacte, és a dir si tot recobriment admet un subrecobriment finit. El cas particular del teorema aplicat a la recta real s'anomena sempre Teorema de Heine-Borel, mentre que fora d'aquest cas rep de vegades, el nom de Teorema de Borel-Lebesgue.

Les formulacions principals d'aquest teorema es deuen als matemàtics Eduard Heine, Émile Borel, Henri Léon Lebesgue, Bernard Bolzano i Karl Weierstrass.

Història i motivació

La història del que avui s'anomena teorema de Heine-Borel comença al segle xix, amb la cerca de teories sòlides per l'anàlisi real. En la teoria descrita era central el concepte de continuïtat uniforme i més concretament el teorema que indica que cada funció contínua en un interval tancat és uniformement contínua. Peter Gustav Lejeune Dirichlet va ser el primer en demostrar-la i implícitament en la demostració va utilitzar l'existència d'un subconjunt finit d'un conjunt obert donat d'un interval tancat.[1] Més tard, altres matemàtics com Eduard Heine, Karl Weierstrass i Salvatore Pincherle van utilitzar tècniques similars. Al 1895, Émile Borel va ser el primer en declarar i demostrar una forma primerenca del teorema, amb una formulació restringida a conjunts contables. Pierre Cousin, Lebesgue i Arthur Schoenflies el van generalitzar a conjunts arbitraris.[1]

Teoremes Preliminars

Els subconjunts tancats de conjunts compactes són compactes

Sigui F un conjunt tancat i K un conjunt compacte tals que F K R n {\displaystyle F\subset K\subset \mathbb {R} ^{n}} . Notem per F c {\displaystyle F^{c}} el complement de F respecte a K.

Sigui { G a } {\displaystyle \{G_{a}\}} un recobriment per oberts de F, llavors { G a } { F c } {\displaystyle \{G_{a}\}\cup \{F^{c}\}} és un recobriment per oberts de K (podem afegir F c {\displaystyle F^{c}} ja que és obert). Com que K és compacte llavors { G a , F c } {\displaystyle \{G_{a},F^{c}\}} té un refinament finit que també recobreix F. Podem treure F c {\displaystyle F^{c}} i segueix recobrint F. Així obtenim un refinament finit de qualsevol recobriment per oberts de F

Si E K R n {\displaystyle E\subset K\subset \mathbb {R} ^{n}} , on E és un conjunt infinit i K és compacte, llavors E té un punt d'acumulació en K

Si E no tingués punts d'acumulació en K llavors a K , B ε ( a ) = a {\displaystyle \forall a\in K,\,\exists B_{\varepsilon }(a)=a} on B ε {\displaystyle B_{\varepsilon }} és un entorn de radi ε > 0. És clar que el conjunt d'aquests entorns forma un recobriment de E però no té un refinament finit, el mateix compliria per K que contradiria la hipòtesi que K és compacte.

Tota k-cel·la és compacta

Sigui I {\displaystyle I} una k-cel·la que consisteix en tots els punts x = (x1, x₂, ..., xk) tal que a x j b {\displaystyle a\leq x_{j}\leq b} i j { 1 , 2 , . . . , k } {\displaystyle j\in \{1,2,...,k\}} . Sigui δ = ( ( b j a j ) 2 ) 1 / 2 {\displaystyle \delta =(\sum (b_{j}-a_{j})^{2})^{1/2}} llavors si x , y I {\displaystyle x,y\in I} , | x y | < δ {\displaystyle |xy|<\delta } . Sigui { G a } {\displaystyle \{G_{a}\}} un recobriment arbitrari de I i suposem que I no es pot recobrir amb una família finita dels G a {\displaystyle G_{a}} .

Prenem c s = a s + b s 2 {\displaystyle c_{s}={\frac {a_{s}+b_{s}}{2}}} llavors els intervals [ a s , c s ] ; [ c s , b s ] {\displaystyle [a_{s},c_{s}];[c_{s},b_{s}]} determinen 2k cel·les Qi amb i { 1 , 2 , . . . , 2 k } {\displaystyle i\in \{1,2,...,2^{k}\}} . Llavors com a mínim un Qi no es pot recobrir amb una quantitat finita de G a {\displaystyle G_{a}} . L'anomenarem I1 i així obtenim una successió In tal que:

  1. I 1 I 2 I 3 . . . {\displaystyle I_{1}\supset I_{2}\supset I_{3}\supset ...} .
  2. I n {\displaystyle I_{n}} no es pot recobrir amb una quantitat finita dels G a {\displaystyle G_{a}} .
  3. Si x , y I n {\displaystyle x,y\in I_{n}} llavors | x y | < 2 n δ {\displaystyle |xy|<2^{-n}\delta } .
  4. n I n {\displaystyle \bigcap _{n}I_{n}\neq \emptyset }

Diguem que h n I n {\displaystyle h\in \bigcap _{n}I_{n}} ; com a G a {\displaystyle \bigcup _{a}G_{a}} recobreix I llavors h G b a G a {\displaystyle h\in G_{b}\subset \bigcup _{a}G_{a}} . Com que Gb és obert existeix un B ε ( h ) G b {\displaystyle B_{\varepsilon }(h)\subset G_{b}} . Si prenem n prou gran tal que 2 n δ < ε {\displaystyle 2^{-n}\delta <\varepsilon } tenim que aquest I n B ε ( h ) G b {\displaystyle I_{n}\subset B_{\varepsilon }(h)\subset G_{b}} el que contradiu la suposició que no es pot recobrir amb una quantitat finita dels G a {\displaystyle G_{a}} .

Demostració del teorema de Heine-Borel

Enunciat: Si un conjunt E C n {\displaystyle E\subset \mathbb {C} ^{n}} té algunes de les propietats, aleshores també té les altres dues (és a dir, són totes equivalents):

  1. E és tancat i connex.
  2. E és acotat.
  3. Tot subconjunt infinit de E té un punt d'acumulació a la frontera de E.

Demostració: Si compleix 1) llavors E I {\displaystyle E\subset I} per a alguna k-cel·la I {\displaystyle I} , i 1) implicaria 2) pels teoremes 1 i 3 anteriors.

Si es compleix 2), llavors es compleix 3) pel teorema 2 anterior.

Ara falta demostrar que si compleix 3), aleshores compleix 1): Si E no és connex aleshores conté un conjunt x n {\displaystyle {x_{n}}} tal que | x n | > n {\displaystyle |x_{n}|>n} , llavors el subconjunt x n {\displaystyle {x_{n}}} és finit i té un límit en R n {\displaystyle \mathbb {R} ^{n}} , la qual cosa contradiu 3). Si E no és obert llavors hi ha un element x 0 R n {\displaystyle x_{0}\in \mathbb {R} ^{n}} que és un punt d'acumulació de E però no és a E. Per a n = 1 , 2 , . . . {\displaystyle n=1,2,...} hi ha x n E {\displaystyle x_{n}\in E} tals que | x n x 0 | < 1 / n {\displaystyle |x_{n}-x_{0}|<1/n} , llavors el conjunt x n {\displaystyle {x_{n}}} és infinit i té límit contingut en ell mateix, la qual cosa contradiu 3). (Q.E.D.)

Vegeu també

Referències

  1. 1,0 1,1 Raman-Sundström, Manya «A Pedagogical History of Compactness». American Mathematical Monthly, 122, 7, August–September 2015, pàg. 619–635. DOI: 10.4169/amer.math.monthly.122.7.619 [Consulta: 7 desembre 2015].

Bibliografia

  • Apostol, Tom M. Mathematical Analysis. 2a ed.. Addison-Wesley, 1974, p. 58-60. 
Bases d'informació