7RSRORJD

Conceptos bsicos de Topologa

EQ JULHJR HO WUPLQR ktoposy VLJQLILFD OXJDU H[WHQVLQ R SRVLFLQ \ HO WUPLQR kORJRVy

VLJQLILFD FLHQFLD R VDEHU SRU HOOR ktopologa VHU OD FLHQFLD GH OD H[WHQVLQ R GHO OXJDU
Segn una leyenda, la fundacin de Cartago fue obra de un grupo de fugitivos de la ciudad fenicia de Tiro, que hacia el siglo IX a.C. alcanzaron la entonces
Curiosidades

floreciente ciudad de Camb y solicitaron al rey libiofenicio Yarba autorizacin para establecerse all. Contest ste accediendo a concederles la extensin de terreno que pudiera abarcar una piel de buey. Entonces Dido, reina de los fugitivos, orden partir la piel de buey en estrechas tiras que uni para formar un largo cordn y con ste puedo acotar una extensin de terreno suficiente para formar la colonia. Ningn matemtico griego pens en sacar ms partido de este problema. Para nuestro tiempo es natural pensar qu hubiera ocurrido si llamndose a engao el rey Yarba hubiera exigido como condicin suplementaria que la piel no hubiese quedado desconexa, esto es, prohibir toda posibilidad de coser o anudar lo rasgado. Podra en estas condiciones acotarse un terreno de consideracin? La respuesta es afirmativa, y a ella se llega tericamente por deducciones topolgicas.

&RPR IXQGDPHQWR GH OD WRSRORJD WHQHPRV OD LGHD GH continuidad R kSUR[LPLGDGy (V GHFLU XQ HVWXGLR WRSROJLFR VH EDVDU HQ precisar qu se entiende por continuo  R VL VH SUHILHUH contiguo y qu transformaciones conservan esta continuidad &RQ PV SUHFLVLQ

Topologa
La topologa es la parte de las matemticas que se ocupa de estudiar los
Definicin 1

conjuntos estructurados mediante relaciones que nos permitan decir cundo un elemento del conjunto es contiguo o prximo a una parte del mismo.
Conceptos bsicos

7RSRORJD

'LEXMHPRV XQ GLDJUDPD GH 9HQQ A VREUH XQD KRMD GH SDSHO P

Ejemplo 1

3RGHPRV FRQVLGHUDU TXH HO FRQMXQWR TXH HVWXGLDPRV HV WRGD OD KRMD GH SDSHO \ HO GLDJUDPD GH 9HQQ HV XQD SDUWH GH O /D IRUPD PV LQWXLWLYD GH LQWURGXFLU XQD WRSRORJD HQ HO FRQMXQWR P HV GHILQLU OD SUR[LPLGDG GH XQ SXQWR DO VXEFRQMXQWR A XWLOL]DQGR OD kGLVWDQFLDy HQWUH GLFKR SXQWR \ HO VXEFRQMXQWR 'H HVWD IRUPD HO SXQWR r HV FRQWLJXR DO FRQMXQWR A \ HO SXQWR q QR OR HV YHU ILJXUD

6L DKRUD DUUXJDPRV OD KRMD GH SDSHO VLQ URPSHUOD WHQGUHPRV XQD WUDQVIRUPDFLQ WRSROJLFD SXHV HQ OD KRMD DUUXJDGD ORV SXQWRV q \ r WLHQHQ ODV PLVPDV UHODFLRQHV GH SUR[LPLGDG FRQ HO VXEFRQMXQWR A

Conceptos bsicos

7RSRORJD

7UDVODGDUHPRV ODV LGHDV H[SXHVWDV HQ HO HMHPSOR  DO conjunto de los nmeros reales (Q SDUWLFXODU QRV LQWHUHVD GHILQLU OD distancia HQ HVWH FRQMXQWR \ SDUD HOOR QHFHVLWDPRV GHO valor absoluto

Valor absoluto de un nmero real

El valor absoluto D de un nmero real D es:
Definicin 2

D si D 0 D = . D si D < 0 Es decir, se trata del mismo nmero si ste es positivo o nulo y de su opuesto si ste es negativo.

3RU GHILQLFLQ HO YDORU DEVROXWR GH XQ QPHUR HV VLHPSUH no negativo \ YHULILFD L D = D PLVPRV LL DE = D E D, E R  (O YDORU DEVROXWR GH XQ SURGXFWR HV LJXDO DO SURGXFWR GH ORV YDORUHV DEVROXWRV LLL D = 0 D = 0  (O YDORU DEVROXWR GH XQ QPHUR HV FHUR VL \ VOR VL VWH HV FHUR LY D + E D + E  (O YDORU DEVROXWR GH XQD VXPD HV FRPR P[LPR LJXDO D OD VXPD GH ORV YDORUHV DEVROXWRV desigualdad triangular
9DPRV D FDOFXODU HO YDORU DEVROXWR GH DOJXQRV QPHURV
3 = 3  4 = 4  3+ 5 = 2 5+ 3 = 2
Ejemplo 2

D R  (O YDORU DEVROXWR GH XQ QPHUR \ GH VX RSXHVWR VRQ VLHPSUH ORV

(O YDORU DEVROXWR GH ODV H[SUHVLRQHV OLWHUDOHV no puede darse explcitamente \ QRV WHQHPRV TXH UHIHULU D OD GHILQLFLQ 3RU HMHPSOR
[ + \ si [ + \ 0 [+ \ =  ([ + \ ) si [ + \ < 0

&XDQGR PDQHMHPRV IXQFLRQHV FRQRFLGDV WDPELQ GHEHPRV XWLOL]DU OD GHILQLFLQ \ UHVROYHU SRVWHULRUPHQWH ODV LQHFXDFLRQHV REWHQLGDV
1 sen [ 1 = 1 sen [ sen [ si 1 0 sen [  1 si <0 sen [
Conceptos bsicos

7RSRORJD

&RPSUREHPRV FRQ XQ HMHPSOR TXH HO YDORU DEVROXWR GH XQD VXPD HV FRPR P[LPR LJXDO D OD VXPD GH ORV YDORUHV DEVROXWRV (Q HIHFWR
Ejemplo 3

2+2 = 0

PLHQWUDV TXH
2 + 2 = 2+2 = 4

SRU OR TXH HVFULELPRV

2+2 2 + 2 

6LQ HPEDUJR HO YDORU DEVROXWR GHO SURGXFWR

( 2 ) 2 = 4 = 4

FRLQFLGH FRQ HO SURGXFWR GH ORV YDORUHV DEVROXWRV

2 2 = 22 = 4 

El valor absoluto puede ser definido de otras maneras. Por ejemplo:

Observacin 1

[ = max{[ , [} ,

o bien:
[ = + [2 .

As para 3 su valor absoluto obtenido por la primera frmula es:

3 = max{ 3,( 3)} = max{ 3,3} = 3

y por la segunda:
3 = + ( 3)2 = + 9 = 3 .

&RQ HO YDORU DEVROXWR SDVDPRV D GHILQLU OD GLVWDQFLD HQWUH GRV SXQWRV GH OD UHFWD UHDO

Distancia
La distancia entre dos puntos [ , \ R se define como el valor absoluto de su
Definicin 3

diferencia: G ([ , \ ) = [ \ .

Conceptos bsicos

7RSRORJD

/D GLVWDQFLD HQWUH ORV QPHURV UHDOHV 3 \ 3 HV LJXDO D

Ejemplo 4

G( 3,3) = ( 3) 3 = 6 = 6 

PLHQWUDV TXH OD GLVWDQFLD HQWUH 4 \ 0 HV

G( 4,0) = 4 0 = 4 

/D GLVWDQFLD YHULILFD ODV SURSLHGDGHV L G ( [ , \ ) 0 [ , \ R  /D GLVWDQFLD HQWUH GRV SXQWRV HV VLHPSUH QR QHJDWLYD LL G ( [ , \ ) = 0 [ = \  /D GLVWDQFLD HQWUH GRV SXQWRV HV QXOD VL \ VOR VL DPERV FRLQFLGHQ LLL G ( [, \ ) = G ( \ , [ ) [ , \ R  /D GLVWDQFLD HQWUH [ H \ HV OD PLVPD TXH HQWUH \ \ [  LY G ( [ , \ ) G ( [ , \ ) + G ( \ , ] ) [ , \ , ] R  /D GLVWDQFLD HQWUH GRV SXQWRV HV VLHPSUH PHQRU TXH OD VXPD GH GLVWDQFLDV GH HVWRV GRV SXQWRV D XQ WHUFHUR GHVLJXDOGDG WULDQJXODU (O OHFWRU SXHGH FRPSUREDU TXH HVDV SURSLHGDGHV VRQ GHGXFLEOHV D SDUWLU GH ODV GHO YDORU DEVROXWR /RV QPHURV UHDOHV VRQ D PHQXGR UHSUHVHQWDGRV JHRPWULFDPHQWH FRPR SXQWRV GH XQD UHFWD TXH OODPDUHPRV eje real R recta real 6H HOLJH XQ SXQWR SDUD TXH UHSUHVHQWH HO  \ RWUR D OD GHUHFKD GHO  SDUD TXH UHSUHVHQWH HO  (VWD HOHFFLQ GHWHUPLQD OD HVFDOD ILJXUD DEDMR

&RQ XQ FRQMXQWR DGHFXDGR GH D[LRPDV SDUD OD JHRPHWUD HXFOGHD D FDGD SXQWR GH OD UHFWD UHDO FRUUHVSRQGH XQ QPHUR UHDO \ XQR VOR \ UHFSURFDPHQWH FDGD QPHUR UHDO HVW UHSUHVHQWDGR SRU XQ SXQWR GH OD UHFWD UHDO \ XQR VROR $FRVWXPEUDPRV D UHIHULUQRV DO SXQWR [ HQ YH] GHO SXQWR GH OD UHFWD DVLJQDGR DO QPHUR UHDO [ . /D UHODFLQ GH RUGHQ SXHGH LQWHUSUHWDUVH DKRUD GH XQD IRUPD JUILFD 6L [ < \  HQWRQFHV HO SXQWR [ HVW D OD L]TXLHUGD GHO SXQWR \ ILJXUD DEDMR

Conceptos bsicos

7RSRORJD

(VWD UHFWD HV WDPELQ XQ PDUFR DSURSLDGR SDUD LQWHUSUHWDU OD DQWHULRU GHILQLFLQ GH GLVWDQFLD (Q HIHFWR FRPSUREDUHPRV TXH OR TXH HQWHQGHPRV SRU GLVWDQFLD HQWUH GRV QPHURV UHDOHV FRLQFLGH FRQ OD kGLVWDQFLDy HQWUH ORV SXQWRV GH OD UHFWD TXH UHSUHVHQWDQ D WDOHV QPHURV ILJXUD DEDMR

$ QLYHO SUFWLFR PHGLDQWH OD GHILQLFLQ GH GLVWDQFLD \ HVWDV UHSUHVHQWDFLRQHV SRGHPRV GHGXFLU DOJXQDV SURSLHGDGHV DGLFLRQDOHV \ UHVROYHU LQHFXDFLRQHV GRQGH LQWHUYLHQH HO YDORU DEVROXWR
Demostrar que la expresin [ < U equivale a las desigualdades: U < [ < U .
Ejemplo 5

3RGHPRV LQWHUSUHWDU HO YDORU DEVROXWR [ FRPR OD GLVWDQFLD GH [ D 0 SXHV HV HYLGHQWH TXH

[ = [0 

'H HVWD IRUPD

[ < U [ 0 < U G ( [ ,0 ) < U

\ VX VROXFLQ SDVD SRU KDOODU ORV QPHURV UHDOHV [ FX\D GLVWDQFLD D FHUR HV PHQRU TXH HO YDORU U  *UILFDPHQWH

/R TXH LPSOLFD TXH U < [ < U FRPR EXVFEDPRV

Adems, las propiedades de la distancia tienen una traduccin grfica inmediata. Conceptos bsicos

7RSRORJD

Hallar la solucin de la siguiente inecuacin:

Ejemplo 6

[ 3 1

3RGHPRV LQWHUSUHWDU OD GHVLJXDOGDG HQ HO VHQWLGR GH ODV GLVWDQFLDV UHVXOWDQGR

G ( [ ,3) 1 

*UILFDPHQWH VLJQLILFD TXH GHEHPRV HQFRQWUDU WRGRV ORV SXQWRV FX\D GLVWDQFLD D  VHD PD\RU R LJXDO TXH XQR (V GHFLU ILJXUD DEDMR

$V OD VROXFLQ HVW IRUPDGD SRU HO FRQMXQWR GH WRGRV ORV QPHURV UHDOHV PD\RUHV R LJXDOHV TXH 4 XQLQ FRQ HO FRQMXQWR GH WRGRV ORV QPHURV UHDOHV PHQRUHV R LJXDOHV TXH 2  (Q VPERORV

] ,2] [4,+[
R ELHQ

( ,2] [4,+) 
Hallar la solucin de [ 2 + 1 > 2 .
Ejemplo 7

'H QXHYR XWLOL]DQGR HO FRQFHSWR GH GLVWDQFLD UHVXOWD

[ 2 + 1 > 2 [ 2 ( 1) > 2 G ( [ 2 ,1) > 2 

(VWR VLJQLILFD TXH GHEHPRV EXVFDU DTXHOORV YDORUHV [ 2 FX\D GLVWDQFLD D 1 VHD VXSHULRU D 2  3RU WDQWR KDEU GH FXPSOLUVH
[2 > 1

[ 2 < 3

ILJXUD DEDMR

/D VHJXQGD LQHFXDFLQ  [ 2 < 3  QR WLHQH VROXFLQ SRU OR TXH VOR GHEHUHPRV UHVROYHU OD SULPHUD [ 2 > 1  &RPR VH WUDWD GH XQD inecuacin polinmica de segundo grado en una variable HPSOHDUHPRV HO PWRGR GH ODV regiones TXH QRV RIUHFH OD VROXFLQ ] ,1[ ]1,+[ 

Conceptos bsicos

7RSRORJD

Hallar la solucin de la siguiente inecuacin:

Ejemplo 8

[+3 < 2

&RPR OD GLVWDQFLD VH GHILQH HQ WUPLQRV GH YDORUHV DEVROXWRV GH GLIHUHQFLDV GHEHPRV WUDQVIRUPDU OD H[SUHVLQ [ + 3 HQ XQD GLIHUHQFLD (VWR HV VHQFLOOR SXHV EDVWD HVFULELU OD VXPD FRPR UHVWD GH XQ QPHUR QHJDWLYR
[ + 3 = [ ( 3) 

$SOLFDQGR HVWD WUDQVIRUPDFLQ D OD LQHFXDFLQ WHQHPRV

[ + 3 < 2 [ ( 3) < 2 G ( [ ,3) < 2 

(Q UHVXPHQ EXVFDPRV DTXHOORV QPHURV UHDOHV FX\D GLVWDQFLD D 3 VHD LQIHULRU D

2 ILJXUD DEDMR

/D VROXFLQ HV SXHV HO LQWHUYDOR DELHUWR ] 5,1[ 

La inecuacin del ejemplo 8 podramos haberla resuelto empleando la propiedad

Observacin 2

que demostramos en el ejemplo 5 (la expresin desigualdades: U < [ < U ).

[ <U

equivale a las

En efecto, esa propiedad hace referencia a valores

absolutos sin precisar si la expresin sobre la que se aplica est formada por un slo trmino o varios. De esta manera:
[+3 < 2

equivale a:
2 < [ +3< 2

por lo que para despejar [ sumamos a todos los miembros de la inecuacin el valor 3 y se tiene:
2 + ( 3) < [ + 3 + ( 3) < 2 + ( 3) 5 < [ < 1 .

}&PR SRGHPRV GHWHUPLQDU OD PD\RU R PHQRU SUR[LPLGDG GH XQ SXQWR [ R D XQ VXEFRQMXQWR $ R " 3XHV ELHQ PHGLDQWH FLHUWRV FRQMXQWRV TXH OODPDPRV entornos abiertos

Conceptos bsicos

7RSRORJD

Entorno abierto2 de centro [ R y radio U 0 .

Un entorno abierto centrado en un punto de la recta real [ y de radio U 0
Definicin 4

es el conjunto formado por todos aquellos puntos que se encuentran a una distancia estrictamente menor de dicho punto que el valor del radio. En smbolos: ( ([; U ) = {\ R / G ( [ , \ ) < U} .

Hallar el entorno abierto de centro 3 y radio U = 1 . 6HJQ OD GHILQLFLQ GHEHPRV HQFRQWUDU ORV SXQWRV \ TXH VH HQFXHQWUHQ D XQD
Ejemplo 9

GLVWDQFLD PHQRU TXH 1 GHO SXQWR 3  (Q VPERORV

G (3, \ ) < 1 3 \ < 1 

3DUD HOOR XWLOL]DPRV OD SURSLHGDG GHPRVWUDGD HQ HO HMHPSOR 

3 \ < 1 1 < 3 \ < 1

\ VXPDQGR D WRGRV ORV PLHPEURV HO YDORU 3 UHVXOWD

1 < 3 \ < 1 1 + ( 3) < 3 \ + ( 3) < 1 + ( 3) 4 < \ < 2 

0XOWLSOLFDPRV WRGRV ORV PLHPEURV SRU ( 1) OR TXH LQYLHUWH HO VHQWLGR GH ORV VPERORV GH GHVLJXDOGDG
4 < \ < 2 ( 4)( 1) > ( \ )( 1) > ( 2 )( 1) 4 > \ > 2 

(O HQWRUQR DELHUWR GH FHQWUR 3 \ UDGLR 1 HV SXHV HO LQWHUYDOR DELHUWR ]2,4[ ILJXUD DEDMR

Los entornos abiertos centrados en [ y de radio U son intervalos abiertos cuyo centro es este punto y cuya longitud es igual al doble del radio U (figura abajo):
Observacin 3

En el caso de que el radio sea cero se obtiene el conjunto vaco ya que la inecuacin: G ( \ , [ ) < 0 no puede ser satisfecha por ningn nmero real
2

Tambin suele denominarse entorno simtrico abierto de centro [ y radio U . Conceptos bsicos

7RSRORJD

/D SULPHUD GHILQLFLQ VREUH kSUR[LPLGDGy TXH SRGHPRV GDU PHGLDQWH HO XVR GH HQWRUQRV HV OD TXH VLJXH

Punto adherente y adherencia de un conjunto

Un punto [ es contiguo (adherente) a un determinado conjunto $ si todos
Definicin 5

los entornos de [ tienen puntos del conjunto $ . La coleccin de todos los puntos adherentes a $ se denomina adherencia de $ y se nota por adh ( $) o bien $ .
(O SXQWR 0 HV DGKHUHQWH DO FRQMXQWR $ = [11] \D TXH WRGR HQWRUQR GH 0 FX\RV ,

Ejemplo 10

H[WUHPRV UHSUHVHQWDPRV FRQ SDUQWHVLV kFRUWDy D HVWH LQWHUYDOR ILJXUD DEDMR

'HO PLVPR PRGR HO SXQWR 1 HV DGKHUHQWH DO FRQMXQWR $ SXHV WDPELQ WRGRV VXV HQWRUQRV WLHQHQ SXQWRV GH GLFKR FRQMXQWR

A partir de ahora para representar sobre la recta entornos centrados en un punto

Observacin 4

y de un radio dado, utilizaremos parntesis o corchetes. Por ejemplo, para el entorno de centro 1 y radio 0,5 se tiene (figura abajo):

entendiendo que todos los puntos que se hallen entre los parntesis, a excepcin de los extremos, son los que forman el entorno. Alternativamente, con corchetes (figura abajo):

10

Conceptos bsicos

7RSRORJD

1 Es adherente el punto 0 al conjunto $ = [ R / [ = , Q = 1,2,3,... ? Q

Ejemplo 11

&RQYLHQH UHSUHVHQWDU HO FRQMXQWR $ ILJXUD DEDMR HQ URMR

9HPRV TXH WRGR HQWRUQR DELHUWR GH FHUR FRUWD D DOJQ SXQWR GH $ \D TXH ORV HOHPHQWRV GH HVWH FRQMXQWR VH kDFHUFDQy WRGR OR TXH TXHUDPRV D FHUR (VWR VLJQLILFD TXH 0 HV DGKHUHQWH D $ DXQTXH QR SHUWHQHFH D WDO FRQMXQWR

(Q HO HMHPSOR  DSUHFLDPRV TXH SXHGHQ H[LVWLU dos diferentes grados de adherencia R FRQWLJLGDG (Q HIHFWR HQ HVH HMHPSOR WDQWR HO 0 FRPR HO 1 VRQ DGKHUHQWHV D kIURQWHUDy , [11] SHUR HO 0 HVW HQ HO kLQWHULRUy PLHQWUDV TXH HO 1 HVW HQ OD

Punto interior de un conjunto

Se dice que un punto [ es interior a un conjunto $ , si es posible hallar al
Definicin 6

menos un entorno abierto centrado en [ que est incluido en $ .

Demostrar que el punto 0 es interior al conjunto ] ,2] .

Ejemplo 12

(Q HIHFWR HO HQWRUQR GH FHQWUR 0 \ UDGLR 1 VH HQFXHQWUD LQFOXLGR HQ HO FRQMXQWR ILJXUD DEDMR

/D FROHFFLQ GH WRGRV ORV SXQWRV LQWHULRUHV D XQ GHWHUPLQDGR FRQMXQWR $ VH OODPDU HO interior GH $ \ VH QRWDU PHGLDQWH int( $) R ELHQ $  ([LVWH XQD LPSRUWDQWH UHODFLQ HQWUH ORV SXQWRV LQWHULRUHV GH XQ FRQMXQWR \ HVWH FRQMXQWR
R

Conceptos bsicos

11

7RSRORJD

Relaciones entre un conjunto y su interior

Proposicin 1

Todo conjunto $ R contiene a su interior. Es decir: int( $) $ . Demostracin: 6L HO FRQMXQWR $ IXHUD YDFR VX LQWHULRU WDPELQ VHUD YDFR SRU OR TXH OD LQFOXVLQ VH GDUD GH IRUPD WULYLDO 6XSRQJDPRV DKRUD TXH HO LQWHULRU GH $ HV QR YDFR int( $)  (Q HVH FDVR WRGR SXQWR TXH SHUWHQH]FD D HVWH LQWHULRU [ int( $)  WLHQH XQ HQWRUQR DELHUWR LQFOXLGR HQ $  &RPR [ HV HOHPHQWR GH WRGRV VXV HQWRUQRV WDPELQ VH KDOODU HQ $ \ SRU WDQWR int( $) $  FTG

Punto frontera de un conjunto

Se dice que un punto [ es frontera de un conjunto $ , si es posible hallar en
Definicin 7

todo entorno abierto centrado en

4 complementario de $ .

[ , puntos de

y puntos del

Demostrar que el punto 1 es frontera del conjunto de los nmeros racionales.

Ejemplo 13

/RV QPHURV UHDOHV VH SXHGHQ FODVLILFDU HQ GRV WLSRV GLVMXQWRV racionales H irracionales 3DUD VLPEROL]DU HO FRQMXQWR GH ORV QPHURV UDFLRQDOHV HVFULELUHPRV
Q PLHQWUDV TXH ORV LUUDFLRQDOHV VH QRWDUQ SRU I  $V HV R = Q I Q I = \

HVWRV VXEFRQMXQWRV VRQ FRPSOHPHQWDULRV XQR GHO RWUR 7DPELQ VH FDUDFWHUL]DQ SRU WHQHU HOHPHQWRV kSRU GRTXLHUy HQ OD UHFWD (V GHFLU VL HOHJLPRV XQ LQWHUYDOR GH OD UHFWD UHDO QRV HQFRQWUDUHPRV HQ O DO PHQRV XQ QPHUR UDFLRQDO \ DO PHQRV XQ QPHUR LUUDFLRQDO 3RU HMHPSOR HQ HO LQWHUYDOR ]0,1] KD\ XQD LQILQLGDG GH QPHURV UDFLRQDOHV
1 1 1 3 , 4 , 10 ,... {

H LQILQLGDG GH QPHURV LUUDFLRQDOHV 0,30300300030000.... 

0,997835625141...., ........ &RPR ORV HQWRUQRV GHO SXQWR 1 VRQ LQWHUYDORV GH OD UHFWD

KDOODUHPRV HQ WRGRV HOORV SXQWRV GH Q \ SXQWRV VX FRPSOHPHQWDULR I SRU OR TXH

3 4

Esta es la abreviatura de como queda demostrado. El complementario de un conjunto de la recta est formado por todos aquellos puntos de la recta que no pertenezcan a dicho conjunto. Conceptos bsicos

12

7RSRORJD

GLFKR SXQWR HV IURQWHUD GH Q  \ SRU OD PLVPD UD]Q WDPELQ GH I 

/D FROHFFLQ GH WRGRV ORV SXQWRV IURQWHUD GH $ VH GLU TXH HV OD frontera GH $ \ VH QRWDU SRU Fr(A )  $ GLIHUHQFLD GHO LQWHULRU QR SRGHPRV JDUDQWL]DU TXH OD IURQWHUD GH XQ FRQMXQWR HVW LQFOXLGD HQ GLFKR FRQMXQWR /DV GHILQLFLRQHV TXH KHPRV GDGR GH LQWHULRU \ IURQWHUD SHUPLWHQ GHPRVWUDU OD VLJXLHQWH SURSRVLFLQ

Adherencia de un conjunto
Proposicin 2

La adherencia de un conjunto $ es la unin disjunta de su interior y su frontera. Demostracin (V FODUR TXH WRGR SXQWR LQWHULRU \ WRGR IURQWHUD GH XQ FRQMXQWR $ VRQ DGKHUHQWHV D VWH SXHV YHULILFDQ OD FRQGLFLQ GH WHQHU HQ WRGRV VXV HQWRUQRV DO PHQRV XQ SXQWR GH $  $GHPV VL XQ SXQWR HV LQWHULRU KDOODUHPRV TXH DOJXQR GH VXV HQWRUQRV HVW LQFOXLGR HQ $ \ HQ FRQVHFXHQFLD QR SXHGH VHU IURQWHUD 5HFSURFDPHQWH VL HV IURQWHUD QR SRGU VHU LQWHULRU \D TXH QR HV SRVLEOH HQFRQWUDU XQ HQWRUQR FRQ WRGRV VXV SXQWRV SHUWHQHFLHQWHV D $  5HVXPLHQGR adh( $) = int ( $) Fr( $), FTG int( $) Fr( $) = 

&XDQGR XQ SXQWR [ QR HV DGKHUHQWH D XQ FRQMXQWR GDGR $ HQWRQFHV SRGHPRV KDOODU DO PHQRV XQ HQWRUQR DELHUWR TXH QR WLHQH QL XQ VOR SXQWR GH $  (Q WDO FDVR GHFLPRV TXH HO SXQWR [ HV exterior DO FRQMXQWR $ \ D OD FROHFFLQ GH WRGRV HVWRV SXQWRV OD OODPDPRV exterior GH $  )RUPDOPHQWH

Punto exterior de un conjunto

Un punto de la recta real es exterior a un subconjunto dado $ cuando sea
Definicin 8

posible encontrar al menos un entorno abierto centrado en el punto que no contenga a ningn elemento del conjunto. El conjunto de todos los puntos con

Conceptos bsicos

13

7RSRORJD

esta propiedad se llamar exterior de $ y se notar por ext( $)

(O SXQWR 2 HV H[WHULRU DO FRQMXQWR $ = [11] \D TXH HO HQWRUQR FHQWUDGR HQ 2 \ GH ,
Ejemplo 14

UDGLR

1 WLHQH LQWHUVHFFLQ YDFD FRQ HO FRQMXQWR $ ILJXUD DEDMR 2

6XSRQJDPRV TXH $ HV XQ VXEFRQMXQWR GH OD UHFWD UHDO (QWRQFHV VL [ HV XQ SXQWR GH HVWD UHFWD puede ser adherente o no a este subconjunto. En el caso de que no sea adherente ser exterior y en el caso de que sea adherente ser o bien interior o bien frontera. (Q FRQVHFXHQFLD WRGRV ORV SXQWRV GH OD UHFWD SHUWHQHFHUQ DO LQWHULRU DO H[WHULRU R D OD IURQWHUD GH $ \ VOR D XQR GH HOORV
Hallar el interior, el exterior y la frontera del conjunto: ] 1,+[ .
Ejemplo 15

(O LQWHULRU GH HVWH FRQMXQWR HV O PLVPR

int(] 1,+[) = ] 1,+[

\D TXH VL [ ] 1,+[ VLHPSUH SRGUHPRV KDOODU XQ HQWRUQR DELHUWR LQFOXLGR HQ

] 1,+[ ILJXUD DEDMR

$GHPV QLQJQ RWUR SXQWR TXH QR SHUWHQH]FD DO LQWHUYDOR SXHGH VHU LQWHULRU YHU SURSRVLFLQ  (O H[WHULRU GHO FRQMXQWR HV ] ,1[  (O QLFR SXQWR TXH QR HV QL LQWHULRU QL H[WHULRU HV  1 SRU OR WDQWR Fr(] 1,+[) = 1 

14

Conceptos bsicos