Está en la página 1de 75
Paso AMSTER APUNTES MATEMATICOS PARA LEER A LACAN 1. TOPOLOGIA z Ei 4 Fs ‘ Ey bs a Fi ‘ EB I = P| {iil Paso AMsTER APUNTES MATEMATICOS PARA LEER A LACAN 1. Topologia . a wvigawo © aaa bee UC le etia aitite' “Amster, Pablo Apuntes matemiticos para ler a Lacan: 1. Topologia ted = Buenos Aire: Letea Viva, 2010 148 p22 18cm 1sB1 978.950.649.270.0 1. Patoandliss. [Tilo 0D 150195 “Eoicidw at cumvano be L#aNbao SALGADO (© 2010, Letra Viv, Libera y Fitoral Coronel Diaz 1837, (125) Ade Buenos Aes, Argentina ‘hau letraivagelsgna com / we PoE: wwamagoagenda com (©2010, Pablo Amster ‘omsterndaba.ar Primera edciin: marzo de 2010, Irmpreso en Argentina ~ Printed in Argentina ‘Queda hecho dopo que marcas Ley 11.723 Probibids la teproduccin otal o parcial de esta obra bajo cualquier smetoda, nchios la eprograia I fotocopia yeltratamleno digital, Sin a prev y expres autoragcin por excrto de ls titles del copyrighe Inpice PREFACIO. . eropuceisn Sensatez y presentimientos Geometria cauchesea CAPITULO 1. GENERALIDADES {Quées topologia? El nervio, la pimientayy la sal Lacalidad es lo que importa Cariruro 2 SuPerricies La indiferencia del mundo ‘Una morcila abiertaen las dos puntas El toro por lasastas Una palabra soporte Invierta su toro FEstis desorientao y no sabés, qué role hay que tomar. Labanda de Mobius el Crossap ye Bota de len ncore, Encore, 9 19 2 a 53 59 6 Rp Dp CAPITULO 3. AL BORDE DE UN AGUIERO Redondeles de cuerda. Piano piano, se va lontano Nudos multicolores Naimero de enlaramiento. Especulano con la imagen. Desanudando duidades A moversecon Reidemeister El Borromeo, ese euasi-trivial Trenzas. Inpice De Térsunos 16 23 5, 17 50 Bt 2 85, 37 | PREFACIO En unas notas y cartas de 1679, el matemstico y filésofo Gottfried Leibniz observé que algunas propiedades de los obje- tos geométticos no involucraban directamente el uso de magni tudes. Se propuso entonces la formulacidn de estas propiedades ‘mediante un sistema de simbolos que permitieraa la vez combi- ‘atlas para obtener otras nuevas: la idea aparece en un articulo, nel quese emples por primera vez el nombre de Analysis situs, anilisiso geometria de situacién. Elsignificadade todo estone se hizo larohastaun buen tiem podespués, a partir de los sucesivos aportes de grandes persona- lidades como Eulery Gauss, Uno de los alumnos de este ttime, llamado Listing, sugirié un nombre diferente paraesta nuevarama, de la matematica, que se volvria definitivo: Topologia’ Mas tarde otro grande, ol francés Henri Poincaré, habria de ‘ransformarla en esta teria que conacemos ahora, que constituye Eee ond Tl ingen pee Fastin cone erin geomet de porici y ize corte oro trope de conadertanesgeomerncas Can trmino topless deere mend enones lest de rlactner modes concent le fo Imoconesexpailes dels eyer que igen cone le stuoton pots (etncetn de aspen ele inns, dees opr deo cuerpo de ut pores ode su agregadas en espace, hace attrac dete Macon tuna de las bases cel anslisis matemstico y la geometria, Pero sus articulos fandacionalesde alguna forma remiten aaquellas anti [guas cartas de Leibniz; de esta forma, efilésofo aleman participé fn la genesis de algunos de los conceptos mas elevantes del dis- ‘curso lneaniano: la légica, la topologia ...el inconsciente. DDiversos son los aspectos deesta cautivante invencin leibni lana que interesaron a Lacan, pricticamente desde los comien= zos de su ensehanza. De este modo, en sus primeros seminarios pueden encontrarse ya diversas cuestionesFelativasa la teoria de sgrafos 0 redes, de los que se vale para presentar su famososiste- masintictico del Seminario sobre “La carta robada’, osu no me- nos famoso Grafo def deseo. Peroes en el Seminario IX, La Hdentificacién, en donde la to- ppologiacomenzariaa cobrar mayor importancta hasta constitu seen un elemento central, a tal punto que muchos de sus varia- \dosdesarsollos no ibanafaltara ninguno de los seminarios pos- teriores. A partirde una idea sencilla, segin la cual la operacién de “pegar” consiste en identificar puntos, Lacan describe algu- ras Superficies elementales como el Toro, el Crasscap, la banda de Mobius y la Botella de Kein Un nuevo crucial gire aparece enel Seminario XX, Aun, don- de el lector tiene que vérselas con las nociones de continuidad y limite, asi como también con los conjuntos abiertosy los cubri- ‘mientos que aparecen en la definicién de compacidad. Masade- lante, el mismo seminario ofrecealgunasconsideracionesen tor ‘noal punto del espacio euclidiano, y esboza el temaque se cons- tituird en eje de los seminarios siguientes: la teoria de nusdos; en particular ese curioso objeto lacaniano porexcelencia que ya ha- bia sido introducido en el Seminario XIX,..0 peor, y mastarde se populari2é bajo el nombre de nudo borrameo, Desde ese enton- ces, los nudos luego las trenzas ocuparon un lugar preferencial fen Su ensefana,y llegaron a convertirse en el rasgo distintivo de les ilimos anos En este libro se propone efectuar un recorrido por los princi- pales aspectos dela topologia que introduce Lacan en sus diver- sos seminarios. El texto est organizadode la siguiente forma:en 1" Ademdemrapore slays clulininitesina linconcintesuno elon descabriminto que ee stujen a muliactc flenoslemsn, pusioawsree Pastncio Iaintroduccién, presentaremos losaspectos generalesdelatopo- Jogla, para caracterizarla como una suerte de geometria “debi, ‘omis bien “no métrica’ Para ello, presentaremos algunos con: ‘ceptos basicos como el de conjunto abierto y los de continuidad yhomeomorfismo. Luego nesocuparemosde ciertos temas espe- cificos, desde superficies como laesfera, el toro, la banda de Mo- bius el erosscap y la botella de Klein, hasta los mis recientes de: sarrollos sobre trenzas y nuclos, que en este marco tienen como elemento central al afamado nudo borromeo, En relaci6n con el uso que Lacan daa tales materia, tan rit «ado fuera del ambito psicoanalitico, vale la pena tener en cuen ‘ala advertencia hecha por J. Miller’: nose puede exter esta topologiade ln ensefanzade Lacan para ipaceriatin disciplins independiente, Esta topnlngs 6. in ‘mersacn sw ensenana, no.esuna dacplina sui generis Respectodeeste comentario, cabeaclararentonces quel pre- sente trabajo no constituye una descripeidn de la "topologia la- caniana’, si es que existe algo que pueda llevar tal nombre. Tam- ppoce se encontrars aqui una valoracién de su ensefianca:el Gni- 0 proposito que se persigue es el de exponer en forma sencilla, Jos principales temas que se desarrollana lo largode los semina- rosa fin de allanarsu tectura, ya de por sitrabajosa. En defini va, 1 objetivo es claro: si el lector de Lacan ha de verse en aprie- tos, que no seaa causa dela matematica quealll aparece. Lo que se busea es mostrar que toda esa matematica, bien mirada, en realidad es muy simple y puede convertise en una materia do- tada de un irresistible atractivo, 3) Enedicna cia? mereceuna nein especalelrenombrado afr Soke —] INTRODUCCION SENSATEZ Y PRESENTIMIENTOS Hace ya varias décadas ~el 7 de marza de 1962, para ser exac- tos~el psicoanalista francés Jacques Lacan formulaba durante clase del seminario La Identificacién un lamativo anuncio: Puesesdeltoroque ya hablares oy Abrodeliberadamente.come Ustedes Io ven, a partir de hoy, lara de os presentimientos. Cabe suponer que una apertura tan deliberada debié haber suscitado entre la audiencia cierta inguietud, que dudosamente ibaa mitigarse por el posterior aviso: Inentemos ahora aclarar lo que voy a deciles Sin embargo, en aguel momento casi nadie debis imaginar {que a pretendida aclaracién le ibaa llevar un buen tiempo, aca s0 el resto de su vida. ‘Aunque existen diversas referencias previas, la anterior con- fidencia puede ser considerada como la presentacin “ficial” en su ensefianza (ya de por si peculiar) de una de las mis notables ramas de la matemitica actual: Ia topologia. No porque el toro sea, estrictamente hablando, un objeto de a topologiasde hecho, la geometea ya lo habia detinido hacia varios silos como: Una superficie de revolucién engendrada por una circunferen- cia que green tomo aun ce stuae en su miso plano y ext Esto significa quedebemos tomar unacircunferencia,y hacer- ‘a dar una vuelea completa alrededor de un eje que no la toque, hasta olvera encontrarel puntode partida, De este modo seob- tiene aquella figura bien conocida por los lectores de Lacan: Podemos ir un paco mas atrésy ubicamnos en aque! momen- to preciso del siglo XVI, en el que otro conocido francés se dio gusto de proclamar sus propios anuncios to de noviembre de 6, cuando leno de entusiasmo,descubri los fandamentos de wna ceneia aimee Nos referimosa Descartes, de quien nadie ducdaque “abrié una cra al presentar aquella formidable conjuncién entre geometria Y lgebra que se conoce como geometria analitica. En estos ter minos la describe el pensador Edgar Quinet, ‘Cuando v a esta ecuacinfuncionary resolver sola, porast de cient mimo year enn inl vedas, oes ‘ualmenteindudablescetestar en posesion del talisman que me shri Ta puerta de todos tos istricn . Parece razonable, entonces, que brindemos al lector el talis- ‘man capaz de abritnos la puerta de los misterios correspondien- tesa la figura que nos concierne aqui, que pueden resumirse en luna expresion de lo mis concisa. Ok ty of e%=P arro0 Esta formula, a todas luces admirable, debe entenderse bajo Ja consigna tacita de pensar a cada punto como una terna, cons- tituida por sus coordenadas espaciales. De este modo, elconjun- tode aquellos puntos (x,y, 2) que satisfacen la ecuacién anterior describe, sencillamente, aun toro. Sin embargo, este espirita tan cartesiano no parece todavia el mis indicado como para que algo se nos aclare, ;Cémo pueden ‘eas letras sercapaces ce manifestarla esencia del toro? Masaun, {eusl es dicha esencia? ‘Larespuesta aesta pregunta constituyeel comienzodeaque- to que Lacan “vaadecimnas”. Agui entrames, precisamente, en terreno topoldgico:en cierto sentido la topologia se ocupa dees- tudiar las propiedades esenciales de las figuras, aquelas que re velan su carscter mas Intimo. En el caso del toro, el propio La- an lo expresaria poco més tarde mediante uno de sus tipicos juegos de palabras: al decir trou macisme, deja ver que la esen= tia de un foro, su “intimidad” (por no deci su "trauma"), con ‘iste en tener un agujero. Esta observacién, casi rival, deja de lado los aspectos métricos del toro para centrarse en su cars: ter puramente cualitativo: en otras palabras, estamos hablando, de una propiedad relativa a aquella materia que Gauss descri- been 833 como, la geometriade situacin, que Leibniz ha presenti De esta forma, podemos concluir que también la Matemsti- ‘caavanza en base a presentimientos, en muchos casos producto ide ls mentes mas sensatas’ {Yeap lan de“mentes sense sae pena record que ibe Gnd {ike Vs consraye ur even bara en cone ea sail bn Stan, Snenbarg, todos ents algo de aleman revel un persaento ‘darmentenvcando somo dia cen nandupe 3 Gromerria CAUCHESCA La topologia es considerada actualmente una de ls principa lesramasdela Matematica, aunquesu desarrolloes relativamen- tereciente, como se evidencia en las palabras que completan la anterior cita gaussiana: sobre aval haestadoreservadoa dosdmeteas solamente Euler yWandermondeechar unaddbilevitada,saberory posses, des Puésdesigloy medio, poco mis que naa. Mas allé de la anticipacién de Leibniz, los historiadores sue- fenconceder también un rol inaugural al gran matemstico Euler, cuando desde lacorte de Catalina (otra Grande) en San Petersbur- {go resolvié el famoso problema de los puentes de Kénigsherg: io Pregl atravesa I cidade Koniaberg formando dos ila Posiblerazar un recor que pase port Solos unasclavec? jos lo puentescrurin Quizis s6lo se tratase de una manera de no extralar tanto a su Suiza natal; en cualquier caso, Euler se convencis de que la distancia no importa, al menos la hora de encararesta clase de problemas. En efecto, el acertio se esuelve mediante un senci- lio modelo llamado grafo, en el cual las lineas o aristas repre- sentan los puentes, y los puntos o vertices, las regiones conecta das por ellos 4 Es cil comprobar entoncesqueel recorrido propuesto esim- posible, porunarazén que parece sacada del Seminario sobre "La ‘carta robada”:laparidad. Unvérticese dice par o imparde acuer- do.con la cantidad de aristas que lo tienen como extrem, y re- ‘sulta claro que un vértice que sea "odd! (impar) sélo puede ser punto inicialo punto final deun recorrido, Bajoesta Optica, Euler ‘ho hizo més que sefalar algo que realmente esta la vista: dado {que todos los vertices son impares, cualquier itinerario fuerzaa [a repeticin de al menos un puente. Este sencllo proceder nos ‘muestra elaspecto mas intimo de un problema que, unavez des- pojado de aditamentos, se reduce a puras consideraciones de or- ‘en combinatorio, Nada de distancias ngulos;el rzzonamien 10, sutil pro poderoso, permitidasuartifice proporcionarlares- ‘puesta apropiada y-de paso- dar auténticoinicioa una discipi- tna. Todo esto ocurrié San Petersburgo hacia 735:al fin yal cabo, {qué mejor que una corte para Fondar la topologla? ‘Una antigua frase asegura que la geometria es el arte derazo- narsobre figuras mal hechas. Por ejemplo, tamamos unaciscun~ ferencia, y trazamos una recta tangente a ella en cualquier pun~ to, Podemos observar entonces que dicha tangente es perpendi- cular al radio en ese punto; se trata de una propiedad de la cir ccunferencia 5 ‘oy2n09 ap n}ss914026 :920U09 e| 9S upiqused anb LoD Jeinbojoo agazoe [3 #2ynsnfeojodoa ey 2p aygynay wer orsadse reg “s0>1Goqodor sonuoioau sepeusey ‘sean Se, 3p So[e1>u2s9 bruautesapepiaa seolstini2ese9 se uos SonuoIta eazosasd 2s anb ‘071 vojmyde> ja a sowasas ost2aud spur opniuds ofa ‘wo! 2eUHI0} Sapeun ap oipats od eno F| eeun ap zesed epand as nb arduass sotuoyearnbs uos seaniy sop ‘ei Ua ,sopeplens, uo ely as 019s & sapepriueo, se) oye sod esed exfojodo e} ‘soulip ow woflgjodon emuase ns e uaDet anb so} ‘owotestsoid spur 'o ‘saje}sudse sorsadse So} wos sen “rosuo> 95 e}auazajunas!>r] 9p sopepatdosd se] ap seunde 24> py feu, der edo eis ua ‘oxa9}aU ‘soudfeammba uossemnsy seq “tue ‘ooflojodor esa 9p oxund |p psop ‘snbsmnre apond ojnd2 “sup jo ‘ost3e jap aesad eolnd ‘0Ans oj ueas Ou Seansy|A SaLeSE| zo 161 anb a|qeue otis uo a|senUtsu Outs “euarDed ey sopi0d ehingap ou ons9ew [9 [eM [9 U2 O19eN2 CIUOLLOA [289 91S ou J 388 a ofnqip j2 010d “eoUAIRyUNa ‘un sds enayut orenou tin anb ojduols sod ‘ssucdns Sowep 10g ‘oniadxou1 mueingip un a2ey anb so] Pussased as s0{neyp sy, -2p-erBojodor ua stuaiotines9 ueciiog ap uproducsope] seunily sequie ano upeaynuapi Pun senio9j9 sud sou eyaepor {ezaradse epoy sepisjo 9384 S04 efojodos ey “oe, ro us "sojniluy sns ap sezasndse sey sewn 9p zede9 vista ap ot und sogey 2>eued ou ‘ojduua sod :etsoy yout mua doen so 220 189 ojdusafo sod anb up opianoe ap sourazeiso sopor ‘sepiouoy ues zen 2p se:sueu! opuendace une 0124 “eno [ap eanoadsiod eun ow jse off s9 seandly se] 9p ran anbuod sdiyp eun eaquoqexinbo so ojnour> un anb soap souigpod soses sapues8 y yeansodsiad, ap upinow evista gos suekode ered soo sigur sorsadse sound ap apulosaid anb ‘eata2n¢oud 0119006 ef ezed s9 0] ou “oxquut> ty “owfoy fear aiuerseq ofna4}> un ansp anb seadase sounpod ost asa ua ‘souo1oeysen & souoiger01 s1uerpaua 1ouodzadns apand su] 38 op ~ueno sojuayernbo uos sein8y sop rarse> en auooi ey ua 204204) pur asnbyf oun so pnb asag? seyundard as ae2uiog 01990805 [Y spuodsaiio9 owes pepoidoud e| zensowop e1ed eysnowoad e] ap seworxe $0} € Sout “uno saouowua 4 04294 (eu, olny fF 2]s00H9 Zod soUeUE “toa ‘erourew eunse 9q "pepaidaud v{ se1qainjsa axey sou sond “eouniptwoa8 uorsimur ensonu uo> e1oge(o> ofnalp ja UoLDoa}iad =u ns ap zesad voflequia urs esuLoa8 ep “Bovuez0}d oxoiNb 9s 8 "Jeops"e)>apad epsual9juo19 e| 59.94 Olnayp [9 nbIOd "EU “by feu funy eun auqos 1eu0ze3 $9 089 ‘opmnuds UNS UD Omg CaPiTULO1 GENERALIDADES {Qué es ToroLocin? En la introduccién hemos partido de un anuncio hecho por Lacan en el Seminario IX, antesde introduct los rudimentos de festa rama de la Matematica que ha cautivado a los esplritus mas notables, desde pensadioresy fldsofoshastaartistascomo Escher, el eseritor A. |. Deutch, autor de aquel célebre cuento de cien- cia fiecidn mas tarde convertido.en pelicula argentina: A subway named Moebius. Dijimos, informalmente, quese trata de una geometria debi, ‘no métrica, y que algunos autores la han denominado -sin mu cho rigor- “geometria del caucho™ En su intento por "desimaginarizar, Lacan se interesd por diversas cuestiones que conciernen ala topologia, comenzando por lo grafos para pasar por las superfciesy legar finalmente a los nudos. Todos estos términos participan, de una manera ode. otra, en la topotogia. Pero atin queda sin respuesta una pregun. tas bésica: qué es topologia? EL NERVIO, LA PIMIENTA ¥ LA SAL. Cuando Lacan presentaal toroen el Seminatio IX, nodeja Iu ara dudas de que el objeto que se dispone a estudiar proviene de la geometria Lo que queria subrayar es que el 10, hablo en el sentido geome treo estito del temino, es dec que seg Ia defincion geomé- tra es una superficie de evolucion asuperfcederevoucson de tse circulo alrededor de un ye, y lo que se engendra es una super= fe cera, No obstante, poco después expla Pues. inalmente, les ruoga ag eferne expresamente la s- pete, spor la propiedad topolopeasqueestarsen media de rmostraries [] De este propiedades topoldpias ustedes van 3 ver clnerio, fa pimientay isa Pero entonces: puede un objetogeométricoserestudiada topo- légicamente? {Qué son, en summa, las ‘propiedades topolégicas”? ‘Vamos comenzar con una situacion sencilla; consideremos: cuatzo puntos distintos en el plano, por ejemplo: Entonees podemos preguntarnos: zes posible unirlos dos a dlos (es decir, cada uno de ellos con cada uno de los otros) me- diantelineas que no se crucen entre si? La respuesta es inmedia- ‘a, un simple intento aleanza para mostrar que tal casa siempre puede hacerse: aPor qué decimos que esta "mostracidn’ es suficiente? La in- tuieidn nos dice que ne importa eémo ubiquemos a los puntos, siempre podremos, en primer lugar, efectuar una suerte de "pa- seo" quecomience en cualquiera deellos yrecorra todoslos pun- tos sin que los trayectos se crucen, hasta volver al origen, Es lo {que sedenomina un circuito simple; vale decir, un camino cerra- {sin auto-intersecciones. EI plano queda asi separado en dos regiones, una interior y la otra exterior: usted se eneventra tun paseo por el plano Loque restaes facil de adivinar: de los vertices opuestos que ain quedan por unit, un par se conecta mediante una linea int- flor al cuadrilétero,yel par que falta lo hace por medio de un re- corrido exterior. Si tres delos puntos (o loseuatro) seencuentran alineados, la figura resultante no vaa ser un cuadrilitero dema- siado ortodoxo, aunque el razonamiento sigue valiendo siempre gue dejemos en claro qué entendemos por “vertices opuestos aS tun cuadriatero heterodox Unidn de vertices (heterodoxamente) opuestos Podemos daros por satisfechos con la respuesta obtenida, y pasarala préxima pregunta: gquéocurre cuandose tratade cinco puntos? Ahora nuestios primeros intentos parecen fracasar: Como uniea con B? Ybiena fuerza de fracasos, es nuevamente nuestra intwicién la que nos dice que no hay manera de unir esos puntos. Seguin parece, en cualquiercaso queda un par de puntos que es imposi- ble conectar sin pasar sobre alguna linea previa Sin embargo, esta respuesta esti lejos de darnos las mismas satisfacciones que obtuvimos en el caso anterior. Podemos ob servarquelasituscién ahora es bastante diferente:cuando setra- tade probar que la unién es posible, alearvea con encontrar una ‘manera de hacerlo; en cambio, una clemostracisn de si imposi- bilidad requiere un argument que esté a salvo de todo intento ulterior. Dicho de otra manera: ;quién nos garantiza que acaso ensayando com la pacienciao el ingenia suficientes no habremos dedarenalgin momento con alguna solueién magica? Despus de todo, eabriaimaginar queexiste en el plano alguna combina- Formalmente, un grafo se puede desceibir como una terna G-(W,A,9), endonde V (vértices) yA (aristas) son conjuntos finitos, y 9 es una funcién que hace corresponder a cada ele ‘mento de A un parde elementos de V. Por ejemplo, dados VelyvvA=1a.a,) xls funcién @ definida por @la)=ly,¥, hela) =ty¥) se obtienc el graf: ’ \Volviendo al tema, vamosa enunciar un teoremaque resulta de ‘gran importancia en esta teoria: se rata de la amada formula de Euler, que asegura que en todo grafo plano se verifica la igualdad VeC-Ana, endonde Ves el nimero de vértices, A el nimero de aristas y C 57 Was pone manconar una notable wefiencia anterior al wes de Vigo Se {rts ever man de Labi guientecteseieppojedeanaen De Were Prop: {ane Creu ad Quadarom Cicumsepum in Numer Roni de 8 ‘main ne naan ema) oe a ur fa 25 «1 nuimeto de regiones (incluida la regign exterior), también lla- ‘madas caras. En el ejemplo previo, se tiene: Aunque la formula vale para cualquier grafo plano, no nece- sariamente completo: Por ora pate, siempre e cumple que cada regin est bor decom mimo pr ean estar mien de Oigual que! tiple de Foro ademas tae ataparcpa ts sumo del borde de dos regione de modo que en nuestra Coen bata” cada una de lls fue contada dos vets En consecueh ciasen todo grate planovalela relation a seca bunt mediante lines que nose crzan teatro pa planoconcineo vertices, re 4.0) Aetna pide conte, nos indica que en ese caso el mero dears debe ser pus tienen que produce todas as uniones posible 26 aconb acone aeond acone q beone beond —beone ceond — ceone 4 deone Por la fOrmula de Euler deducimos que | 54C-10=2 | Coan-5=7 ‘Ademis, dela relacién 3C < 24 se obtiene: 375210 loqueesabsurdo. Estacontradiccion demuestra que no existe un | grafo plano de cinco vérties conectados dosa dos Comentario ormulade Ener (amend llsmadade Fer- | Descartes) ale tambien para los poiedos canvexos, como por sjemploe ube En particular, dicha relacién ofrece una excelente manera de probar un notable hechode la geometria, conocido ya por losgrie~ fos: existen cinco (y solamente cinco) poliedros regulares, vale ‘ecir, cuyascaras son poligonos regularesiguales. Son los deno- ‘minados cuerpos platénices, el mis simple de los cuales esl te- traedro se trata del mismo objeto que menciona Lacan en el Se- rminario XIX... peor, cuando habla del tisngulo de Pascal y las ‘ménaclas, diadas,tradas, tétradas, ete. 27 4 vertices (ménadas) 6 aristas(dlagas) ‘cars (tradas) 444-622 Nodejadeser interesante que un teorema tan profundamente _geométrico pueda demostrarseapelando aargumentos topolegi os. En efecto, sd es el niimero dearistas concurrentes en cada vertice, ym es el nimero de lados que tiene cada cara del polie dro, entonces es ficil verificar que: dV=2A=nc A partir de alli, mediante la férmula de uler se comprucba ‘que slo pueden darse los siguientes casos, dN cay 3030 4 6 4 tetracdro 304 6 2 8 cubo 3 S12 30-20 dladecaedro 43 8 12 6 ectaedro 53 2 30 12 ieosaedro Volviendo a los grafos completos, notemos también que el ‘numero de 1 aristas que hemos contabilizado para K, obedece a tuna ley general, ala que Lacan también se reiere en el Semina- Fo XIX. en las secciones "pascalianas” La pregunta es: cusntas aristas tiene Ke? No es dificil observar que, al igual que para el caso = 5, esto equivale a encontrar el valorde la suma Veaege tna 28 sto, La MMTNTA YA SA Grwenatamanes ‘Ac antista que conecta V, con V, (Vv, V, vertices) DA 2) A, As 3 AAA, 4) An Aa pal) 2036 (o-) Taleslarazén porla cual estos nimerossedenominan trian agqulares en el seminatio mencionade aparece na (mula pre fisaquedicecdmocalelarios:n ns) Porejemplo,paran=5 sevefiea que 54/2 = 10, que exel nero que obtuvimos con. tno cas por sav. En prc ext permite responder ale Siguiente pregunta, as obligada en ealguiet cena concur tn un brindis den personas cual ese mero total de cho- verde copas*| ure qu sept on pr atria de rf escopar de prestarnos anil en lox carps ms varados, des- elsconfecion de cncuitosturisicos sobre! Pregl hasta lor niacin logistics de wn bind. Aunqueya hemos menciona Seen el preoio quese ocupa también debt, at questa tiumaaplcacon no deberia sorprendernos.. Chase, lpr Blea nocambia muchos empleo ps por mans para seguirchocindots,pensando ahora en els que iene al ferbo onl expresion "Choque esos cnc Esto permit presen- Tarun conteato mucho mie propia para enuncarel denomi- nado handshake prin: cama na ong irc dean chs nue ga ‘Stombrede Lo tine Cone Sotnces apes onesie ar {intends compet" bien puede haber ocd qe gine dels pestces {Gaara aes spe on cc) hy tag eee chest “Shthyconmencona anata sete tenon ments (ue Pea en inghnse ie Pacem pie decal 29 roroicts Peso Austen En un grupo de personas, algunas de ells se aludan entre sd dose amano. Enonces el ndmerode personas que dcron la ana tun memera impar de veces debe ser p Por elemplo,supongamos que Pedro y Liliana legan a una reunidn en ln que se encuentran Marco, Horacio y Ava. Como Se tila de gente edad ona) dan un apretan de mano a ada uno de los presente. Mis tarde legan Susana Jorge, ye ritual se repite. Contemos los apretones: vereey PIL [|= /E/-]= De esta forma, en a reunién hay euatto odds: Pedro, Liliana, Susana y Jorge, que saludan a cinco personas cada uno. cla Fo que la situacién se puede representar por medio de un grafo, Con sieve vertices (P, L, M, H, A, S, J) conectados por aristas que indican “apretones de mano’ to Portal motivo, el handshake principle se taducea la teoriade grafos de la siguiente forma En todo graf el nmero de wirties de orden impardebe ser par Esta propiedad se explica ficilmente:dadoun grafo cualquic- ra, se define el orden o grado de un vértice (denotado deg, por degree) como el nsmero dearistas que lo tienen como extremo. Por ejemplo, en el grafo de siete vertices que representa la situa ign anteriorse tiene” deg(P) = deg) = deg(S) = deg()) ‘deg(M) = deg(H) = deg(A) = 4 El handshake principle es consecuencia inmediata de la si- guiente propiedad, cuya demostracién es muy sencilla En todo graf, ln sua de los rdenes de todos le wertces igual ldoble del namero total de aristas. Volviendo al tema, zeual es el sentido de estas divagaciones? Por mas respetuosos que sean a la hora de saludar asus pacien- tes, o dispuestos que se muestren a sumarse a un brindis el ni- mero de apretones de mano o choques de copas no es algo que eberta interesar especialmente a los analisas. Sin embargo, es ‘oportuno recordar la advertencia de Lacan: “Tao esto nose los sport sino como una suerte de proposicin de ‘jeri, de eerecioe mentale, de eereicios eon los cuales use ‘Tesdeben familiarizaee si quieren encontrar acontinuacon ene {oroelvalormetavicoquele dart cuando vayaencadacaso, se tedel obsesiv, de hsterca del pervers, hasta inchs del esque {nico articular elacion del deseo y la demands En suma, podemos pensar los pirrafosanteriores como una suerte de "ejercicio mental” para introcucimes, poco a poco, en Ia topologia “7 "Dig sn ep. ata dum graf no compet, pes ce sero el rden de Para concluir esta seccién, vale la pena mencionar tambi _aquel pirrafo del Seminario [X en donde Lacan dice: Meeiforantuitiva, pongamos geométrca, Cada uno sabe la impor: tanciaqucentodainbatalaentre matemstices hace stragoetino sntomo aclementos de esta expec, Pincinéyottossoatenen ue hayamelemento intuitive rect, yoda lnercucade los avo mateo pretend que podamos formalizarenterament apart de Shiomas,dedefinicionesydeclements, todo! desarollode asm {emacs esdecrarancarlaatodaintuiiin topoligia.Felimente Poincare peribe que a topolol,ah seencuentrsleesenciadele ‘mento muito, yque nose puede resolver ydirsaun mas por fer dela intuicin nose puede hacer esta cient mad tpetogia. no jaede comensara articular porque es una gran cence Laalusién a Poincaré, la intuicién y aquellacorriente flos6fi «ea conocida como inruicionismo hace que merezea la pena traer luna gta del matematico francés 1 ar fivreer lint quel gets ine anced dealer gro por lo mene, eresentirelar meialmente ‘tors bien dexpecia hs propidates mecave poycthan de tote figuras sb seats os propiedades pramente cal daderamente “ Dealgin modo, resulta notable que alguien haya podido en- contrar el verdadero papel de la intuicién geométrica precisa- mente ali, en aquella ciencia que se desentiende de la medida, La CALIDAD FS Lo QUE IMPORTA En as paginas precedentes hemos dicho, informalmente, que la topologiaserelacionacon el estudio de las propiedadlescuali tativas de las figuras. Es hora de comenzara dotara este comen tario de mayor precisibn. El siguiente parrafo del Seminario IX serd de utilidad para introducirnos en el asunto: Loqueesseguroesqueaparentementecsesencakahoraqueestall ustedes pueden desir vest toro como un gl, guaran 3 LAcationo £510 QUE MAroREA Gevemunanes cenvuestr bolila,yaque no pertenece la naturaleza de est toro Strsimpre perfectamente redo, pefectamente igual: lo que es Important cs esta estacturaagujereads, Ustedes lo pueden volver sinflrcuandotengan necesidd de hacerlo, pro puede comolape {Que jiafa de Janizo que hacia un mado con su cul. Prececlaro; hay propiedades geométricas que no“pertenecen ala naturaleza” del toro. Al menos, no en forma tan concluyente Como la presencia de un agujero, que nos habla dealgo esencial ‘Ahora bien, gquéesla esencia? Enel ejemplo de loscinco puntos hemos dado, acaso sin notarlo, con una propiedad que muestra lpm aspecto de la eseneia del plano, Sin importar las comple} dades de su geometria, podemos decir que pertenece ala nat raleza del plano la propiedad de no poderse trazaren él un gr focompletode cinco vertices. Cualquieraes capaz de comprobar que es0 no acurre en el toro, en donde efectivamente es posible encontrar “atajos” que eviten la superposicién de linea Zi Un grafo térico Esto nos muestra ya que el toro es un objeto esencialmente distintodeun plano. también deunaesfera. Porcierto, hay mu: cchas diferencias mas ‘Otra propiedad curiosaesla del mimero cromatico, al que La- ‘can se refiere dela siguiente forma: Hay grandes primera verdestgadasen tornoaestaconstrucciin deltoroy les oya hacer evidencia algo: sabreunsesferao sabre un Enger coro pune stags hasta un mismo de punts. Eso noes 33 = plano, ustdessaben que se puede dbus cualquier mapa, Plicado que sea, denominado geogriico, ue basta cuatro cole. res para colorear su territoroe de manera ue impidaconfan {ira ninguno con su vecing Si ustedes encuentran uta bucha de tmostracin de esta verdad verdaderamente primera, podtén spor. {arlaaquien corresponds porque se les torpaa un pemi, mo ha biendo sid hallada aun fda de hoy la demostraion, Esto cierto; mejor dicho, lo ea en el moment en gue la frase fe proferid. Hasan cs siguiente: dada una super cualquier, miners cromatco se define come el minima nl mero de colores que bastan pra coloea valet mapa sobre Sa de mod a qu dos pe itofestengan siempre cle tes ditntos Emel caso dl plano el ver quecon tes il tes no slants, pues por ejemplo enemas el suente mapa el que cada una de las regiones limita con las otras tres: * A finesdelsiglo XIX sedemostré quecon cincoccoloreses siem- pre suficiente; emand cierto esfuerzo, pero se logrd, Entonces surge naturalmente la duda: aleanzars también con cuatro? Y¥aqut iban a hacer falta esfuerzos mucho mayores, hasta un punto tal que la pregunta todavia no habia encontrado respues- {en 1962, que fue cuando Lacan la planted ante su audiencia. El resultado, actualmente llamado teorema de los cuatro colo: res, permanecié irresuelto por cerca de un siglo desde su forms lacién hasta 1976, ano en que por fin se logré dar una demostra cid completa. Con todo, incluso hoy se puede asegurar que si alguien encuentra una "buena demostracisn” pasaré seguramen- {walla historia; larazin es que la parte mas sustancial de a prue- bade 1976, llevada a cabo por K. Appel y W. Haken, fue efectua- 34 LscaLbAD £510 QUE FORTS Gevexauipanes ‘dacon ayuda de una computadora. Lacomputadora redujotodo ‘lun cierto ndimero de casos, un niimero inmenso de casos, y los Juliz6 uno por uno. No se conoce por el momento una demos: tracion analitca Los mas escépticos legan a desconfiar dela validez de la de- mostracin (;por qué deberiamos ereerlea una computadora?); fin legara tanto, no esaventurado afirmar que la mayoria de los matematicos no la ve con muy buenos ojos. De todas maneras, trun hecho aceptado que el mimero cromatico del plano (y de Inesfera) es 4, Enel tora lasituacidn es distinta, pues se ha obte- pido una demostracin matemsticamenteirreprochable de que su niimero cromitico e57. Algo de eso menciona Lacan: Eneltoo,noesenperimentalmente que loverin ustedes pose de ‘esta: pars resohverel mismo problema, son necesanossicte colo Tesidicho de otro mao, sabree! orosstedes pueden conlapuntade ‘Unipizdefinr hasta site dominios pero ingunomss, siendo def hi cada uno como temendo na frontra comin con ls ottos Lo {Guees deciles ques tienen n poco de maginacén, stedes db Foran esos tevritros exaponalmene,paravelorcon cavdad.” se 7 pertenece, pues, la esencia del toro, Nuevamente, ha- blamos de la esencia topologica, aquella que Poincaré descri- biera mediante la metSfora del dibujante, mencionada en la n= troduccidn ‘Supongamos un modelo cuslgiery Incopia de exte model rea 2a por un ibujante poco estes las proporciones estan ater fh le ects, taza pr una manatemblorsa, han suid m: portantes desvicionesy presentan curaturas mathadadas. Desde Erpunto de vista de la peometrta metric, y aun dese el de [geo tetra proyectiva, lx dos Bguras no son equivalents: po el con trai lo son, dese el punto de vista del Analysis Situs] Eltera Ine proporeiones mis nenosgroseramente, ss Tineas rect fe ren igeagsinguitantessusciculospresentan protuberance {sue gratia, Todo sto no tiene importanca: no pertrbard en Io tras minimo al geemetea, ni le imped razonar bien, Pero fo que fnodehe ocutrinesqueclarusta inexpertorepresente una curva ce ‘5 iiector puede hace inten de sonar leer propuet pr Lacan, evewoeta Paato Ausrey rr por medio de una curv abies, tres lineas que se cortan en {punto por medio de wes ness que no tengan nngin punto co ‘in, una superficie com abertura por medio de dna superficie sn Shertura En tal caso no se podria utilize mde su figura. ye 20 ‘amento se harks imposible, La intuiion no babris sido blac laa pr los defects de dibujo que slo interesarian a a geome tua matics ala proyectva;ambaeseharanimponbles yagi top defect enen que ver con el Analyse St, Para entender mejor este asunto de Ia “esencia’, podemos imaginar que llevamos aeabo un sencillo experimento: le mos {ramos un toro a una persona, y le pedimos que nos deseriba sus rasgos distintivos”. En otras palabras, le pedimos que efec tie una suerte de identi-kit, como sien vez de un inocente toro setratase de un rufian de la peor calaa. Nose trata de un pedi \dode os mas frecuentes pero, una vez superada la sorpresaini- ial, nuestro entrevistado seguramente mencionari en primer lugar cuestiones ligadas a las dimensiones, curvatura, simettia, «tc Sin embargo, hay una propiedad que se destaca entre todas, de forma tal que raramentefatarsacualquier descripcidn:si hay algo quel toro sin duda tiene, un agujero. La observacion es, tuvil, pero pone en juego el aspecto Fundamental de esta rama de la matematica que intentamos explicar, Notemos que dicha propiedad no es métrica; no depende de la nocién de distancia, Hemos dicho ya que la topologla es una geomettia “no métrica’, luna geometria cualitativa, en oposicién a ottas ramas como la gcometriacldsicao la proyectiva. En ella un toro es equivalente ‘testa otra figura, geomeétricamente muy distinta Lo que intentamos precisares la nocién de “equivalencia to- poldgica’, que dice que dos figuras son equivalentes evando ex 6 scion #810 QUE PORTA _ ‘crnsnatinanes sible transformar unaen la otra mediante una deformacion, reno implique cortes o desgarraduras. ‘Bs propiedades que una figura preserva cuando se le aplica «ualqulera deestas deformaciones se denominan invariantesto- falbscos; por ejemplo, noimportacmodeformemosaun toro, empre seguir teniendo su agujeto" Un torodeformado Lapropiedad detener un agujero”es,enconsecuencia, unin sariante topoligico. Existe una infinidad de tales invariantes; al {unos de ellos nos serin de utilidad en las proximas secciones. ‘Vamosadefinircon un poco mis de rigot lo quesignifica “ser ‘equivalente’ El concepto matemsético que subyace a esta idea sel de homeomorfismo; se trata de una correspondencia que igoza de las propiedadesde ser biunivocay bicontinua. La prime: adeellas noes cuestién topoldgica sino de a teorfa deconjun- tosruna funcién es biuniveea o biyectiva cuando es “uno a uno" Esto equivale a decir: ‘Acadia elemento del primer conjunto coresponde uno del sun fo, yviceversa, Tagine plemegmr gener senesesun ast LncALOAD ES 10 QUE IMPORTA Geneatsoanes rorovocta acaupap e510 que mironys ________ cin. La tespuesta precisa viene dada porun concepto bisicode a La segunda propiedad se refire ala continidad.y obedece 2 cosyogia eld conunto aber, queveremos un poco mis sde- ta ies intutve antes mencionads de “deformacion sin des opel a comes crsubentecon Obsete uso ae .duras, En un curso elemental de andisis matemstico se sue tine cualquier segmento E centrado en ls), existe un segmen- ledeci, para comenzaracomprender un concepto tan delicado, to D centrado en x tal que al apicar la fancién a cualquier pun- ‘que una funcidn es discontinua cuando s8 grits presenta al tode D, se obtiene un valor que pertenece aE, Bin salto. La imagen no es del todo correcta, aunge al menos resulta cide ver Ets U | * Funcién dscontinua en x | Paracompletat la nocignde homeomorfismo,observemosque cuando una fancién fes biunivoca (uno a uno), existe la Hama- Ga funcidn inversa, denotada f*, que justamente invierte el sen- tido de las fechas: La definicién de continuidad surge entonces por contraposi- ign asta idea: basta con entender cual laexaeta naturaleza del salto” que la funcién presenta en el punto x. Hay una nocién ‘que acude en nuestra ayuda, cuya utlizacién informal es histé ricamente muy anterior la topologia la nocisn de limite. Ene) ejemplo anterior se ve que la funcidn no tiene limite en x; vale deci lor valores qu toa ho e acerca ingn numero. En os efecto, para puntocereanosaxstundoso su deechalafuncion “se seacerca a y, mientras que para valores cercanos ax situados a su izquierda, lafuncion se acerca ay. Lego, siendo y, distinto.a Yo oncluimos que el limite no existe” ’ Un poco mas en general, se dice que una funcién cualquiera f cescontinua en x si para valores cada vez mis cercanos ax la fan- Si tanto fcomo su inversa f'son funciones continua, se dice cismtomarvalorescadaver mascereancsa/). Ahorabien ue | gigfeseomtinun entaleanefestn horseomorfima, Estes Signiiea"mascercano”? Hemosdichoquelatopologiaprescinde | Shc dantcer at cue perma sstensu even no sal too, de a metrics cle modo que debemos pensar en alguna idea que Sino a cuslquiera de los abjetos topoldgicos mencionados por reemplace ala de “acercarse’ y que no esté basada en la distan Lacan. Dos espacios topoligicos son equivalentes cuando entre | ellos se puede definirun homeomorfsmo;desdeun punto devis- 1 eorchnc|emersco indica queer dela funcinenxsecalealneneste trisnitve, ccsstuieredeelrquese puededeformara cualquiera ao rorovocta Panto Avsren {de ellos para obtener al otro, Esta flexible razon es la que ha pro- voeado el hecho de que la topologia sea denominada, informal mente, gcometria del caucho, Para comprenderlo mejor, tomemos por ejemplo lacircun. ferencia Esteobjeto es topoldgicamente equivalentea uncuadrado, por ‘mas que para la geometria usual se trate de cosas bien distintas, Lacircunferencia se deforma de modo tal que es posible ry vol ver, como si estuviera hecha de caucho: — <— A diferencia dea geometria sual, queso permite eectuar rotacionesytraslaciones(movinsentosrigidos la topeogioat toriza una else de transormaciones masamplias | Siguiendoa Poincar, hemos stundo también una especiede unto intermedio™ entre la geometria liste lo topoogi: a stometlaproyectiva,quese deentiende de lgunas cuestones ‘étias, pero no detada. La geometriaproyetivaetadi lat Propiedades qu las figuras conseran cuando se aplican tans, de perspective, Sinembargo algunos aspectos de la métrica prevalecen pues un trdngulo isto en perspective sigue sendo un wimg por mis que us dimensiones oss angulos cambien 40 Lycauman #5 10 QUE FORA Genenatsoanes LA 4 De la misma manera, una ciecunferencia puede transformar- seen una clips Oo Pero un cfrculojamas eva a transformaren un triingulo, por nds generosas que sean nuestras perspectivas. Por eso, en a geo: -metria proyectiva seconservan algunas propiedades métricas. La {opologia brinda mayor libertad: con tal ce que no haya cortes, uno esté autorizado a deformar los objetos a gusto. {Estas ideas remiten a una interesante cuestién: la identidad pensada como invariancia. En el célebre programa de Erlangen, fe 188, e] matematico Félix Klein dijo que una geometrla con- sisteen el conjuntode propiedades que resultan invariantes bajo ddeterminado grupo de transformaciones. Un poco mis adelan- te veremos qué significa "grupo", aunque ya podemos anticipar ques el grupo de transformaciones es el cle los movimientos i {Bidos, obtenemos la geometria comin. Las propiedades proyec- tivasson aquellasque se preservan cuando se plican movimien- tosde otto grupo, el de las transformaciones proyectivas. Y lato pologia esta dada por un grupo todavia mas general, el de los ho- eomorfismos. Esto permite decir, sin temor, que por ejemplo esto es una circunferencia: [5 nveiod Indreunforencinespropetvamenteexuaente tambien naps ‘clay aa hpetols sung eos ago mse de entender ay ‘rorotocia Pano Austex En general, se Hama “ircunferencia" a cualquier curva cena da simple, es decir sin autoinerscciones, eta definiion cx suficinte par dar cuenta de sus propedades topologies Enestasuertede"identiad nepatinaqueds noes tan claro cuindo dos objets no son equivalents Si odo se detor Ina emo estar seguros, por ejemplo, de que una circunferen Cher mmo genset? aquellas propiedades que ya hemos mencionado, los imwariane tes Entre otras coma, tienen una wiidad mayespethia: seas. lraierenc Panel seeiocasodel rbiemaantery se car que una efcunferencia no slo mismo que un segmento, dlebemos dejar de lad los prejuicios geometricos 9 empezar 3 taj cn clea ncn topolgic, La rence s ‘avis con slo abservar que una figura secuvaya ota nor debemosbuscaralgdnimarint opolopioque realmente per mitagorantizar que noexsteun homeemortism entre ambos. Nale la pena mencionar que entrelsegmentoy la circunferen correspondencia admis sea toni. asin as tantesutil por ejemplo, as gras! serianequialentesen casa dlequealacicunferencialesaciramos primerotn punta” Pero esta observacion nospermite pensar por eemplaclaconexion 44 Uninpranteresulaoasegr quctdacaracecontina dada sore un ‘ho tenelgrop de dvsiown donegone oncssaa yan {4 sto qupreceuna ene, en resi tun cor fanccoy decon ‘i derma. earner Vale prs unger cra sir 5 mina conoid eee mc ‘ne el Lanna me op en LacaiDAo £540 QUE IFORTA Una circunferenciaa la que sacamos un punto cualquiera sigue Yando un conjunto conexo; en un segmento esto no our, 1o Relindica que las figuras no pueden serequivalentes: Vale la pena aclararque esta identidad topologica respond» Jo que-es una equivalencia en términos logicos. Por empezar, si podemos decir que hay un homeomorfismo entre un cuadrado Juuna circunferencia, es porque existe un “ida y vuelta’; es0 nos Uacierta nocién de simetria SiA es equivalentea 8, entonces B feequivalentea A — — ° Ctra propiedad esl eflexividad, queen este caso es pct camente val Se parece a fanoso poet de Gertrude Sein SUngue no valeséloparalasrosis cualquier objeto es equivalen- eae mismo El homeomorismo que nos permite efectuar esta tents abservacion es llamada funcidn Wentiad, una opera Cinta senella que consiateen no mover nada "latercer propiedad eslatranstvidad st uncuadradoesequt salentes uma creunferencis yuna ceunfrencia au ip e0- Tances a transiviad permiteasegurarqueel cuadradoesequna- lentealaclipae 51 Ay Bson homeomertosy también loson By ntonces debe oxstir un bomeomarnmo entre AYC. a =O > se SIA-BY BC, entonces A-C Para conc exta primer parte vamosaprecsarun poco mis la nocin detpologin como teria matey Al respect, ibe decirquesebasen una nc ide pimina,quees laden birt; ex es sufcete pra define concepte de continua. En a topeogin anal, eet pensar la cin de sera a parirdel concept de entoro: un conjunto Aes enter de Punt xs existealguna "bol cenrada env enttamente co tea em A. En tl sitscin, se ice tambien que wes un pe to interior de A. “ » La definicién de bola” es la esperable: una bola (abierta) de radio r centrada en x es el conjunto de todos los puntos que se encuentran adistancia menor que rde-x. Esto no deja de set una definicion métrica, pues apelaa la distancia, aunque resulta ef «az: siempre hay tiempo para encontrar otras efiniciones equi valentes que no hablen de bolas y radios, Pero lo mas importante es que la nocién de entomo permite definiral conjuntoabierto, simplemente, como aquel que es en- torno de todos sus puntos. En otras palabras, A es abierto s to ddos sus puntos son interiores. Es fcil ver que se curnplen lassi guientes propiedades 44 | 1, Elvacio es abierto, asi como todo el espacio, 2. SiAy Bison abiertos, también lo es su interseccién, 5, Dada una familiacuaiquieradeconjuntosabiertes,launién de todos ellos es un abierto Lanociones de entorno y punto interior permiten definir al unas otras cuestiones iiles. Por un lado, un punto x que per- {enecea A pero noes interior, sedenomina punto frontera, Pero, puede haber otros puntos frontera que estén fuera de A; intui- twamente, se trata de puntos que estin “pegados” al conjunto, dungue no dentro de dl: cualquier bola centrada en elloscontie. ine elementos de A y tambien elementos fuera de A. Por e50, la definicién en realidad es mis precisa:se denomina punto frontera de un conjunto Aa todo puntoque noesinteriora ‘Ay tampoco es interior al complemento de A. Dicho de otra for~ ‘na, no ests enteramente dentro de A ni tampoco enteramente fuera. Elconjunto de puntos frontera se llama fronera de A. Punto Frontera Elpasosiguiente, mucho masabstracto, consiste en decirque tuna topologia para un conjunto X consiste en cualquier familia, desubconjuntos de X (amados 'abiertos") quesatisfaga las pro- piedades1), 2) y3). Estoya nodepende en absolutodel hecho de ‘ue exista una métrica, Elconjunto X provistode una familiacon, tales propiedades se denomina espacio topoldigico. Finalmente, mencionemos que un homeororfismo entredos cespacios Xe ¥ es una funcién biyectiva fX-> Y que preserva la testructura topoligica:losabiertos de X se transforman en abier- tosde Y, y viceversa 45 CapiruLo 2 SUPERFICIES LA INDIFERENCIA DEL MUNDO. ‘Anos mas, aos menos, llevamos un buen tiempovivienda en este mundo, Vesprecisamente nuestravastaexperiencialaquenos permite decir, al eabo, que dicho mundo es mas 0 menos as Nay Cabe sefialar que los libros de geografia, hasados en riguro- sasobservacionesy mediciones, seapresuranaaclararnosque en realidad el mundo esalgo mis achatado: Na, So oro. Panto austen Sin embargo, sabemos bien que el mundo no es ni una cosa nila otra: por mis que supongamos que todo lo que hay sobre susupeficie se eneventra quieto, cuenta con un sinniimero de recovecos, elevaciones, depresiones, o incluso agujeros yasas 0 “manijas" como por ejemplo sos puentesy tineles que unoatra- viesa diario con topoldgica despreocupacién®, A decir verdad, seria prictcamente imposible decireémo es el mundo desde el puntode ista dela geometria,e incluso desde la topologla. Pero aceptemos por fin que el mundo es aproximadamente esférico; ‘abe entonces preguntarse:;por qué el mundo es asi? Plantea to de esa forma parece un lamento, pero puede formularse de |a siguiente manera: zqueé evicencia tenemos de que el mundo «3 como es? Su redondez es algo que se conocia desde mucho tiempo antes deque existieran las fotos satelitales: Io sabia Era- tstenes, quien en el siglo Ill antes de Cristo legé a calewlar la circunferencia de la Tierra con bastante exactitud, Pero, en todo «aso, laesfericidad no es algo que se deduzca con sélo mirar por encima del hombro: por es0, aun suponiendo que en los tiem- os de Colén alguien creyese que la Tierra era plana; zqué cer tezapodian proveer esos viajes? Al fin yal cabo, también podria hhaberse pensado que el mundo es ast Colén se drige rumbo alas indias Lanwoirenenes 96. MUNDO. Suvennicies (0 incluso ast El genovés vuelve aintentarlo Entraspalabras:en caso de haber alcanzado efectivamentelas Indias, todo lo que se habria sacado en limpio -geométricamente hablando~ dela experiencia colombina esalguna que otra certeza respecto de loqueel mundo noes. Por ejemplo, plano. aunque si tes solamente por eso no hacia falta vender las joyas dela Reina’ Pero ello no resueve nuestro problema: zcomo saberque a super- ficiede la Tierra es esfrica?Y, ante todo: qué es una esfera? Resulta mas ficil responder a la segunda pregunta que a la primera, Mas fcil, aunque no trivial, desce el momento en que fstamos hablando de topologia y no de geometria. Por empezar, revisemos la definicion clisica Se llama esfera al conjunto de todos los puntos que se en- ‘cuentran a una distancia positiva fia de cierto punto, de- rnominado “centro! {F Respeco de expediconesinnecesnis erste una cere made Voltaire (gecreeres Mange Hate confrcdo con vfs sfiniento Ingur Newton ysabia sn set dea apoent. Loess" a los ure weoreetestbun desnadora compote UWantgcel verdadero bjt de lear de Can sds apa [ona tesa itercsnte se pucdeenconraren Open Nuee Mundo (La sce de Creal on), de Wiesenthal a Parcedficil encontrar objeciones a una explicacién tan cer te, que nos invita a trazar con total claridad una representa, ‘ién mental de a entidad definida. Sin embargo, si nuestro in- ters ela topologia debemos tener en cuenta, en primer lugar, ‘quelanocién de“esfera” abarca ahora una clase mucho mésam. pliade bjetos: en todo caso, deberiamos poder expresar de al- gin modo que una esfera es cualquier cosa que sea homeomor- fbalaesferacomande la geometria, Aunque eso no es demasia- {docémodo en particular porqueal cabo de tanta perorata sobre ‘antidady“calidad’;serfa interesante que pudiéamos contar conunadefinieién que nose apoye en la métrica Unprimer paso ental direcién consisteen deci, por ejemplo: Se llama ‘esfer" al cualquier objeto que sea homeomor- foauncubo. ‘Aun as, la definicién de “cubo” tampoco es del todo eviden te sisequieren dejar de ado los aspectos métricas Existe, de to dhs formas, un modo adecuade de definir el concept de poie Bo mal Panto Avsren Veamos ahora la construccién usual de este extrafio objeto, ‘a misma que reproduce Lacan en sus Seminarios. El erosscap, también es conocido a veces como mitra, que esque! pintores- cogorro que usan los papas, aunque a decir verdad la mitra es nada més que la parte de arriba. Un nombre mas preciso seri «sera provista de un erosscap: la parte de abajo es una semi-es- fera comin, que se cierra por arriba con ese gorvo cruzado que construiremos en los pedximos parrafos. La construccién pue ddeefectuatse con una bolsa de plistico, a partir de un pequeno recorte: una vez ms, he ahi al syjeto, Porcomodidad, podemos dar un nombrea cada vérticede este rectingulo:A, B, Cy D. No hari fata trazarflechas paraindicarla orientacin, pues astari con escribir los segmentos aser identi ficadoscuidando el orden correctode los vertices. En nuestro di bujo, debemos identifiar AB con CD, y luego BC con DA, a 8 ol c ‘Toda la informacién intrinseca del crosseap se encuentra en este diagrama; ales el sorprendente poder que tiene a veces un fesquemao una formula, de condensar una gran cantidad de in formacién en una expresién de lo mis simple [La construccidn que presenta Lacan en el seminario IX fue propuesta porelaleman Hilbert (acaso el mas importante mate oo. LLanshba oF MOUs, CROSSCAPY LA ROTELLA De KLEDN_Sunenrics mitico del siglo XX), como una manera sencilla de visualzar el {rosscap. Dela misma forma que vimosantesconel toro, debemos, Suponer que en realidad partimos de una esfera, ala querecorta- ‘mostun ecténgulo, Esto es equivalentea pensar que "inflamos" al, {squtema original, como si fuera un pedazo de goma sujetoa una estructura rigida rectangular, © una especie de burbujero: En lcaso del toro, se debe identificar primero el lado AB con ‘su opuiesta, pero recorrido en el mismo sentido: DC. En cambio, hora a intencion es mis retorcida: hay que identificar, pero in- virtiendo antes la orientacién, AB con CD. ‘Una manera cémoda de verloconsiste en imaginar que se le- vantan los vértices A y C paracolgara esta esferadecllos, comosi setratase de una pieza de ropa humeda, Quedan entonces sue! tos, meciéndose al viento el vértice D y por detris el otro, que seliama B roxas Pano Ausrex El primer paso consisteen pegar AB con CD, que se encuen. tan orientados en forma dptima para llevar a cabo nuestro pro. Pista. Ante tan favorable citcunstancia, efectuamos el pegado Sin pédida de tiempo, y la figura se transforma en algo asi Elvéntce superior es A, ya identifieado con C:abajo queds 8, {que es ahora idéntico a D. Fl lado AB, que estaba atti, se pegs Puntoa punto con el lado CD. que estaba adelante Pero odavia quedaron dos lados sueltos:e lado AD en la par tede adelante, y el lado CB en la parte de atris, Se trata de algo asi como bolsillos del tipo napolebnico, con un disefio que per nitiria al emperador también calzar su mano dentro de la cha {quetaporel lado de la espalda. Pero todavia no se tata de las Petficiecerrada que deberia ser, pues aqui podriamos meter una mano, dar la vuelta y extraerla por el otro lado. Lega entoncesel momento tan esperado, de sacar al empera dorde adentro de esta esfera con bolilos, para efectuar ahora la segunda identificacin. Pero he aqui que no se puede: por esd limos antes que el erosscap no se deja sumergir en el espacio tr dimensional, No existe manera de lograrlo: se demuestra mate ‘miticamente que no es posible pegar ahora BC con DA. Lo curio= so esque los lados se encuentran bien orientados, y no parecen {ener otro anhelo que el de unirse; sin embargo, no hay gar por la mente e conviereenun arte oscuro dquelaurb, Paracvitar todos estos “efectos colaterales” dededicarsea una cosaala otra, es que decide tomar lo mejor del andlsis geométricoy del slgebra conigiendo Toedetecie del uno porel ot. ‘Yesto explica entonces la “interrogacién acerca del niimero™ Ethecho esque, agrandes rasgos, el aspecto principal de tan des tacada boda (e famoso "pato de la boda’) consisteen a identi rroxocta Panto Awsren cacidn dela recta con el conjunto de los niimeros reales. A cada puntode la recta lecorresponde un tinico nimero real, yvicever. ‘8, Laoperacion parece de lo mis natural: ‘A pantrdealli, todo marcha bien, pues se piensa los puntos del plano como pares de niimeros reales, y al espacio tridimen- ‘sional como temas. Paracada nueva dimensiéndel espacio, basta conagregarsin nuevo ee, lo queen términos algebraicos corres ponde simplementea una nueva coordenada. Heaquiel espacio Aisenado por Descartes al que Lacan cuestiona en Aum: Sin embargo, debemos aclarar que, por natural queparezca a Jdentificacion entre puntas de larectay niimeros reales noes in ‘mediata. Paralos griegeslos nimeros estabanal serviciodleaque lo que constituia su verdadero interés: la geomettia. Un niime- ro no era précticamente otra cosa que la medida de un segmen- to Pero lo triste del caso es que los griegos sélo concebian mage niinades ractonales; vale decit,aquellas que resultan del eaciente dedos enteros. Aunque eso ibaa chacar definitivamente con la nocién de recta si se pretende que sea un continuo, -EcoRE ENCORE Surenncnes En realidad, fueron los propios griegos quienes descubrieron discontinuidades en su continuo, aunque una suerte de orgullo filosbfico les impidis seguiradelante, fundarunateoriaque tu- vieraen cuentaa los niimeros itracionales. Esque tales nimeros, hoy muy files de pensar como expresiones decimales no perté- sicas,en realidad slo pueden definirsecon ayudade unanocién ‘uy importante en el analisis matemitico: la nocién de limi, tuya formalizacién se hizo esperar unos euantos silos. Sin em= barge, la dea se encuentra ya latente en el antiguo problema de /Aquilesy la tortuga, sobreel cual dice Lacan Un nimero se define de al, ea cual fue, st fal Un niimero tienen limite, yen esta medida es infinite Aguile, ext muy cl ro. slo puede sobrepas al tortuga, no puede leazarla Slo eanzaen la infin Pero, que es el limite? La descripeién lacaniana no parece ovientarnos demasiado: 1! linitee lo que se define como algo mas grande que un punto, ‘Bdspequetoquectra proen ningineagoigual ial punto par {dans al punto de Mega En todo-caso, conviene recurrira una definicién mas matems tea, aunque para facilitar la comprensién dejaremos los rigotes de lado. Comencemos por aquel itacional tan conocido, que fue segin lo historiadores el causante de mas de un dolor de cabeza alos pitagoricos: la aiz cuadtada de 2, cayo valor aproximado es Lana, Este nimero habla sido mencionado por Lacan mucho tiem- po atras, en el Seminario I al referrse al Menon y la diagonal {el cuadrado. Se desprende del propio teorema de PitSgoras que 1a longitud de dicha diagonal es v2 veces el lado del cuadrado; y {fueron los propios pitagoricos quienes demostraron queeste n- ‘mero es irracional. Para ellos, esto era précticamente lo mismo {gue decir que tal numero no exist; se entiende ahora por quéel asunto pudo haberles parecido preocupante. Panto Avsrex ‘orovoctn De acterdo con laeseritura decimal (que nose conocia en los tiempos pitagdricos; la vida era muy complicada en ese enton- {ces_) la iracionalidad de esta magnitud se manifesta en esos ‘muy lacanianos puntos suspensivos, que dan aentender que hay ‘Algo alli que no cesa, Noe trata sblo de lnexistencia de infinitas ‘iffas decimales, puesto que ello ocurre también con otros ni ‘meros mucho mis inocentes, como 2f7 = 02857142857 Peroladiferenciaentrenejemploy otro escrucialestédadapor elperiodo, Podemos decir que laexpresién decimalde2/7"cesa;en «lsentidode que hay una pequeta porcién desu escritura (285714) {queserepite indefinidamente. Eso nospermiteconocerlo porcom- pleto,consdloecharle un vistazo. Encambio, enesacaotica (al me- ‘nos, en apariencia) expresin decimal dela riz de 2, zcomo saber ‘cules, porejemplo,lacifaque esa diez mil lugares después dela ‘coma? Sélo hay tna forma: calcular las primeras diez mil ciffas de su desarrollo una a una. Cosa que se puede hacer, Negar tan lejos ‘como nos plazca lo que no se puede es calcularlas todas, las infni- tas cifias. El nimero y3 es un limite, el valor al cual converge una “sucesin cuyostérminesse parecen entresicadaver mis. Podemos [pensar en sus cifras decimales, una por una anna asta anu. Ahora, zcémo sabemos cusl es el nuevo decimal que corres- onde agregar para construircada nuevo término? Parece mejorintentarcon una sucesién cuyadefinicion nooftez- ‘calugaradudas. Por ejemplo, podemospartirdea, =2,yluegode- finira cada término a partir del anterior de la siguiente manera: Es facil ver que esta sucesion es decreciente, y sus términos son siempre mayores que laraiz cuadrada de 3. Esto prueba que ‘converge a cierto valor L > 0, y una simple cuenta muestra que ‘entonces el limite es v3, pues vale: ab Lucgo 21 = Lt 2,dedonde L= V3 Calculemos, en efecto, los primeros términos: o,= (23) a, = (1.5'+2)/2.45 = 141666. 4,» (191666. 2)/2. 141666... = 14142156. ‘Como puedeobservarse, ostérminosdelasucesin se acerean ‘ada vex misal niimero v3, aunqueen este caso ninguno de-llos ‘es igual a, Pero las observaciones anteriores permiten escribir: lima, = v2 Esto se lee asi: el limite de la sucesién a, cuando n tiende 3 infinto es \3. Intutivamente, debe entenderse de la siguien- te forma: A medida que n crece, el término a, "se acerca” al valor (limi- we) Larecta, como continuo, provienede"agregar"al onjuntode ‘nlimeros racionales todos los irracionales, que son los decimales ro periddicos. De este modo, se logra un conjunto denominado completo, que intuitivamente puede pensarse como “sin aguie- ros” Esta idea de la recta como un continuo es la que permitiri a Lacan misadelante hablar dela consistencia del nudo. Lacompletitud de los nimeros reales se encuentra también ligadaa un concepto de suma importancia, que Lacan introduce en el mismo Seminario XX: la compacidad. En efecto, es Is pro- piedad decompletitud (queen realidad es un axioma) la que per 105 rr rorowosia Patt sre cone, ENCORE rite demostrar que todo conjuntocerradoyacotadodelarecta | _Esto puede parecer una tonterla, pero se tata de una teo- 8 compacto, Mas en general, eso vale para el plano, el espacio tia bien establecida, la teoria de las cortaduras de Dedekind, tridimensional, o cualquier espacio de dimensidn finita provis- tode la topologia usual ara entender la definicién de compacidad, veamos un poco mejor en que consiste el continuo de los niimeros reales, 3 los {que hemos identificado con la recta. Como se define un punto fen la recta? Euclides die: Lo que se hace es definir el conjunto de ntimeros reales partir de los racionales, pensando a ciertos subconjuntas de raciona~ les como “cortaduras" Elproblema noes sencillo, y laconstruccién debe hacersecon elmayorde loscuidados. Los mlimerosracionalesson mucho mis raeonables’, pues para definirlos bastan las palabras: una vez gue conocemosa los naturales, los enteros se forman agregando deste conjunte los nlimeros negativos, y luego los racionales no son mas que cocientes de enteros. Toda racional se escribe em pleando un numero finito de caracteres, ya sea por medio de st atade def (periddico) desarrolio decimal, o bien como una fraccién, En cambio, esto ne ocurre con los niimeros treionales, que para serdefinidos requieren la nocidn de limite. Si bien algunos acionales“terminan’ en el sentide de poder expresarse finita- mente, la idea de un desarrollo infnito y no periodico de cifras Panto eso que na tene partes Recta es aguella linea que yace gualmenterespcto de todes sus puntos. Eso noes mas que una manerade hablarjcasi se niciones -por asi dectlo~ poéticas. Cabe mencionar que un co mentario similar hizo Genevieve Morel respecto de Lacan, cuyas, definiciones “matematicas” resultan mayormente desconcertan- tes. Sin embargo, en Euclides las definiciones no importan; se tienen los postulados que afirman hechos respecto de los pun= ‘decimales debe establecerse con mucho euidado, tos, las reetas etcétera, sin que haga falta saber loque esto "quie- ‘Vamos a verlo una vez ms con la raz cuadrada de 2, de las redecir, mis alla de la propia astraccién. De cualquier modo, iguiente manera: en el continuo de la ecta, hay un punto que es tuna vez que se tienen los conceptos primitives de esta teoria, sobre estos se construyen otros; este proceso si debe estar bien definido, ya veces requiere un gran esfterzo, En particular, e50 ‘es fo que ocurrié con aquel conjunto que los matematicos em- plean desde hace mucho tiempo, el de los nimeros reales, que recidn en el siglo XIX tuvo una definicidn rigurosa '¥ esto tiene relacidn con la idea de “cortar’ una de las defi: niciones del concepto de néimero dice, intutivamente que en ‘cualquier lugar porel quese cortea la recta se encuentra un ni- ‘mero real. Cada punto de la recta es un nlimero real; seria bue- rho entonces tener claro que esa recta no tiene agujeros... no sea ‘cosa que cortemos en un punto que no est, y el cuchillo pase limpiamente de lado a lado, Recta ¥— Sree Esto nos muestra, a modo de primera aproximactén, que se trata de un numero entre ry 2 La informacién no es demasiado exacta, pero al menos es confiable; es0 nos anima a acercarnos tun poco més, achicar el intervalo que contiene al nimero que exactamente v3. No podemosdecit con absolutaprecisionadén- dese encuentra, aunque podemos encontrarlo por medio deuna, sencilla construccidn geomeétria 106 a roretocin Pasko Austex ‘extamos buscando, como si se tratase de una cacerta. Por ejem- plo, s tomamos el punto medio del intervaloy lo elevamos ab ‘undrado, observamos que 1.5" = 2.25, que es mayor que 2 Esto dice que nuestra presa se encuentra en un intervalo mis peque. fo,entreny 1.5. Lo que sigue es fcil de adivinar. i ahora partimosal medio este nuevo intervalo resulta el numero 1.25, cuyo cuadrado es menor que 2; entonces nos quedamos con la mitad que va de 125215, Deesta forma, la trampa sea cinendo sobre 3 cada ez mis, yal eabo de algunos pasos legaremos 2 aproximacio- baz. 137514375) 1.40625, 143751 40625, 1421875), Cada uno de los nuevos intervalos esta contenido en el ante- nor: lo que se llama un encaje de intervalos. ———— = = SE Unenesjedeinteralos 1,3 1? Esto permitedefinirlanociénde limitede otramanera,quetam- bin se insindiaen la misma clase de Encore. Lo que ocurre es que de laanterir familia de intervalos se abtione la riz.cuadrada de pero para ello debemos tomarlesa todos (al menos, a un niimero Infinito de ellos) Son intervalos cada vez mas chicos, cada unoen~ ‘ajado en el anterior: para obtener y> hay que tomar la intersec- cin de un nimero infinto de ellos Porque la interseccisn de wn 108 ‘iimero finico de intervalos es un nuevo intervalo, no trivial: por tjemplo, sitomamos die intervaloslainterseccidn de todos ellos tel intervalo mis pequeno de todos. Pero noes un punto; un in- tervalo no trivial siempre tiene infinitos, un continuo de puntos. Podemos escribitlo ast, denotando J, al intervalo producide enel paso n (y= 63} Puede verse como pottico, 0 quizas no, Pero es, aproximada- mente, lo que dice Lacan. [Nala mis compacto que una fll, Se establece claramente qu a ‘Mimitr como eistente la tterseceiin de todo fo que all se cera nel numero inito de conjuntes, resulta que la interseccion i hea exe mimero infinite, ‘Una nocién importante, asociada a lade limite, lade infini- tésimo, Podemos pensarlo al modo leibniziano, como lo “infin: tamente pequetio® pero eso no tiene sentido dentro del conjun- tode nuimeros positivos. Por ejemplo, si decimos esmayoraoy menora, existe algun valor de x para el cual esta oracidn es verdadera. Lo ‘mismo ocurre para: xes mayor a oy menora 0, yasi sucesivamente: xx eS mayora oy menora.o,01 es mayora oy menora 0,001 “Todas estas oraciones son verdaderas para algiin x, tomadas ddeauuna, y tambien es verdadera laconjuncién de cualquier can- tidad fia de ellas. Pero si tomamos una oracién que sea la con- juncién detodasellas, noexiste ningin valor de x capaz de satis- facerla, Porque la conjuncién dice Para todo valor de n, xes mayora © y menor que 0,9..01 109 ‘rorouoata Paso Awsren Esto significa que x es menor que todos los niimeros de una sucesign que tiende a cero; es decir, que es infnitamente peque- fio, Pero no hay ningiin nimero real que sea infinitamente pe- {quefio;aesa misteriosaentidad seladenomina infiniésimo™ Por cso lacita de Lacan dice: igo ms grande que un punto, mispequeRoquectzo peroen in ‘Simcaso gual al punto de pata nal punto de Hepada Por mas chico que sea x, ses positivo nunca serd igual ao. {A fines de entender la nocién de compacidad, veamos la de- finicidn habitual: Un conjunto se dice compacto cuando todo cubrimiento por abiertos del mismo admite un subcubrimientofinito Segin la topologia usual, esto se expresa més ficilmente di ciendo: Un campacto es un conjunto cerrado y acotado. Porejemplo, el rectangulo de ia izquierda en la figura consti- tuye una porcidn acotada del plano: es un conjunto cerrado, ya {quecontiene ala frontera. En cambio, el otro es abierto pues no ccontiene a ninguno de los puntos de su frontera, hecho que se cexpresa mediante la linea punteada (ef pgina 44): ‘cerrado abiert0 Fa Wilelnpem menor quel infintsimose encuentra bien dfn enna to "inbatote eeote ques denomina ans snd A eb bala ages namnente grander infitamente peti de es oh ‘onary con Que permite extender tei cs de numer eer Excons ENCORE Sureericiss La definicién de compacidad dice que si “tapamos” al rec- tangulo de laizquierda con una familia de abiertos, por ejemplo discos, entonces siempre existe una subfamilia fnita que tam bien lo cubre Es mas fel verlodirectamente sobre la recta. Tomemos por ejemplo el conjunto de nimeros positivos que son menores que 1, geuste alguno de ellos que sea mas grande que todos los de- sas? Es facil ver que no, Por ejemplo, e 0,99 no nos sirve porque ests el 0.999, que es més grandeyy también pertenece al conjunto, Por mascerca que estemos del , siempre podemos agregar mis nueves y obtener ‘plimeros cada vez mas cercanos a Pero el 1 no est en el con junto, por eso no existe “el mas grande” Y de paso observemos. queel mimero °9 ©.9999999999999999, tampoco sirve porque, por extrafio que parezca, noes menor que ‘sino que es igual. Por lo tanto, no ests en el conjunto. Esto qui- 2s merezca una demostracién, a fines de convencer alos lecto- res mis incrédulos. Supongamos que atin no conocemos el valor de esa cantidad, y entonces le ponemos alglin nombre que sue- re serio, por ejemplo x: .9999999999999999. Podemosahora multiplcar por iolosdos miembros dela igual ‘dad, para obtener ast: tox = 9,9999999999999999. Esa es precisamente la gracia de una “tira infinita” de nueves; al correr todo un lugar el desarrollo decimal no se modifica. De festa forma, si restamos ahora la expresiin de ariba menos la de abajo, la parte decimal desaparece y resulta ox ~ x= 9,999999999.. ~0.99999999.. = Esto dice que 9x es igual a 9, de donde x= rorowoste Panto Avsren ‘Volviendoa lo anterior. legamosa la conchisi6n de que noes posible determinar un numero que sea el mds grande del inte. Valo abierto (0.1). Entonces si tomamos los intervalos 09). 1.=(0.099). £= (0,099), 0.09999), tenemos tin cubrimiento por abiertos del intervalo (0) que no _admite wn subcubrimientofinito, Sinosquedamoscon cualquier ‘cantidad finita de intervalos, eso no alcanza para cubrir al (0,1) El cjemplo previo muestra que para la compacidad resulta esencial queel conjuntosea cerrado, También se necesita que sea acotado: por ejemplo, la recta es infinita, noes compacta. Pode- ‘moscubrirlacon infinitos discos, de manera tal que no pueda ex- traerse un subcubrimiento Fnito: Lacan habla también de rebasamicnto: si cubrimosa un com. pacto con discos abiertos, siempre va a haber rebasamiento, al ‘sin sobrante. Porque para terminar de tapar con abiertos a un compacto -salvo que sea vacio-es inevitable cubrirun poco mis de lo necesario; para inclur a la frontera es preciso sobrepasar. la, En cambio, un abierto no tiene por que ser rebasado, porque ‘no es compacto. [Ahora se puede entender eso de que “nada mas compacto que tuna falla”. Un compacto es cerrado y acotado; un punto es sin duda cerrado, y ademis: zexiste algo que sea mas acotado? En 5S Exalpes pees rer spt Fomine ntain qecren pase tchalosbeninesuncorhes mente Deaton el fanlor eae oa realidad si, el conjunto vacio, Desde el punto de vista matems- tico la frase correcta seria: “nada mas compacto que el vacio™ El vacio es tautoldgicamente compacto, {Donde ests la tautologia? Pensemos por un momento.en "cu- bri’ en el sentido de tapar:si tenemos un agujero muy pequerio, cen la remera, entonces para taparlo hace falta poner un parche, Pero si tenemos cero agujeros, entonces para cubrirlos no hace falta ningiin parche: es sufciente con no poner ningin pedazo de tela*, La definicion de compacto dice que todo cubrimiento pot abiertos admite un subcubrimiento finito: como el vacio no tiene elementos, puede ser cubierto con cualquier cosa, En caso de tener un punto, si lo tapamos con infinitos discos basta quedarse con uno que lo contenga, asi se obtiene un sub- ccubrimiento finito, Pero para el vacioes todavia mas ici, secu brecon cero discos, Por eso dijimos que es tautologico: entramosasi en el terreno de la légica, pero es muy fécil de entender, Notemos que cubrir, enestecontexto, significa contener. Sedice que un conjunto esti cubierto por otro si estd incluido en él; cuando decimos que un rectingulo ests cubierto por una familia de discos, loque quere: ‘mos decir es que esta incluid en la union de todos ellos Pero “estar incluido” es una relacién entre conjuntos: y el va cio cumple tautalégicamiente la propiedad de estar incluido en ‘cualquier conjunto, La clave ests en observar que si decimos que ‘A-esta include en B (es subconjunto de B),es0 equivale a decir ‘que todo elemento de A es también elemento de B: si x esta en Aventonces westé en B. Fr Ditioser depo, abe ala queasy "ac son indies 13 roto Panto Ausren Parademostrarqueelvacioesti metido en A, seacual seaeloon. junto A, tenemos que proba la verdad de la siguiente oracin: Sixperteneceal conjunto vacio, entonces x pertenece al con. junto! Pero esto es trivialmente verdadero, pues la premisa es falsa Sempre. Sila premisa es falsa, la implicacién esverdadera, como ‘eurreen este ejemplo tambiém trivial: Sites igual a, entonces mi canario canta en hiingaro, Estoescierto, porque mo esigualaaentonces después deesa flsedad se puede dectrcualguietcoss,Poresola oracionanterior eststlglomentevenader pongucelantecedente" perme, Saleonjnto vaio essempre fo deadeel moments enue Slaton tiene elementos Estolotansornaen unconjumoal Aue erent il ser pores! clair cosa lcubre ng. CAPITULO 3 AL BORDE DE UN AGUJERO En las primeras clases de su seminario..ow pire, Lacan emun= cia unaoracién que mas tarde se hard célebre: ‘Yo te demande que me rechaces ln qe tofezco porque no 550, Esta fase tan singular lo leva a desrtlla las nociones de {fancion proposicionaly de variable, aa que entiende en el sen- tidode Frye ver volumen sage Teri deconjunts). Sin tmbargo ante a completa de los temas que alse iscten Stele pasar desapercondou hecho qe no dead ser signifies tho durante ladcustin en tornos dicha fae tao fog apr neta mension ana ensehanva de Lacan dees aiosnentiad Chto que apoyarasucsfurzodefos aos sigeientes pa hablar Gel agujeroyaquelo gue denomyind punto de ese” Nos fe thos: claro esr al me borromeo, Aunque nilalmente no pa- ‘Grade ina meta observaion acereade unos ingens redonde- issdecuerda fos desllos cada ves mis compla matron Lateora de nadostuva su onigen on Gaus a mediados del siglo XIX, aunque recien a parti del Xl topologla pudo con- tarcon ls herramientasadecuadas para labora teoremas que fueron masalladela confeccion de tabla minuciossclasifican Ao los distnts ipos de nudo. A continuacién veremosalgunas ‘de as defnicionesy resultados basicos de dicha teoria, REDONDELES DE CUERDA QOco Estos son tres nudes. Mejordicho, noson tres nudos; en rea lida. estamos tan acostumbradosa los esquemas planos queso. lemos abusar del Ienguaje. Pero en el fondo se trata del mismo abuso que cometemos cuando, al mostrar una fotografia, deci- ‘mos: “acd estén mi tio Marcos y mi tia Clarita’: Esos no son los dos sino apenas aplanamientos de ciertos nudos que en Bor son sélo dos. En efecto, los itimos dos esquemas corres Ponden a un mismo nudo, que admite una representacién mu- ho mas sencilla Se tata del famoso nudo trivial. Uno se preguntars cual es elsentido dedenominar “nude” aalgo tan descaradamente des- anudado; sin embargo, eso tiene una razén de ser desde el pun: ‘odevistade la constitucién de una teoria. Para fijar ideas, cabe Pensar que el nudo trivial es una especie de “elemento neutro’ ‘como loes el 0 en los mimeros, 0 el vacio en la teoria de con- Juntos: Porque, al fin yal cabo, no es dificil imaginar cuestiona- 16 ‘mientos anilogos, del tipo: si un conjunto es una “coleccign de Cosas, cui es el sentido de denominar “conjunto” a algo que Volviendo al tema, debemos decir en primer lugar queé es un sudo: un nudode n componentes es un conjunto de ncircunfe- renciasdisjuntas, smergidas en el espacio tridimensional. Por- {que no hay que olvidas que en el aspecto intrinseco, los famo- sose intrincados “redondeles de cuerda’ lacanianos no dejan de ser ircunferencias: es su modo de estaren el espacio lo que nos interesa, y nos motiva a manipularlos. La teorla de nudos tie neque ver con ese otro aspecto, el extrinseco, que estudia cémo ‘esos redondeles estan sumergidos en el espacio. Por ejemplo 1 famoso nudo de trébol, como objeto topolbgico. es una cir- ccunferencia: una circunferencia que tiene e! capricho de estar sumergida de cierta manera particular en el espacio. La mane: raeen la que esta sumergida en el espacio es la que la hace dife ob OD FF Repeciodc ndmera etendit pore gegen como malihie el costio ‘aint logn mas Iooue meaesstambicnsls Lepesant pets tl pds grata come pad ea oe 58 Ent ventidaecimporante obser que eespaco tridimensional ico {propiadocomo espacio ambiente delor nado Comose menctnaen RSL == LMctverqucemelespacocusrdimensonal(calealblepero no magnate fin aan dono mancanterenn Prasad gun nemo pdr ‘Senior captor anteriores posemon tambon ceebrarcl bc deg aise tecdesumenpramcromeap une ls de Ress eter al" Decal [uc forma chenpaco tate poses poprdades que eae ‘Sgimscnnio ints exe Hen al uterine Dat Acar cb a ‘Mlnde serene lr Theres spre ke home wh rrooale Paste Aurea Exosnudos no son equivalentes, por masque intrinsecamente nosetrae mis que de dos circunferencias, Podlemos entenderlo pensndo que en ver.de redondeles tenemos dos tubos: CK Para aquel que vive dentro de uno de ellos, no hay forma de enterarse de lo que sucede afuera; no tiene manera de saber s1 sutubo esta anudado o no. Dos nudos de la misma cantidad de ‘componentes son homeomorfos, pues no son mas que coleccio- nesde circunferencias, pero no tienen por qué ser equivalents. Paraquehayaequivalenciaen el sentido extrinsoco, tiene queha- berun homeomorfismo, pero de todo el espacio. Para nuestrosfines, aleanza con algo mis sencill;vamosa pensar |que'sorquivalentes” significa simplemente que si ceforrmamos a tnodeellespodemos obtener otro;enotraspalabras, quese pu: Real Estoda gara unacuriosa bservacidin:sefectuamostn plega- ddocon un dablesadcional,obtenemos como resultado ura hex ddaque noes de Mobius, sino que presenta una dle torsion Ya que hablamos de “plegados" vale la pena mostrar el si- guiente ejemplo, que bien puede efectuarse con la servilleta de Papel en un bar Pero este sencill disenio admite una lectura curiosa, quizés inesperada en este contexte. En primer lugar, observemos que la suma de las reas del cuadrado central y los cuatro triingulos dan por resultado el cuadrado mayor; de este modo, si denota- ‘mos mediante las letras a, by clos lados de cada teianguilo ob: tenemos una formula muy simple x Pinto PANO, St VA LONTANO AunoRo# DF UN AGUIERO (aby + 4 2 Un pocodesgebraclemental produce un “desenlace” notable. Dado que (a ~ b) es igual aa" ~ 2ab + br, entonces se obtiene: @2ab+ b+ 2ab= Luego, eebae. En otras palabras, hemos demosttado el teorema de Pitago~ ras, que dice: en fodo tridngulo rectingulo, el cuadrado de fai potenusa (c) es igual a fa suma de los cuadrados de los eatetos (ary b). De esta forma, el mas célebre teorema geométrico pue- de pensarse como una consecuencia del plegado inocente de un {ozo de papel. Portal motivo, la operactén bien merece ser de- rnominada un plegado pitagérico PIANO PIANO, SE VA LONTANO® En laseccidn previa hemos presentadoa los nudosy otros em brollos, pensadosen su “habitat” natural el espacio tridimensio- ral. ¥ hemos mencionado también al aplanamicnto, que no es otra cosaque una especie de proyeccién’ cuidadosa, enddondese tiene la prucencia de indicar ebmo se eruzan los ils. ay una gran diferencia entre el nudo como abjeto y su repre sentacidn como nudo aplanado: un esquema plano es como una perspectiva del nudo, constituido tinieamente por arcos (o se fmentos),ycruces, in embargo, a pesarde su simplicidad resulta la hetramienta mis efectiva para el estudio de los nudes. Un primer ejercicio consiste en demostrar (0 al menos mos: trar) que el nimmero de arcos de un esquema plano siempre coin cide con el niimero de cruces, Sin embargo, este niimero no ese} “Fo Rerodemor qu en alan a pase plans ne ao sormiocts Panto Avesren ‘mismo para todos los aplanamientos, como se ve por ejemplo en estas dos presentaciones del nudo trivial de una componente: C) cw artes arco Ocruces Ahora bien, de todos los aplanamientos posibles de un mis- ‘mo nudo siempre hay uno cuyo niimero decruces es minimo: se puede demostrar que ese si es un invariante topoldgico al que se denomina indice (crossing index). Elector puede verificar que si tun nudo de una componente no és trivial, entonces su indie es ‘mayor que 2. Por ejemplo, ello ocurre con el ya mencionado (no. 3) audo de trébol SB Vale l pena observar que este nudo es equivalente aeste otro, Barcos Beruces 124 Jo cual nos leva a formular una pregunta: zdénde quedé el tan mentado agujero central, que en el borromeo permitio a Lacan situar su objeto a? Poclemos empezar a sospechar que tal aguje- rono tiene una ubicacién en el nudo, sinoquedepende mas bien del lugar desde donde se lo mire. En las proximas secciones vamos a introducir algunos inva~ santes mas;su funcién principal seri lade distinguir nudos. Por ejemplo, une no podria estar seguro a priori de que el nudo de trébol noes trivial, aunqueel usoadecuadodeciertos invariants permite probarlo, A modode nota historia, cabe mencionar que los primeros intentosde reconocer nudos, alla por fines del siglo XIX, resultaron muy trabajosos: segiin hemos dicho, ateoriare- cidn pudo tener un avance significativo en las primeras décadas del siglo XX, conforme la topologia fue produciendo herramien- tas mis adecuadas, Parece inereible que un objeto tan "tangible" como.un nudo hayadado higaraelucubracionestan complicadas; ello nos recuerda una cita del célebre fisico Paul Dirac: Ihlvezse pdieradeseiirlastuaiinafirmandoque Diosesun ma- tematica de orden muy ato, y quel corsruirel univera se alo de Iatematiess ray elevadas Nocsrasendeblestentatiarencleampo ‘elas matematicas nos permitencomprender una pzcadel univers ‘onforme procedamos a desarolir matemstcas mss mis sper. troscrd ds caper que podamos comprendermejorel unkerso, (Cabe decir que la definicién que hemos dade de mudo no res- ponde con exactitud a los “redondeles de cverda’, pues existen Ciertos nudos matematicos que son fisicamente irtealizables, Hay definiciones un poco diferentes que corrigen este hecho; por ejemplo, puede pedirse que en vez de circunferencias se tra- tede poligonos, en el sentido usual de la geometria, con un i= ‘mero finito de lados rectos. Nuos MuzricoLores Unode losimvariantes mas conocidos se basaen unaideadeco- Toracién de nudos.Sedice que un nudoescoloreablecuandoespo- sible pintar a cada linea de un color, con las siguientes consignas: 125 1 Deben emplearse en tatal dos o tres colores 2 Sien un cruce participan dos colores, entonces parti pan los tres Porejemplo, el nudo trivial dena componente noescolorea: ble, pues no hay forma de pinta ia linea usando “dow ‘otrescolores” En cambio, el nudo de trébol puede colorearse de SD Debemos notar que estamos hablandlo de colorear un nudo, ‘cuandaen realidad lo que hacemosescolorearalguno desis pla: hamientos. Esso lieito? Para tranquilidad del lector, podemos, decirque la respuesta es afirmativa: a propiedad de sercolorea- ble es un invariante topalégico, y en consecuencia no depende ddelaplanamiento, Entre otras cosas, esto demuestra que el nuda de trébol no es trivial, EI nudo borromeo, tal como lo conoce- ‘mos: jes colozeable? ZEs trivial? NoMERO OF ENLAZAMIESTO ALSORDE DE UN AGUIERO NUMERO DE ENLAZAMIENTO aa mudosde doscomponentes exstana interesante manera decerantonalnaliva culn-anudadosestsnambonredonde- E0Sfreat eel lamas numero deenlazaniento (aking mar = Pasco primero debemostenerencucna que cada fedon ‘ep tat ccunfrenca, amie dos orientaclones posibles OO El procedimiento para caleular el linking number consiste en clegir una rientacion para cada una de las componentes,y asig- harel valor 0 -1acada cruce que se produzca entre ambas com- ponentes, de acuerdo con la siguiente convencion: MK X a Luego se suman los valores de todos los eruces, y se divide el resultado por 2 Por ejemplo, en el siguiente nudo hay dos cru- ces, que analizamos por separado & rorovocia _ __Patto ausrex ‘Si“enderezamos” los esquemas que muestran el detalle de, y B. vemos que ambos son eruces del tipo 1, raz60 por la cual el ‘nuda tiene el casi esperable numero de enlazamiento t EI numero de enlazamiento del nudo trivial de das compo- nenteses 0:ello obedece a su obvio estado de “desenlace” Como cen el caso anterior, el numero de enlazamiento no depende del aplanamiento, por lo cual se lo puede considerar una propiedad ‘del nudo. Porejemplo, el mismo caleuleanterior pero aplicadoal siguiente esquemada por resultado 0, yesoesloquecorresponde al caso de dos circunferencias suetas, sin eruces para sumar: YD Xr a, GP En consecuencia, basta con que el niimero de enlazamiento den esquema sea distinto de o para poder asegurar queel nude 'no 65 trivial, y cuanto mayor sea ese valor, mis “enlazado” est ‘el nudo. Por ejemplo, el lector puede verificar que el nimmero de ‘enlazamiento del llamado mudo del Rey Salomén es 2(o bien -2, dependiendode lasorientacioneselegidas), logue pruebaquese encuentra un poco ‘mis enlazado” que la cadena anterior: asa, ? 0 Apesarde sus ventajas, debemosaclarar que no se trata de un invarianteinfalible. Por ejemplo, parael llamado nudo de White- head se verfica que el nudo de enlazamiento eso: By Sin embargo, es facil comprobar que el nudo no es trivial Aclaraciény pregunta: Deberecordarse que parael seule, del nlimero de enlazamiento sélo se deben tener en cuenta los, cruces en los que participan las dos componentes del nudo. En cl aplanamiento antericr, entonces, deben computarse sinica- ‘mente los valores de cuatro cruces, ya que el cruce central esen realidad un autocruce. Podemos preguntarnos entonces: zhay algin aplanamiento de Whitchead (mejor dicho, de su nudo) fen el cual ninguno de los redondeles se cruce consigo mismo? Y, yaque estamos: zpor qué motivo para calcular el numero de cenlazamiento se divide por 2? zNo podria llegar adar un nuime- oo peme Pao us ALBoRDE De ON Ac}ERO Fjercicio: probar quel siguiente nudo esequivalenteasuima- Lal IN LA IMAGEN ESPECLNDO Oo igen especular (en términos lacanianos: no es especularizable): Hemos hablado ya bastante del nudo de trébo!: = Nudo famoso si los hay, sobre se ha planteado alla por i914 una de las primerascuestiones importantes de esta teoria, en esos tiempos todavia incipiente. Se crata de ver si es 0 no equivalente su imagen especular: DESANUDANDO DUIDADES" En la definicién del invariante anterior resulta fundamen- tal tener en cuenta la operacidn de alterar los eruces. Cabe aho- "a preguntarnos: :qué ocurresi en vez dealterarrodos loscruces sélo modificamos algunos? Un ejemplo de un proceder similar ela recordable “pifiada” lacaniana del Seminario XX, segiin se describe en un articulo posterior. Podemos ver otro caso mas sencillo, ntevamente con el nudo de trébol. ;Qué ocurre si aca s0 por efecto de una pifiada equivocamos uno de los eruces? La respuesta es inmediata; el nud se trivialize BHO O ‘Tal vez valga la pena hacer algunos intentos antes de conocer larespuesta: ante estas cosas, nada mejorque un buen fracaso. El echoes que la respuesta es negativa;comosea, su demostracién, escomplicada: noes lo mismo mostrar que demostrar. ‘Aquellos nudos equivalences a su imagen especular son los {que Lacan denominé no especularizables;segiin se puede veri car, esta propiedad es tambign un invariante. La imagen especst- larno es exactamente lo mismo que un reflejo en el espejo:en el caso de los nudas se lo define sencillamente por el procedimien: todealterar todos los eruces de un nudo: pasar pot abajo la lines ‘que esta arriba, y viceversa, “ Eincap de pales rermite 2 una consign icin formula pore ma ‘ernhaco land. Brower seg nul ann primigeriso int ton delsMatematcesto ntsc defo des ddd Ast enender dice Sra ad unafechorie rorovo6tn aso Asn Dado cualquier nudo, resulta evidente que alterando algu.- nos eruces siempre podremos obtener el nud trivial la cant ddad minima de pasos necesarios para lograrlo es un invariant, llamado mimero de desanudamiento.A partir del ejemplo ante. rior vemos que para el trébol dicho niimero 51 (no es o, pues ental caso seria trivial) Cul ese! nimero de desanudasniente de] nudo borromeo? Ante todo, el lector debers observar qui, 28s con alguna sorpresa- lo que ocurre en dicho nude si se mo difca un solo cruce. Pregunta: zes correcto decir que la alteracion de un cruce siempre genera un nudo distinto del original? A MOVERSE CON REIDEMEISTER Una de las maneras misconocidas de operarcon los nudosapla- nadoslaconstituyeun grupo detransformaciones denominadasmo- vimientos de Reidemeister,cuya deseripeign es bien simple: XH Cex Oe -DC ar » AYN R= Sepuede demostrarsin mayoresdificultades que laaplicacién decualquierade los restiposcle movimiento permite partirdeun ‘nudo obtener otro equivalente. Amodode ejemplo, veamoscomo, ‘obtener el nudo trivial aplicando los movimientos (1) (2) nm FID La sorpresa gratificante es que vale también a afirmaci6n re- ciproca, aunque ya noes tan facil de comprobar:si dosesquemas corresponcena nudos equivalentes, entonces existe una secuen- ciade movimientosde Reidemeister que permite pasar de unoal ‘otro, Eso transformaa tales movimientosen algo muy dtil-entre tras cosas, ofrece un modo practico de demostrar que todos los. invariantes que hemos definido hasta el momento son verdade. ros invariantes. La razon es lara: para probar que una propiedad cualquiera definida a partir de los esquemas planos es un inva Fiante, alcanza con demostrar que se mantiene cuando se apli- ‘can movimientos de Reidemeister, lo cual reduce la demostra- ‘cidna la comprobacién de tres situacionesespecificas. Por ejem- plo, sien un esquiema coloreable aparece en alguna parte la pri ‘mera figura del segundo movimiento™, entonces en una colora. ‘cin de dicho esquema la region tiene que ser —o aC En el primer caso, igeramente monocromitico, es claro que se puede mantener el negro todo el tiempo mientras se aplica el AL AoRDE DE UN AGUIERO obien: [Paneer que ablamos de lle, pro hablnos de movinients de Ride 33 rorovo6ia bio A ‘movimiento 2), mientras que en el segundo caso la colorea dad, como puede verse, no se pierde: “Ce DC rt Lamejormanerade gjrcitarseen la aplicacién dedichos mo. vimientosesverificaralgunasequivalenciasentre nudos operan- do paso por paso, por mais que el resultado sea tan obvio que ten- ¢gamos ganas de apurarnos. Por ejemplo, cl siguiente nude pare ‘esimila,a primera vista, al de Whitehead, AD VL Pero “primeras vistas" no siempre son buenas, al menos en ‘estas cuestiones, como se puede comprobar a partir de la apli- ‘acion sucesiva del segundo y el primero de los movimientos de Reidemeister & FBonsowro est cust we WORD DE UN ACLIERO EL BORROMEO, ESE CUASI-TRIVIAI AA igual que la banda de Mabius, el nudo borromeo parece e! frato de una paradoja si denotamos con el signo > la propiedad, de un redondel de pasar sobre otro, tenemos entonces tres re dondeles (R, S, 1) con a siguiente particularidad: R>S212R R s R pase sobre 5 AS) sez 1 pasa sobre R Entalsentido,¢l audo puede ser también “una manera muy ma- terial” (cf nota 37) de presentar quel juego infantil en el que 1a Piedra rompea la Tyjera cl Papel enviclvea la Piedra la Tijeracorta al Papel En otras palabras: no existe uno entre los tres elementos que tenga mas poder que los ottos. Pero no es eso To que define al borromeo, sino la propiedad de ser cuasi-rivial, vale decir: si se suelta un tedondel cualquiera, los otros se liberan Seguin la terminologia lacaniana, los eruces de un nudo se aman puntos de imposibilidad o de trabazén; el nudo borro- ‘mea cuenta come minimo con seis trabazonesquelo mantienen fen equilibrio, Sin embargo, se rata de un equilibrio sumamen- te inestable, ya que la inversidn de cualquiera de los cruces anu Incl caracterdel nudo, ‘Ahora bien, la propiedad borromea no implica que sean sélo 135 ee —_—_—_—_— 7 tres los redondeles; es mais correcta la observacidn de Lacan de (que tres es su minima, pudiend formarse nudos borromeos de incomponentes para cualquier n > 3 “Taleselesfuerzo que hace Lacan al introducirel farmoso symp- ‘thome, cuando muestra que se puede obtener un nudo borromen de cuatro componentesa partirde tres redondelesapilados, sise ‘lternan cuidadosamente los cruces dela siguiente manera “No hay tes sin cuatro” Sin embargo, existe también una “receta” muy sencilla, que surgita en forma inmediataa partir del siguiente ejerccio, jercicio: probar que el nuda borromeo de tres redondeles ces equivalente a este otro: (oS OQ se Con esto seve que para fabricar un nudo borromeo de un nt ‘mero cualquiera de componentes basta con el sencillo procedi ‘miento de abrir el dltimo redondel y agregar la cantidad desea~ 16 dda de"“Tengiietas” intermedias, para finalmente volver a cerrarl, ‘Tal esel intento “pifiado" que hace Lacan en Aun, en donde qui- so mostrar un nudo borromeo de 3 componentes, Paraconcluir esta seccidn, vamos aver una propiedad intere- sante que tiene el nudo de tres componentes al invertir uno de sus cruces. En tal caso, los redondeles directamente involucra- dosen el crucequedan anudados entresi, mientrasel tercero, le josde la escena, resulta “expulsado’ sto puede parecer enojoso, una especie de confabulacién para ‘echaraun tercero endiscordia (0, mejor dicho, dis-cordia)*. Pero también lo podemos verlo como una operacién: sise tiene buena ‘mano, al operar sobre el cruce de dos redondeles podemos obte- ner consectiencias en el tercera, un efecto iberador. ‘TRENZAS ‘Tremasdeleolordel mateamarg.queendaleaon smi lecaro gs Howeno Exvdstr0, “Tareas” En osafios 30, e1 matematico Artin introdujoelconceptoma- temitico de trenza como un medio para estudiar algunas pro- piedades de los nudos. Tal origen quizis induzca a pensar que las trenzas no tienen interés como objetos matemsticos en 37 almenosesa fue la actitud de los matematicos durante algunos aos. Sin embargo, a partir de 1950 se descubrié que la teoria de ttenzas es aplicable adiversos eampos, lo que gener6 un cierto ‘impetuafavor dela investigacion en tal drea. Las trenzassede- finen dewn modo muy sencilloa partirde un cubo, en el cual se tigen n puntos en sus caras superior e inferior para unirlos en tres! mediante eurvas, cada punto de la cara superior con uno dela caa inferior: Para que ladefinicion sea aceptable, se pone como condicién que las curvas ge tracen de manera tal que cualquier plano hori- Zontal corte a cada una de ellas una sola vez. Por ejemplo, la si- fuiente curva no verfica dicha condicidn, y por consiguiente no \efine una trenza de una componente: ¢ De mas esté decir entonces que hay una dnica rena de una ‘componente: la trivial eens ‘ALbORDE be UN AcUIERO ‘Trenza trivial En forma ansloga a la empleada con los nudos, el estudio de Jas renzas puede llevarsea cabo mediante esquemas planos, por ejemplo: CS Deeste modo, seaplicana lastreneasalgunasde lastéenicasya conocidasparallos nudos, como los movimientos de Reidemester, ytambién ciertosinvariantes. Pero las trenzasofrecen una venta- ja, quees Ia posibilidad de pensarse de una manera muy natural apelandoa la teoriade grupos (cf pig. 67). Paraello, definimosel producto entredos trenzasde n componentesc y (simplemente poryuxtaposicién; vale decir,“pegando” loscubos respectivos de modo de que los puntos correspondientes coincidan: orotate Paavo Avsren <5 ‘Yrenza af Resulta fil comprobar que: 1) El producto es asociativo, es decir: (cy -c(P2) para todas las trenzas a. de n componentes, 2) Latrenza trivial den componentes -denotadae,~esele ‘mento neutro; en otras palabras: ‘@e,~¢,c para toda trenza a, Para terminar de verficar que las trenzas de n componentes determinan wn grupo, es preciso mostrar que para toda trenza. fexiste una trenza inversa, denotada a", de modo tal que vale: Jaana En efecto, dada cualquier a basta con tomar su imagen espe- tal inferior, por ejemplo (trenea eval de Seomsoneres) hao anes ALbonDe or ux acuyero De este modo, cada trenza de n componentes puede ser pen- sadaen forma puramentealgebraicacomoelementode un grupo, denominado braid group. Mas aun, es muy sencillo dar una pre

También podría gustarte