ro. M.

KOPWYHOB

MATEMATYf 4ECKYIE OCHOBbI KYIBEPHETHKH

H3aATEnbCTBO ,~HEprHHn MOCKBA

Yu. M. KORSHUNOV

FUNDAMENTOS MATEMATICOS de 1a

CIBERNETICA

EDITORIAL MIR MOSCO

TRIlDUClDO DEL RUSO POR El INOENIERO ROIlERTO LANIER ALVAREZ

Irnpreso en 18 URSS

Ha ucnauceo;« fl3bJl<l~

© Traduccicn at espafiol. Editorial Mir. Masku

INDICE

PROloao • . , , . .

INTRDDUCCION .

[.1. Objeto de la Cibemetica . • .

1.2, Transinislon y codlllcaclon de la inforruaci6n' 1·3. Couceplo d(> sistema control ado

Probl~mas para la mtroducclou , .

INDICE DE NDTACfONES

II 13 13 17 20 2.3

25

PARTE PRI/I>\ERA FUNDAMENTOS DE MATEMAilGAS DISCRETAS

CAPITULO 1>111/>\£110, CDNCEPTOS BASICOS DE I.A TEOR!,\ DE lOS CONJUNTOS d7

1.1. Conjuntos flnitos c infinitos . . . • . . . , , . . . • , . 27

a) Definiclones Iundarnentafes , . . . . . 27

b) Concepto de subconjunto • . . . . . • 29

c) Llmites superior e .infcrior de un ccnjunto 30

1·2. Operaciones con con/'untos . • 31

a) Observaciones pre irnlnares 31

b) Uni6n de crlOjuolos. . 32

c) Interseccion de conjunlos . 33

d) Dllerencia de conjuntos . 35

e) COI1JUtl!O univ(>rsal. 36

I) Complernenlo de un conjunto , • . . 37

g) Fracctonarnlento de un conjunto . . . 38

h) Identidades del algebra de los conjuntos • . . . . .. 39

J 3. Ordenacion de elementos y produdo directo de los conjuntos . 41

a) Conjunlo ordenado . . . • 41

b) Producto dlrccto de conjuntos 43

c} Proyeccion de un conjunto . 41

1·4. Correspondencias ...,. 44

a) Delinicion de correspon dencia 44

b) Correspondencla lnversa . . . 46

c) Composicion de correspcndendas 46

1-5. ~cflejos y lunciones . . . . . . 47

,,) Reflejos y sus propiedades , . . . 47

'b) RefleJos presentados en un conjunto 49

c) Funcion, funcfonal 'j operador . . . 51

.1·6, ReI aclones .........,..,.... 53

a) Relaci6n como represenlaclon del enlace muluo entre los Ieno-

menos, . . . • . . • • . . . . 53

b) Propiedades de las relaciones . , . . . . • . . 54

5

c) Relacion de equivalencia . .

d) Rnl adon de orden • . • •

e) Relae;o" de prcdomlnio ..

1·7. Algunos conceplcs de algebra superlor

a) Grupo s, arnllos y campos . .

b) lsornorltsmo. Hornornorftsmo. Sitln;I"~io;1 Probkmes para el capitulo I

55 56 57 57 57 59 60

CAI'ITI!LO SEGUNDO. r-UNDAME:NTOS DE LA TEOR!A DE l05 Gf'AFOS.

Z·J. Definiciones lundamentates de I" teoria de los grafo' .

"l Delinici6n de grnfo s<'gim In Icorla de conjuntos . . , . b Relacion de orden y relacion de equivalcncia en un grafo c) Caracterfsticas de los grafo" . . • . . . , . . . ,

2·2. Problema del camino minima

a 1 Enunctado del problema . . .

b) Btisqueda del camino mlnlmc en ~n 'gr~r~ c~n 'arisl~s de la~g~

unHario . ...............,

c) Busquedu del camino mInimo en un graro con arlstas de largo

arbHrariQ. . . . . , . . . . . . 71

d) Con5lrucd6n del gralo de l~rgD minimo 73

2·3 Redes de transporte . . . . 74

,,) COIIC<:ptos Iund ameut ales . . .. , 74

b) Problema del [lu}o maxtmo . . . . . 76

c) Problema de transporte 79

62 62 62 65 67 58 68

59

CA<'JTIJLO T!!.llCERO. ESPACIOS HUL "IDUIEto.'SloNAr.ES 86

3·1, Espacics me\ricos y diSiancias . 86

a) Concepto de dtstancla _ . . . . • . . 86

b) Definicion de espacio metrico . . . . 87

c) Ejcmptos d e espacios metricos , . . • ' . . 118

3--2, I nterprctaclon geometrka de I as scii~ les y mensajes 89

a) Espaclo de rnensajes . . • . . " 89

b) Conceplo de codigos estab les a lns lnter! erencias 90

3--3. Esp acics l lneales norrnad os . . . . . . . . . 92

a) Espacio lineal . . . . . . . . . . . 92

bl ESp2Cio lineal norrnado ..... 93

3·4. Ap licacldn de los espaclcs multldlrnenslonales en' alg.u;IO~ preble-

m 3S de c!bemelica . . . .. . . . .

al Atenuaclon de errores ell datos e.~perlmcnlalc~

b Problemll de identification de imligcncs . . .

3-5, lmagen~s gcometricas en el cspacio multidlrnenstonnt 3) Coneepto de hip ercsfer a . . .

b) Conjuntos Iimttados y Jinitos-

c) Coniunlos abierlos l' ~rrados. ....

d) Conceplo de hiperplanc . . . . . . . , . . . . . . •

e) Ecuacidn del se~me!llo. Concepto de conjunt o medic pondcradc

per elementos .. .

3,,6. Conjuntos convexos y sus propiedade.s

a) j)(ofinici6n de conjunto COllvexo . . .

b) Envollur,. ccnvexa de un con] unlo finil 0 Problemas para ~ I capitulo 3 .

CAPITULO CUAIlTO. ELEMENTOS DE AlGE8RA tOG!CA

4·1, Operaciones l<igicas • . ,

a) Concepto de proposlcton . • . .

b) Proposicicnes simp las y cornpuestas . .

c) Presentacion de las operaciones l"gic"s 4.,2, Algebra de proposiclones , . _ , . . . a) Ne~aci6n , , .

bl Adiclon logica .

6

>14 94 97 99 99 99

100 100

10] 102 In2 10) 107

108 108 108 109 110 112 112 112

c) Mulliplicaci60 logic:. • . . , . . . . . . dl Funclones booleanas . . . - .

e) Leyes e tdcntldades del Iilgebr" de ptoposiciones

4·3, S lntesls de los esquemas combtnatcrlcs . • . .

a) Concepto de esquema combinalorlo . . . , . . , . .

b) Composiclon de una Iormula logien SCl<lJn una (~hld darla

c) SI;npliflcad6n de> las formulas booleanas . . . . . _

d) Ejemplos de slntests de esquemas combinatortos . 4-4_ Concepto de dlspositlvos automattcos Ierrnlnalea . .

a) Esquemn cornblnatorlo como dtsposltivo aulomatico I;'rmil;~l'"il;

memoria ... " . .. . ..•..

b) Dispcsltlvos autcmaticos terrnlna lcs de IIpo genNal Pmblemas para cl capitulo 4 . . , . . . • •

113 114 116 118 118 120 122 124 126

126 128 133

CAPITULO QlTlNTO. CORRELACIONf!S OE LA TEORI,\ OE LOS CON.JUNTOS Et-: I./l TEORIA OJ:: PROBAIHLIO,\OES Y lll"eMENTOS DE ESTAD(SnCA

MATEM_ATlC/I • ." • . 134

5·1. Concepto de probabllidad . . . . • • . . . . • 134

a) Succso y espacic de resultados de experlmento . 134

b) Concep!o de probabllld ad . _ . . . . . . . 13:;

c) Probabllidad de un sue-eso alea Iorio . . . . . . ! 36

d) Espacio prob ablltsttco . . . . . la7

5-2. Cakulo de probablhdadcs . . . . ' . . . . , . n8

a) ,\-\etorlos de atrlbuclon de Ia medtda probablhsttca 133

b)' Propledades de la medida prcbabllisttca . . . . 110

5·3. Probah+lldades condlcionales . . . . . . . . . 141

a) Concepto de prob abilidad condicional . . . . . 141

b) /I'lagnrtudes alealorias bidimensionales . • . . . 142

c) Formula de la probabilldad completa _ . . . . 144

5-4. ,\\agnitudes aleatcrias continuas y sus distribucicnes 145

a} Concepto de magnltud aleatoria continua . • . . 145

b) Funcien de distribution de probabilidades • 145

c) Densldad de dlstribucien de probabilidades 146

d) Dlstribucion unliorme . . • " . . . . 147

e) Distribucicn normal . . " . . .. . . . . 148

5·5. Caracterisncas nurnerables de las magnitudes aleatortas 150

II) Concerto <1" caracterisucas numerables . . . . . . . . • 150 I.J) Va lor medio (esperanaa matemauca) de una magnitud "lea torta 150

c) Valor medic de una Iuncicn de magnitud aleatoria . .. 151

d) Valor mcdlo de una fuodon de des magnitudes aleetorias 153

c) Esperanza rnalematlca ccndicional 154

£) Proplcdades del valor medio . . 154

g) Momcutos. Dtsperston. Oe.sviadon cuadr ailca media 155

h) Regresion y correlacion . . . . 156

5-6_ Proccsos cstocastlcos discretos . . . . . 159

a) Tipos de procesos estocasucos discretos 159

b) Proceso de pruebas lndependientes con dos resultados Ois"lrl:

buclon binomial de probabltidades . . 161

c) Distrtbuclon de Poisson . . . . . 163

d} Dtstrfbuclon exponenctal. Concepto de fiaI.Jilidad 1M

e) Cadenas de Mirkov . . . . . . 16S

5-7_ Elementos de ostadlstlca matcmsttca 172

a) Objeto de I a estadlstica matematlca 172

b) Concepto de muestreo alentorlo . • . 173

c) Teor emas llmites de III teorla de Ins probabilidades 173

d) Problemas de la estadistica maternatlca . . . . . " 1711

e) Esthnacfories no desplazudas ~ e la medla '! 13 dispersi6n . . 171

f) Busqueda de las estimaclones por e.J ruetono de mil xima vero-

similitud . . . . . . . . . • . . . . . . 180

7

g) Estlrnacion de los para metros per el rnetodo de lnlervalos de

conflanz a ...,.,...........

h) Vertltcacton d e las' hlp61~sjs estadlstlcas. Concepto de crlterio de acuer do ,

Problemas p ara el Co pltulo 5 -,

PARTE SEGLINDA OPTIt.lIZACION DE LOS PROCESOS DE MANDO

CAP(T1JtO SEXTO, EsTRUCTURA Y DESCR1PCION MATIl~\ATICA DE' LOS

BI.EMAS DI; MANDO OPT 1.'''10 , '.

6·1. Rasgos prineip ales del proceso de mando , .

a) Concepto de mando , . , . . . . , •

b) Tipos de problemas de mnndo , • . . •

c) Concep to de iJ;lVesligal!i6n de operacloncs .

6·2. Optlmlzacidn del proceso de mando , . . .

a) Criteria de calidad de mando . • • . _ .

b) Llrnitaciones impuestas al proceso de rnando .

c) Enunciade del problema del mando 6plim(} , 6·3. Oescripci6n matemallca del objeto contrclauo . . al Estrueturu del obleto centro 18 do, , . .

b Ecuaclones de mcvimlento del objelo controludo .

6,4. Clasi!icaci6n de los problemas de mando optlmo _ .

al Problemas de lorna de declslou de un paso. ' . b Problemas dtnamlcos de optlrnlzacion de mando . ~) Mand", del estado final. . , . . , , . . . . cl) Juegos dlierenciales . . . . . . . . .

6·5. PJocesos .do mando de pasos muittp les .. .

a) Comportarniento de un sistema dinarnrco ,'01110 lunci<.ln del es·

tado iniclnl . . . . ' • • . . • . . , . . . . . . .

b) Rcprescntacidn d.e 1,111 proccso dlnamtco en forma de sucesion de

transformaclones ..........•......

c) Proceso de mando de paso. multiples . , . . . . . . . .

d) Criterlo de calidad MI mando en el proceso de pasos multiples

6·6. Problema delerminado de optlmtzaclon de un paso con variable unidimensional de estado . . • . . . . , • • • . • . . • Bl Enunclado del problema. . . . . • . . . . . . . • , b Caso Q~I con] 1,111 to ltnlto de soluclonus ad mlsibles .

c) C "SO d el conluntc inl\niio lsmitado de sctuclcnes ~ dn"sibl~. "

d) A.pHcacion de las iormulas de tnterpolacion . .

CAPITULO SEPTIMO. PI!OGRAMACION LINeAL , _. .

7·1. Enunciado del problema de prograrnacicn lineal. a) Deluuclones Iundarnentales , . . . . . , . b] Ejemplos do problemas de programaciun llneal . . ' , . . . c) 1 nterpretaclon aCof1)etrica de I problem. de progranHlcion ti neal

7·2, R.esolucion del problema de progr arnaclon Jineal . . . . , . •

a) Algebra del, rnetodo simp lex. . . . . . , . , .

b) Metodo tabular de busquerla de la soluclcn 6pUma .

c) Problema dual de programaclon tineal . . . . . . d) Concepto de programacron de numcros entcros , • .

Problemas para _Ill capitulo 7. • • • • . . • • • . •

CAI'/TUI.O OCTAVO. TEORl,\ DE 'LOS JUEGOS

8-1. Objeto de la lcoria de toe [uegos . . .

a) Juego como ruodclo de una situacion de 'cOI;fliClo

8

182 18S tae

PRO· 189 IB9 la9 190 191 193 193 195 195 196 196 200 20t 201 205

.207 208 209

209 210 211 212

213 213 214 215 217

, 220

• 220 220 222 225 228 228

230 23.4 237 238

239 239 239

b) Conceplo de estrategia. . • . . . . . .

c) Descripclon formal del [uego de dos personas

d) Preeios superior e inferior del juego . . . .

8-2. Prectos y estrategins opumas de los jueIlOS.. . ,...

A~ Juego con punto sllla , • . . , . . . . '.' .,"

b Estr a teg~as puras y midas, . . . • . , . . , . . . • c fUllci6n de perdidas al uttliz ar estr ategias mlxtas . . . . . . d) Precios superior e inferior del juego al utihz ar estr atcgtas mix-

8-3. Tc~:~'ma' (~nd'a~\lnigl' de I;" ieo;ia' d~ los 'iu~g~s: : :

a) Juego S . .. ...........,

b) Prcclos inferior y superior del jucgo en 1'1 jucgo S .

c) Teorema de minimax. . . . . . . . . . . . .

d) Represenhtion lI'eometr Jca del prlncip 10 de minimax

8-4. Resoluclou de los Jucgos. . . . . . . . . . . ,

a) Estrntegtas predominantes y "tlles. . • . , ,

b) Busqucda de las cstrateglas optimas , . . . .

c) Rcpresentaclon geometries del principio de minimax

de 2 X n . . .. _.

Problemas para el capitulo 8. .

240 241 246 24-'1 248 24g 252

253 256 256 259 261 263 264 261 • . • . , 268 en .1 juego 271

272

C~P1TU~O NOVENO. nOnJl\ l)E L.~s l)EC1S10NI'S P.STA01STICAS

ESTADISTlCOS) .

9-1. Eslruclura de 105 juegos estadistlcos

al Juegos estrateglcos y estadlstlcos . . . . , . . . , , b Espacio de estratcgtas de la natura leza . . . . . . '

c) Espaclo de cstralcg-ias del estadista y ! uncion de I'enlidas .

d) Ejemplos de [uegcs estadlstlcos . • • . . . . . . .

9-2. Juegos estadisticos sin expcrtrnento , . . . , . . . . . . .

a) Repvesentaclon del jue~o estadlstlco "in expertrnento en forma

de jucgo S . . .. . . •. ....•.. 278

b) EsLra{~~ias admlstbles en los [uegos cstedlstlccs . . . . , , 278

c) Prmctptc de eleccron de las estrateglas en los juegos estadjstl-

cos . . . . . . . . . . . . . , . • . . , ., 280

d) Intcrp retacton gecrnelrtca de I as estrategtas de fJ ayes . 282

9-3. Jucgos estadistlcos con rellii,.ation de un cxperirnento ,;"ieo . 284

II) Enunclado de! problcrna , 284

b? Esp acto mucstr al . . . 285

c Fuucion de decision. . 286

d) Punciou rl~ rlesgc . . . "" . . 288

e) Principles ,de elecclon de la dstr'ah;gi~ en tos jll"!:ns con cxperimcnto "nlco . . . . . _ . . . . . . . . . . , . . 290 9·4. Utiljz~ci6n de las prcbsblltdades aposterior lsficas . . , . . . 291 ~) Deterrn ina~16n del. numero de estrategi&s en los Juegos COil ~x-

per lrnento . .'.,.........,.... 291

b) DlstribucioJl aposteriorfstlca de probabilldades. FOrmula de

Bayes . _ . . . . . . • , • . . . • . . . 292

c) Principia de verostmilltud maxima . . ., .. 29'1

d) Detertn macton de In dectston de B ayes sobre I. base del emp leo

de las probabifidadc •• pcstertorlstfcas . .. .. 295

,1:) Problema do do; alternatlvas . . . . . . . 296

9·5. Juegos cstadisticos con rnucstrns consecntivas . , 299

0) Observaciones pretimlnares . . . . . . . . . 209

b) Utlljzacion de la dlstrubuclon apostortortstlca de prohabihdades

par. deterrninar las rcglas consecutlvas de Bayes ,

c) Regl~ do las muostras consecutlvas , . . . . . . ,II Funcion di' ricsgo con la regla ccnsecutlva optima e) Dderminad6n de los dominies de par ada

Probternas para el capitulo 9 . . • . , . .

(JUEGOS

Z7J 273 273 271 215 276 278

301 303 303 J06 308

o

CAPITULO D~CIMO. PROGIlAMIICION DJNAM1CA • ., ..'.... 309

10-1. Control optimo como problema vartacionnl . . . . . • 309

a) Enunciado maternatico del problema de control optlrno . • . 309

b) Diiicullades relaclonadas con ta r~sol"diln del problema variaclcnal • . • . . . . . _ . . . . . . . . . . . _ . 312

)0·2. M.elodo de programacton dinarnlca ; ...•.... _ . 314

a) Forma discrete (discontinua] del problema varlacicna! . . . . 314

b) Relactones recurrentes del rnelodo de prograrnacien dtnamlca . 315

c) Aspectos de calculo de 18 prcgramaclon dim\mka . .... 317

tI) Control de] estado lin al ..... 323

e} Relacton recurrente para los procescs de :i\Ii~I;~1' : .:it"

Problemas para eJ capitulo 10. . , • . . . 326

PROLOGO

Las nuevas corrientes cientlilcas surgidas en los ultimos afios que se abarcan con la palabra "cibernetica", encuentran su aplicacion mas vasta en l a rama de la autornatica y telemecanica, En las disciplinas explicadas en esla especialidad se reflejan las cuestlones de la teoria de la informacion, teorla de la deteccion esiadlslica de senates, lear! a de los sistema s 6ptimos, leorla dc los disposltivos autcmaticos terminales, asi como una serie de princlpios bqsadcs en las teorias de los [uogos y de las dectsiones estadisticas.

Sin embargo, la exposici6n de los asunlos de eibernHiea en curses especiales tropieza COil la seria dificultad de que el curso tradicicnal de rnatematicas superiores de los centres de enseiianza superior l ecnica, que haee h lncapie en 10 continuo y determ ina do, no brinda el Iundarnento requerido para el estudio de estas nuevas discip I inns cuya base desca nsa en 10 discrete y aleatorio. Estes asuntos pucden exponerse en las discipllnss "Fundamentos Matematicos de la Cibernettca" 0 "Fundarnentos Teoricos de Ia Cibernetlca". No obstante, en la actualidad no hay libros de texto algunos sobre estas astgnaturas.

La preseriie obra constituye el primer intento de subsa n 11 r esla deficiencia existente. Ella ha sido preparada Iundarnentandose en la ensefianz.a de dicha disclp lina 11 los estudiantes de la especlaIidad de A utcmatlca y Telemecanlca y de otras especial: da des aflnes en el Instituto R.adiote.cnico de Riaz an.

El libra consta de la lntroducei6n y de dos partes que comprenden d lez capitulos.

En la introducclen, adernas del concepto de sistema clbernetlco, se brindan algunos datos sobre los sistemas de comunlcaci6n y control, 10 que perrnite ilustrar ciertos rnetodos maternatlcos can ejernplos altnes ala especialldad.

En la pr imera parte se exponen varies capitulos de las matematicos muy necesarios al ingeniero pero no Incluidos en el programa de materna ficas superiores de los centres de ensefianz a superior [erniea. EI materia I de la primera parte tlcne gran valor independiente, ya que permite resolver una serie de tareas de gran lmportancia practlca en la eslera de la automatlca y telernecanlca.

11

No obstante, la eleccion del contenrdo se ha realiz ado de tal modo que la primera parte sirve de introduccion matematlcu a Ia segunda parte dedlcada a la optlrnizuclon de los procesos de control y que tiene par objetivo introducir- al estudiante en el circulo de conceptos de la teoria de control moderna.

Par supuesto qlle en un libra de volurnen llmitado como este s6Lo fue posible rellejar una pequefia parte de los conceptos y metcdos ulilizados en cibernetica, Esto Sf refier e tanto a la primera parte de la obra como, en p.articula r, a la segurida. En especial, la opttrntzacicn de los procesos de control que viene a ser parte esencial de la teorla general del control, se bas a en gran rnedida, en e! analisis rna temattco y el calculo de variaciones clasicos. Los metodos de optlmizacidn del control ela bor ados sabre dicha base, estudiados par 10 comun en cl curso "Teorla del control autornatlco" y en algunos curses especiales, no han sido exarninados detalladamente en las pagin as de la ohr a presen Ie. La a tenci6n principal se ha prestado a aquetlas ideas y metodos que surgieron gracias al desarrollo de la cibernetica y la aparlcion de las calculadoras numericas. Par otra parte, tamblen en estas cuestiones el autor, en varros casos, se ha vista obligado a lirnitarse s610 al bas· quejo esquernatico de las ideas Iundarnent ales,

En necesarlo sefialar tarnhien que aunque casi lodos los rnetodos estudiados se ilustran can ejernplos y problemas, los metodos numerrcos de calculo solo pueden dominarse con exito a base de fa resolucion independiente de problemas, 10 que puede garantizatse realizando clases practicas y distribuyendo tareas de calculo sabre este curse.

EI autor constdera un deber expresar su gratltud a los crlticos

L. T. Kuzin y D. A. Pospelov, asi como a I redactor N. J. Glazunov cuyas valiosa s observaciones contr ibuyeron a mejorar el contenido de la obra.

El au/or

INTRODuccrON

1·1. OBJETQ DE LA ci BERNETICA

La cibernetica es una ciencia [oven que surgio en los pr imeros afios despues de la Segunda Guerra Mundial y se desarrollo tan impetuosarnente que en la actualldad ha conquislado posiciones Ormes en muchas ram as de la ciencia y de la tecnlca, La cibernetica debe sus exitos a I descubrimiento de una serie de an aloglas entre el Iuncionarniento de los dlspositfvos tecnlcos, la actividad vital de los organismos y el desarrollo de las colectlvidades de seres vivos. La cibernetica relorzo estas analogias derivadas de razonamfentos generales de car scter metodol6gico, creando metedos rnaternaticos que perrnitian descrlbir desde un punta de vista cuantitativo, los procesos que ocurren en sistemas de la natur aleza Ilsica mas dtversa. Los principios de la ciberuetlca encuentran vasta apltcacion en autornaticn y telernecanlca, teoria de la cornunteaclcn, economia, soctologla, blologia y mcdicina,

La propia palabra "cibernetica'' es de origen grlego. Los antiguos grlegos designaban con esta palabra el arte de gobernar las naves. En et siglo XVIII el terrnlno "cibernetica" se uLiliza per el erninente Iislco y matematlco A. M. Ampere para definir la ciencia de gobernar el Estado. En su interpretaci6n conternpor anea se enLiende per cibernetica 13 ciencia del control en el sentido mas amplio de esta palabra. La acepci6n presente del termino "clbemeHca" esta vinclulada al nornbre del gran maternafico norteamericeno N. Wiener, euya cbr a "Clbemettca 0 control y cornunicacion en cl Animal y la Maquina", que vlo la luz en 1948, dio inicio a 18 formaci6n de esta nueva disciplina cientifica,

La aparicidn de 18 cibernettca como ciencia del control, estu Ii ga d a a I progreso teen ico genera 1 q LIe ca ractertz a el desa rrollo de las Iuerzas prcductivas en la epoca actual.

Antes de surgir la cibetnetica, las prlnclpales direcciones del desarrollo de la tecnica se caractertzaban, en primer lugar, por la creaci6n de. dtsposltivos que servian para oblener y transforrnar la energia (por ejemplo, rnaqulnas de vapor, turbtrias, genera dares de energia electrlca, rnotores electricos y de otros tipos, etc.) y, ell segundo, par In creacion de dlsposltivos destinados a influir sobre

13

la natura lew circund ante. En tales disposn ivos J a a!enci6n pr incipal esl~ puesta en las relaciones energsttcas siendo el rendirnlento cl indice mas import.ante de su funcionamiento. La sencillez rela· tiva de los disposltivos tecnlcos no situaba en un lugar p articular el problema del control de los rn ismos. EI hombre t rab aj ab a y mandaba stmul \aneamC'1l te e! objeto de su traba]o. L~ informacion requerlda para el rna ndo la obterna di r ectamente de sus organos sensluvos, observando los resultados de su trabajo.

Sin embargo, el progreso de la tecnica condu]o a rnediados del siglo XX a la creacion de sistemas tecnicos Ian complejos que los problemas del control de los rnlsrnos comenz a ron II super ar I as posibi lidades fis[ol6gicas del ser humane, A finales de la Segunda Guerra Mundial tal problema rue 10'1 creacton de un sistema de mando automatico del fuego antiaereo, que, sien do las velocidades de los avinnes cornparables a la velocidad del proyectil a ntiaereo, podria seguir el curse ,de los aviones, realizer el calculo de sus trayectcrias y apuntar los canon es sin la in lervenclon del hombre. En tales sistemas so prornueven a primer plano los problemas de la obtencion de informacion sobre las condiciones ambientales y de la elaboracicn de dicha information can el objeto de exlr aer de ella datos oliles para el control y del empleo de dicha tnlorrnaclon para realiz ar actividades orienladas hacia una finaJidad determin ada, o sea, los problemas de 10'1 creacion de dispositivos que sirvan para la comunicaclon. y el, control. La necesidad de resolver estos problemas provoco un r apldo progreso en l a esiera de Ia teorla de la comurucaclcn, tecnica de calculo y automatiea, 10 que dio inieio al desarrollo de aqucllas ideas que posterior mente constituyeron el Iundamento de la cibernetica.

Los dtspositivos de comunlcacicn y control difieren substanclalmente de los dispositivos tecntcos apuntados mas arriba, en el sentido de que en estes, las relaciones ensrgeticas no juegan un papel primordial y se presta atencion principal a su capacidad de transmil ir y elabcrar sin distorsiones grandes cantlda des de inforrnaci6n. Asl, en una linea de radiocomunicaci6n, s610 lIega al receptor una parte Infima de la energ+a irradiada por 10'1 antena del radiotransmisor y el rendimiento results sumamente bajo. No obstante, l a linea de ra diocomunicacion se considera buena si los mensajes se transmiten por l a misma con pequeiias dlstorslones y no est an sometidos a. Ia influencia de las Interferencias. De este modo, los procesos Iun darnentales en los dispositivos de comunicactcn y de control, son los de transrnlslcn y elaboraci6n de Ia Informaclony no los procesos relacionados con l a tr an sf orrnaclon y utilizaei6n de 10'1 energia.

La carencia de importancia de las relaciones energeticas en los problemas de cornunicacion y de control perrnite abstraerse de las particularida des ttslcas de los portadores de la informacion yde la naturaleza flsica de los sistemas en los cuales se uti] iz a dtcha ·informacion. Por eso 18 ciberriettca es 18 teoria general de la cornu-

14

nicacion y el control, aplicahle <1 cualquier sistema, Independtentemente de su natur aleza Iistca.

EI concepto de sistema, adernas del conceplo de contro! euyo sentido exacto sera aclarado mas adalarne, es el concepto fundamental de l a clbernetica. Cualquier sistema real existente consla de objetos concretes, en ca Ii dad de los cuales pueden interven ir dispositivos tecnlcos. individuos que mandan dtcnos dlsposltlvos. recursos malerlales, etc. Estes ohjetos estan vlnculados entre si y can el mundo circundante mediante determinados enlaces que constituyen I~er'las y flyios de energia, rn~t_eria e i nlorma7i6n. Pero la cibernetica presclnde del contenido itSICO de las propleda des de los objetos y enlaces considerando el sistema real como un conjunto abstracto de elementos dotados de propiedades cornunes que se encue.ntran en ciertas relacicnes mutuas deterrnlnadas par el caracter de los enlaces existentes. Ta\ concepcion perrnite rerurnciar

a la division acostumur ada de los sistemas en rnecanicos, electrtcos, quimicos, biologtcos, etc., e intrcducir el concepto de sistema ctbernetico abstracto como conjunto de elementos interrelacionados que in!luyen unos sabre otros, En la Iigur a I -I se da un ejernplo de sistema ciberrietico que consta de - cua tro elementos y seis enlaces

mutuos. Fig. 1·1. Ejemplo de un sistema cl-

EI exarnen del sistema como berneiico

conjunto de elementos posibilita

la utiliza cion de la teoria de los conjuntcs como inslrumento para su descrtpcicn matematlca. Por clerto, en a lgunos cases de irnporLancia es convenienle ernplcar la logica rna tematica como mstrumenta para describir los enlaces entre los elementos. Por eso, Ia teoria de los conjuntos y 1<1 loglca maternatica, con cuya exposicion so inlcia la presente obra, constltuyen la base de la descripcion matematica de un sistema.

Los sistemas que se encuentran en la praclica so divlden, alendtendo a la estructura y el caracter de sus enlaces, ell delerminados y probabthsticos. Se denomina determinado el sistema cuyas leyes de movimiento se conocen can exactitud y su comportarniento futuro puede preverse. Para un sistema probabilistico es imposible hacer un prondstico precise de su comportamiento futuro. El mecanisrno de la rc lojer ia puede servtr de ejernplo de un sistema deterrnlnado. Sin embargo, los sistemas de control estadistico de la produccion, 105 sistemas de a rrlbo de buques a los puertos maritimos 0 la reserva de mercanclas en un almacen que ilene un gran nurnero de suministra dores y consumidores son sistemas probabi-

llsticos, .

.IS

los problemas que resuelve la clbernetica conducen en la mayor ia de los casas a la necesida d de examlnar sistemas probabiHstrcos bastante cornplejos que constan de un gran ntirnero de etementes y tienen enlaces Internes variados y ramllica dos. Precisamente a tales slsternas pertenecen la rnayoria de los sistemas industriales, los sistemas economicos, sociales y bioldgicos. Para la descri pcion rnaternatlca de tales sistemas, ademas de Ia teoria de los conjuntos y In Iogica matematlca, se utilizan ampliamente come instrurnento la teoria de las prob abllldades y los-rnetodos de estadlstlca matematica.

Hasta ahora solo nos hernos relerldo a los rnetodos rnatematicos ernpleados para describir sistemas ciberneticos. Pero el obj e· tivo de l a cibernetica es el control de los sistemas. Para juzgar sobrs las vias de solucion de tal tarea es necesario cornprender con cJaridad el sentido del (ermino "control".

En el amplio sentido de la palabra, se entiende por control la activida d crganlz ativa encaminada a la consecucion de objetivos determinados que ejecuta las funciones de direcclon del traba]o ajerio. EI proceso de control consiste en la toma de decisiones sobre las acetones mas convenientes en una u otra situacion crcada, La persona que lleva a cabo el control toma sus deeisiones evaluando las condlcicnes arnb ientales con ayuda de l a lnlorrnaclon reclbida de SUS organos sens: tivos, los ins!rumenlos de medida u otras personas. En muchos casas esta informacion resulta insuficiente para la estlrnaclon univcca de las condiciones arnbientales. Entonces el hombre utlliza su exper iencia, eonocimientos, rnemorla I" i ntutclon. Es un exce lentc rasgo caracteristico del ser humano, su capaclda d para tornar decisiones en situaciones de una considerable indetermtnacion en 10 que respecla a las circunstancias ambientales.

No obstante, en las condiciones de las grandes ernpresas ill' dustrlaies rncdernas, incluso los conocirnien los y 13 intuit-ion de un dir/genle expertmenta dc resultan lnsulicientes para realizar un control eficaz. Como resultado surgen dellciencias en el Iuncionamiento de las grandes empresas t~lles como el tr abajo "3 l a carrer a", dif'iculta des con el suministro regular de rnaterias prim as y material es sin el aumento excesivo de las reservas, problemas de Iransporte, etc.

La cibernetlca se plantea la tarea de facilitar al hombre el proceso de la lorna de decisioncs de lrnportancia, encomendando a los dlsposttivos automaticos la recogida y elabor acidn de gran des cantlda des de in lorrnacion respecto a1 estado del proceso de produccion, el anal isis de las situaciones creadas y la elabor acicn de reo comendaciones acerca de las actiones dirigidas a clerta linalidad. Los dispcsitlvos automalicos que ejeculan el conjunto de tales operaclones se denominan sistemas autornaticos de control. EI Iuncionamlento de tales sistemas se basa en el crnpleo de las ca lculadoras elecf ronlcas numericas (C, E. N.).

16

El p apel de las C. E. N. en la clbernetica resulta Ian lmportanto que es menester delenerse para estu diar mas de.talladamentc esta cuestion.

Inicia lmente las C. ,8. N. se utlliz ahan para realiz ar calculos tradlclonates que antes ocupaban rnuchas horas yahora solo reo querian segundos. Pero pronto se hizo evidente que enorme aumenlo de la velocidad de los calculos entrafiaba efectos cualitativamente nuevcs. Si antes el proyectista 0 eJ economists s610 podia ana! lzar algunas, de las variantes de solucicn, que par cler lns mati vas Ie parecieron dlgnas de atencion, ahora se presenta ba la oportunidad de comparar todas las varIantes posibles y elegir la rnejor de todas. As! surgteron las ideas de la optimtz acion que postertorrnente condajeron al desa r rollo de una ser ie de nuevos ca p iiulcs de I as m a lema Ii cas.

Luego resulto que Ia C. E. N. inslaIadaen una erupresa industrial es capaz de elabor ar con facilidad gr andes cantidades de informaci6n sabre la rnarcha del proceso de prcducclon y puede convertlrse en ayudan!e in sustitulble del hombre en la adrnlnistra-

cion de la produccion.. .

No obstante, para .que 1.1IS C. E. N. puedan ser uflliz.a das con fines de control, deben ser elabor ados rnetodos male-maticos que perrnitan ' ana liz ar los tipos de informacion existenles, desecha r la informacion superf lua y sepa rar su parte mas substancia 1, ernpleando esta informacion para estlrnar Ias aituacicnes crea lias y prep ar ar recornendaciones que garanl icen el cumplimiento mas elective de los cbjetivos del control. La nccesida d de resolver problemas analogos provoco la apa ricidn de tales capl\ulos de las matemiiticas como la teoria de 110 inlormaci6n, (coria de los juegos, teoria de las declsiones esf adlsticas, tear.ia de colas, Ia prograrnaclon lineal y din amlca y otros En ta presente obra se estudtara una parte de estes nuevas mUodos malemiiticos. Los demss rnetodos se estudian en difer entes curses especiales.

1·2. TR,ANSMlSION Y CODIFICAcrON DE LA INFORMACION

Los enlaces entre loselementcs de cierto sistema pueden scrvir para distintos obje!ivos. Por los rnismos pueden transmitir se energia, materi a, esfueraos, etc. Pero en los sistemas ciberneticos nos interesa, en primer lugar, el conteni do inlormativo de los enlaces, es decir, la pcsibil idad de uti I izar dichos enlaces pa ra transmitlr da los sabre los diversos esta dos de los eJementos del sistema.

En teenic!!. cualquier datu sabre algllll suceso ocurrido dcntro o fuera del sistema se denornina mensaje. Los enlaces inlormativos que sirven para tr ansruitir los rnensajes .se denorninan canales de comunicaci6n. Los portadores Ilsicos de II! informacion en los canales de comunicaciun se Haman seiiales, En l a fIg-urn 1-2 se

J1

rnuestra un esquema estructural que represcnta un canal de cornunlcacion.

La palabra "serial" procede de la voz latina signum, 0 sea, que denota simbolos convencionales electricos, acusticos, 0 de otra naturalez a que sirven para transmlttr rnansajes, El tipo de las sefiales es, per 10 general, el resultado de un acuerdo entre el hombre que transrnite la informaci6n y el que la recibe y no guarda relaci6n direda con el contcnido de la tnlormacldn transmitlda, Por eso I as sefiales pueden conver tirse facilmente de un tipo a otro sin alterar su conterudo informative y tamblsn pueden almacenarse (por ejernplo, en forma. de reglstro literal) pa r a utilizar en el futuro dicho contenido.

Par ejcmplo, examlnemos el tipo de sefiales empleadas al transmitir un telegrama. EI mensaje Inicial impreso en el Icrrnulario telegrafico, se convierte a la forma del codigo Morse que

Pig. J·2. Esquema estructur al de Ull canal de coruunlcaclon

cousta de puntos y rayas transmitidos mediante Impulses de corriente, largos y cortes, par la llnea de comunicaci6n. En la parte de recepcton, par los impulses capiados, se regenera el texto Inictal del mensaje. Como vernos, en este caso el rnensaje exlste en calidad de senates de dilerente forma: de texto literal, puntos y rayas del codigo N\orse, impulses de corriente en 18 linea de comunica'cion, elc. La conversion de una serial de una forma a otra se denomina codtiicacion.

El metodo para realiz a r una comunlcacion puede representarse del modo siguiente. Ante lodo debe existlr un grupo de strnbolos: letr as, palabras, puntos, r ayas, etc" que tengan un sentido conecido tanto por el remitente como por I'll desfinatarlo del mensaje. EI grupo de tales arm bolos se denomina aljabeto. Los propios slrnbolos se determinan por convenio de las partes.

La teoria de la cornunicacion se basa en I'll postula do de que los slrnbolos componentes de alfabeto no pueden ser infinitamente diversos. Por eso, para la transmlslon de rnensajes cualesquiera se utilizu un mimero I hni la do de slrnbolos diferentes. Asi, todos los merisajes liter ales poslbles en lengua rusa se componen con ayuda de un aJfabeto de 33 letras.

Durante el proceso de transrnlsion el remitente el ige del aliabeta existente un slrnbolo tras otro, IO!i convlerte en las sefiales

HI

correspondientes y las transmite por el canal de cornuntcacion. En el cans I de comunicacion, las sefiales se sorneten a la influencia de las interlerencias, 10 que provoca su dtstorsion. Asi, las senates en 13 parte de recepcion van a diferir de las sefia les envia das a I canal de cornunlcacion.

EI proceso de recepci6n consists en que el destlnatar io, al recibir cualquier sefial, debe identilicarla con uno de 105 slmbolos existentes del allabeto, 0 sea, debe excluir todos los demas slmbolos. salvo uno. Esta tarea puede presenter conaider ables dificultades si en 1'1 canal de cornunicacion las sefiales se someten a grandes distorsiones. Los rnetodos para superar estss dificul tades conslituyen I a escncia de la teoria de la comunicacion.

En 105 sistemas tecnjcos de comunicaclon se emplean atrabetos de var ios tipos, Sin embargo, por diversos motivos, tiene gran empleo el aliabeto binario que solo utlliz a dos lipos de sirnbolos designados convencionalmente por 0 y I. En el allabeto hinar in cualquier mensaje va a constituir una sucesion de ceres y uni dades, por cjernp!o 100110100_

Es iftcil calcular que el numero Iota I de mensajes que constan de In letras del alfabelo binario, sera lgual a 2"'. En particular, cualquier letra del alfabelo pue de representarse per seis signos del aliabeto binarlo, por ejemplo: a, 000001; b, 000010; c. 000011, etc, Como que seis signos binarios proporcionan 26 = 64 diferenles cornbinaclones de sirnbolos, con au auxilio pueden representarse no s610 todas las letr as del alfabelo, sino tambien los si gnos de pun tua cion. Por cons: gu iente, con ayu da de I a I fa belo binario puede representarse y tr ansmittrse par un canal de COI11Unicacion cualquier mensaje literal.

EI allabeto binario puede utiliaarse asimismo para transmil ir datos numericos, pero en tal caso results necesario ernplear ciertos sistemas de numer acion especiales.

En el sistema de numeraclon decimal ampliamenie utlllza do, los dlversos nurneros se escriben con ayuda de diez cifras, 0, I, _ .. , , ., 9, dispuestas en determina do orden y que tienen va lores dependlentes de 1a ubicacion de cada cilra. Asl, la inscripcinn 395 represents el numero definido par 13 expresi6n

Aqui, el numero 10 51' denornin a base del sistema de nurneracion.

Analogamente, cua lquier numero N puede escr ibir se en un sistema de numeracicn de cualquier otra base R (numero entero), con ayuda de distlntas cifr as cuyo nurnero es igual a la base del sistema de numeracion. En tal caso la inscrtpclon _ .. d3dzd1do, donde d1 son [as cifras del numero N (0';;:;: d, < R), define la rnagnitud

(I-I) J9

Asi, en el sistema de numeracron octuple que se emplea en ciertos tipos de calculadoras nurnerlcas, el rnirnero 395 tendril el aspecto

es decir, 51" escrlbir a en forma del rurmero 613.

En caso de utiliza rse eJ aliabeto binarlo, l a inscripclon del nitrnero debera efectuarse s610 mediante las cilras ° y I, Sirve para dlcha notaci6n e1 sistema de numer acion hinario cuya base es 1"1 nurnero 2. Cual quier nurnero del 0 al 15 puede representarse en 1"1 sistema de numeraci6n bina rio por rnedio de un nurnero de cuatro digitos:

3=0· 2~+O· 22+ 1.21 + (.2°, a sea, DOll; 5=0·z3+I.Z2+O·21+1·2°, a sea, 0101; 9=1.29+0.22+0.21+1.2°,0 sea, 1001.

Naluralmenle, no as Impresclndlble escribir los ceres de or denes superiores de estos numercs, es decir, los numeros 3 y 5 pueden escribirse en forma de II y 101. EI numero 395, que puede ser represenlado par medio de la base 2:

395 = 28 + 27 + 2s + 21 + 20,

se escribtr a en 1'1 sistema de nurneraclon blnarlo can un numero de nueve digitos 110001011.

La anotacion de nurneros grandes en el sistema de numeracion bina rio presenta el lnconvenlente porque requrere una gran ca ntida d de dlgitos, 10 que dlliculta la lectur a de los nurneros y la estirnaclon raplda de su magnitud. Es por ello que can Irecuencia se emplean sistemas de nurner acion mlxtos, por ejemplo, el decimal-binarto, en el cual el propio nurnero se escribe en el sis lema de numerackin decimal y sus d1ferente's dlgltcs, en e1 sistema de nurner acion binarlo, utilizando cuatro dlgltcs binarios para cada cilra decimal. De este modo, en eJ sistema de numeracion declmalbinario, el numero 395 tiene 1'1 aspecto:

0011

.__.

a

1001

.__.

D

oror.

.__.

[-3. CONCEPTO DE SISTEMA CONTROLADO

Como se desprende de Ja delinici6n del concepto de control, dada mas arriba, cuaJquier sistema controlado puede representarse en forma de un conjunto de dos paries: ia parte controla da denomi nada tarnbleu obleio controlado, y la parte que controla Hamada dispositi'IJo de control u operador.

Ca da objelo controlado se car acteriz a par determinadas prop ie da des:

20

I) 18 existencia de una determinada designacion orientada hacia una Iinalidad que se manifiesta en la capaclda d de dar cualquier resultado beneficioso;

2) el esta do del objelo que se manifiesta en tipos concretes de movi mien to y puede cam b i a r a I varia r las cond lciones a OJ bien ta- 1es en las cua les se halla el ohjeto;

3) la capacida d de ser controlable, es decir, la eapacldad del objeto de reaccionar a las iniluencias externas ejercidas sabre sus organos especlales, los 6rganos de control.

La tarea del operador consiste en garantizar el curnpllmienlo por el objelo de su Iinalldad actuando sabre los 6rganos especia les, los 6rganos de control. Para ello debe ocurrir un mtercarnbio de inforrriacion entre el operador y el objeto controls do. Corisfituyen tal informacion, por un lado, las sefi ales de mando can cuya ayuda el opera dor influye sobre el objeto conlrolado, 0 sea, la injcrmucion. de maude y, por otro la do, los datos sobre el estado del objeto

Fig. 1.3. Circulacldn de la lnfcrmaclcn en el sistema controlado

controlado a base de los cuales el opera dor delermina el Lipo de sefiales de mando, es dec lr. la iniormacion. de seruicio.

En la Figura 1-3 se rnuestra el esquema estructural que presenta los flujos de informacion principales en el sistema controtado, En dicho esquema, a dernas de los flujos de circu lacion de las in formaciones de mando y de serviclo dentro del sistema, se presents el enlace del objetocontrolado y deJ opera dar can e) media arnblente, La variaci6n de las condiciones ambienlales ejeree una influeneia inmediata sobre el ohjeto controlado p rovocando el cambro del caracter de su movimiento y dificultando el curnpltrniento de su Iinalidad. Para controlar con acierto el objeto, el operador debe recibir informacion sabre las condiciones ambientales, tomarla en consider acion al elaborar las sefiales de mando y disponer tambien de in formaei6n so bre I a fin a li da d del contra I.

La informaci6n de mando se ohtiene elaborando todo tipo de datos que llegan al opera dor, Una parte de la informaci6n pueile almacenarse para ser utilizada posterlormente. Puede ejecutar las lunciones de opera dar una persona 0 un dispositivo mecanico o eleclr6nico. En los ultlmos liempos es frecuente que las calculadoras eleclr6nicas unlversales 0 especlallzadas jueguen el papel de opcra dor.

21

En el objelo can Irolado ocurre el p roceso de ela bora cion de la informacion de rnan do que se rnanillesta en e) cambia del car actor del rnovirnicnto de dlcho objeto, Estes carnbios 51" lransmilen par el canal de realtrnentacion al opera dor en forma de informacion de servicio.

La reaiimentacion juega un p a pel importantlstrno en la reallz.aclon de un mando ellcaz, ya que br in da al opera dor II! posibilidad de juzgar constantemente en el proceso de control, en que medida sa ha logrado la finalidad del control, y de acuerdo can esto, elabora r de modo mas racional las seriales de mando. Por eso, el principia de realimenlaci6n es el tundamento de la inmensa mayoria de los procesos de control, y en particular, 13 base de cast toda la adividad del ser humane. Por ejemplo, si una persona extlende la mana para tomar de la mesa un lapiz , ella realiz a de modo inconscienle e ininterrumpido Ill. comparacion de la situacion mutua de la mana y el laplz, gracias a 10 cua l el movimiento. resulta muy precise,

EI objeto del curso "Teorfa del control automatico" es el estudio detallado del principio de realirnent acion. La tarea del curso "Pundamentos N\atematicos de la Cibernet+ca" esel analisis de los meto dos de descr ipclon matcmatica de los sistemas de control a utornattcos y la explicacion de los prccedtrnientos Y rnetodos de toma de decision en los cuales se basa el dlsefio de dispositivos decontrol.

Aclararernos el esquema general del proceso de control mediante ejernplos de sistemas de diversa natur aleza Iisica.

eiemp/o 1·1. EI regulador mllMfugo de I" veloddad de "'til maq'lina de Va· par (fLg. 1·4). En el sistema dado el regulador centrtlugo de velocldad juega cl papel de operador. EI 6rgano de control es I a mariposa que regula 01 paso del" vapor a la rnaquina de vap Of. Antes de comenz ar el Iuncloriamlento del

'l Mariposa Vapor I----------Y---

Fig. £-4. Esquema de regulacion de la velocidad de 13 rnaqulna de vapor

regulador debe inlroducirse en el informacion sorbe la Iinalldad del control 10 que se logra ajustando cl regulador para rnantener una velocid ad de rotnclon determlnada w. mediante la ublcacion correspond lente de 109 pesos y ~I camhio de III tension de los muottes. La informacion de servlclo sohre la velocldad de rotacion real de la rnaquina d. vapor I"~, SC transforrna POf el re-

22

gulador centrtlugo ell cambro de [>OS)(IOO del mangulto " y dicha lnlorrnacldn de servicio se convierte por mcdio de una pala nca en informacion a ceres de 13 posicion de to mariposa que acciona sabre cl acceso del vapor a I" maqulna y cambia de este modo su velocldad de rotaclon. La lnf luencia del medic ambient. se manifiesta squi en forma de vartaclon de ta carga de la rnaqulna d~ vapor, 10 que provoca el cambro de su velncldad de rolad6n.

Fig. 1·5. Sistema de mando de un proyectil anllaer eo telC'g-ulado

Ejemplo 1:2. EI jefa de mouimienio del transports [erroviario. En el ejempJo dado, curnple [8 iU'lCijn de opor ador la persona jefe de movrmienlo que haltandose en el puesto de gobierno recibe por el selector 0 Iclef 0110 Ia informacion de servlclo sobre el estado de los trenes en aquel sector de la linea del cual es rcsponsnble. Esta inlormaclon conslste en datos acerca de In dispcsicion para la partida de UI1 tren de turno, el retraso de un trcn coo respecto al grafico de rnarcna de los trenes, la necesidad de partlda de un lren iuer a de turno (no previsto en ",I !::"ralico), el grado de carga de I" linea, etc. La obltgaciun del jei~ de movlmtcuto conslste en tr ansf'ormar In informacion recibida y elaborur deelsiones encarninadas atcumplirniento opttmo del grafico de rnarchn de los treIWS. Esl n lnlormaclon de control consta de disposlciones para 105 maquinlstas o jeles de est aciones sobre el or den ulterior del movirnieuto de los trenes (sobre I. aceleracien 0 dcceleraclon de la marcha de los trenes, ta maruobr a del paso de los rmsmos a 10, aparf aderos, etc.).

Ejempio l-B. EI mando del proueciil antiaereo. En calidad de ejernplo del sistema automatico en "I cual jucgan el papel de operador dtspostttvos C~ kulacores electronicos, en la ligura 1·5 se rnuestra e l esquema Iunctonn: de maude de un pr oyecttl antiaereo telcdtrtgtdo a un objetivo movit. En este sistema, Ia informacion de servicio esta contenida en las senates sumlrustradas por 18 (!S. taclon de r adiodetecclon E. R. 0 .. que determina las coordenadas del objettvc movil 0 y par la estncion de radlodeteccion E. R P., que determlna las coerdenadas del proyectll P que se mueve hacla el objetivo. B asandose en estes tlpos de informacion, la ealculadora de mando elabora las sefiales que lJegan por la linea de radio al dispositive de rnando del proyectlt antlaereo y que ('0· rrigen su movimiento segu.n la posicion mutua del proyectll y el objettvo,

PROBLEMAS PARA LA INTRODUCCION

1·1. Un slsterna ccnsta de slete elementos, cada uno de [as cuales fie comumea con todos los demas mediante enlaces del tlpo mas senctlto qUQ tienen s610 dos estados: "hay enlace" y "110 hay enlace", ~Cuitl es cl numero posible

23

de "slados de tal sistema? S1 es precise lndicar mediante lin experlmento todos los estados que poseen la propledad P y para Invcstrgar cadaestado se rcqulere , s, (cuanlo licmpo se necesttara para lnvestigar tcdos los estados posibles?

/·2. (En cuanto dismlnuye el numero de estados posibles del sislema en e I problema l, si s610 hay enlaces direcclonales succsivos (fig. '·6. a) 0 el sistema tienc estructura [er arquica (fig. 1·6. b)? Cit!' ejemplos de sistema. que tengan estructuras de ambos Ii pos,

'·3 EJ polinomio (I·!) que sirve para la representacton de un nlimero en el ststerna de 11 umer acton de bast' R. p ueds escrtbirse en la Iorrna

N = {[( ... d,l R + d,] R + d.l R -I- do. 10 que equlvale a la sccuencia de formulas

N =,V.R. +do, /II, = .V,R +d,. N.·~ N,/? -I- d, ...

Fundarnenla r con ayuda de cstas f6rnlllias la glguiente regta de conversion del rrumero 395 de la lorrna decimal n la octuple

(1·2)

39~:8=49 restc 3 49: 8 = 8 res!o 1 6 : 8 = 0 resto 6

o mas brevemente 395

49 3 6 1 o 6,

10 que da el numero octuple 613.

c::::J-CJ--- --CJ

<I)

b)

Fig. '·G. Sistemas con enlaces sue e stvos (a) y cs!ruclura [erarquica

eComo lormularia Ud. la regla para convertir un numero de Ia forma decimal en In binaria?

1·4, Escrtba en los sistemas de numeracion blnarto, ocluple y sexadectmal los numeros sigulcntes (dados en el sistema de num .. raci6n decimal}:

27, 4117. 519, 126.:~.

Nola. Emplear Ins lelras <1. n, c. d, e, f del alfabeto romano como cifr as del lOa I 15 dcl sistema de n urner aci6n sexadecunal.

1·5. Escrtba 10, numeros del problem" 1·4 en los sis lem as d. nurner aclon decirnal-blne rio y ectup le-blnarlo. lCuiilllas cifras binartas tuvo que utiHzar Ud. par a escrlblr una ci r fa octup Ie, ~Cllill de estes dos sistema s dF notaclon tie numeros es mh cconomico dcsde el punto de vista del numero de citrus btnarLas lib liz ad as?

1·6. Tienen 0 no clrculto de realhneutacton los slgulcntes sistemas de control del IdOw urbane:

I) con "}'uda de un semaf oro en el cual se encienden suceslvamente las luces roja, amarilla y verde durante un tiernpo prevtamenle convenido:

2) COil ayuda de un poltci .. de (r:Hieo.

1-7. Halle ('I circulto de reahmentaclon en los esqucmas de las liguras 1-4 e 1·5.

{ ..• J

e

¢

;;; c:

u n -,

x X

xs

o f

R \lJI

sup M in] M Prl M

(a, •.•• , an) A

V

- +-

....

fog

~

<

» d(x, g)

IlxU

En

C [a. bl x/y

INDICE DE NOTAC10NES

conjunio

pertenencl a a J conjunlo

no pertenencla a I conjunto sirnbolo de i nclu 51011

simbolo de inclusion estrlcta unlon de eonjuntos interseccion de conjuntos dlferencla de conjuntcs producto direclo de conjuntos complemento del conjunto X potcncia del conjunlo conjunlo vacio

conjurilo universal

conjunto de uurneros reales sistema de ccnjuntos

Iirnlte superior del conjunto M

limite Inferior del conjunto M proyecclon del con] unto sobre e! ej e i conjunto or denado (cortejo, vector) cor tejo vacio

cuantiticador de gener alldad equivalcncia par deliniclon consecuencia, rellejo

composicien de Ius Iunciones f v g simbolo de relacicn de equivalencia slmbolo de relaci6n de or den

slmbolo de re laclon de orden estrfclo simbolo de relacion de predominic

di stancla entre elementos del conjunto norma de Ia magnitud I'

espacio euclldeo n-dimensiona I

espaclo de lunclones ccntlnuas Iuncron de Sheffer

ncgaclon de ia enunclaclon II <ldlei"'" porel modulo 2

26

z z

o

Z

p {z], z eo Z P (S), Ps

p (z/S)

p (y, z)

;, V, M (a), i (z)

(I, O,z

R (V, "'1

N (v, 02) w(r, "-, p) w (r, a)

II.

x

T (x, u)

q (x, II), Q (x, II) J (II), In (11.)

t, 11

L (~, 11) A

,q' (11.) d (z}

p (I), d) p'm

espacio de resultados del exper imento

resullado del experimento, rnagnttud alealoria

mil grut u d a leatoria centra d a

distrtbucion de las prohabltidades en el espaclo Z prohabilldad de un suceso

dlstrfbucicn condic.onal de probabtlidades dtstrtbucton cnnjunta de probabi lldades valor medio

desvtacton cuadratica media distrfbuclcn unrlorme

d istrlbucidn norma I dlstribucion binomial dtstribuctcn de Poisson control

estado de la naturalez.a estado del sistema

transrormacion de estado del slsterna Iuucton de objotlvo

criteria de calidad de control estrategias mixtas

fu nclon de perd ldas

espacio de d cclsiones decision, oper acion

operaclcn de Bayes

p~rd!das can la operaci6n de Bayes Iunclon de declelon

funclon de rlesgo

rlesgo de Bayes

Parte primera

FUNDAMENTOS DE MATEMATICAS DISCRETAS

Capitulo primero CONCEPTOS BASICOS DE LA TEO RIA DE LOS CONJUNTOS

1·1. CONJUNTOS FINITOS E INFINITOS

a) Definiciones fundamentales

El concepto de conjunto es uno de aquellos conceptos lundamentales de las matematicas a los cuales es difictl dar una dellnlcion precisa utiliz.ando conceptos e lementa les. Por eso nos limilarernos a dar una expl icacion descriptiva del concepto de conjunto, Se denomina conjunto a un grupo de objetos determlnados comptetarnente dif erenciables que se consideran como un lodo.

Se puede habl ar del conjunlo de sillas en una habitaci6n, el cenjunto de personas que viven en la ciudad de Riaziin, el conjunto de cstudiantes en un grupo, el conjunto de nurneros enteros positlvos, el conjunto de letra s en el alfabeto, el conjunlo de est ados de un sistema, etc. Por cierto, s610 se puede hablar de conjunto cuando los elementos del mismo son diferenciables entre si. Por ejernplo, no sc puede hablar del conjunto de got as en un vaso de aguaya que no es posible sefia lar, precisa y claramente, cada gola

por I;;(,'P a r a do, .

Llarnanse elementos los dislinlos objetos de que consta un conjunto. Asi, el nurnero 3 es un elemento del conjunlo de los ntrmeros cnteros posltlvos y la letra 6 es un elemento del conjunto de las letr as del alfabeto ruso.

Sirve de nola cion general de conjunto, un par de corchetes { l, dentro de los cual es se enumeran los elementos del conjun!o. Para designar los conj untos concretes se uti llz.a n dlstintas letr as rnayusculas A, S, X ... a letras rnayusculas con subindices AI, A2, , ,

27

Para designar los elementos de un conjunto en forma general se emplean dlversas letras minusculas a, s, x ... 0 letras mtnusculas can subindices Clio a~ ...

St desearnos indicar que el objeto a es un elemento del conjunto S escrlbtmos a E: S y decimos que el objeto a es un elemento del conjunto So que a pertenece 31 conjunto S, Ahara, si queremos sefialar que a no es un elemento del conjunto S. entonces escribimas a¢: S, Vamos a emplear la notacion XI, X2 ... , X" E S en calidad de abrevialura para 10 notaclon x. E S, X2 E S, . _ . , X .. E eS_

Los conjuntos pueden ser linitos e inllnltos. Un conjunto se denomina fin ito si es Iinito el nurnero de sus elementos, es decir, si existe un numero en tero positivo N que es el numero de elementos del conjunto, Un conjunto se llama iniinilo, si consta de un nu-

rnero infinite de elementos. e

Para operar con conjuntos concretes hay que saber presentar dichos conjuntos. Existen dos rnetodos de presentacion de conjunlos: la enurner aclon y la descripcldn La prasentacion de lin conjunto por el metoda de en umeracicn consiste en la enumer acion de todos los elementos que constituyen el conjunto. As], el conjunro de estudianles sobresallentes de un grupo estudiantil puede presentarse enumer ando los estudiantes que oblienen notas de sobresaIiente, por ejemplo {lvanov, Petrov, Sldorov]. Este rnetodo es conveniente para el esludio de los conjuntos finitos que contlenen un nurnero reduci do de elementos, perc a veces se puede utilizar para presents r con] untosinfin i los, por eJemplo (2, 4, 6, 8 ... }. Naturalmente, tal nota cion es aplicable si esta del todo clare que se comprende por los puntos suspensivos.

EI melodo descriptive de prcsentacion de un conjunlo consiste en que se indica la propiedad caracterlstlca que poseen todos los elementos del eonjunlo. Asi, si M es el con] unto de estudiantes de un grupo, el ccnjunto A de estudiantes sobresalienles de dicho grupo so escribe en la forma

A = {x EM: x, estudiante sobresallenle del grupo},

10 que se lee del modo siguiente: el conjunto A canst a de los elementos x del conjunto M que poseen la propiodad de que x es ostudianle scbresaliente del grupo,

En los casas en que no suscita dudas de cua! conjunlo se toman los elementos x, puede no indlcar se Ja pertenencia de x al conjunto M. En tal case el conjunto A se escr ibir a en la lorma

A = {x: x, esludiante sobresallenle del grupo].

Pongamos algunos ejernplos de presentacion de conjuntos por el rnetodo descr iptivo:

[x : x, par} es el conj unto de los rurmeros pares; {x; x2 -1 = O} es el conjunto {+ 1, -I).

28

Supongamos que C es el conjunto de los numerosenteros. Entonces (x E G: 0 < x ~ 7) es e! conjunto P. 2, 3. 4, 5. 6, n.

Elconceplo de conjunto vacto es un lmportante concepio de la teorla de Jos conjurrtos, Se denorruna conlunto oodo 1'1 que no contiene ningun elemen 10. 81 conjunto vaclo se designs por 0- Por ejemplo,

{x e C : r - x + I = O} = 0.

El concepto de conjunto vacto juega un papel tmportantlsimo al presenter un conjunlo por medio de su descrrpclon. Sin el conceplo de eonjunto vaclo no podriamos habJar del conjunto de estudiantes sobresalientes de un grupo esludiantil 0 de rakes rcales de una ec u acion eu a d ra ti ca sin ha bernos cere lora do p revi a me n te de si hay estudiantes sobresa lientes algunos en el grupo dado 0 de si la ccuaci6n consider ada tieue ralces reales. La inlroducci6n del conjunto vaclo permite operar con plena tranquil idad can el con" junto de estudtantes sobresaltentes del grupo sin preccup arse de si hay 0 no estud iantes sobresa lientes en el grupo exa minado. Vamos a incluir eonvencionalmenle los conjuntos vactos en los conjuntos finitos.

Conslderemoaahora la cuestirin de la Igua Ida d de los conjunlos. Dos conjuntos se denominan iguales sl cons Ian de los mlsrnos elementos, 0 sea. sl vienen a ser un rnismo conjunto, Los conjuntos X e Y no son iguales (X"* Y), si en eI conjunto X hay elementos que no pertenecen a Y, 0 en e! conjunto Y exlsten elemenlos no pertenecientes a X. Es fa.cil ver que para conjuntos cualesquieta X, Y y Z:

X=X:

al X -= Y, entonces Y -= X;

si X = Y e Y = Z. entonces X = z.

De la def inicidn de igualdad de conjuntos se dcspreride que no importa eJ orden de los elementos en elconjunto. Asi, por ejempJo. los con] untos {3, 4, 5, 5} Y (4, 5, 6, 3) resultan ser un rnlsmo conjunto.

Can lrecuenc!a, al cstudia r diversos conj untos es precise relcr irse III nurnero de elementos del conjunto. Para que este concepto qucde de£inido por complete es necesario conveni r en que en un conjunto nunca hay elementos iguales. La notacion {2. 2,3, 5} debe considerarse incorreda y sustltuirse por {2, .3, 5}. De este modo. el conjunto de los dlvisores primos de! rurmero 60 es igual a (2, 3,5).

b) Concepto de subconjunto

El conjunto X conslituye un subconjunto del conjunto Y, si cualquier elemento del conj unto X perteneee tamhien a l con] unto Y. Sea Y e l conjurrto de los estudian les de un grupo y X, el conjunto -de los estud larrtes sobresa lientes del mismo grupo. Como que ca da

29

estudlanle scbresaltcnte del grupo es a Ia vez estudlante de dicho grupo, el conjunto X es un subconjunto del conjunto Y.

Muchas def in iciones de la teor ia de los conjuntos se exponen cdrnodarnente en forma de expresiones matematlca s que contienen algunos stmbolos 16gicos. Ulilizaremos dos de estes sirnbclos para definir el subconjunto:

'tI, sirnbolo denorninado cuantif icador y que signillc.a "cual-

quier ", "cualqu iera que sea ", "pa r a !odos"; .

-, simbolo de corolario (imp,licaci6n) que slgnifica "implicar". La definicion de subconjunto que puede formularse asi: para cualquler x la afirmacidn «x pertenece a X" trnpltca la aseveraclon ":, pertenece a Y", se escr ib ir a d-el modo aiguiente:

'<Ix: x EX_".~ eo Y. (1-1)

Una notaclon mas concisa de la expresi6n "X es un subconjunto de Y" es In transcripci6n

X~ Y, (1-2)

que 51" lee" Y Incluye a X". EI slmbolo ~ ernplea do a quf denota inclusion. Si se desea recalcar que Y lncluye larnbien a otros elementos ademas de los elementos de X, se utillz a el s lmbolo de inclusicn estrlcta c:

XeY.

(1-3)

La relaclon entre los simbolos c y s se muestra con la expresion

K.«; Y ~X £, y y X of.: Y.

(1-4)

Aqul se emplea el simbolo +"= que denota equivalencia (can el significado "es 10 mismo que").

Mencionemos algunas propiedades de los subconjuntos que se der iva [J de Stl definicion:

X~X [X s Y e Y £, Z] __ X ~ Z

(ret! exlvld ad); (transiti vldad).

Es a I go mas diffei I de compren der que pa ra cua lquier conjunto M

e s::: M.

(1-5)

En declo, 1"1 conjunto vacio 0 no contiene elementos. Par consigu len te, al a dicionar a M un conjunto vacio, de heche no anadimos na ds. Por eso, siempre se puede considerar que cualqu ier conjun!o M con tiene en SI un conjunto vaclo en ca li da d de subconjunto.

c) Limites superiur e inferior de un conjunto

AI operar con eI conjunto de los nurneros rea les pueden compa rarse en magnitud 105 elementos de dicho conjunto. AI hacerto, surge can Irecuencia el problema de deterrninar e lelemento mayor

30

o menor del conjunto, Para un conjunto finito estc problema no presenta dificultad. Asl, para el conjunfo T = {3, 4, 5, 6} min T =3 Y max T = 6. Sin embargo, para los conjuntos infinitos Ia situaclon puede ser dller cnte.

Sea R. eI conjunto de todos los numer os reales, siendo S = -;-- {x e R: m < x < MJ. EI conjunto S constltuye un segmento abierto del eje real y noconttene los elementos mayor y merror. No obstante, puede habla rse de los llmltes de tal con] unto entendiendose por estes los nnmeros nt y M que complementan e1 conjunto S hasta el segmento cerra do. En tal caso el punlo M se denornina limite superior del eonjunto S 0 supremum y se designa por M - = sup S, y el punta m S8 llama limite inferior dE'l conjunto S 0 in[inurn y se designa can m = lnf S.

Teorema I-I (teorerna de los limites superior e Inferior de un subconjunto), Si B ~ A, entonces

infB:;;a.infA: stlpB~supA.

(1-6)

Demostracion. Desrgnemos par b' el elemento del conjunto B que tieneel valor menor, 0 sea, b' e B y b' - inl B. Pero B ~ A, es deeir, !/e A. Sea a' eielemento del conjunto A que posee el menor valor, 0 sea, a' e A y a' ~ inl A. En tal case, sl b' ---' a', entonces b' - inf A y si b' '* a', entonces b'> a ---' in! A. De este modo, b' ~ inf A a inf B ~inf A.

La segunda parte del teorerna se demuestra analogamente,

1-2. OPERACIONES CON CONJUNTOS

a) Observadones prelimlnares

Can con] un tos p ue den rea liza rse 0 peracl ones que recuer da n en mucho las operaciones de adici6n y multiplicaclon del algebra ell." mental. Para comprender mejor las operaciones can eonjuntos hay que rememorar las leyes existerrtes en el algebra elemental. •

Sean a y b ciertos nurneros, a + b su suma y ab su producto.

La::.uma y el prnduclo de estes nurneros tienen las propieda des siguientes denomin adas leyes del algebra:

J. a + b= b + a; ab -- aa, ley conmutatlva;

2. (a + b)+ c = a +(b + c);· (ab)c = a (be), ley asocrativa ;

3. (a + b)c = ae + be, ley dlstrtbutlva,

Observernos que en las leyes asociattva y conrnu tatlva la oper aclon de ad j cion p uede sus! i tufrs€' per .1 a de muit i p ltcacton y v iceversa. En tal, caso se obtendra otra ley que sera. tan valida como la primera .. Sin embargo, en la ley distributiva no exlste tal simetria. Si en dicha ley se reernplaza la adici6n por la rnultrplicacion y viceversa, lleg arnos al absurdo:

(ab) + c = (11 + c) (b + c).

31

Cabe preguntsr, e acaso secede slempre asi? eNo exlste acsso un algebraen la cual la ley distributiva sea tarnbien sfrnetrjca con respecto II [as operaciones de a dicion -y m ll!lipl icacidn como las Jeyes conmulativa y asoci ativa? Results que exlste un algebra, y preclsamente eL algebra de 105 conjuntos, en la que torlas las tres leyes son sirnetricas respecto II las operaciones de adicion y mul Itplicaclon.

La similitud entre las operaciones de adlclon y rnulttptlcacion se rnaniitesta asirnlsmo, en la ex istenci a de dos excelerites numeros que son 0 y I tales que Is adlcidn del prlmero y la multiplicacion por el segundo no modifican ningun numero:

a + 0= a, a . 1= n.

Noternos que la segunda relacion se obtiene de la primera sustituyendo (+) por (. ) y 0 por I.

No obstante, en este asunto tampoco va rnuy lejos el parecldo entre las operaciones de adicion y rnultiplicacion. As], el numero 0 juega un papel algo particular en compa racton can todos los demas nurneros, incluso Ia unidad. Este papel peculiar del numero 0 se deriva de la relacion a· 0 = O. 51 en dlcha expreston sustituimos (. ) par (+) y 0 por I llegamos a la r elaclon a + I = I que cas! nunca sera corrects.

Como vcremos mas adela nte, la slmllltud entre el cero y la unidad resultara mucho mayor en el algebra de los con] untos que €'n el 8lgebra or dina ria,

Des pues de estas observe cion es pre 11m ina re s p uede in lei a rse el esludio de las operaclones con conjuntos.

b) Union de conjuntos

Se denomina union de los con] unlos X e Y aquel que consta de tcdos aquellos y s610 aquellos elementos que perteneeen slquier a a uno de los conjuntos X, Y, es decir, pertenecen B. X a a Y. La union de X e Y se d esigna par X U Y. La delin [cion forma I es _

XUY={x:xe:X a .I:EY}.

(1-7)

La union de conjuntos se llama a veees suma de conjunlos y se designa par X + Y. No obstante, las propiedades de la union de conjuntos difieren un tanto de las propiedades de la surna en su serrttdo aritmstico he bltual. Par eso no vamos a emplea r este ultimo lerrnino.

Elemp/o /-1. Si X - {I, 2, 3, 4. 5} e Y = {2. 4, e, 7). entcnces X U y = = (I, Z, 3, 4. 5, 6,1).

Ejetnp{o 1.2. Si Xes el conjunto deestudianles sobresalientes en un grupo, e l', d con] unto de estudia ntes que vjvcn en 1,1113 reslneucla estud tantll, entonccs X U Y cs el conjunto de sstud lantcs que cursan esludioscon uolas de scbr~sa[(ente 0 habilan en dlcha residenc!a.

32

Bjemplo 1·3. Examlnemos los dos clrculos mostradoe en la llgura \-1. 51 X es el conjunto de puntos de circulo Izquierdo e Y. el conjun\o de puntas del circulo de~echo. entonces X \j Y constitu'je la Ulna rayada dellmi\ada por ambos clrcuics,

x y

Pjg. 1.1. Uni6n de conjuntos

'81 concepto de union puede haeerse extensivo tarnblen a un nli· mero mayor de ccnjuntos. Designemos por !lR = {X I ••.•• Xn} III. totalidad de los n conjuntcs XI •...• X ... que a veces se denomina sistema de conjuntos. La union de estes conjuntos

(1·8)

represents el con] unto que consta de todos aquelJos y s610 aquellos elementos que pertenecen siquiera a uno de los conjuntos del sistema !D1..

Para Ia union de conjuntos son valldas las (eyes conmutativa y asociativa

XUY=YUX;

(XUY) U Z =XU(YU Z)=X U yUZ.

(1-9) (HO)

cuya va Iidez se deriva de que los mlembros Izquierdo y derecho de las igualdades constan de los misrnos elementos, Ademas,

XU0=X. (1·11)

Esta r el acidn es tambien evidente ya que un conjunto vaclo no contlene elementos y esto significa que X y X U .0 constan de los mismos elementos. En (1-11) se ve que el conjunto vacio 0 juega en el algebra de los conjuntos el papeJ de cero. Aqul existe analogia con la expresion a + 0 = a del algebra ordinaria.

c) Interseccl6n de conjuntos

Se denomina lnterseccten de los conjuntos X e Y el conjunto que consta de todos a quellos y s.010 aquellos elementos que pertenecen tanto al coojunto X como a1 Y. Laintersecci6n de los conjuntos X e Y se designa par X n Y. La definicion formal es

X n Y {x : x E X Y X E Y}. (1-12)

La intersection de conjuntos se denomina a veces produdo de conjuntos y se designa par XYJ Sin embargo, las propiedades de

fa tnterseccldn de conjuntos dlfleren un tanto de las propiedades del producto en su sentldo aritrnetlco habitual. "Por eso no vamos

a ernplear dicho termino. .

Eiemplo 1-4. Para los coo)untos X e Y eo el eje.mpJo 1·1 X n y = e2, 4}. E;emplo [·5. Pars los conjunios ,J( e Y En eJ ejemplo 1·2 X Ill' es el COil' junto .de estudlantes sobresa 1ienteS:',ql;l~. v1ven en IB residenela esludlan til.

Elemelo 1·6, Examlnemcs 100s.-,d,oS,1~lt~ulos mcstrados e~ l~ Ilgura 1-2, Sl X es el ccnjunto de punlos de c!rcillo Il!:qlll~rd{j e Y, ei conjunto de puntos del

.. ,~ .. ,

x y

C()

Fig. 1-2. Interseccton de conjuntos

.clrculo derccho, cntoces X 11 y represent a la zona ray ada que constltuye la parte eomun de ambos clrculcs.

La operacicn de Intersecclon perrnite eslablecer una serie de rerac i ones entre d os- con] untes,

Los eonjuntos X e Y se denominan no lntersecados sl estos no tienen elementos eomunes, es declr, si

Xny= 0.

( 1-13)

Ejemplo /·7. Son conjunlos no ; nterseca dos:

1) los conjuntos {I. 2. 3) y 14. 5, 6J;

2) el conjunto de estudtantes sobreaallentes y el conjunlo de estudlantes dds"provechados en un "rupo estudlantil;

3) los conjunlos de puntos 'Q~ los clrculos, X e Y en la figura 1·3.

60

Fig. 1·3. Ccnjuntos no lntersecados

Se dice que losconjuntos X e Y se encuentran en posici6n co-

rnua 51 se cumplen las tres condiciones siguientes:

existe un elemento del conjunto X que no pertensce a Y; existe un elernenlo del conjunto Y que no perlenece a X;

existe un elemento que pertenece tanto a X como a Y. Sefialernos una diferencia entre el Algebra de los conjuntos y el

algebra de los numeros, 51 a y b son dos numeros, entre ellos pueden existir Ires relaciones 0 poslbilldades

. ,

a<.Q, a=b, b<q. (114)

", Sin- embargo, para des conjuntos X e Y puede 00 cumpltrse ninguna de las relaciones:

Xc Y, X.= Y, Y c X, (1-15)

Ast pues, si X es eJ conjunlo de estudlantes sobresal ientes I.! Ies el conjunto doeetud+entes que viven en la resldencla estudiantll.

las tres relaciones antes dadas slgnltican: ,

X c Y, ca da esludlante sobresallente vive obligatoriamente en

la resideneia estudiantil;' ' ,

X = Y, en Is residencia estudiantil viven todos los estudiantes sobresalientes y s610 elias;

y c X, todos los estudlantes q.ue-habitan en Is residencia eslud i anti I son es tu d i antes sob resa lleMes_ -

Es evidonte que estas relacioues ,1].0' ago\an todas las posibilldades, En electo, como se despreride de las definiciones anterlores, entre los dos conjuntos X e Y puede,.haber una de las re laciones siguientes:

X=Y; XcV; YeX, gnY=0;

- '; I

X e Y estan en posicion com un, __

Se puede extender lambien eJ concepto 'de interseccidn a un rnirnero (Ie conjuntos mayor de dos. Bxarnlnemos el 'sistema de conjuntos '!Ul = {XI, "" X.,,}, La interseccion de estos conjuntos 51! escribe en la Iorrna

(i-16)

y representa. un conj unto cuyos elementos' pertenecen a cad a uno

,de los conjuntos del ststerna !11l., , . >

" Es fitcH ver que II! interseccion de conjuntos posee la propledad

conmutativa , -

Xn'y=-ynx (1-17)

y [a "asociativa «n YJ n Z= xn(Y n Z) =xn Y n z.

(1-18)

_ ,. Notemos tambien que tiene lugar la.relacion .

X00=0.

(1-19)

similar a la reracion a,O = 0 del alg'ebra o.rdina¥la, La relaclon (1-19), junto con la re!aci6n (I-II), demuestra queel conjunto vacio [ueg a el papel de cera en el algebr<! de los conjuntos,

d) Diferencia ile conjuntos

La operacion dada se distingue d-e las opecaclcnes de union e interseccion en .que se define solarnente para dos conjuntos, Se denomlna diferencia de los conj untos Xe Y el conjunto que cortsta de todos aquellos y solo aquellos elementos que pertcnecen a X ~

35

no pertenecena Y. La. dilerencla de los conjuntos X e Y se deslgna par X>; Y. De este modo,

X" y = [x ; x EX. x¢:: Y}. (1-20)

fi{cmp/o /-8. Para los conjunlos X e Y del ejelTlpio 1-1 X" Y.= II. 3. 51.

Y " X = 15, 7}. 51 X e Y son los ~onjuntos del ejempio 1·2. entonces x. " y es el conjunto daesludiantes sobresallentea que no. vtven en .la resldencla estudiantll. Para los conjuntos X e Y dill ~jemp 10 1-3 (C '\ Y E5 la zona rayada de

Ia Hgura 1-4. '

.If y

ID

Fig. 1·4. Dlferenci8 de coojuntos

e) ConJunto universal

Como hemos vista, el conjunto vacio representa el pape! de cere en el Algebra de los conjuntos, Puede preguntarse si no existe acaso un ccnjunto I que [uegue el papel de unldad, a sea, que satisfaga la condtcion

Xn/=X,

simtlar a 1a condici6n e I = a del algebra ordinaria.

La relaclon (1-21) signilica que la intersecci6n 0 "parte comun" del conjunto I y del conjunto X,para cual quier conjurrto X coincide con este mismoconjunto, Pero eso s610 es posible en case de que el conjunto I contenga todos los elementos de los cuales puede eonstar el conjunto X. de suede que cualquler conjunto X est€! totalmente c-ontenido en el conjunto I. EI conjunto I que satisface estacondici6n se denomina compleio 0 universal, 0 bien unitarto.

Partiendo de 10 expuesto puede darse la siguiente definicion de conjunto universal. Si en cierto analisis s610 participan los subconjuntos de clerto conjunto Invariable I, errtonees dicho conjunto mayor I se denomina conjunto universal.

E_s precise sefialar que en los dlversos anallsls concretes pueden representar el papel de conjunto universal diferentes conjuntos. ASI, pues, al esludiar losconjuntos de estudiantes en un grupo (estudiantes sobresaltentes, estudiantes becados, estudiantes que 'liven en la restdencla estudlantll, etc.) I juega el papel de conj unto universal el conjunto de estudiantes en el grupo.

Es comedo representor gn!.ficamente €I conj unto universal en forma del conjunlo de los puntas de un rectangulo, Las dlstintas zonas dentro de dicho rectangulo van a denotar los diversos subconj untos del conjunlo universal. La representaclcn de [as conjun-

SG

tos en forma de zonas de un rectangulo que es un conjunto universal se denomina diagrama de Euler - Venn.

El conjunto universal posee una interesante propiedad que no tiene aniilogo en el algebra ordinaria, a saber: para cualquier conjunto X es valida la relacion:

XUl={.

(1-22)

Efectivamente, la union X U J constituye el conjunto del cual forman parte todos los elementos tanto del conjunto X como del I. Pero el conjunto I ya incluye todos los elementos del conjunto X, por 10 que X U I va a constar de los mismos elementos que I, 0 sea, constituye el conjunto mils universal I.

f) Complemento de un conjunto El conjunto }{ definido por la relacion

X=I -, X,

(1-23)

se denomina complemento del con]unto X (hasta el conjunto universal l). En el diagrams de la Iigura 1·5 Is zona no rayada re-

r

Fig. 1-5. Cornplemento de un conjunto

presenta el conjunto X. La definicion formal es X = {x : x E / Y x ct; X}.

E/emp!o 1-9. Si r = !l, 2, 3, 4, 5, 6, 7} Y X = {a, 5, 71, entonces ;r: = {I. 2, 4,6}.

De (1-23) se deriva que X y 1l no tienen elementos comunes, de manera que

(1-24)

Adernas, no existen elementos de I que no pertenezcan a X nl a X, ya que los elementos que no pertenecen a X pertenecen a X. Por 10 tanto,

XUX=I.

(1-25)

De la simetrla de la formula (1-25) respecto a X y X se deduce no solo que X es el complemento de X, sino tambten que X es el

37

complemento de X. Pero el complemento de X es It De este modo,

X=X.

([-26)

Con ayuda de la oper acion de complementaci6n puede representarse la diferencia de conjuntos en 18 cornoda forma siguiente:

X\. y= {x : x EX y x 95 Y} = {.'C: x EX y X e Y,},

o sea,

(i-27)

g) Fracdonamiento de un conjunto

Una de las operaciones can conjuntos que se encuentran mas Irecuentemente es 1a operacion de fraccionamiento de un conjunto en un sistema de subeonjunlos. Asf pues, el sistema de curses de una facultad dada constituye el Iraccionarniento del conjunto de estud'iantes de dicha facultad; el sistema de los grupos de un curso dado es el fraccionarniento del conjunto. de estudiantes del curso. Si Nes el conjunto de 'los nurneros enteros positives, siendo Ao y A I los conjuntos de los numeros pares e impa res, entonees cl sistema (AG, AI} sera el Iracclonamiento del conjunto N. EI conjunto de los numeros enteros positivos puede Iracciouar se de otro modo, a saber: en los conjuntos de los nurneros divisibles entre 3 sin resto, con resto I y con resto 2. La pro ducclon de una ernpresa se Ir acciona en el sistema de conjuntos que constan de los productos de primera clase, segunda clase Y artlculos defecluosos. Se podr ian citar inf initus ejemplos aimil ares.

Para dar una definici6n regurosa del concepto de lraccionamiento, examinemos cierto conjunto -M y el sistema de eonjuntos 9R = (Xl, .. " X,,). EI sistema de conjuntos Wl se denornina Iraccionamiento del conjunto M 51 satisface las condiciones siguientes:

I) cualquier corijunto X de WI es subconjunto del coojunto M

"IX e!In :.X s M; (1-28)

2) dos conjuntos cua lesquiera X e Y de !lJ1 no son intersecados

v X e ftn, VY E !m : X * Y __. X n y =" i?l:

(l-29)

3) Is union de todos los con] untos que forman parte del Ir acclonamiento da el conjunto M

U X=M. (1·30)

Xe~

Volveremos al concepto de fraccionamiento durante el estudio de la relacidn de equivalencia, con 18 que a quelesta estrecharnente vinculado.

h) Identidades del algebra de los conjuntos

Con ayuda de las operaciones de union, interseccion y complernentacion es poslble Iorrnar diversas expresiones algebraicas ds los, conjuntos, Designemos por ~t (X, Y, Z) cierta expreaien algebraica constituida par los conjuntos X, Y Y Z. Esta representa clerto conjunto. Sea ~(X, Y, Z) otra 'expresion algebraica Iorrna da par los misrnos conjuntos. Si arnbas expreslones algebraicas represenlan un mismo conjunto, enlonces se les puede Igualar una a otra obteniendo una identidad algebraica de la forma

'1i(X, y, Z)=!ll(X, Y, Z).

(1-31)

Tales conjuntos resultan sumamente utlles para las transfermaciones de Ins expreslones algebraicas con conjuntos y en la secclon presente estudiarernos algunos de elias.

y

x

Fig. 1·6, Repr~scn!ac!6n geornetrtca de la ldentidad (X U Y) n Z = (X n Z) u (Y n Z)

1. En la Ilgura 1·6 se muestran los diagramas de Euler - Venn para las expresiones (X U Y) n Z y (X n Z) u (y nz). En dichos diagramas se ve que ambas expreslones definen un mismo con[unto, asi pues, en el algebra de los conjuntos tiene lugar la identidad

(X U Yj n Z = (X n Z) u (Y n Z),

(1-32)

analogs a la ley distributiva (a'+ b)c = ac + be del algebra ordinarta.

2, En el algebra ordinaria, en In ley distributiva no podernos sustituir la operaci6n de adlclon por 13 de multiplicaci6n, y viceversa, ya gue esto conduce a 13 expresion absurda (ab) + c = ::::' (a +c) (b + c). No ocurre as! en el algebra de los conjuntos,

En 1a figura 1-7 se muestran los diagramas de Euler - Venn para las expresiones algebraicas (X n Y) U Z y (X U Z)f1 (Y U Z). Arnbas es!as expresiones dan un rnismo conjunto; por 10 tanto, tiene lugar In identidad

(XnYlUZ=(XUzJn{yuZ). (1-33)

il9

3. Es Iacll cerciorarse de que si }' s X, entonces Xn.Y=Y, XuY=X.

(1-34)

En efeeta, todos los elementos del conjunto Y son tamblen a la vez, elementos del conjunto X. Esto signiltca que la interseccion de dichos conjuntos, 0 sea, la parte cornun de los ccnjuntos X e }' coincide can Y. En la union de los conjuntos X e Y, el conjunto Y no aporta ningun elemento queya no forme parte de -Ia misma siendo elemento del conjunto X. Por consiguiente, X U Y coincide

can X. .

4. Supon!endo que en (1.34) Y = X Y considerando que X ~ X,

hallamos que: .

XnX=X, XUX= X. (1·35)

En algunos cases resulta inconveniente demostrar las ldentt dades del algebra de los conjuntos con ayuda del diagrama de

x

y

y

x

Fig. 1-7. ~epre""nlaci6n geometric a de la ldentidad (X n y) u z = (X U Z) n (Y U Z)

Euler - Venn. Exisle un metodo mas general para determinar la identidad de dos expresiones algebraicas.

Sean designadas, como antes, per W (X, Y, Z) y 'll (X, Y, Z). dos expresiones algebraicas obtenidas mediante la apllcacion de las oper aclones de union, interseccidn y complementacion a los conjuntos. X, Y y Z. Para dernostrar que ill = 'll es suficien!e mostrar que 21 s; !lI y que !B 5: '8. A su vez, para rriostrar que ~ 5 'll, es necesario convencerse que de x E ':!( se desprende que x e.!ll. Anatog amente, para mostrar que 18 5 'll hace falta cerciorarse de que de x E 'll se deriva que x E ~. Utilicernos este metodo para demostrar vanlas idenUdades mas.

5 . .p emostremos I a i denti dad

(1·36)

Supongamos que xes X U Y, 0 sea, que x ¢ X U Y. Esto significa que x ~ X Y x ~ Y. es decir, que x E X Y x ~ V. Luego, x E X n Y. Supongamos .ahora que ye X n Y, 0 sea, y E X e yeP, Esto quiere decir que y ¥i X e y ¥i Y, 0 bien que y ~ X U Y" Par 10 tanto, Y E XU Y.

40

6. Demostrernos la Identidad Xny=.xuY,

(1-37)

reduciendo ambos mlernbros de la rnlsrna a igual forma. Electuando la operacidn de comple~ci6n en <limbos miembros de (1-37) obtenemos que Ti1Y = X U Y. EI primer miembro de esta expreslon da X n Y. Lo mismo oblenemos transformando el segundo miembro segun la regia (1-36).

En la llteratura las identidades (1·36) Y (1-37) comunmente se denominan identidades de Morgan.

[-3. ORDENACION DE ELEMENTOS

Y PRODUCTO DIRECTO DE LOS CONJUNTQS

a) Conjunto ordenado

A la par con el concepto de conjunto, como una union de elementos, existe una importante noclon de conjunto orden ado 0 cortejo. Se denomina corteio una sucesi6n de elementos, 0 sea, una union de elementos en la cual cada uno de elias ocupa un lugar determinado. Los propios elementos se lIaman entonces componentes del corte]o (primers componente, segunda componente, etc.). Son ejemplos de cortejos: el conjunto de personas que estan en una cola, el conjunto de palabras en una frase, los ncrneros que expresan la longitud y latitud de un punto en el terrene, etc. En todos estos conjuntos la ubicacion de cada elemento esta a bsolutamente determinada y no puede carnbiarse arbitrariarnente.

EI numero de elementos del corte]o se denomina su largo. Para deslgnar un cortejo varnos a emplear los parentesis, As! pues, el conjunto

a=(al' G2"'" an) (1-38)

es el corte]o de largo n con los elementos al, ... , an. Los cortejos de largo 2 se lIaman pares 0 pares ordenados, los cortejos de largo 3, ttiadas, los de largo 4, cuartas, etc. En el caso general, los cortejos de largo n se lIaman -de or den It 0 rz-arios. Constituyen casos particulares de cortejos el corte]o (a) de largo I y el cortejo vaclo de largo 0 design ado por ( ) 0 A. A diferencia del conjunto ordinaria, en el corta]o pueden haber elementos iguales, p. ej.: dos palabras iguales en una frase, valores nurnerlcos iguales de la Iongitud y.la latitud de un punta en el terreno, etc.

En 10 sucesivo vamos a estudiar conjuntos orden ados cuyos elementos son nurneros reales. Tales conjuntos ordenados se denominan puntos del espacio 0 vectores. De este modo, el cortejo (aI, cv.:) puede consider arse como un punto en el plano 0 un vector trazado desde el origen de coordena das hasta el punta en cuesti6n (fig, l-8,a). Las componentes UI Y a2 serlin las proyecciones del

41

vector sobre los ejes I y 2

PrJ (aI' a.:) = aJ; Pr? (a], 021 = Gz-

EI corte]o (ah a2, a3) se puede considerar como un punta en el espacio tridimensional 0 como un vector especial tr azado del origen de coordenadas a dicho punta (fig. 1-8, b). Las proyecciones del vector sabre los ejes de coordenadas son

Prdal, 02. 03)= ai, 1= I, 2, 3.

Sin embargo, en el caso dado puede hablarse de la proyecclon slmultanea del cortejo sabre dos ejes, por ejernplo 1 y 2·, es decir. sobre el plano de eoordenadas. Es facil ver que dicha proyeccion constituye un cortejo de dos elementos

Prl2 (ai' a2. a,) = (ai' 02)'

Generalizando estes conceptos vamos a considerar el conjunto ordenado de numeros reales de n elementos (aj, , ..• an) como un

p

azt- --;(0,,02)

I I

fJ,

0)

,?(a,~a2,aJ) I

I

] (122

Fig. 1-8. Proyecciones de un cortejo de dos y Ires elementos

punto en el espaclo irnaginario de n dimenslones lIamado a veces hiperesp acio 0 como un vector de n dlmensiones. Vamos >l considerar entonces las componentes del cortejo a de n elementos como las proyecciones 'de dleho cortejo sabre los ejes correspoqdlentes

Pr,o=af. i = I, .. '. 11. (L39)

Si t, / •.. " I son los nnmeros de los ejes, siendo I .,;; i < i < < , .. 1 :s;;:;; n, la proyecci6n del cortejo a sobre los ejes i, j, ...• J es igual a:

Prl. I .... I a = (ai, a" .,,' all· (1·40)

La proyecclon del cortejo sobre un conjunto vacio de ejes constituye un corte]o vacfo

Pr0CJ==A. (141)

En eI capitulo 3 se dara una deltnlclon mas cornpleta y rigurosa .del espacio multidimensional.

4.2

b) Producto dlrecto de conjuntos

Se llama producto directo de los conjunlos X e Y al conjunto designado par X X Y que consta de todos aquellos y s610 aquellos pares ordenados cuya primera cornponente pertenece al conjunto X y la segunda, al conjunto Y. De esta suerte los elementos del conjunto ordenado constltuyen cortejos de dos elementos del tipo (x, y). Su definicion formal es

XXY={{x,y):xeX, yeY}. (1-42)

Ejemp/o 1-/0. Sean X = {I, 21. Y = {I, 3, 4} Entonces X X y = (I. I), 0.3), (I. 4),(2, I), (2,3). (2.4)} La representacion geometries de este conjunto se muestra en la figur~ ! -9, a.

I I
4 --?---?--
I I
J --o}---?-
I I
Z I I
I I
-~-.;.-
I I
0
I Z X
0) 0) Fig. I-g. Repnsentacion geometrica del producto direclo de eonjuntcs

Ej<'mplo /·11. Sean X e Y segrnenlos de un eje '""31. E! producto dlrecte X X Y se reprcsenta por e] rectiingulo rayado indicado en la figura 1-9,1:>. De esta flgura se deduce que las propledadaes del producto directo dlfieren de las propicdades del producto ordtnarlo en sentido arltmetlco. En particular, or producto dlreclo cambia 01 carnbiar el orden de los lnctores, es dcclr,

Xxy oF YXx.

( 1-13)

La oper acicn de multiplicacion dir ectu se extiende tarnblen iiicilmenie a un numero mayor de conjuntos. Se denomina producte directo de los conjuntos Xl, X2, .••• Xr, el conjunlo designado par XI X X2 X ... X, que const a de todos aquellos y 5610 aquetios cortejos de largo r, cuya p rimera componente pertenece a X I, la segunda, a X2. etc.

Es fiicil ver que

XXY=0~X=0 0 Y=0, (H4)

ya que no existen pares ordenados con la primera 0 segunda componente que lalta. Analogarnente, XI X X2 X ... X, = 0 cuando, y solo cuando siquiera uno de los conjuntos XI, X2, •.• , X~ es un conjunto vaclo .

. ' EI concepto de poiencias de un conjunto constituye un caso particular de la opera cion de mulllplicacion directa. Sea M un con-

43

junto arbHrario. L1amemos potencia s del conjunto M y designemos por M' el producto directo de s conjuntos iguales a M:

MJ_MXMX ... XM. (1-45)

Esta definici6n slrve para s = 2, 3, ... Ella puede hacerse extensiva a cualquier s entero no negativo 3i asumimos mediante una definici6n especial que

(1-46)

Si R es el conjunto de los nurneros reales, entonces R~= R X R representa el plano real y R9 = R X R X R representa el espacio tridimensional real.

c) Proyecclen de un conjunto

La operaci6n de proyecci6n de un conjunto esta vinculada estrecharnente a la operaci6n de proyecci6n de un cortejo y 5610 puede aplicarse a los conjuntos cuyos elementos son cortejos de largo igual.

Sea M un conjunto que consta de cortejos de largo s. Entonces vamos a Hamar proyecci6n del conjunto M al conjunto de las proyecciones de los corlejos de M.

Ejemp/o J-12. Sell M = (I, 2, 3, 4, 5), (2, I. 3, 5. 5), (3, 3, 3, 3, 3), (3, 2. 3. 4, 3) J. Entences

Pro M ... [2, r, 3); Pr~. < M = {(2, 4), (r, 5), (3.3)}.

Es facil comprobar que sl M = X X Y, entonces

:PrIM = X; Pr2M= y,

(1-47)

Y si Q 5 X X Y, entonces

PrIQsX; Pr2QSY.

(1-48)

1-4. CORRESPONDENCIAS

a) Definicion de correspondencia

Exarninernos dos conjuntos X e Y. Los elementos de dichos coni untos pueden compararse unos con otros de algitn modo, formando pares (x, y). Si el metodo de tal comparaci6n esta determin ado, 0 sea, para cada elemento x E X esta indicado ei elemento ye Y con el cua] se compara el elemento x, se dice que entre los conjuntos X e Y se ha establecido corresporidencla no siendo entonces impresclndible en 10 absolute que participen en la cornparacton todos los elementos de los conjuntos X e Y.

44

· Para presentar una correspondencta es necesario sefialar:

I) el conjunto X cuyos elementos se comparan con los elementos del otro conjunto;

2) el conjunto Y cuyos elementos se comparan con los elernentos del primer conjunto;

3) el conjunto Q >= X X Y que define la ley en conformidad can Is cua 1 se rea liza la correspondencia, 0 sea', que enumera todos los pares (x, Y) p artlclpantes en la ccmparacion. De este modo. la correspondenci a design a da por q represents la trl a da de conjuntos

q;= (X, Y, Q).

(1-49)

en Ia cual Q 5 X X Y. En esta expreslon, la primera componente X se Hama dominic de partlda de la correspondencia, la segunda componente Y. dominio de lIegada -de la correspondencla, y la tercera componente Q. grMica de la correspondencta, El termino "gra. fica" se expiicara mas detalladamente al estudiar el tipo particular de correspcndencia denomina da Iunbton,

Ademas de los tres conjuntos exarninados X. Y, Q, tamblen estan relaclonados indisolublemei1te con cada correspondencla los dos conjuntos siguientes: el conjunto PrlQ Hamado dominio de definicion de la corrcspondencia, Iorrnado par los elementos del conjunto X queent-ran en comparaci6n y el conjunlo Pr2Q llama do dominic de valores de la correspondencia, constituido por los elementos del conjunto Y que entran en comparaclon,

Si (x, y) e Q, .se dice que el elernento /I correspcnde 81 elemento x. Ea comedo representar esto geamHricamente mediante una Ilecha diriglda de % p g.

~K

ct jJ"/(i. fl 'I

a) b)

Fig. 1·10. Represenlad_on geometric a de las ccrrespondencias dlreeta e Inversa

Ejemp/,a /·13. Sean X = 11,2}, Y = {S,5} de manera que XX Y = {(I 3), (1.5), (2.3). (2.5)}_ Este conjunio da la poalbtlidad de obtener 16 carrespl)nden' etas diferentes. Citemos algunas de elias,

Qt ... (I,3)}; PrIQI(I}: Pr.Qt=(S):

Q. = {([,3l. (1.5»): Prt Q. ~ II}; Pr, ,Q. ~ (3, 5) ... Y.

E{emplo J.14_ En una empresa hay Ires vehtculos autcmovtles, des camlones a; y Il que trabajan en des turnos 'i un autobus y rararnente utttizado. EI carnion ~ se encuentra en reparaclonea En In plantilla hay Ires ch6feres D, b, C de lcs cuales e esta de vacaclones. La distrtbuclcn de los eh6fere$ per vehiculos ccnstituye una eorrespcndencta. Una de las cerrespondenclas pcslbles 5er. Is siguienle:

q"" «(a, 1>, c}, {~~, Yl. [(a. Il), (a, y), (I>, II}).

,!Ii

Esla correspondencia cst;) representada gcomHrioamente en ia' figura [-10, a. 'EI1 ella el elemenlo 0; corresponde a. los elementos a )' b. Y e I elemcnto;'y. a I elernento Q, La correspondncia q estA delinida PB[S a Y o, pero no 10 es.t3 pa ra .c, .por ccnsigutente.iet domlruo de definicion de la correspondencia cs el can[unto fa: b}. EJ dominto de valores de Iii correspondencla es el conjunto {a, V},

b) Correspcndencia lnversa

Para cada correspon<lencia q = (X, Y, Q), Q ~ X X Y existe -una correspondencia - Inverse que se 'obtierte s[ se conaidera la cor respondencla dada en dlrecclon contra ria, es decir, si se deterrni'nan los elementos x E X con los cuales se cornparan los elernentos Y!:l= Y, La fo.r.respp!l~encia inversa a la corresporidenciae sera,

;designadi! par '

q-I =(Y, X,Q-I). (I-50)

-donde Q-I ~' y X x.

- ejempio J-1-5, Para e1 ejernplo- 1·]4 la correspondencta Inversa sera la dis-

tribucion de los vehleulos entre los choferes: , '

(11l,~, y) (a, b. c). ((n. a), (fl., h), (V, am.

,

·10 q,ue se mil.estr~ geomelricamen!e en la fi,gu~aJ J·IOb.

, En el ejemplo dado se v'e que la representaclon geomHrica de 'Ia correspondencta Inverse se obtiene camblando la dlrecclon de 'las tlechas en' larepresentacion -geometrica de ia' ccrrespondericla directa. De ello se despreride que la correspondencia Inverse de la

-correspcndencla inverse sera la correspondencia dirscta

, .

r'

c) Composlclon de correspendenclas

Se llama cornposiclon de correspondencias al ernpleo consecutivo de dos correspondenclas. "

La ccmposicion de correspondenclas es una opera cion con tres conjuntos X. Y, Z. en los cuales estan definidas dos corresponden.cias i ,. _ •

q=(X,Y,Q), Q~XXY:} -: "P"""(YJ~: P).~ p-;;;.yXZ,

(I-52)

por cierto, el dornlnlo de valorss de la pr imer a correspondencia coincide can el dOmini'o de definiCion de la segunda

, "

Pr2Q=Pr. P. (I-53)

'La primera correspcndencia define para cua-lquier x E PrJ Q cierto elemento' Y E Y que a demaspuede serno unico. De acuerdo I POll laAefjn.iC'i6n .de laoperacicn de' cornposiclcn de correspcndencias, ahara hace falta definir la z e; Z para la y E Y halla:da, empleando la segunda correspondencta. I:)e este modo, la composition

G~6

de cort esponderrclas compare con cad-a elemenlo x del dominlo de definicion de ta pr irnera cor r espondencta PrlQ, uno 0 varies eIemen tos z del domi nto de valor es de' lasegurlda correspondencla P~P. .

Vamos a designar por q(p) la composicion de correspondenctas q y P. Y por Q 0 P; Ia griHica de la compostclon de correspondenclas, Entonces la composic!6n de correspondenctas (I-52) se escribe en 'Ia forma

q(p) = (Y, Z, o» Pl, Qo P s;; X X Z.

(I-54)

.Biem pto /·/6. 51 q ea Ia corresp,ondencla que det .. rmina la dislribuci6n de los ch6[eres por vehlcu los automovlles y p, la correspondencla 'lUI' dctermlna is d lst ribuci6n de vehiculos por rutas, entcnces I a correspondencla q (p) es 1 a correspondencia que delfne 18 distribuci6n de choleres por rutas,

;', Como es 16gico, la oper aclon de cornpcslclon puede ex tenderse asimismo a un numero de correspondencias mayor de dos.

1-5. REFLEJOS Y FUNCIONES

a) Reflejos y sus propledades

Sean X e Y clertos conjunios siendo r s:; X X Y y Prl r = X.

La trlada de conjuntos (X. Y, I') define clerta correspondencia que posee Ia propiedad de que su-dominio de definicion 'J;'i"1 r coincide

a b

~.

« ft r

Fig. I-II. Representacion geomHrlca del rellejo

con el dominio de partida, es decir, con X. y, por 10 tanto, dicha correspondencia esiA definida en todas partes en X. En otr as palabras, para cada x E X existe una ye Y lal que (x, y) e r. Tal correapondenela deiinida en todas partes se denomina refie jo de X

en Y y se express por .

r:x-Y.

·(1-55)

A menudo por la palabr a "rellejo" se comprende el,,~e.lJejo unlvoco .. Sin embargo, nosotros no vamos a atenernos a esta regl a y consideraremos que el reflejo r pone en cor respon dencia can cada elemento x E X cierto subconjunto

l: • I I J

rx s;; y, (I-56)

llama do imagen del elemento x. La ley conforme a la cual 51': rea llz a la eorrespondencia se define por e1 conjunto r.

Ejemplo 1-1'1. Si en el ejernplo 1-14 se excluye del anallsls el cMfer c. se oblicne el ref lejo I': X-+- Y, en el CUIII X.,., {a, bJ es el conjunto de los chcleres; Y -(~, II. V). el conjunto de los, vehtculos eutomoviles, y r = 1(0. a), (G, y), (b, a»), Is distribuclen de los choleres per vehiculos. En Is !lgma 1-11 se muestra la representacion geometries de este refle]o,

Exarnlnemos algunas propledades del reflejo. Sea A ,;;; X. Para cualquier x E A el conjunto- fx 5 Y sera la imagen de x. El total de los elementos de Y que conslituyen lmagenes de fx para todas las x EAse denomina imagen del conjunto A y se designa POt rA. Segun esta definicion

rA.- U rx.

.,,,,,A

(I-57)

Sf A I Y A2 son subconjuntos de X se curnple que r (AI U Az)= rAt UfA2•

(1·58)

En electo,

f(AIUA2\= y. rx=( U fx)U( U rx)=rA,urA2.

xe .U.A,. ~eAI % Q! AI

Sin embargo, la relacl6n

r (AI n A:J == r AI n I' A2

(1-59)

s610 es valida en caso de que el reflejo sea univoco. Para demostrar esto reaJizaremos el fraccionamiento de los conjuntos AI y A2 (fig. )-)2) del tipo

A1=XIUXG, A2=X2UXo,

donde Xo = AI n A2•

Fig. 1-12. Fraceionamlenlo de ccnjuntos fnlersecadcs

Por cierto, los conjuntos XI. X2, Xo seran fraccionamlentos del conjunto AI U All. Aunque dichos conjuntos no son Incidentes, sus Imageries, sin embargo, pueden tener elementos comunes en caso de no ser unlvoco el refiejo. Per consigutente,

r AI n r Az = r (XI U Xo) n r (X2 U Xo) =

= (rXL n rX2) u(rXI n rXQ) U (rX2nrXO) U rz,

En esta relaci6n se ve que (1·59) 5610 se cumple en el easo de que

rX,n rx_= 0; 1, k E {a, 1, 2}; i =P k.

(1-60)

es declr, cuando el reflejo es univoco. Ahora bien, en el caso general

(1-61)

La s re 1, aeiones obten i d as se gen er ali zan ta m bien con f aclli dad para un nurnero mayor de conjuntos Ai. As! pues, si AI, ... , An son subconjuntos de X, entonces

(1-62)

(1-63)

Par cuanto el reflejo constituye un caso particular de cor respondencia, son validos para el ref le]o los conceptos de reflejo inverso y composici6n de reflejos, analogos a los conceptos introducidos al estudiar las correspondenclas.

b) Reflelos presentados en un conjunto

El caso en que coinciden los conjuntos X eYes un imporlante case particular de reflejo. En tal caso el reflejo I': X - .. X va a representar el reflejo del ccnjunto X sobre sf mismo y va a definirse par el par

ex, r),

(1-64)

en el cual r ~ X2. La teor ia de los grafos, euyos elementos ser an examinados en el capitulo 2, se oeupa del estudio detallado de tales reflejos. Aqu [ s610 nos relerlrernos a ciertas operaciones con semejantes rellejos.

Sean r y 8 los rerlejos del conjunto X en X. Vamos a denorninar composici6n de dlchos reflejos el reflejo r60 que en concordancia con la regIa expuesta en el § 1-4 se define de la manera sigulente:

(1-65)

En el caso particular en que f), = I', obtenemos los reflejos

r2,1:= r(rx) (1-66)

r"'x = r (f2X). e tc. (1-61)

De este modo, en el ca so general para cu alquler s ~ 2 5e vertfica

(1-68)

Mediante una definici6n especial introduzcamos la relacion

(1-69) 49

Ella da la posibtl idad de extender la relacton (1.6S) tarnbien a las s negativas. Elecl ivarnent e, segun (1-68)

r'x= r(r-1x)= I'r-1x= x.

(1-70)

Esto signlllca que r-1 x conslituye un ref lejoInverao. Entonces

1'-1x = r-I (r-I x),

(1.71)

etc.

Slemp/o 1·18. Sea X un conlunto de personas. P,aracada persona it E; X, design~mos per rx el ccnjunto de SUs hija,s, 8ntonces I"" es eJ, conjunto de los nietos de x; ['·x. el conjunto de los blzntetos de r. r-'x. el conjunto de 10;

pB d reS de x. etc. , '

Repn!sentando las personas por puntos Y' ira. ando las Jlechas que van de x a, LX., obtcnerncs el arbol gene~]6gico que se muestra 8 tltulo de ejemp 1'0 en la Hgura ]·13.

Fig. 1-13. Arco! geneaJ6gico

Biemplo /-19. Analicemos un [uego de ajedres. Deslgnernos per x elerta posici6n (Ub, lcacidn de la,! Ugllras en el lab lero] , que puede crears,e, d 1I rante el juego, y por X .. el conjunlo de las posicicnes poslbks. Entonces, r.r va a slg· n ificar. para eua l~uier, x 5. X el conjunto d~ poslcloncs que pue~~n obtenerse a partir de ;r haclendo una [ugada y curnpllendo la9 r~gr 89 del luogo. En tal Ct:.lSO,

LX = 0, 51 X es una poslci6n de [aque mate 0 de lab las;

r'x es el conjunto de las pcslciones que pue den oble"ers~ a padir de x 'con trea [ugadas:

r-' .. es el conjunto de las poslctones a partir de las euales puede obtenerse la poslclcn dada con une 'jngada.

Par a los reflejos presentados en un conjunto, can frecuencia se ullltzan algunas otras denomlnaclones que Sf! encontraran mas adelante en nuestra obra,

Asl p ues, silos elementos x E X rep resen lan los es I a dos de un sistema dlnamlco, el reflejo rx puede constderarse como el cooi unto de los estados a 105 cuales puede pasar el sistema partlendo de un estado dado. En' este caso 10 mas apropiado es utiltzar el terrnino !ransformaci6n del esta do del sistema dtnamlco. Para desi goa rclerto s ti pos espec i a les de ref I ej os p resen ta dos en un mtsrno conjunto, t arnblen se ernplea eI t~rmino relation.

50

c) PUnd6n, funcional y operador Examiuemos cierto rei lejo

t . X-+ Y.

Este reflejo se denomina funci6n si es univoco, es decir. sl para cualesquier a pa res (XI, YI) e f y' (X2, Y2) E f de X2 -- Xi se desprende que Yo. = YI.

De I a definicion de reflejo y de los ejemplos dados anteriormente se deduce que los elementos de los conjuntos X e Y pueden ser objetos de cualquler natura lez a. No obstante, en los problemas de cibernetica presentan gran interes los reilejos que son unfvocos y cuyo conjunlo de valor es es el canjunto de los nurneros re ales R. EI rellejo unlvoco f delini do per (]. 72) se denomina Iuncion can valorcs reales si Y ~ R.

Ej~mplo {-zo. D~ una ciudad a otra se puede viajar POT tren, autobus () avldn. EI preclo del pasoje I'S, respectivarnent .. , de 7, 9 Y 12 rubles, El preclo de! pasa]e en este ejcmp lo pued e represent erse como [unctcn del medic de transporte, E~aminemos para ello los conjuntos

X = {Ir., aut., av.], Y = [1,9, 12).

La 'fund6n " X -- 1', obtenlda de Ins condiciones del ejemplo. puede escrtblrseen form" dd conjunto f {(Ir_, 7), aut, 9). (av. 12)).

El valor !J en cualquiera dG los pares (x, y) sf se de-nomina Iuncion de l a x dadayescrtbiendose en Ia forma y = f (x): Tal notacion perrnite introdue+r la slguiente del!Aki6n formal de funcion:

f- {(.~> y) e X X Y : IJ- f fx)}. (1-73)

De csta suerte, el 5 imbolo f se uti liz a p ara I a defi n ic i6n de J a lunci6n en dos sentidos:

I). f es el conjuntocuyoselementas son los pares. (x, y) que .partictpan en la correspondencta;

. 2) f (x) es la designaci6n pa fa la y E Y correspondienle a la

.xE X dada,

La definicion formal de luneion a modo de la relacion (1-73). perrnlte establecer los metodos de presentacion de Ia Iunclon.

1: La enumeracion de todcs ]05 pares (x, y) que constituyen el conjunto i, como se hizo en el ejemplo 1·20. Tul metoda de presenIacion de la Iunclou es aplicable si X es un coj unto Iintto. Para mayor cia rida d conviene disponer los pares (x, y) en forma tabular.

2. En rnuchos casas, tanto X como Y constituyen conjunlos de 'numercs reaies a cornplejos. En tales casos, muy frecuentemente ~.e cornprende por f(x) !a lormula, es decir, la expresion que contiene la relacidn de las operaclones maternaticas (adicion, substraccion, divisi6nl.logaritmaci6n, etc.) , que hay que realiz.ar can x E X para ootener'Y...

Bjempio [-21. Sean X = Y = R y r = ({x, U) E R', y = x'). En(onces fix) =x'.

,6.1

A veces results necesario emplear distintas formulas para los diferenles subconJu~[os del con] unto X de la. Iunclon. Sean AI •..• . . " A" los SIl been] untos de X que no se rn terseca n por pares. Designemos por f .. (x) (i = I, ... , It) la formula que d.efine y slendo x E Ai. Entonces la Iunclon f (x) va a dellnlrse par la expreslon

{ h(x) para xeA1;

f(x}= .

. f",(x) para xEA .

ASi, la Iunclon y = f (x) = I x I puede presen Iarse en la forma

.1' _{ X para x;;;;"O;

y - - x para x < O.

3. SI X e Y son conjuntos de los nurneros 'reales, 10$ elementos (x, y) e f pueden representarse en forma de puntas en el plano R2. La totalidad de dlchos puntos va a constituir l a grafica de la Iuncton I (x). En la Hgura 1·14, a esla representada la grafica de la funci6n dada en el ejemplo 1·21.

a) b)

fIg. 1.14. Gr;Hicas de lunclcnes

En los problemas de cibernetica con mucha Irecuencia se haee necesario opera r con Iunclones del tiempo, Estas Iunclones deiinen el reflejo de un nurnero finito 0 inllnito de puntos de clerto Intervalo de tlempo T en el conjun!o de rnrmeros reales X ~ R, 10 que puede escriblrse en \a forma

f :. T -~ X.

(( -75)

Designando por l los elementos del conjunto T, y por x los elementos del conjunto X, obtenemos la Iuncion x = 1(1), que determ ina el e a r acter del a va riacion de I valor de x en el tiern po, como se rnuestr a por ejernplo, en la figu fa 1·14, b. Para sirnpliftcar la nota cion vatnos a desig nar stmplemente por x (I) [a dependenda de x del tiempo.

Si en la expresi6n (1-72) X = U X V, entonces Ilegamos 3 13 luncion de dos variables u y to, designada por f(u, til. donde UE U ytl E V. La definicion forma I de Ia Iunctcn de dos variables reales sera la sigulente:

f= {(u, to, y) EU X V X Y: u=L'». to)}.

(1-76)

62

De rnanera ana loga se delinen las funciones de lres 0 uri nlj" mero mayor de variables,

Por cuanto 13 Iuncion es un case particular de eorrespondencla, para ella ser an v,Hidos los conceptos de luncion inversa 'I ccmpoS!cion, de las funclones, c~mo los expues~os para la, corn.! spondsnCHI, 51 f 'I g son dos Iunclones en el conjunto R~, slendo

f: X_V s: y_Z, entonces las lunciones lnversas ser an:

r(: V-X g-I: Z-Y.

La composlclon de las funciones r 'I g fog: X·-Z

define para cada );; e: Z una Z E Z que se designa como Z= (f 0 g) x ____. g [f {xl]-

(1-77)

(1·78)

(1-79)

(1·80)

El concepto de tunclonal es un concepto mas general que el de Iuricion. La [uncionai eslablecela dependencia entre un conjunto de nnrneros, por un la do, y clerto conjunto de iunciones, por otro lado, Puede servir de ejemplo de funcional la integral delinida del tipo

~

J (f) = ~ f (x) dx.

a

Como vernos, la fundonal J (f) representa un mlmero dependiente de Ia lurrcion f(x), Ia cual se elige de cierto conjunto presentado de Iunclones.

EI concepto de oper ador es un conceplo aim mas arnplto. El operadorestablece la correspondencta entre dos conjuntos de funclones de tal modo que a cada uno deestos corresponde una funcion deterrninada del otro conj·unto. Asi pues, si designamos par p el operador de diferenciacion, a rel acton entre la derfvada r (x;) = == dJ(x) [dx y la Iuncion f (x) pued e escr lbirse en forma de Ia reIacion operaclonal

l' (x) = p [f (xH,

1-6. RELACIONES

a) R.elacl6n como representacJ6n del enlace mutua entre los fen6menos

Hasta a hora hernos considerado los conjuntos simp lernente

como una reunion de elementos, En los ejemp!os dados hernos vtsto qu.e pU,eden sec elementos de Josconjun.tos los obje~os y ferrornenos mas diversos de la natur alez a, la tecnica y la scciedad, e lncluso

53

de la vida cottdtana. Estos objetos y fen6menos poseen las mas dlferentes propieda des. Perc, alestudtar los conjuntos como reunion de elementos nos. hemos 'abstruido de todas las propiedades de dichos elementos salvo una: ser elementos del conjunto considerado.

Tal enfoque results sumarnente provechoso ya que permite intrcduclr un metedo unico de description de los tenomenos de mas diverse lipo. Pero este enloque en rnuchos cases es a la vez unilateral einsuliclente.

En In rtatur alez a y 18 socieda d los d ileren tes sucesos y lendmenos no existen par ·si rnismos, sino queestan vtncul ados reclprocarnente e influyen unos sobre otros, En e! concepto de conjunto no se ref leja este enlace mutua de los fen6menos. Es por ella que el concepto- de conjunto requiere su desarrollo ulterior par a aproxirnarse a la descrtpcion de las sttuaclones rea les.

EI primer paso eneste senti do- es la lntroducclon del concepto de relacicn en el conjunto que constltuye el. metodo matematlco de expresion del enlace mutuo entre los lenomenos. EI corrcepto de conjunto obtiene su desarrollo posterior en los esp aclos rnultldimenstonales al estudio de los cualcs elsie. dedicado 101 tercer capitulo.

b) Propiedades de las relaciunes

Como ya se ha indrcado, el termino "relacton" scemplea para designar algunos tipos de reflejos dados en un mismo conjlmto. Debido al uso de este terrntno es conveniente introducir una serie -de sfmbolos especlales,

Supong arnos que cl reflejo (X, I') es una relaclon, Examinemos el elernento If E f.x. D.iremos que e.1 elem. en.to s se. enc.uentra en rel acidn r can el elemento x: y lo escrlblremos en la forma

yrx.

(1-81)

As'! pues, 101 simbolo r en el ejcmplo 1-18 denota la relacion "ser hijos de fa persona dada".

Nota. Utilizando parael reflejo dado en un conjunto 1 a correlaci6n (I -64), ootenemos que la relacion es el par de conjuntos (X, I') en el cual r SO; X2• Por cuanto los elementos del con] unto X2 son pa res ordenados puede declrse que la relacion es un conjunto de pares ordenados. Como que cada par rei aciona entre 51 s610 des elementos del conjunto X~, esta relacion se derromina a veces rel acton b inaria 0 de dos lug ares .

P uede i nt rod u ci r se un concep to de rel acio n m as genera I den 0- 'minando relacion el par de conjuntos (X, I'). donde r so; X". Los elementos del conjunto x» son I as n-es ordenadas y esto permite denornmar n-aria 0 de n lugares 101 relaclon dada. En particular, el conjun!o de las tria das ordenadas pucde llama rse relaci6n rer-

-.)4

naria 0 de ires lugares. En 10 adela rile, sin especillcar lc especialmente; conel termino .. relaclon " nos referiremos a Ia rei aclon binaria.

Las Tela clones se clivi den en dilerentes clases dependiendo de si poseen 0 110 cier!as prop iedades.

Exarninemos las seis propiedades ptincip a les de las I elaciones.

AI exporter dlchas propieda des vamos aconsiderar que x, y, z son e leme.n Los cua I esqu ier a del conj unto X ..

Reflexividad: xrx lOS cierto; antlrrellexlvidad: xJ'xes falso; slmetria: xfy _ yfx; anttstmetria: xTy y grx - x = y: aslrnetr!a: si xry es cierto, entcnces yI'x es Ialso; trnnsitividad: xry y yrz_ -,..xfz.

Examirremos algunas clases import antes de relaciones, utiliz an do las propteda des expuestas.

c) Relation de equlvalencta

Algunos elementos de un conjunto pueden conslderarse equivalentes, cuando, en algunos cases, al sorneterl os a cterto analis!s, uno de ellos puede 'ser sustituldo par otrc, Entonces se dice que los elementos da dos estan en relaclon de equ iva lencia,

Ejernplos de relaclones de equiva lencia:

la relaclon "estar en uncu rso" en el conjunto de Los estudiantes de una Iacul lad;

, Ia relacion "tener igual rests al dividirse por 3" en ei conjunto de los numeros enteros posllivos:

la relacion de par alelisrno en elconjunto de las rectas de un plano;

1 a relation de sernej anz a en el conjunlo de los triangulos, etc. Pa ra ·formtllar con exactltud l a relaclon de equivalencia vamos a conslderar que el terrntno "relation de equiva lencia" se emplea solamente en caso en que se curnplen las Ires condiciones slguientes:

1) cada elemento es equlvalente a s[ rnismo:

2) la proposici6n de que dos elernen tos son equivalentes no requiere que se precise eual de los elementos se consldera prlmero Y c!JAI segundo;

. 3) dos elementos equlvalantes a un tercero son equlvalcntes entre sf,

Adoptemos el sfrnboto ee para denotar equlvalencia. Entonces I a defi nicion genera 1 de eq ui va lencia se obtiene escrlblen do las Ires condiciones cltadaaanterlorrnente en forma de las relaclones siguientes:

I) x F x (reflexividad);

2) x "'" Y -. Y == x (slmetrla}:

3) x .... y e y = z -- X·;5;; z (transltlvlda d).

A:l1 pues, la relation r se denornlna relaclon de equlvalencla si as reflexiva, slmetrlca y transltlva.

La relaci6n de equiva!encia esta vlnculada estrecharnente al fraccionarnienlo de conjuntos estudiado en el § 1-2. Sea X un conjunto en el que esta definida la relacion de equivalencia, Por ejemplo, X es el con junto de estudiantes -en un curse y la relaci6n de equivalencia es "estar en un grupo". Llarn arernos clase de equlvalencla al subconjunto de elementos equivalentes a cierto elemento x e: X. As! pues, el grupo en que curaa estudios el, estudiante Ivanov sera la clase de equtvalencia que equivale al estu-

diante mencionado. '

Sea J cierto conjunto de indices. Designemos por {Ai 5 X : j S e: J} el conjunto de clases de equivalencia para el conjunto X. Evidentemen!e, todos los elementos de una clase de eqnivulencia son equivalentes entre sl (propiedad transitiva) y cualquier elemento x E X puede estar en una y solo una c1ase. Pero en tal caso X eS la reuni6n de los conjuntos no intersecados Aj y de este modo el sistema complete de clases {Aj S X: j e J} constituye el Iracclonamiento del conjunto X. Asl pues, a cada relaelon de equivalencia en el conjunto X corresponde cierto Ir accionarniento de este en cI ases Ai-

La relacidn de equivalencia en el conjunto X y el lraccionamiento del mismo en clases se denominan conjugados si para x e y cualesquier a la relaci6n x !!5 y se curnple cuando, y solo cuando x e y pertenecen a una misma c1ase Aj de este fraecionamiento. La comparacton de los ejemplos de la seeci6n presente can los ejernplos del § 1-2 coadyuvara a esclarecer con mas exactitud el vinculo de l a relacion de equivalencia con el fraccionamiento del conjunto,

En calldad de simbolo general de la relacion de equivalencia se uti! iza el simbolo 51 (a veces ~). No obstante, para algunas relaciones de equivalencia particulares se empiean otros slmbolos; = para designer igualdad; II para denotar para lelisrno: =+== para designar equlvalencia logica.

d) Relation de orden

Con lrecuencia encontramos relaclones que definen cier to orden de disposici6n de los elementos de un conjunto. Por ejemplo, distlngulmos los conceptos "antes" y "despues" en aquellos casas en que los elementos del conjunto son estados de un sistema dinarnlco.. Diferenciamos los conceptos "es rnenor que" y "es mayor que" y utillzamos los simbolos > 0 < si los elementos del conjunto son numeros. Distinguimos los conceptos de conjunto y subconjunto empleando los sirnbolcs Soc.

En todos estos casos los elementos del conjunto X 0 los grupos de elementos pueden disponerse en cierto orden, es decir, puede introducirse la relaci6n de orden en el conjunto x.

Se distingue la relaci6n de orden no estrlcto para la que se uti\ iz a el slrnbolo ~ (sien do sus casos particulares los strnbo-

66

los ~, !::) Y la relaci6n de orden estricto para la cual se emplea el slmbolo < (siendo sus casas partieulares los simbolos <'. c, --). Descrtbamos estas relaciones enumerando sus propiedades.

Se denornina relacion de orden no estricto la que pasee las

tres propiedades sigulentes:

x";;;;; x es cierto (reflexlvldad}:

x";;;: y e y ~ x ...... x = y (antisirnetrta): x":;;; y e y ~ z - .. x ~ z (transitividad).

Se llama relacion de orden estricta a la que tiene las tres pro-

piedades siguientes:

,I; < x es I also (antirre.flexlvidad);

x < y e y < x se excluyen mutuamente (aslmetrla): x < y e y < z -. x < z (transtttvldad).

EI conjunto X se denomina orden a do si dos elementos cualesquiera x e y del mismo son comparables, es decir, si para ellos

x <!J 0 x = y 0 !J < x.

e) R.elaciol1 de predomlnlo

En aquellos casos en que X denota un conjunto de personas o de grupos de personas, nos encontramos can una relaelon que es de predominio. Dirernos que x predomina sobre y y escrtbirernos x <.< y si x super a en algo a y. Asi, x puede ser un deporttsta o equipo deportivo que veneto al deportista 0 equipo y, 0 una persona que goza de autoridad ante I (l person a g, 0 una propiedad que se prefiere a la propledad y.

Diremos que entre los elementos del conjunto X hay relaci6n de predominio sl dichos elementos tienen las dos propiedades stgulentes:

1) ningun individuo puede predorn'inar sobre s{ mismo, es decir, x» x es la lso (antirreflexividad);

2) en cada par de individuos es seguro que un individuo predomina sobre o\ro, 0 sea, x<<.y e y<.<.x se excluyen mutuamente (asimetria) .

Respecto al predominio la propiedad de tr ansltivldad no se cumple .. En electo, si en unas cornpetenclas el equipo x veneto al y y el !f derrot6 al Z, de esto no se deduce que el equipo x vencera necesariamente al z.

\.7. ALGUNOS CONCEPTOS DE ALGEBRA SUPERIOR

a) Grupos, anillos y campos

Las oper aciones algebraicas (adtclon, multiplicaci6n y division) que lueron introducidas inicialmente para los nurneros raclonales, durante el proceso de desarrollo de las maternatlcas Iueron

67

extcndidas II otras nociones diferentes: mirneros complejos, vedares, matrices, etc. Las -eglas de ejecucion de estas oper aciones son distlntas para las dlferentes nociones, No obstante, dichas operaclones tienen propiedades comunes cuyo conocimiento permite deterrnlnar si cs poaible 0 no emplearlas para cualquier tipo concreto de nociones. EI establecimiento de tales propiedades conduce a los conceptos de operaci6n, grupo, an1110 y- campo algebraicos.

Sea X cierto conjunto. Sejllce que: en el conjunto X esta presenlada una operacion algebraica sf can cada par 'or denado (0, b)e X2 esta puesto en correspondencla re. maner a univoca un elemento delerminado c que pertenece al mismo conjunto X. La opera cion definida de este modo se denomlns multiplicacion 0 adicion y se escribe en la forma

e==all 0 c=a+b. ((-82)

La opera cion algebraica se denornina asociativa sl para a, b, c e X cualesqulera se cumple la correlation

(ab) e = a (be) 0 (a + b) + c = a + (0 + a).

Se denornina semigrupo el conjunto X con una operacion asoclativa presenlada en e\ mismo (Ilamemoala pOI ahcra multlpltcacion). EJ semigrupo se denomina grupo si:

I) en el conjunto X existe un elemento e tal que para cualquier a E X se verilica

ae=ea=a;

( 1-83)

2) para cualquier a EX exlste un elernento a-I tal que aa-I = a-Ia = e,

(1-84)

EI elemento e se denomina unidad del grupo y el elemento a-I, lnuerso de Q. 5i la operacidn definida en el grupo se denomina adicion, entonces el elemento e se Barna cero del grupo y se designa por e1 simbolo 0 y el a-I se denornlna opuesto de a y se deslgna -a. Los elementos 0 y -a satisfacen las relaciones

a + 0=0 + a= a, a + (-a) = O. (1·85)

EI grupo se denomlna [inito st X ee un conjunto tin ito. Son

ej em plos de gru pos: elconj un to de los nu meres en teres respecto

a Ia operaclon de adtclon; el conjunto de todos JQS, numeros racio-

ua les diierentes de cera respecto a la oper acion de multlplleaclon:

el coni unto de lodos los vectores en el plano respecto a la operacion de adiclon vectorial. Sin embargo, los nurneros enleros no forman grupo respecto a la operaci6n de mu I tlpllcacion ya que para un nurnero entero distinto de ± 1 no exlste un numero enlero

inverso del mismc, E! conjunto {I, -I, i, -i}. donde i = V -\ puede servlr de ejernplo de grupo finito respecto a la operaci6n de _ multtphcaclon.

58

Si en el conjunto X estan def inidas a la vel. dos opernclones algehralcas, la a dicion y la multiplicaci6n, siendo conmutatlva "a nperacion de adicion (a + b =' b + a), y estando la operacion de muli.iplicaci6n vinculada a Ia de adicion mediante las leyes distributlvas

a (t; + c) = at; + at y (b + c) a = ba + ca,

(J ·86)

entonces tal con] unto se denornina anillo. En el anllln pueden i altar la unida d y los elementos inverses. Si en el hay la unidad, entonces se denomina arlillo can anidad; Son anillos los conjuntos de todos los nlirneros errteros, rsclcnaies, reales }' complejos, respecto a las cperaclones comunes de ad.icion y muhtpllcaclon.

Se denomina campo al anillo en el que para elementos cualesquieta a =1= 0 Y b existe preclsamente un elernento x tal que ax = b. El elernen to x se denomina cocienle de la division del elernento 6 por e! a y se design a POf x = bla. Strven de ejempics de campos et anillo de tcdos los numerus raclonaies, el arrti!o de todos los numerus reales y eJ anillo de todos los nurneros compiejos.

b) Isomcrllsmo; Homomorfismo. Simulati6n

La strnulacion de sfsternas r sttuaciones extstentes en el rnundo real [uega gran papel en las investigaciones clenWicas y priicticas. La esencla de Ia simulacion conslstc en establecer una relacl6n de equiva lencla entre dos sistemas, cada uno de los cuales puede existir en realldad 0 ser abstracto. Si el prirnero resulta mas sencillo para In lnvestlgacion vque e! segundo, es posible juzgar sobre las propieda des del segundo sistema observando el ccmportarnlento del prtrnero, En este case el sistema crnpleado paTI! la i!ll'es!igaci6n se denomina modelo.

El modele se denornlna isomorilco (de lgual forma) sl entre. el modelo y el sistema rea! se observa una correspondencia lotal de elementos. Dicha correspundencia uene lugar entre el negativo y la imagen obteruda del mismo, cl dihujo y Ia pieza elaborada segiin .?ste, los procesos en W1 sistema real y la solucion de III ecuacion que describe SLi comporlamienlo.

Sin embargo, en rnuchos cases los modelos isornorflcos resultan demasiado complicados e lncornodos para su utilizacion practlca. Resu\tan mas aproptados aquellos que permiten juzgar solamente acerca de los aspectos esenciales del ccmpcrtarmento de los sistemas r eales sin detallartos. Puede servlr de ejemplo el slguiente modele: eJ mapa geografico con res pee to al sector de Ia superlleie terrestre representada en este.

Se llsman homomorlos los mcdelos, algunos de cuyos elernentos solo curr esponden a gran des partes del sistema real y en los cuales Ialta la correspcndencia total entre los elementos del rnodelo y del sistema.

69

Puede darse una definici6n maternatica rigurosa del Isornorfismo y homornorltsmo en thmincs de 13 teorra de los grupos,

Supongamos que los conjuntos X e Y son grupos, Si entre los elementos de dichosgruros se ha establecido una correspondencia biunivoca, segun la eua para elementos cualesquler a a,. b e: X Y elementos correspondien1es a ell os a', b' eo Y, 81 elemenlo c = ab va a corresponder eJ elemento c' = a'b', denominandose a tales grupos isomorficos.

Los grupos Isorrtorfteos pueden diferir unos de otros 5610 par Ia naturaleza de sus elementos y quiz.~s por la denominaci6n de las operaciones definidas en el grupo. Pero todas las propledades de losgrupos lsornorflcos entre 51 que se derivan de las propledades de las operactones definidas en ellos y que no dependen de III naturaleza de los elementos del grupo son iguales.

En los grupos homom6rficos 1a correspondencla entre grupos es unilateral. Se dice que el grupo X estd reflejado bomomoriicamente en elgrupo Y sia cada elernento del grupo X ccrresponde un elemento delermlnado untvocarnente delgrupo Y, Y si a los elementos a, b e; X corresponden Ioselementos a', b' e; Y, entonces al elemento ab = c corresponde el elemento e' = a/b', En 10 general, en caso de homomorfismo del lipo X -- .y pueden pasar al elemento eonsiderado del grupo Y diversos elementos del grupo X y puede aslmlsmo no pasar ntnguno ...

PR.OBLEMAS PARA EL CAPITULO 1

1·1. ~Que represents el conjunto Y" X del ejernp ln 1·1 ~

1·2. Deal!i::nar med lante rayado '11 con] unto )' '\ X del ejemplo 1·3.

1·3.. Sea l{ un conjunto de nurnercs reales y .

X - {~ e R ,0 .;;; ~ ,,;;;; Ij, Y = (y e R : O";;;;!I .,;;;; 2}.

~ Qu; representan los oonJuntos XU r, X n Y, X" n

1-4, DlbuJar las (lguras que representan los conjuntcs A = (x, g) e. RJ:

: ",I +g1";;;!l y B = {(x, y) e. R1 : ~ + (y - 1)2'-;;;;. l], . .

< Que f1gur as representa n los conjun los A U B, An B, R'" A"I

1-5. Demostrar las [dentld ades Xn0=0; XU0=X, InX"""X IU X = I uti!izando la cerr el ac icn (1·34).

1-6. Representaren '11 plano real R~ "" R X R los conjunlos X X Ye )' X X del problema 1-3.

1·1. Representar georuetrlcarnente los conjunlos A X R. y R X A, donde A =12, 3J.

1·8. Ha lIDr Pr,M y Pr.M para el conjunto M "'" {.t, y} e RI : Ix - 2)' + +g' = I}.

1·9. Sea l "" {x" x" .... j un conjunto universal y X = {x" x.l: Y = {.rl, .... }:

Z = {tol sus subccnjunlos. Determmar enumerando los conjuntos stguienres:

x XX; Z X Z; X X Y; Y X X; XX rn y X X; X X YU Y X x.

1.10. Sean X, Y, Z los subconjunlos del conjunro R' lguales a X ~ {(x, U) : : s: ;;;. OJ; Y = {{x, Y) 'il ;;;'OJ; Z = {(x, y) : X + 1/ ~ I}. Representar geom~trica.

60

mente los conjuntos

Xi Y; Z; XUY; XUY; Xny; XnY; XnZ; XnZ;

XnYnZ; Xnynz.

1·11, lA que cs i?ua! et conlunto X X l' si X e Y son subconjuntos del conjunto RJ t ~={{x.Y)'2X+!I=I}; Y=I(x,y):x-y=O}?

1·12.. Escnblr eo el ejemplo )·\3 todas las \ 6 correspcndenctas, Deterrnin ar PI.Q Y pr.Q para cada una de ellas,

1-13. 1-13113r la Iuncion lnversa f-' para la !undon 1 del ejemrl0 1·21, 1·14. Sean f y g las r unclones ell cJ ccrijun 10 R' igunl e s a = {(x, y) , : Ii: X'}: g - {(II,~) : ~' = sen II}, Ha\J8r Is composiclon de estas lunclones f· g.

Capitulo segundo FUNDAMENTOS DE LA TEORJA DE,· LOS, GRAFOS

2-1. DEP1NICIONES PUNDAMENTALES DE LA TEORIA DE LOS GRAPOS

a) Definition de grafo segun la teoria de conjuntos

Se pued e obtener una representacion clara del grafo si nos imaginamos cierto conjunto de puntos del plano X denominados vertices y el conjunto de segmentos dirigidos U Ilamados arcos que unen todos 0 algunos de los vertices. Matematicamente, el grafo G puede definJrse como el par de conjuntos X y U:

G = (X. U). (2-1)

En la Iigur a 2·1 esta representado el graro (,U)'05 vertices son los puntos a, b, c, d, e, g, h, Y sus arcos, 105 segmentos (a, a), (c, b), (c, d), (d, c); (d, d), (c, e), (e, d), is. It). Son ejemplos de grafos las relaciones de paternidad y maternidad en un conjunto de personas (vease la fig. 1-13), et mapa de los carnlnos en I a comarea, el dlagrarna de conexiones de aparatos electr lcos, las re· laclcnes de superioridad de algunos par ticipantes de un lorneo sobre otros, etc.

A veces resulta e6modo dar otra definicion de gralos. Pue de eonsiderarse que el conjunto de los areas dirigidos .U que unen los elementos del conjunto X refleja este conjunto en sl rnisrno. POl' eso, puede considerarse presentado el grafo si estan dados el conjun to de sus vertices X y el metodo de reflexi6n T' del con] unto X en X. De esta suerte, el grafo 0 es el par (X, f'), que consta del conjunto X y el ref le]o I' presentado en este conjurito:

G = (X, I'). (2-2)

ASI, para el gralo representado en la Iigura 2-1 e! r ef'lejo I' se determina del modo siguiente:

a=fa; l'b=0; fc={b,d,e); rd={d,c}; re=d; rg=h; rh=0.

Es fitci! ver que la definici6n de grafos dada coincide por cornpleto can la definicion de relacion en el conjunto.

En ocaslones es conveniente representar los grafos en forma de ciertas matrices, en particular como matrices de adyacencla y de lncldencla. Daremos previamente dos definiciones.

62

Dos vertices x e y se denominan adyacentes sl son diferenles y existe un arco que va de x a y.

EI area u se llama incldenie eon el vert ice x si lIega a este vertice 0 sale del mismo.

Designemcs par Xit .. ,' Xn los vertices del grafo y por UI, .•• , , " Urn sus arcos. Int.roduzcamos los nurneros:

{I, si hay un arco que une el vertiee 'lj = i, con el vertlce t.

0, si no hay tal arco.

La matriz cuadratlca R = II rfl II del or den n X n se denornlna mairtz de adyacencia del gra fo,

4 _-----_

~~)

fig, 2·\, Vista general de un grafo

Introduzcamos mas adelanle los numeros

{ +1, si uJ sale de :1:1 sil = - l , si uf lIega a x,;

0, sl u, no es incidente can Xl'

La matriz S = lis;} II de orden n X m se llama matriz de inclden cia de los arcos del grato.

Las matrices de incidencias 5610 son aplicables en 1a forma descrila a los grafos sin lazes. En caso de haber lazos en el grafo hay que desmembrar dieha matriz en dos semimatriees: posit iva y negativa,

lntroduzeamos algunos conceptos y definiciones que strven para descrlbtr los distintos tipos de grafos,

Subgrafo OA del grafo 0 = (X, I') se denomina el gr alo que incluye 56[0 una parte de los vertices del grafo 0 que, j unto can los areas que unen dichos vertices, forman el conjunto A, como pOT ejemplo, [a zona circunscr ita con linea de trazos en la figura 2·1. EI subgrafo G,A se define rnatematicamente de la slguiente manera:

(2-3)

donde

EI grafo parcial G" con respecio al grafo G = (X, f) se llama al grafo que s610 contiene una parte de los areas del graio G, es decir , delinldo par ta condtclon

donde

GA=(X.6),

&x~rx.

Asi pues, en la Figura 2·) el grafo formado por los arcos grue-

50S es un grafo parcial. .

E/empla 2·1. Sea a = (X. T') el mapa de carreteras de la Unlen SoviHica, Entonccs el mapa de carreteras de I" region de Tambov constituye un subgra fo y el map a de carreteras prtnctpa les della Union Soviettca, un gr"! 0 parcial,

SOil tamhien irnportantes los conceptus de camino y contorno.

Anleriormente se dlo la definicion de arco como el segmento dirtgido que une dos vertices. EI arco que une los vertices a y b Y esta dirigido de a a b se designa por a = (a, b),

En el gralo 0 se denomina camino la secuencia de arcos ~ = = (u), , .. , u,,) en l a cual el final de ca da .arco anterior coincide can el cornienzo del slgulente. EI camino !.l cuyos vertices consecutlvos son a, b, ' ..• In se designa por ~ = (a, b •.. , • m), Se llama largo del camino Il.-:-(UI. ,", UI.) al numero I(!.l) = k igual al numero de arcos que constituyen el camino jl., Este puede ser finito a lnf inito. En caso de ser inflnito suponernos que l(lt) = 00. El camino en eJ eual ningun arco se encuentra dos veces se denomina senctllo. Se llama elemental al camino en el cual ningun vertice se eneuenlra dos veces,

EI contorno es eJ camino Iinlto ~ = (Xl. "'. x~) en el que el vertice inicial Xl coincide can el Iina \ Xk. Par cierto, el contorno se denomina elemental si todos SLlS vertices son d ilerentes (a excepcion del inicial y final que cclnciden ). Se llama Iazo a1 contorno de largo unitario forma do por el arco de tipo (a, a). Asi pues, en la figura 2-1 (e, d, c, b) es uri camino, (c, e, d, c), un contorno y (d, d), un laze.

A veces se analiza el grafo sin tamar en constderacion la orlentacton de sus arcos, En tal caso se denornina grafo no orientado. Para este los conceptos de area, camino y contorno se sustituyen: por los de ar ista, clrcuito y ciclo, La arisia es el segmento que une dos vertices, El grafo en la llgur a 2·1 tiene .ocho a rcos y siete aristas. Se denomina ctrcuiio a una secuencia de ar is tas. Se llama ciclo al c:ircuito Iinito en el que coinciden los vertices inicial y finaL

Esla vlnculada 13:1 concepto de gralo no or ientado una irnportante caractertstica denominada conexi6n del grafo. Se dice que el graio es conexo sl dos de sus vertices cualesquiera pueden conectarse en circuito. Si el grafo G no es conexo puede desrnembrarse en subgraios 0, tales que sean conexos todos los vertices en cada subgrafo y no 10 sean los de los dilerentes subgralos,

64

Tales subgr alos 0; se denorninan coruponentes de cortex IOn del grafo G.

Para de1erminar Ja conexion de un graio orienta do no es necesa rio atender a ta orientacion de los areas. EI grato represenia do en la !igura 2-1 no esccnexo. pero su subgrafo que consta de los vertices b, c, d, e es conexo. Para el grato orienta do exlste el concepto de conexidn Iuer le. Un grafo es fuertemente conexo si para dos vertices cua lesqulera x e y (x o;.!: y) existe un camino que va de x a !f.

El arbol es un importante caso particular de grafo no orienIado. Se denomina arbol el grafo conexo finito no orientado desprovlsto de ciclos. En la ligura 2-2 se mueslran ejemplos de ar boles.

Si esta dado el conjunto de vertice-s a, b, c, ' .. , el arhol pucde construlrse del modo sigulenle, Tomarnos como vertice inicial uno de estes, par ejernpio G, y 10 denorninamos ralz del arbol, Desde

a

Fig. 2-2. Ejemplos de arboles

este vertlce trazamos artstas a los vertices contiguos b, c, d •... , desde estes tr az amos las arlstas a los vertices vecinos de los mismos e, f, g. h, ... , etc. De esta manera, el arbol puede construirse afiadiendo consecutivamente aristas en sus vertices. Esto olrece la posibilidad de esta blecer e! vinculo entre el nurnero de vertices y el de arlstas del arbcl,

EI arbol mas sencillo consta de dos vertices unidos por una arista. Cada vez que aiiadimos una arista mas en su extrema se a diciona Iambien un vertice. Par 10 tanto, un arbol can n vertices tiene n - 1 arlstas.

b) Relaclon de orden y relaclon de equlvalencla en un grafo

Como hemos vista, el grafo proporctona una comoda representacion geornetrica de las relaciones en un conjunto. Par eso la teoria de los gralos y la teorla de las rel aclones en el conjunto se complernenlan mutuamente,

Vamos a consrder ar que en el grafo a = (X, f) se ha intro duci do una relacion de orden si para dos vertices cua lesqulera x e y

66

que satisfagan la condicion x~ y exlste lli'l tamino de X- a y. En este caso se dice que el ver tice x precede a l y y que este stgue al x.

Mostremos que la definicion dada refleja en el graio lodas las propiedades de la relaci6n de 'orden,

Reitexioidad. La condici6n

x ~ x es cierto (2-7)

y denota Ia equivalencla del vertlce a al rnlsmo, es decir, la condicion x == x. No obstante, 51 se quiere, dlcha con dlcion puede considerarse como la exlstencia de un camino de x a x, 0 sea, como un lazo en el vertice x (fig. 2·3, a).

Tr ansitioidad. La condlclon

(2-8)

denola que los vertices x, y, Z se encuentran consecuUvamente en un mismo camino (fig. 2-3, b)

&

Q)

Fig. 2·3. Huslracien de las prcpledades de una relacion de orden

Asimetrla: Demostremos que es cierta 1a condicion x"-;;;;y, Y~X_X'i'!iiiEy.

(2-9)

El primer miernbro de esta expreslon indica que exlste un camino de x a y. as! como tarnblen, un camino de y a x. Pero esto significa que en el grafo hay un contorno en el cual estan los ver-

tices x e y (fig. 2·3, c) , ,

Del segundo miernbro de Ia condicion (2-9) sa desprende que los vertices que estan en un mismo contorno son equivalentes. Vamos a considerar esta deduccicn como la definici6n de equlvalencia en e! grafo y demostrernos que tal definicion sa tisfaee las tres condiciones de la relacion de equivalencia, Las condiciones de reflexividad x == x y simetria x _ y _ y = x son evidentes y se derivan de la defi.nici6n de equivalencia dada anteriormente. Tarnbien es evidente la condicion de transitividad x == y, y so Z -)0 _x f!!;;! z ya que indica que si 'en el gralo hay un contorno can los vertices x e. y, asi como can los vertices y y Z, en tonces existe asimisrno un contomo en el que sa encuentran los vertices x y z, (vease la fig. 2-3, c).

De esta suerte, la relacion de orden al igual que la relacion de equtvalencia definen cierto grafo.

66

En el gralo tamblen puede Introduclrse la relacion de orden es1ricto. En este caso, para dos vertices cualesquier a x e y que satisfagan la.condtcten x -< y, hay un camino que va de x II y. La condicion de tr ansltfvldad x « y, y <, z -» X -< Z significa, como en eJ caso an terror, que los vertices .1:", y, .z se encuentr an consecutlvamente en un rnismo camino. La condicion de antirretlexividad (x -< x es fa lso'~ indica la ausenoia de lazes en el grafo y la condlcion de aslmetria (;; -< y, y « x ae excluyen mutuarnente) , la (alta -de contornos,

De este modo, la relacion de or den eslricto define un gralo sin contornos,

c) Caracteristicas de los grates

La rasolucion de rnuchos problemas tecnicos par los metodos de la teoria de los graios se reduce a la determinacion de unas u otras ca racterlsticas de estos, Aunque en l a presente obra es irnposlble examine r 1 as apricaclones lecnicas de I a Ieor ia de los graIos, el conocimiento de las caracteristicas mas relevantes de los gr alos, puede resultar de provecho al estudiar otr as disciplinas.

Namero ciclomatico. Sea 0 un gralo no orienta do que tiene n vl!:rtices, m aris tas y r componan tes de conexion, Se denomina numero ciclomatico de un graro 0 cl numero

'\>(0) =m - n+ r.

Este ntimero tiene un interesante sentido liaico: as igual a 1 nil· mero maximo de ciclos independientes en el grato. EI nurnero ciclornatico puede utilizarse al calcular los circuttos elecirleos para deterrninar el nurnero de contornos Independientes.

Ntlmero cromdtico. Sea p un .rnirnero natural. EI grafo 0 se denomina p-cromiitico si pueden colocarse sus vertices can p colores distintos de tal modo que no sa coloreen igu alrnente dos vertices adyacentes cualesquiera. EI nurnero rnenor p can el cual el grafo es p-cromatico se denomina l1umero cromatico del grafo y se designa por y (G).

Si y (G) = 2, el gr afo se denomina dicromatico, La condicien necesaria y suficiente para que el grafo sea dicromatlco es que no tenga ciclos de largo impar. El numero cromatico juega un papel irnportante al resolver el problema de utillzar can maxima economia las celulas de la memoria durante l a prograrnaclcn. Pero salvo en el case del graCo dicromatico su determinacion constituye una tarea bastante difieil que con Irecuencla requiere el empleo de ca lculadoras electronlcas,

ConjUllto inieriormenie estable . .EI conj un to S s;; X del graio G = (X, r) se denomina interiormerite estab le sl no son adyacentes dos vertices cualesquier a de So es decir, si para cualquler xeS se curnple que rx n S = 0.

61

EI conjunto interiormente esl a hIe que conUene el nurnoro mayor de elementos se denomina conjunto interiormente estable m:himo, y el numero de elementos de este conjunto sa !lama numere de estabill dad lnterna del grafo G. Elconjunlo lntertorrnente ostable maximo juega grar:t. papelen la teorta de la comurucacion

Canjunio exieriormente est able. EI conjunto T c: X del ~rafo G = (X, I") sa denornina exfertorrnente estable sl cualquler verti<:::c no per laneclente a T esf a conect ado por arcos con los vertices que par ten de T, es decir, si para cualquler x¢; T se cumple T'x n T oF

*0. .

Elconjuntoe1i.teriormente estable que contiene el numero menor de elementos se llama conjunto exterforrnente astable minimo, y el nurnero de elementos de este conjunto se denornina numero de establljdad externa del gra[o G.

2·2. PROBLEMA DEL CAMINO MINIMa

a) Enunciado del problema

Para aphcaciones pnkti<;as tiene gran imporlancia el problema de enconlrar 1'1 camino minirno entre dos vertices de un gr afo conexo no orienlado. Se reducen a este muchos problemas de eleccion de la rut a mas econornlca (desde el punto de vista de la d lstancla, 1'1 liempo 0 el costo) en el mapa de carreteras existente y rnuchos problemas de election del modo mas eccnornico para convertir un sistema dinamko de un estadoen otro, etc. En malernatlcas 51' han elaborado ofversos metodos para resolver sernejanII'S problemas. Sin embargo, con gran lrecuencia los metodos basa desen 1'1 uso de los .gra!o~ son los menos engorroeos.

E1 problema del camino rnlnimo en un grafo puedc enunciarse en general del modo stgu iente, Estf dado el g rafo no orientado G = (X, U). Se ha asignadq a cada aris ta de este gralo cier to numere l(u);;;' 0 denorninado largo de 18 arlsta. En cases particulnres /(u) puede ser la distancla entre los vertices unidos por If! ads ta II, el Ucmpo 0 coste del via]e por' esta arist a, etc. Entonces, cualq uier circuilo ).l va a caracter lz arse por el largo

l ().l) = L. l (.u).

r~ oE:JJ.

(2-10)

'Para dos vertices cualesquiera a y b del grafo G es necesario hallar prectsarncnte aquel camino ]J.nb cuyo largo total sea minlrno.

Antes de ha lla r el rnetodo genera I de resoluci6n de es l e problema exarn inernos l a regl:a pn ra soluclcnar 10'1 problemas del tipo pn r ticul a r en que el I argo de cadaar ista es i guat a la unidad.

68

b) 8usqueda del camino mlnlmo: en un grafo con aristas de largo unltarie

A veces results necesario operar can graios cuyas arlstas tienen un largo Igual que se torna COITIO ·unidad. Los vertices de tal grafo representan habi lua lrnente losiestados de algtin sistema en el que desde cierto punlo de vista son equivalentes todos los tr ansitos realiz.ados can un paso. Pcngarnos un ejemplo de problema que S!,! reduce al examen de un grato con aristas de largo unitario. El problema dado puede servlr de i lustraci6n de los rneto des de construction de gr<lfos para los dtlerentes cases concretes.

Eicmplo 2·2. Problema de /0 torre de Hanoi. Un tablcro Uene Ires estacss, En 13 primer a cstan cnsarf ados m discos eUI'D dialndro dismirnryc de abajo arriba, Se plantea cl problema sigoien!e: haeiendo pasar los discos uno por uno,

Z

t-,

o I}(

(1)

Z

2/~

2-

I

o

I 2 21X /;)

Fig. 2.·4. Gr alo de las translclnnes en el problema de la torre de Hanoi

cclocarlos en ~I mlsmo orden en I a tercera estaca utiltz andc 13 segunds en calidad de lntermendiarta y cumpHendo 13 con dicion de que durante nlngun paso ej disco mayor qucde encirna Ml menor ejl ninguna de las estaeas, Como condici6n a-d iciona I puede cxtgtrse hallar la solucion (toe requlere el menor nurnero d" pasos.

Numerem05 los discos en orden decreciente de dlametros. 111, m - I •...• I.

Designemos por X. Y. Z los conjuntos de discos ensartados, resnecttvamente, en Ia primer a, segunda y tercera estacas en cuatquiera de los pasos. AI hacerlo eo . suHcient~ tndrcar soiamente 103 cenjuntos X y Z, ·1'11 que el conjunto Y se obticne como complemento de los ccnjuntcs X y Z hastu <:1 nurnero lotal de drscos. Cada IlIlO de los conjuntos X 0 Z puede ser una de las combmaciones de disccs siguien[c5: 0, 1. 2,21, 3. 31. 32, 321, 4. 41. 42, 421, 43. 431. 432, 4321 ,_. Estas ccrnbinaclones pueden represerrtarse ' con puntos convenclon a leg en los ~jes X y Z, como se muestra en la Figura 2·4. de suerte que cualquier dlspoalcion de los discos se reprcsen ta r i\ con cierto punto en el 1'1 ano IX, Z). Ulli~ndo di-

. chos puntos por me dio de llncas que scfialen los desplaz.amlenlos poslbles de discos en cada paso, obtcnemos un grato no orlentado en el que puede ha[larse e 1 ca rntno, e Incluso el mini rno .• pa r a lransita r del punto inicla I a 1 !ina I del gralo.

,.69

Puede realtzarse la construccion del gralo pasando de m a m + I discos.

Con m = I. los estados posibles ~an a representarse por el ccnjunto {(l,0), (0.0). (0. 1)1. al CUB I correspondo el gra 10 d. la figura 2·4. a con e I transito minima del estado irucial (1.0) al final (0, I) indlcadc en ella.

Paraobtener una rer:la general supongamos que ya e"ta c<mslrui~o un graIo para el caso de m diSCOS que llarnaremos gralo m. Es l"e11 cerciorarse de que este gra 10 tendra la forma del (rilingulo represen I a do ell la Hgura -2-6. a • . aunque sus conexicnes lnternas nos son desconooidas por el momento. "Cuill sera entonces el grafc para m +, discos?

Notemos que el disco con "I Il.Um~ro m + I solo puede ocupar la poslcton inferior en cualqulera de las estacas. Los m discos rcstantes pueden desplazarse de cualquier manera conforrne III 'graro m sin cambiar la posicion del disco

mi"I, .. _)f~Z I'

I "0..

I "

9 '0'tl...,

I J -,

$1-1,/9 "

I "-

m+/

0)

Fig. 2-5. Transicitin del grafo In al grafo (rn + I)

m + I. Por tanto, el gralo para m + I discos (fjg. 2-5, b) constara de tres graIos m design.ados pOT cifras (encerradas en clrculos) J, 2 y :3 que signlllcan el numerc de la . estaca en la que. se halls el disco m + J. S610 que dan par II clara r las translctones de un grdo m II otro que corresponden a I desplazamienlo del disco m + I.

Unicamente puede pasarse el ~[sco m + I II una estaca libre y esto s610 es posible en caso de que en una de eilas esten colocados todos los discos menores m. Segu[] esto, en I~ Hgura 2·5. b. se muestran las translclones poslhles del disco m + 1 designadas par las ctfras I, 2 Y 8 que denotan "I numero de la estaca en la que se haltan los m discos menores.

EJ dragrama mostrado en la Figura 2·5, b da cl principia general de transieMn del gralo rn a I grai 0 m + I. En la Ilgura 2-4, bye se brlndan los gra· fos de las transicionea para dos y Ires discos.

Pasemos al problema de hallar en eI grafo el camino minimo que une el vertice initial con .el final. Por cuanto los grafos considerados son relalivamente sencillos, no es dificil ha llar el camino minimo simplemente seleccionando los camlnos posibles. No obstante, debe hallarse un metoda sistematico para los grafos camp licades,

70

La regia general para hallar el camino rrurumo en un grafo consiste en atribuir a ca da vert ice Xi un indice ~'I, igual a I largo del camino minima desde el vert.ice dado hasta el vertice final. La asignaci6n de \05 indices a los vertices en el caso del grafo con aristas de largo unitario 51! realize. en, el ordcn siguiente:

1) se atrtbuye el Indlce 0 al vertice final xo;

2) se asigna el indice 1 a todos los vertices desde los cuales va la .ariata basta el veriice final;

3) se atr ibuye el indice }.! + 1 a todos los vertices que aun no tienen indices ':I desde los cuales la artsta va hasta el ver tlce con el indice Ai. Se continua este proceso hasta que no se marque el vertice Inlclal. AI terminar de marcar, el In dice del vertice inicial sera igual III largo del camino minimo. Hall aremos el mismo camino minimo si varnos a movernos desde el ver lice inieial en la direcci6n en que disrnlnuyen los Indices.

En la fjgura 2-4, c se muestra un ejemplo de marcado y determinaci6n del camino minima para m = 3.

Sei'ialemos que el me todo descrtto para determinar el camino minima es un ca so particular de busqueda de In soluci6n optima por el metodo de programaci6n d in arnica. Por eso, despues de estudiar la progr arnacion dln arnica sera conveniente volver a examinar dicho ejemp lo,

c) Busqueda del camino m'inimo en un grafo con artstas de largo arbttrarto

La ta rea de atr lbuir indices nurnerlcos a los vertices del grafo se dificulta si las aristas del grafo tienen un largo arbitrario. La dificultad se debe a que en un grafo complejo el camino que pasa por el nurnero menor de vertices, tiene COil Irecuencla mayor largo que algunos carninos de rodeo. Asi pues, en el gr afo de Is figUra 2-6 que representa un mapa de carreter as el camino direclo del vertice m a rcado con un asterisco' al vertice final tiene el largo 1 = 12, miantr as que el camino ind irecto a Ir aves del vertlce marcado con un trlangulo tiene el largo 1 =·10.

EI proceso de asignaci6n de Indices a los grafos de este tlpo consiste en 10 siguiente:

1. Cada vertlce Xi se marca con el indice 1.1, Cnlcialmente se atribuye el indice Ao = 0 al vertice final Xo. Para los dernas vertices suponemos previa mente que ;\f = 00 (i * 0).

2. Busca mos un areo (Xi, Xj) tal que para el 'A.) - 1.; > > l(x!, Xj) y suatituirnos el In d ice, J'J por el indiee J./ = AI + + i (Xl, ~i) < 'A.J. Continuarnos este proceso de sustituci6n de los indices mientr as quede un a reo siquier a para el cual se pueda disminuir }.,.

Apuntemos una propiedad importante que van a poseer los indices atribuidcs a los vert.ices. Sea Xp un vertice arbitrario. Durante el p roceso de asignaci6n de indices considerado, el indice ;''1'

11

drsminuye mon6tonamenle. Sea .tq el ultimo vertlce que slrve pOnta su rlisrninucion. Entonces Ap F A,q + I (Xq, xp). Par tanIo, pa ra el verttce a rbitrario xp con indice :1.." se encuentra el vertice Xq uni do a xp mediante un a a rista ta l que AI> - Aq = l (Xq, xp).

Est a propietlad perrntte Iorrnular la siguiente regia para hallar el camino mini mo.

Sea x" = a el v~rtice iniclal can el lndlce X~. Halfemos el ver+ice xI', tal que '"" - AI" = I (XI>" x,,), Hallemos despues el verBee xPt tal que: A.", - "'p, = I(x"" XI")' etc., hasta que no lIeguemos al vertice final xpk+,=X{j::.b. EJ camino Ilo=(Xn. xp" '''' xPk' X~) de largo )'n es eJ camino mas corto.

fig. 2·6. Mapn de carreteras

Para Ia demostr acien exarnlnaremos UTI camino arbltrarto de a a b: ,1 = (x", X"l' ... , Xk:;, !to). Su largo sera I (~), Conforme a Ja regia de ordenaci6n de los indices se cumpltran las siguientes desjgualdades:

, . A" - Ak, ~ 1 (xn, Xk,); }

': ~ ": ~ "": ,Xk:); :1..k. - 0 ~ I (Xk,. X,)),

(2-11)

Sumando mlembro a mlembro estas desigua\dades eneontramos que .para cu alquier camino 1.1 se curnple

;\." - 0";;; I (J.l).

(2-12)

12·

Como que para el camino ItO se .satisiace la condition An =

-== 1(~D) este es minimo. I

El metoda de busqueda del camino mas corte esta 'ilustrado mediante el ejemplo del mapa de carreteras representa do en: forma de gralo en la [igu'ra 2·6. Las ciiras en las aristas sefialan. e! ticmpo de viaje por cada una de las carreter as. Los indices de los vertices rnuestr an el tiempo de viaje desde eJ vertice dado hasta el vertice fina I.

d) Construcci6n del grafo: de largo mlnirno

Ttene gran nnpor tancta practice el siguien te problema que pucdc ertu nclarsc como cl problema del traza do de carreier as, Ha y vartas ci udades a, b, c ... , que es neeesario comunicar entre sl medi ante una red de carreteras, Para cada par de ciudades (x, y) se conocu el costo de construcci6n l(x, tl) de la carretera que las une. '

EI problema consist€' en construir la mas barata de las redes de carreteras poslbles, En Iugar de 13 red de carreteras puede cansldera rse la de lineas de trans porte de energia e\ec,trica, l a de oleoductos. etc. Denomlnandc largo de la arista (x, y) 11 Ill. magnitud I (x, y) en el gralo que representa Ill. red de car reter as, II egarncs al problema de la construcclori del gr afo de largo mlnlrno. POf eso, en 10 adelanle vamos a considerar ('I largo de las ar istas del grafo en vez del coslo de las carreteras.

5i exlsten s610 Ires vertices a, b, c es suliciente cons truir uno de los clrcuitos de union abc, acb y bac, per clerto, si be es la arlsta mas larga entonces hay que exclutr precisamenle la misma

construyendo el circuito bac. •

EI grafo de largo minirno es siernpre un arbol ya que si conluviera un cicio podrla eliminarse una de las aristas de este y los vertices quedarlan unidos Iodavla. Par consiguiente, para unir It vertices hay que construlr n - I arlstas.

Mostremos que puede construirse el grato de largo minima empieando la regia slguientc. Ante todo unirnos des vertices COl') In arista de union mas corta U[. En cada uno de los pasos sigulentes afiadimos In arista mas corta de las aristas Ui que no forma ningun ciclo 81 unirse a las aristas ya existentes. Si hay vari as artstas de igual largo elegimos cualquiera 'de ellas, Vamos a denorninar arbo! economic» a cada arbcl Q conslruido de esta manera. Su largo es igual a la surua de las aristas par separado:

1 Q' = I Iud + ... + I (Ua-I)' (2-13)

Mostremos que ntngun otro arbol que une los rnlsmos vertices puede tener un largo menor que el del arbol economico Q. Sea P el arbol de largo minima que une los vertices considerados y Q cualquier arbol econornico. Supongarnos que 'las arlstas UJ, U2 •••• . • • • U,,_J estan nurneradas en el mismo orden en el curd se unleron para construir Q, es decir, satialacen Ia condicion l(u~):;::;; l{uh+IJ.

13

Si el arbol P no coincide con el Q, este ultimo Uene par 10 rnenos una arista que no pertenece a P. Sea It, = (a, b) la primer a de estas artstas y L (a, .b) el clrculto del grafo p. que une los vertices a y b, como 10 rnuestra par ejemplo la figura 2-7. 5i afiadlmos aPia arista u« obtenemos un clclo, y como Q no tiene clclos, debe Iorrnar parte de este por 1.0 menos una arlsta no perteneciente a Q. Sea esta u;. Ellminandota, .obtenemos el arbol P' can el mismo nurnero de vertices que P, cuyo largo es:

l (P') = l (p) + 1 (u,) -l (un· Como que el grafo P Uene el largo minima

1 (ud ~ l (ft~).

(2-14)

(2-15)

Pero Ili era la arista de Iargo mlnirno can la que no se obtienen ciclos al ai'iadirla a las aristasul. U2 ••..• U'_I. Como que al adi-

Fig. 2·7_ Para [a construeclcn del arbol de largo minimo

cionar u; a dichas aristas. tampoco se origina a lgun cicIo, entonces

(2-16)

y, par 10 tanto, P' tiene largo minima al igual que P. Sin embargo, P' tiene una arista comun mas que P can el arbol econornico Q. Repitiendo vartas veces esta operation obtendremos el arbol de largo minima que coincide con Q. Por conslgulente, Q es el arbol de largo minimo.

2-3. REDES: DE TRANSPORTE

a) Concept as fundamenfales

Se denornina red de trans porte el gralo finito sin lases en el cual:

I) existe un y s610 un v6rtice Xo tal que r-Ixo = 0 (este vertice se llama entrada de La red);

2) existe un y 5610 un vertlce z tal que I'z = 0 (este vert ice se denominasaIida 11e fa red).;

3) a cada area del gralq u se refiere un nurnero entero c(u) Ilama do capacidad de paso del area u,

1-1

EI concepto de flujo ('5111 muy vincula do al de la red de transporte. Sea x un vert ice arbttrario. Designernos por V; el con] unto de los arcos que entran en x, y por vi el. conjunto de los que

C')

Fig. 2·8, Distribucldn de flujos en la red de transport"

salen de x. Se denomina Ilujo par l a red de transporte la Iunclon qJ(u) que satisfaee las condiciones

0";;;; Ql (u) ,,;;;; c (u), It E U:

L cP (u) - L III (u) = 0; x =t= Xc, x * Z.

UBU; U,EU:

(2_!7) (2- (8)

La funci6n cp(u) puede constderarse como la cantlda d de materia que pasa (en l a unldad de tiempo) por el arco u = (x. y) de x a y. Segun la eondici6n (2. t 7) esta eantidad no puede exeeder de la capacldad de paso del area c(u). De acuerdo con la condici6n (2-18) en ca da vertice xdistinto de [a entrada Xo Y de [a saltda Z, la cantidad de materia que llega es igual a la que sale. Par 10 tanto, esta no puede acurnularse en ningil.q vertice de la red de transporte excepto la entrada y salida. Esto signifiea que el flujo saliente del vertice de entrada .to es exactamente igu'al al

7&

entrante en e1 vertice de salida z:

L cf'(u) = . L !P (u) - qJz·

Ui=u'1: UEU;

(2-19)

La magnilud o:p(z)_ ~e de-nomina magnitud del ilujo de 13 red de transporte,

En la figura 2-8 se ofrece un ejemplo de In red de tr ansporte.

Las cilras en las discontinuidades de los arcos seiialan I", capacidad de paso del arco. Las fle4has indican la direccion de los f1ujos y las cllr as junLo a las flechas, la rnagnitud de! rnlsmo. Muchos problemas que surgen durante la planiiicacidn de suministros, distrlbuclon de mercancias entre consurnldores, etc., se reducen al a nalisls de redes de transporte.

Para invcstigar la dlstribucton del flujo en la red de transports convleno introductr e) concepto de code de dicha red, Sea A c: X cierto conjunto que satisface las condiciones

Xo ¢ A, Z E A (2-20)

Designemos, respectivamente, pot VA Y V~ los conjuntos de areas que entran en A y salen de A. Llamaremos corte A de la red de transporte al total de los arcos U A = VA U U~. En la [igura 2·8

se muestra un ejemplo de corte. .

Por cuanto ca da parttcula de materia que se rnueve de Xo a z pasa obligatoriamente par algfm arco del corte, e) Ilujo total a traves de este sera iguCi I a la ma gnftud del Hujo de 1<1 red de lra nsporte, es decir, para cualquier corte A, SE' curnple la -relacicn

<Ilz= L 'q>'u;- L qJ(u), (2-21)

u~u; u~uI

Denominaremos capacidad de paso de! corle A a la surna de las capacidades de paso de los areas que entran en cste corte:

c(A)'= L c(u). u,",uA'

(2-22)

Ya que en cualquler arco ocurre que (p(u)~ c(u), de (2-21) y (2·22) se deduce que

(2-23)

b) Problema del flujo maximo

EI problema del Ilujo maximo en una red de transporte se enuncia del modo siguiente. Estando dada la conflguraci6n de la red de transporte y siendo conocida la capacidad de paso de los arcos, hallarla magnitud maxima del flujo que puede deja r pasar dicha red asl como In distribuci6n de esle Ilujo en los arcos de la red.

76

Lema. Si para cierta magnifud de/,flujo de La red de iransporte <p, y cierto corte V se cumple que {p, = C (V), el fLujo q>, es el mayor y el corte V tiene to menor capacldad de paso.

Demosiraclon. Como se mostro, la magnitud del flujo tpz para cua lquier corte A debe sal isfacer la 'relation (.2-23). Deslgnernos POf V el corte can I a capacldad de paso minima:

c(V)= min-alA).

A -

(2-24)

Como la magoitud del flujo (1': es la misrna para cualquier corte de la red de transporte, el aurnento de Iii rnagnilud de dicho llujo 5610 es posib le h a st a que es! e a lea nee el va 16r c ( V). Por consiguiente, la rna gnitud del flujo

<pz = c (V)

(2-25)

determina el Hujo maximo de Ia red de lranspor te.

Sin embargo, el lema dado no ofrece lodavta un metoda parll determinar en III pr acttca e\ llujo maximo. Para Iormular tal metcdo, introduzcamos algunas definlcioues auxlllares.

Llamarernos saturado a l arco Il, cuan do (p(u)= c(u). Denornlnaremos complete el flujo fP" si cada camino de Xo a z contiene par 10 rnenos .un arco saturado.

Para una red de transporte da da, el f lu]o complete no es una magnitud rtgurosamente deterrn in ada y depen tie de 18 di recci6n de los fluj as en los diierentes arcos. As! pues, en la Ii gura 2·8, aye .se br in dan dnadlsl ribnciones distintas del Ilujo par la mi srn a red de, transporte. Los arcos saturados estan trazados con I ineas gruesas. En ambos cases los Ilujos son completes aunque sus magnitudes son dHerentes.

El algorilmo para hallar el flujo maximo, propuesto por Ford y Falkerson, consiste en el aumento paulatino del flujo q>, hasta que este Jlegue a ser maximo. En drcho case se supone que las capaeidades de paso de los arcos c(u) son numeros enteros, de modo que los flujos en los arcos van a expresarse larnbien con nurneros enteros. La busqueda del Ilujo complete se rea liza en dos etapas,

L Busqueda del fluiD completo. Sea cp (u) cier ta distribucion del llu]o en los arcos de la red de transporte, Busquernos el camino fl- de Xo a z todos los arcos del CUIIl no estan saturados y supongamos que

{ qI (II) + 1 p!l.ra U E ].I.;

qI' (u) = qJ (It) para u Ej13 f.L. (2-26)

Entonces el fluio Cj). cambia h ast a In maguitud <P;=<Pz+ 1 ><p~.

De este modo electuarnos el aumento p aulatino de <1', hasta que este no se vuelva complete,

77

Ejcmplo 2·3. Hallernos el fluj\) complete en la red de transporte (vease 18 Hg. 2·8, «). E~" rumcmos consecuuvamente los caminos stguientes, marcando con [Incas gruesas 105 arcos saturados:

"' = (X., X" xs, z)" "',(fl.,) = l , :se salura e I arco (Xo. x,);

Il. = (Xo, X,. x •• X"z). ",(It.) ~ I, se saturan los arcos (x"x,) Y (x •• ,;;);, J.L, = (.ro, X" .:q, z}; para satur ar este camino ,puede tomarse q>(~tJ) .... 2 'i

se sa lura e I areo (.>;., x~) ,

Es [liell ver que no hay mas carntnos de x. a z que contengan arcos no saturados, Per 10 tanto, .1 flujo complete es

Ipz = '" ()II) t '" (11.) -I- '" (Il.) = 4.

2. Brlsqueda del flujo maximo. Sea ljl< !!I flujo completo y !p(x, y). el flujo en el areo I~ -:- (x, V), dirigido del ver tice x al vertice y. EI proeeso de incremento de ljl. constste en rna rear los vertlces del grafo con indices que sefialen el camino en el cual es posible aumentar el f1ujo. Todos los vertices del graio deben ser numerados previarnente.

Marcamos Xo con el indice O. Si XL es un vertice ya numerado, m arcamos con el Ind ice + i todos los vertices 110 marcados, en los cuales van saliendo de Xi los areas no saturados, 0 sea, 105 vertices y para los que

(XI, y) Ei U y' Ijl (x t, y) < C (Xl. y),

(2-27)

y con el indice -i todos [as vertices no rnarca dos de los cuales los areas van al vertice Xi, es decir, los vertices !J para los cuales

(y, Xi) e U y !p (y, .~I) > O.

(2-28)

Si en este proceso resulta marcado el vertice a, entre los vertices Xo y z habra un circuital tcdos los vertices del cu al son distintos y (con una exactitud de un signa) estan marcados can los ntimeros de 105 vertices precedentes, Aument amos el Ilu]o de todas las aristas de este circuilo en una unidad en el sentido de Xo a z,

es decir, suponemos que I

, ql' (u) = IJI (il), sl u 95 jJ; qJ' (u) = !p (u) + I, si u eo )l

y al rnoverse de Xo a z, el a reb u pasa en la direccion de su orlentacion:

cp'(u)=<p(u)-l, SiClE:J.I.

y al moverse de Xo a z el a reo u pasa en la direcci6n opuesta a su orienta cion,

Como resultado de este proceso se obtiene un nuevo llujo par la red !p~ =!Pz + I, a sea, crece la magnilud del Ilujo, Despues se repite el proceso.

Si es Irnposlble aurnentar cierto f1ujo !p~ par el metoda descrito, es declr, si resulta imposible rnarcar eI vertice a, entonces 'Pi constituye el Hu]o maximo de la red. En electo, sea V el conjunto de

78

los vertices no rnarcados que lncluyen tarnbten el vertice z, Par 10 tanto, V es un corte y precisarnente, aquel que no tiene arcos de salida (en caso contrario algunos vertices de este corte est arian marcados can indices .negativos), y tndos los areas de entrada, satura dos:

Slendo

~= L rp(u)- L q>(u)= L c(u)-O=c(V), (2·30)

aeu~ ~eut "eu~

U~=Uv; ut= 0; }

qJ (u; = c (u) para' u e;; ot .

(2·29)

Segun el lema demostrado anterlorrnente rp~ es el Ilujo mayor, y Vel corte can la menor capacida d de trafico,

£j'emplo 2·4. En Is !igUfs 2-8. a se muastra como se han rnarcarlo \05 Indices de los vertices de la red de transporte, EL vertice x resulto rnarcado con eJ Indlce +4. La secuencla de los indices +4. -3. +2. +0, determine 1'1 circuito J.I = (xo, Xo, )c" x" z), CU)'O Ilu]o de ;to a z hay que aumentar en una unidad. Eslo conduce a Is dlstribucion del flujo mostrede ell Ia fig-ura 2·8. b. Repltlerido eI proceso de rna rcado de los lndices en este dibujo, ha Ilamos el circuito " ~ = (x e, x., )C" x». X4, z) cuyo Ilujo tarnblen debe. aumentarse en una unldad. La distribucion; result ante del· flujo. se muestra en Ia £igur" 2-8, c. AI marcar los lndlces en este dibujo quedan sin mortar los. vertices x, y z.

Por lanlo, la dlstrfbucion del llujo obtenlda gar autiz a el [lujo maximo 'P~ en la red de transporte consider ada, ':I el ccnjunlo V = {;tl, z] determine el corte con la capacldad de trlilico minim a, La magnllud del [lu]o 'l'~ se hall" deterrninando la capacldad de traltco del corte! V:

cp~ = C ('{2' .\:~) + c (x3' )C4) + c (x3> z) = 3 + I + 2 = 6.

Se puede aumentar el flujo m'hHmo de la red de transport» aumentando [a capacid ad de tnHieo de cua lquiera de los arcos lncluldos en el CO"'. V.

c) Problema de transporte

A la par con el problema de la busqueda del Ilu]o maximo, tiene gran importancla practlca el problema de la distribuci6n mas econ6mica del t!ujo en los a rcos de la red de transporte que recibi6 \a denomlnacion de problema de trasporte. Por cuanto en muchos cases la red de transporte constiluye el esquema de organizaci6n de tr astados de algunas cargas, la resoluci6n del problema de transporte permite deterrnin ar el plan de tr.asl ados mas racion al, es decir, 18 distr ibuclon de las rutas que garantice, par ejemplo, el costa minima de los tr aslados 0 de la entrega de las cargas al consurriidor en un tiempo rninimo. 1£1 primer problema recibi6 el nombre de problema de transporte segun el criterio del coste y el segundo, de problema de transporte segun el criteria del tiempo.

Para facilitar Ia exposlcton ultersor, deslgnemos: C-IJ=c(xj, Xj), la -capacidad de trafico del a reo (Xi, XJ) Y d'j =d (Xl. XJ)' el coste de paso de la unidad de Ilu]o por el .arco (XI, x).

El problema de trans porte segun el criterto del costo se puede enunciar en termlnos de 18 teorla de los gralos del modo sigutento.

Estan dados la red de transporte coo 131 llujo maximo q>~ y el I'luj 0 q>~ ~ ~ que debe pa sa r por es I a red de If ans po de. Se requiere hallar 18 dislribucion del Ilujo {jlz por los areas de la red de transporte que asegure el costa minima del paso del flujo. Con esto, para ca da a reo debe curnplirse [a relation Cjl (Xi. Xj) ~ Clj, Y el coste del paso del flujo rp(x;, Xi) par el area (XI> X) debe ser igual

8 d'iCj' (Xi, XI)' .

Para resolver este problema vamos a considerar las magnitudes do como largos de los arcos respecttvos, En este caso 1"1 coste del paso del flujo q> par cler lo camino 11 des de Xo hasta z sera igual al producto del largo de dicho camino por la magnilud del Ilujo Ql y el problema de la rninlmlz acicn del costa del pasodeJ f1ujo se reduce a la solucion del prchlcma a nteriormente eslud iado de la busqueda de! camino minima en el grafo de Xo a z, En el caso en que no haya limil aclones ell cuanto a Is capacidad de trallco de los arcos, el camino minima es el que ga rantlaa el costa mlnlmo del paso del Ilu]o.

AI existlr lirnitaciones de capacidad de traiico de los areas el problema se resuelve en varias etapas hallando los flujos parciales en cada etapa, EI metoda general de resolucton del problema

consiste en 10 siguiente. .

En el grafo Gl = (X. r) que represents la red de tr anspor to con largos de areas d1j = I (<'I, Xj) se halla el camino minima P-l de Xo a z. Sea CI l a capaci da'd de trMico del cam Inc ~q. Por este camino se conduce el flujo

{ <Jl", siQlz~cl:

<PI = (2·31)

Ct, ai tjlz > Cl'

Si <p, ~ Ci, el problema €isla resuelto Y Itl es e! camino mas econcmico para el Ilu]o rp,.

Si (P. > rio entonces consideramos a Qlr como flujo parcial y pasarnos al grafo O2 que se obtiene del grMo G1 sustltuyendc las ca pacidades de trafieo de los areas Cfj par c:, de la relacion

, {Cli ~ c) para us 1-11;

ell = CI/ para u ¢:. ~LL' (2-32)

"POf cierto, se excluyen del analisis los arcos en los cuales C;I = O. EI Ilu]o cuya distribuci6n se busca en el grafo O2 se toma igual a

1'Jl: = lPz - QlL' (2-33)

Ahara surge el problema inicial de buses r la dislribuci6n mas econ6miea del flujo Ql; pero ya can respecto al grafo O2• Su resolucien da el camino ~~2 con la eapacidad de trMica c, a lraves del

80

cua l se hace pasar el flujo parcial

st qi~,;;;;; ct; si <P~ > cJ'

(2·34)

Si 'P; 0;;;; c2 el problema esta resuelto y l a dtstrlbucion de Ilujos mas cconornica en el gr afo G, sera el paso del f1ujo (jJ1 por el camino ttl y del flujo CJl2 por el camino j.I:~,

5i 'i'; > c2 hay que recurrir a un nuevo ~rafo 03 y ha llar un nuevo flujo parcial CPs, Este proceso se replte hasta que la suma de los flujos pa rei a les alcance eJ valor <]J,. Estos flujos p arci a les con ducldcs por el gralo 01 proporcionan, en eiectc, la distr ibucidn mas economica del Ilu]o <]J.,

Para ilustr ar el rnetcdo descrtto, examinaremos Ja varianle mas difundida del problema de lransporle segtin el criterio del coste,

En Jas estaciones XI. ., , , Xm hay una carga semejante en cantld ades aJ, , . , , am. Se requiere can· duclrla en ca ntida des b" ., " b, a las estaciones !It, ' .. , Yr' Se supo· ne que la- cantidad total de carga requer ida es igual a r as reservas existentes:

Tabla 2·/

Probt ema de transp or le

"I

a,

(2-35)

dml

I ... I~

EI coste del traslado de [a carr:::a de 18 estaci6n XI a la Yj es igual a di}. Se necesita hall ar \ as rutas mas econ6micas para transportar las carga s, Es cornodo anotar 105 datos iniciales en forma de Is tabla 2-1.

La red de trans porte correspondiente a este problema se construye del modo siguiente. La entr a da X'o se une a cada uno de los vertices. X; mediante un arco con capacidad de tn'ifjco c(xo. xt) =a,'. Cada uno de los vertices Yj se une a I a sal ida z por medio de UI1 arco con ca pacidad de trafico C (Yi' e) = bj. El costo de paso del Ilujo por los areas (x~. X'd e (YJ, z) se consldera igjral a cero. Fi· nalmente, ca da vertice Xi se une con cada vertice YJ mediante un arco de capacidad de triifico Inf inita , El costo de paso par este de la unidad de f1ujo es tgual a dj,j. Mas adelanle se apltca a esta red de trans porte eJ rnetodo ya estudia do.

£jeinplo 2·;1; Haller las rubs 11',,1. econornlcas para el problema de trans. porte ptanteado en la L~bla 2·2. Esta tabla corresponde al esquema de los caminos que cornunlcsn ·Ias iabricas producloras de ptezas de construccton con los consumidores de dlchas pleus (obrasj , mostrado 'en la ligura 2-9. En 1(1 fil!ura 2·, 0 se otrece la red de transporte correspondienlo 1I las datos de la tabla 2·2.

81.

Utillz.ando .,1 metodo dcscrito mas arriba hailamos los lIujas parciales 'i las rutas enumerados en la labia 2-3 en el orden de su obtenclon. El plan de transporte correspondiente a esta labia se rnuestra aslmtsmo en el esquema de camlnos,

No es dificil ver que en d cas a general el costa de traslado de las cargas par la red de transporte del tipo considerado se determina mediante la expresion

Par consiguiente, el metoda anallzado para resolver el problema de tr ansporte, brintla en esencia la forma de hallar las magnitudes de los Ilujos parciales T(Xi, Yj) que minimizan 'Ia suma indieada. El metoda de r eso iucidn exarninado no es unico, Encontraremos preblemas similares en la seeei6n dedl-

.ca da a 1 a programaci6n. lineal deride se rnostraran otros metodos para resolver problemas amilogos.

Analicemos la r esolucion del problema de transporte por el criteria del llempo mediante el ejemplo de red de transporte dada en

Tabla 2-2

Datos lnlcial es del problema de transperte

10

8

5

3

15

4

6

25

9

"

m r

L L dlJfP (XI, Y/): (2-36)

1=11=1

15

2

7

3

Fig. 2·9. Esquema de 105 camlnes

la tabla 2-2 en la que interpretaremos ahora las magnitudes dJj como el tiempo requerldo para trasladar la carga del punto Xi al punto Yj y las designaremos por td. Es posible confrontar problemas simi! ares sobre el tr ansporte de productos de Iacil detertoro, el envlo de medics de auxilto a regiones de cataclisrnos, el acarreo de granos de la nueva coseclra a los puntos de acoplo, etc. En tg-

132:

Tabla 2·3 Dtstrlbud60 de los !luJos parclales enel 1!roblema de transporje por el ~ri terlo de coste

"ut. I FlulO r I COllo del
k (x" gj) llart.J8.1 djj ~[a!lJlado
'l'k dlj'Pk
;
I (X3, Yll 5 I 5
2 (x •• y.l 10 I 10
3 (XI. g,) 10 2 20
" (Xl. V,) 5 3 15
5 (xa. V,) 15 4 60
I> (.~ •• g.l 5 I> 30 -I

50

140

das estas tareas es necesar io trastadar todas las cargas a los lugares de destine en el mas breve intervale de tiempo.

Fig. 2-10_ Sclucldn del problema de transporte par el criteria de coste

Examinernos el metoda general de resolucion de este problema.

Supongamos que de cualquier modo se ha encontrado clerta distribuci6n del Ilujo <p. en el grafo G que representa la red de transporte conei der ada. Separemos del grafo G el grafo parcial G' en el eual 5610 Incluirnos los areas que partkipan en la transrnisi6n del flujo <p a- Sea ~ cierto camino que conduce de Xo a z y til' el tlernpo doe paso del flujo par este camino. Evlderitemente, el tiempo necesarlo. para trasla dar todas las cargas de XI) a z va a determinarse por el camino que tiene 1a mayor duracion de paso del [lujo ya que el tr asla do. de las cargas por los dernas carnlnos terminar a antes. Par 10 tanto, el tierripo T, requerido par-a el transporte de todas las cargas sera igual a:

r = maxi .... ..... 0'

(2-37)

83

La resolucion del problema de transporle por el criteria del tlernpo se reduce, de- esta manera, a separar del grafa G, el gralo parcial G' que sea capaz de idejar pasar todo el Hujo q>. y en (>1 cual la duraci6n del camino mas prolongado sea minima en cornparacion can todos los dernas grafos similares, Por cierto, la solucian hal la da par 1"1 criterio del costa antes descrito, que minimiz a la magnitud definida par la expresi6n (2-36), a l mismo liempo puede ser no la mejor desde el punto de vista del crllerio del tiempo.

La solucion de la larea planleada se reduce a l mejoramiento consecutivo del gralo 0'. eltrnlnando del mismo los carnlnos mas prolongados e introduciendo los mas cortes perc que no se han ulilizado antes, y redistr ibuyendo correspondientemente el Ilujo 'fl.'

Sirvamonos del ejernplo exemtnado. Tomernos a modo de prlmera aproxlmscton a la soluclon optima, la soluckin. cbtenlda basandose en cl criteric de!

2

Fig. 2·1 I. So lucian del prob lema de Ira nsporte por el crllerlo d e U~mpo

coste. La distribucitin M los Iiujos para este caso se muestra en la fig-ura 2·]0, En est a figura vemos que el tiempo de paso del flujo por la ruta mas protongada (x" y.) "5 igual a 6.

Sin embargo, quedaron sin utilizar las rutas monos largas (XI, Yzl. (.~t, Ylj, (X,. y,), Por eso puede ser que el ernpleo de cualqutera de estas rutas perrnlta exclulr I:. ruta (x., y,l .

Construyarnos el graf 0 parcial. G' ell el cual solo inclu lrnos los areas {I el gr ala G que lienen t, < 6 y en el cua 1 q.uedp la mlsma distrlbucton del fluja que en el gra!o G, El grato G' se muestra en la !igura 2· I I donde, por conveniencia, los vertices y, estan deslgnados par x",+J = xJ+I' EI Ilu]o 'l'; a traY~S de este gralo es iguai a 45 unidades, 0 sea. rnenos que el [Iujo inicial <p, = = 50 unidadcs. Este [Iujo es complete ya que en cl grato G' todos los camtnos de x« a z tlenen arcos saturados. Sin embargo, puede que este no sea el maximo,

Si el flujo maxlmo en el grafo Gf es igunl a 'p" entoncas se haJlllrii una distribuci6n de este Hu]o, con la ella] el camino mas prolong-ado va a durar un Uempo t". < 6 unldades, Por tanto,' 18 soluclc» ulterior de'l problema se reduce

a determinar el lIujo maximo en el grafo G'.

En la figura 2·1 J se ha efecluado la marcacion de los vertices del gralo G' en concordancla con la regia del § 2-3. EJ rnarcado de los vertices indica 18 exlstencia de un camino (xo, x" ~4' X3, xe, z), en e! cual el flujo en la direccion de x. a 2 puede lncrernentarse en 5 urudades. Este iJujo ad Idona! S~ III uesIra can I!echas. Como v emcs, 01 flujo maximo en t"l grafo G' es <r. = 50 nni· dades y I a rut a mas prolongad a ti~ne un liempo de 4 unldades, No es posih ip

84

Tabla 2·4 Dlstrlbuclon de los ~luJos parclales en eJ problema de transparte

por el ertterto de, nempo

R"I. Flulo I Tie'''po d.
pnr cta! paso del r(t,qj~
(,t~, Y.) 10
(,~I' V,) 10 2
(X3. V.) 5 3
(Xt, V,) 5 4
(.~a, Y3) 20 4
<1',,=50 I tlllaJti. =4 lograr la dismlnuclon ulterior del tlempo de paso del tlujo, ya que al vertlce 1l' (x.) no van rut as con el Iiernpo menor de Jj unidades.

Ell In Iabln 2·4 se presenta In distrlbucicn def imtiva dQ los flulos pnrclales par las rubs que 'da la soluclcn del problema de transporte segun e criteria del ttempo,

Capitulo tercero ESPACIOS MULTID-iMENSIONALES

3·1. ESPAcros METRICOS Y DfSTANCIAS

a) Concepto de distancia

El estudlo de los conjuntos realtaado en el capitulo I como reunion de clertos objetos Hene una epltcaclon ltmttada, ya que en la na turaleza todos los objetos rna teriales estan en interrel aclon e interacd6n. Par eso, es necesarlo vincula r el corrcepto de conjunto con el estableclrntento de unas u otras correlactones entre sus elementos.

Se dice que un conjunto tlene estructura SF entre los elementos del .conjun to se han establecido determinadas relaclones 0 con los rnismus se han definido ciertas operaciones. EI conjunto queposee estructura se denomina espacio ..

Comencemos e] estudio de los espacios par eJ tipo de espacios mas sencillos Ilarnados espaclos rnett icos, para cuya definicion es necesario introducir el conceplo de dislancia entre los elementos del conjunto.

EI hombre tropieza cada dia can el concepto de dlstancla relacionando este concepto can la d istr ibuckin espacia l de los abjetos e interpretando por dlst.a ncla la medida del alejamiento de los objetos, unos de otros. Generalmente la distaricia d(M, N) entre los puntos M y N se mide por el largo del segmenlo que line dichos puntas (fig. 3-1). Sin embargo, tal dish tbucicn de la distancia con

N

~

l

Fig. 3·l. Represe!1lad6n del axlcrna del trUongulo

frecuencia resulta Insuftclente, Asi, Incluso en usanza, Is distancia entre dos ciudades no se determina univocamente (dlstancia par fer roca rrll, vi a maritima, fl uvl a I, etc.). En un a cl ud a d di vi d ida en barrios como se muestra en la figura 3-2, no tlene sentido medic l a dislancia per medio del segrnento de recta que une los puntas M y N ya que s610 es postble tr asta darse por las calles.

Par aha la do, Irecuenternente no relaclonarnos Ia palabra a Iej arntento can el espacio en su sentido habitua I, sino que nos rete-

BS

rirnos al alejarniento ell e l \iempo (en la profunda leja nia de los siglos, etc .. ) 0 en otro sen lido. Si cterto sistema puede tomar sucesivamente los esta dos A I. A2 •...• ,4 n. enlonces podemos medir el alejamienlo del estado All. respeclo a Aj con el nurnero de estados par los cuales debe atr avesar el sistema para p asar del estado AJ al Ah• Aqul el estado va a ser l a medida

del a lejarniento, uno del otro, de los ,esta· dos del sistema. Pero si se conside'ra el aJejamiento como propiedad del estado, 1105 vemos ob1igados a hablar no ya del espaclo trid lmensional habitual sino de al gun otro espacio que se puede denornlnat, par ejemplo. espacio de estados,

En los ejernplos dades se ve -que debe existir cier ta definicion general de Iii dis-

tancia como medida del alejamiento de los

objetos y, par consi guiente, tarnblen del Pig. ~,2. Determinacion de

espacio en que existen estes objeto s, con la dbtllnc;'" en una clu-

esto, en dlstintas situaciones concretas dad dividida en barrios

dichos conceptos pueden tener diferente

contenido, Per cuante las reuniones de diversos objetos censtituyen conjuntos, los conceptos de espacio y distancia deben estar vinculades al concepto de conjunto.

,

J

N

I J

b) Defl nlclon de es pact 0 rnetrlco

Sea X un conjunto a rbltrario, EI concepto de distancia entre los elementos de X se ebliene mediante la generalizaci6n de las propiedades fundamentaJe.s, que pueden esperarse intuitivamente del concep to de distancia y que pueden en ten derse con facilidad a l exarninar l a figura 3·1.

Relacionemos can cada par de elementos de X cierto nurnero real no negative d ;,a,O. Este niimero se llama distancia a metrica en X 51 para cualesquier a x, y. Z E X e! mismo satistace las trcs condiciones slguientes:

I) d (x. y) = 0 cuando, y s610 cuando x = y (axioma de i dentidad) ;

2) d (x, y) = d (y, x) (axiorn a de slrnetr ia};

"3) para cua lqu ler tria da x, y, Z E X se cum pie d (x, y) ",;;; ~ d (x, z) + d (z. y) (axioma del trUingulo).

Se llama espacto me/rico a l par (X. d), es declr, al conjunto X con la metrlca d deiinida en este. Los elementos del conjunto X se denorninan puntes del espacio rnetrico (X, d).

De 1a definicion dada se deduce que el conjunto X s610 se tra nsforrna en espacio metrico cuando se ha introducido en ella metrtca correspondiente d(x, y). Si en un misITJ,D conjunto X se introducen <.I is ilntas metrlcas, se obtlenen asirnlsmo distintos espa-

1;\7

cios, Asi pues, los espactos represenlados en las figuras 3-1 y 3-2. tlenen en calidad de. elementos conjunto de puntas de un plano. pero poseen d_i'stinla!': metricas.

c) Ejemplos de espacios metrlcos

1. Sean x. y elementos cualesquiera del conjunto R deIos numeres reales. EI conj unto R puede transiormarse en c spaclo metrico si se delermina la distancia entre x e y por la formula

d(x, Y)=I x - y J.

(3-1)

Precisamenle por esta formula se halls III distancia entre los puntas del eje real que constiluye uno de los mas seucillos ejernplos del espacic rneirico.

2) Exarninemos el conjunlo R» cuyos elementos son las noes ordenadas de los numerus reales del tlpo x = (XI, ...• x.,,), y = = (YI, ... , y,.. j ... EI conjunlo Rn puede transformarse en espaclo rnetrico por d istintos rnetodos,

La distancia entre los puntas x e Y se define muy Irecuentemente por la formula

d2 (x, yl = { i: I x, _ s. ~ r . (3-2)

1=1

En el case de n = 2, 3 esta definicion coincide con eJ concepto habitual de dlstancla, Las propiedades I. 2 Y 3 para esta distancia son evidentes al exarninar la figura 3-1.

. La rnetrica d2(x, y) se denomina euclldea y el espacie Rn con

tal rnetrlca se llama euclideo y se design a par En. '

3. Para el conjunto k» 'la dislancia puede deterrnlnarse por otros metodcs, por ejemplo asi:

n

dl (x, yl = L: I XI - YI I

1=1

(3-3)

o bien

d",(x, y)=max( IXI - YI L "', I x" - y,,!). !3-4)

Es Iacil ver que las mctrtcas d2• d], d"", son cases particulares de la metrica

y se obtienen, respectivamente, can p = 2, P = I Y p = 00.

Las propiedades L y 2 son evidentes para [as metricas (3-3) 'I (3·4). Para demostrar la .propiedad 3 introduzcamos un punto

~8

mas Z = (Zl, ...• 2,,)E R". Para la dlstancia d. (x, y) tenemos: d.(x, Y)=tl;Cl~zl+ZI-YII~

1~1

"

,s;;;I(.\Xl-ZII+lzl-YII)=d(x. z)+d(z, V).

1=1 .

Para 18 distancia d",(x, y) la propledad 3 se cornprueha del modo siguiente. Supongamos que IXh - YI, I es Is mayor de las dilerenctas correspondientes de -los puntas x e y. Entonces

d~(x, y)=\Xk - Uk 1=\ Xt - Zk + Zk - Ykl<1 Xk -Zk 1+1 Zk - Uk \. !

Es evidente que

IXk-zkl<max(lx.-z.l , IXn-zlll)"""d~(x, a):

J z" - y" I ~ max (I Zt - Yt I ' 1 Zn - y. I) = d .. (2 !fl.

Luego,

d~ (x, y) ~ d"" (.x, z) + «: (2, !J).

4. Examinemos un conjunto de Iunciones del tiempo de todo genero posible con tmuas en el mtsrva 10 a ~ I ~ b. Sean x (/) e y (t) dos de estas Iunciones, La distancia entre elias puede de-

termlnarse mediante la relaclon '

d (x, y) = max 1 » (l) - y (t) \, (3-5)

~..-;t"b

que, como es facH cornprobar, sa tisface todas las propieda des de la rnetrtca. EI espacio con esta metrlca se design a por eta. bl .

Para [lustr ar las posibilidades de utlllzar en la pr actica los conceptos introducidos conviene detenerse en un espacio sumamente lrnportante en cibernetica que se denomina espacio de mensajes.

3-2. INTERPRETACION GEOMETR:JCA DE LAS SENALES Y MENSAJES

a) Bspacio de mensajes

Como hemos visto en 1a lntroducclon, los rnensajes se transmltenpor canales de cornuntcacton can ayuda de cierto alfabeto <n, que consta de un numero Iinilo de sjmboles. Los mensa] es constltuyen c!i,stintas secuencias de simbolos del alf'abeto. El nilmero de slrnbolos en un rnensaje se llama largo del mensaje,

Analicemos el case en que con ayuda del allabeto 'llm queconsta de.m simbolos se transrnlten mensajes de largo n. Pueden catalogarse tarnblen aqui los rnensajes m.Bs breves si estes se comptementan haste el largo neon cierto slrnbolo determinado, por ejemplo, con el cero en case de utillzarse el allabeto binar!e. £1

~9

conjunto de tcdos estes rnensajes puede constderarse como espacio metrico si .'lei ntro duce el concep to de distanc i a entre mensa] es,

Llamemos dlstancra d (x, y) entre dos rnerrsajes x e y 81 nu· mero de posiciones en las cuales los mensajes !C e g tienen dilerenles srmbolos. El espaeio rnetrico ob!enido en este case se designata por E (n, ~(,".) y se II ama ra espacio de mensaies.

Ejemp/.o 3-/. \II m es cl allabeto ruso, II = 7. ,,= ("ap"THAu). 11= (KOP' 3>lI!a).. No cO!n.'.lden 13 .. segClnda y cuarta letras.. Luego, d ("'. Y) = Z.

Ejemplo 3-2. Sea !!l = ~. = (O. J) el alfabeto btuar]o, Tl =>-1 0.. ~ = = 01001110 10. !I'" 0010110010. No comclden elsegundo. terccrc y sepllrno 5 '1:_ nos. Por tanto, <1(;<, y) = 3.

La definicion dada de la distancia d (x, y), en el espacio de rnensajes, sa ttstace todas I as propiedades de la dista neia. EI axtorna de identidad yel de simetria resultan evidentes, Cerclaremenos de que tarnblen se cumple el axlorna del [tlangulo.

Exarnlnemos tres rnensajes s, y, z de largo n. Designernos por Xh, Yh Y Z" los simbolos de k-esima posicion de estes rnensajes. Naturalrnente, 5i Xh = YI< e Y~ = ZIt, entonces x« = Z~, es declr. sl en alguna posi~ion colnciden los sim?olos de I.'!s m~ns~Jes x, y. y de los mensajes y, Z, entonces en dicha posicion coinclden tarnbien los sirnbelos de los mens ajes x y z. Por 10 tanto, en los mensajes x y z solamente pueden haber simbolos que no coinciden en aquellos lugares donde no eoinciden los simbolos bien en los rnensajes x, y, bien en los mensa] es g, z, Pero esto sigl1ifica que el nurnero total de stmbolos no- coincidentes en los merisajes x yz no puede sobrepasar la surna de nameros de los simbolos no coinddentes en los rnensajes x, y e y, z,

En 10 suceslvo, con fines de simpltcidad y clar idad, nos limltarernos unicamente al anallsls del alfabeto binario '!l= '!l2 = to, I}. Esto puede hacerse sin detrhnento de Ia genera Hdad de los rawnamien!os ya que los mensajes represenlados por stmbolos de un alfabeto siemprepueden recqdllicerse como rnerisajes representados mediante simbolos deotro allabeto. Exarnmernos, porejemplo, el allabeto '!l", que conliene m slmbolos, Yuxtapongamos a cada snnbolo un numero de orden de 0 a m ~ 1. Si se sustituyen en el mensaje los slrnbolos del allabeto '!l", por sus nurneros de orden en el sistema de numeraclon blnarlo, obtenamos Is representaci.6n

del mensaje en el a Ifabelo binario. .

b) Concepto de codlgos estahles a las lnterterencias

En el proceso de transrnlsicn por un canal de ccrnunicactdn puede dlstersionarse el nrensa]e, En el caso del alfabeto binario Is distorsldn conslste en que en el rnensaje captado algunas unldades resultan cambiadas por 'ceres t algunos ceres por unidades. Surge Ill. euestton de si pueden elaborarse e6digos que permitan descubrir que en el proceso de la transmislon ocurrio una distorsion ° hasta restabiecer los valores de los dlgitos dislorsionado.s.

~O

Los cddigos que pnseen estas propiedades se denominan estables

a las inierterenoias. ,

Examinemos el case en que durante el proceso de transmision del rnensaje nopuede ocurrlr una dlstorslen mayor que en k digi. tos. En el espaclo de los rnensajes E(n, l1t2) separarnos el subconj unto H~ ~ E (n, 'll~) que posee 13 propieda d de que para x, y E li~ cualesquiera, se cumple:

d(x, y) > k.

Llarncmos al conjunto H" conjunto de palabras comprensibles.

Aqu! el terrntno "palabra" es sin6nimo del termine "mensaje". Ententes cua lquier x ¢ H~ es una palabra ineemprensible. Supongames que al transmitir la palabra xe; H~esta se distorsionc y convlrtio en la palabr a x , Como que ·por hip6tesis no pueden ocurrlr mas de k distorsioneS,entonces ci(x, x') ~ k Y x' !jE HIi, 0 sea, x' es una pa labra incomprensible. Asi pues, la recepclon de una palabra incornprenstble deneb que ocurrio una distorsi6nen el proceso de tra nsmislcn. Los c6digos que sa tis f acen I a con d teton (3.6) se dertomlnan c6digos can deteccion de error.

Elemplo 3-9, Scparernos del c6dlgo Ii: (3, $,) el sigu lenle conjun!c de palabras comprensiotes que sattsiacen la condlclon d(x. JJ) = 2:

H, = (000. 101, OH, 1l0).

La dl~torsi6n de cualqulera de los dlgltos en estas palabras las convterte en lncomprensfbies, 0 sea, perm tie detoctar un error senclllc.

EI coniunto ]:-1, que forma un ccdlgncon delecd6n de error senctllo con palabr as de. largo 11 puede obterterse del modo siguitnk Examlnernos e:1 conjunto "(n - I. Il( ,) ,C$ declr, el conjuulo de palabras de largo ~ - I. EI coni unto H, seobtiene afiadiendo a dleho conjunto Uri d igilo maacuyo valor se elige de modo que sea par e l numero total de unidades en las palabr as J<S H,.

Ejemplo 3-4 .. Para" = 4 tenernos:

E (3, (Ii,) = {OOO. 001, 010. 100, Oil, 101, UO, III}.

H, = {OOOO, OOll, 01O!. 1001, oi 10, 1010, 1100,. i nu,

Es cornodo dcscubrlr la pa labra dlstorslonads con ayuda de la operaclon de adlcion pOT el m6.duJo2 segu.n las reglas:

0$0=0; 0$1 = I; J $0=, I; t $1 =0. (3-7)

As] pues, en la palabra J( = o,a:> ... lln hi magnitud ~= a, $a, ffi··· tfllln

sera cero 0 unidad dependlendo de sl Ilenen el valor de la unldad un nurnero par 0 lrnpar de simbolos de In pal abra,

Observemns que el c6digo de cua tro digites con deteccion de error que se obtuvo en el ejernplo 3-4, bririda la posibilidad de componer 2; - 16 p alabras diferenles, aunque en calidad de palabras comprensibles, 0 sea, destinadas a transrnitirse por el canal de cnmunicaclon, se utlllz an solarnente 8. Los codigos en los que el numero de palabras comprensibles es menor que el total de palabras posibles, reclbieron 1a denorntnacion de c6digos can re-

91

dundancia. La exislencla de redundancla es condlclon necesarta para la elaboraci6n de c6digos estables a las interfere.ncias.

Results igualmente posible elabor ar c6digos que permHan correglr los err ores cometidos. Supongamos nuevamente que en el proceso de transmisi6n pued an dlslorston arse no mas de k digilos del c6digo. El ccnjunto de pal abr as comprenslbles H~ = Sen, ~2) se elige por la condici6n

d (x, y) > 2k (3-8)

para x, yEO Hh cuales qulera.

Consideremos dos pa la bras cua lesquier a x, lj E Rh .• Supongarnos que como resulta do de una distorsi6n x se convirtio en x'. Entonces, d(X,X/)~ k. Per la desigualdad del lriiingu!o obtene-

mes: I

d(x', y);;;;" d (x, y}-d(x, x'»2k-k=k. (3-9)

Consecuen temen te,

d(x, x') < d tx", y).

(3.10)

De esta manera, la distancla desde l a p alahra equivocada .~' hasf a la x que ha sido sometida a dislorston, es rnenor que hash cuaJquier otra palabra comprensible .. Halrando la p alabra comprenslbte mas cercana a x', rtosotros, de este modo, reslablecemos eJ rnensaje concreto x. Los c6digos que satlsiacen la cnn dlc icn (3-8) se deneminan codigos con ccrreccion de errores. Las cues!iones de la realizncron pr actica de los c6digos can correccion de errores son basta nte cornplejas y se esludlan en ltter atura especializ ada.

3·3. ESPACIOS LiNEALES NORMADOS

a) Espaclo lineal

Al comienzo del capitulo se defini6 el espacto como conjunto dorado de una estructura determinada. Se es tudiaron los espa clos metricos euya estructura se determinaba por el heche de que 11. ca da par de elementos se alribuia un nurnero real llama do metrica que satlslacta delcrminadas propiedades. No obstante, la introduccion de l a metrtca est:i lejos de agota r todas las propiedades eslructur a les de los diver sos espaclos, En particular, si el con] unto X consta de mirneros rea les 0 complejos, se incluyen entre las propleda des estructurales de irnportancla 1a pesibilidad de obtener elementos del conjunto a partir de olros mediante la adicion de estes elementos, 0 la multiplicaci6n de un elernento por un escalar. Los conjuntos que tienen dichas propiedades pertenecen a la clase de los esp acios linea les. Los espacios lineales deben satisfacer las condiciones siguientes:

92

1) para cada par de elementos, x, y EO X esta deJinido unlvocamente un tercer clemente Z E X que se denomina su surna y se designa por x + y, siendo que

x + y = y + x (conmutatividad);

x + (y + v) = (x + y) + v (asocialividad);

en X hay un elemento 0 tal que x + 0 = x para todas las XEX (extstencla del cero}:

para carla x E X hay un elemento -x tal que x + (-x) = 0 [exlstencia del elemento opuesto};

2) para cualquler ntimero a y cualquier elemento x EX esta determinado el elemento aX EX siendo que

(Il + ~l x = IlX + ~x;

(l (x + II) = ax + ay.

Las condiciones I) Y 2) se denominan condiciones de a ditividad y.homogeneidad del espaclo lineal,

Pue den servir de ejemplos de espactos lineales:

1. EI. conjunto de numerus reales R con la definicion habitual de las ouer aciones de adlcion y multiplleacion.

2. lit conjunto R .. de todas las n·es ordenadas de los numeros rea les, si I as operactones de adici6n y multlcltcacion [lor un numere estan definidas del modo siguiente. Si x, !J E Rn y x = = (x .. "', x,,). Y = (Yr, .. " y~), entonces, x +!J = (XI + Y!' .. ' ..•• K~ + Y.): !XX = (CtXI, .. " aXn).

Pa r a n = 2 Y n = 3 cstas oper aciones ccinciden con las reglas habltualcs de oper acidn can vectores. Se entiende por vector nulo eJ vector (0, ... ,0) con componentes lguales a cera.

3. El espacio de las Iunciones Grn.~" si para x(/). y(l)E CI~.bl cualesqu iera se entiende por x (tl + y (tl la suma de los va lores x(t) e !I(t) tornados con los rnismos valores de t, y por ax(/) se comprende una nueva Iunclon obtenida de x(t), mulliplicando todos sus valores por 0:_ La lunclcn nula sera f(ll = 0 que es identlcamente igua I a cero en todo el interva 10 (a, h].

b) Espacio lineal normado

EI espaclo linea! solo reclbe su descr ipcton deiinitiva cuando las propiedades de aditividad y homogcnerdad estan complementadas par la posib illda d de medir la rnagnitud de los propios elementos, As! pues, no podernos comparar veclores sl no convenimos en que se comprende por magnitud (largo) del vector. La introduccion en el espaclo lineal de los estimados nurnericos de las magnitudes de los diallntos elementos conduce al concepto de espaclo lineal norrnado denominado a veces espacio de Banach.

EI espacio lineal se denomina espacio tineal normado, sl para cada x E X existe nn numero no negativo IIxll llamado norma x, que sattslace las con dlclones slguientes:

93

n x 11 = 0 cuando, y s610 cuando x = 0; IIcrx[l = Icrl·llxll:

II x + y II ,;;;,; II x II + II y II (desigualdad del Ir iangulo}.

No es dilici! esj ablecer que la magnitud IIx - yli posee todas las propledades de ta dis\ancia d (x, y) en el espacio metrtco. Efeclivamente:

II x - II II = O. sl x - Y = O. es declr, si x = y; teniendo en cuenta que y - x = - (x - y). ha llarnos:

Uy- xll=l-l Hx - .lI1I-=lIx- y_lI;

11x- yll=lI(x -z) + (z~ y) 11.;;;;11 x - zll+II.~ - II 11.

Par tanto, el espaclo lineal normado es un espacio rnetr ico con rnetrlca

d(x, Y)=II.t-yll-

(S-II)

Todos los espaclos metrtcos anteriormente exarninados complemenlados can las propledades de aditivldad y homogeneidad, se translorman en espacios lineales normados, Para dtchos espacios se em p lean notaciones es peers les, '3 s ah er:

I) el espaclo C~") 0 En con la norma

IIxll={tlIXlf}'" a IIxll=lxl para n=l; (3·12)

2) el espacio GIn) con 1a norma

II x II = f. I XI I:

... ,

3) el espacio On) con la norma

Ilxll=miix {lxII, ···,I.tn I};

(3-13)

(3-14)

4) ul espacio Cta. ~I de las iunciones continuas deiinidas en el lntervalo [a, b] con la norma

IIfll= max 11(1)1· (3-15)

'D"I"~

3-4. APUCACION DE LOS ESPACIOS

MUL TlDIMENSlONALE-:S EN ALGUNOS PROBLEMAs DE CIBERNETICA

a) Atenuaelen de errores ell datos experirnentales

Los resultados de las observaciones de cierta magnltud fisicB_Y son corrleniernente una secuencia de valores rnedidos de esta magnitud (XI>"" x~) = x, par clerto, los resultados de las medlclonss habilualmente contienen errores provocados por las trnperlecciones

94

delcxcerimento y \8 iniluencia de dlversos ladores exir afios. La misma magnitud y puede no permanecer constanle sino var iar ssgun clerta ley. El objetivo del expertrnento es establecerel valor real de la magnitud observa da.

La situacidn dsscr+ta puede reprcsentarse en terrninos de 18 teo ria de la transmisi6n de mensajes si se considera y como cierto mensaje acerca del valor de 18 magnitud a rnedir, sabre el cual se superponen las dlstorslones debidas a las impedeceiones del experimento. Representando el rnensaje transmltido y y el recibldo x en forma de puntas del espacio de mensajes, puede estimarse el grado de distorsi6n del mensaje reelbido can ayu da del valor de la dlstancla d (x, y) cuyo metoda de deterrni-

nacion depends del caracter del experirnento realizado. Can mucha frecuencia se utiliza dista 11 cia del ti po

d(x, m=

= -v' ('-x-1 -_-y",)2"+"7. -. -. -. -+'- •• "7('1:--I1---·-Y-"=.)~ , (3-16)

COil la cual.el espaclo de rnensajes se transforma en espscto C~~l.

Par 10 general, mediante consider aciones teortcas, se logra establecer el con] unto de los mensajes teorlcarnente posibles Y. En este caso debe tornarse como mensa]e carrecto tal II eo Y que sea mas cercano al rnensaje recibido x, es dectr, para el cual

d (x, y) = min, 0, 10 que esa veces mas conventente,

d~ = (x, y) = min.

t

Fig. 3-3. Determlnaclon de los parametres de una seiial que "aria tinea 1-

mente

(3-17)

(3·18)

El prineipio de determinacion del mensaje verdadero y par la formula (3-18) para la distancia del tipo (3-16) se utiliza arnpliamente conel nombre de metoda de 105 cuadrados minlmos.

Examinemos a modo de ejemplo el caso de Irnpcrtancla prac-

tica en que I a m agn i tu d y va rla segun la ley linea I: -

y=af+b.

(3-19)

En los mementos I" ... , In se miden los valor es !lk = at. + b, k = I, . , .. , n. Los resul ta dos de! as m edlclen es Xl, ... , Xn es tan representados en la figura 3-3.

Tomando en considerackin (3.19) Ia condicidrt (3.18) se escr ihe en la forma

"

cP(x, y)=P(a, b)=L (x~-at.~-W=min.

~-,

(3.20)

96

En esia expreslrin son lncognttos los par ametros a y b de la ley lineal buscada de variacion de la magnitud y. IguaJan do a cero las derivadas parciales por a y b de la funci6n F(a, bl, obtenemos dos ecuaciones que contienen arnbas incognitas y que despues de slmpl+iicarlas adquieren la forma:

(3-21)

No es cliff cil de ferm in a r en (3- 21) los va lores de a y b, que nos Interesan,

Otro caso importante tlene lugar cuan do 13 magnHud y se rnantiene lnvartable, es decir ,

I/=c=const

(3-22)

y para su estimacidn se han realiz ado tI mediclones independientes XL, "" x.,. Tentendo en cuenta (3-16) 18 condtcion (3-18) se escrlbe en la forma

d2 (x, y) = F (e) = i. (Xi< - c)~- min-

k=1

(3-23)

Dilerendando esta expresion por c e igualando acero, hallamos:

(3-24)

EI valor c delerminado por la formula (3~24) se denomina media aritrnetica de los valores XI ..•. , Xn.

Con una definIcion distinti de la distancia se obtlenen otras fOrnlUlas para deterrninar la media. Para mayor cornodldad vamos a consider ar que las magnitudes Xl, .•• , Xn estsn dispuestas en or den crecien te de sus valores. Proponemos a I j ector eerctora rse por SI rnismo de que al deterrnlnar la distancia por la formula (3·3) el valor medio

I Xn~1

C =, cualquter a de x" a x ~

I 7-1 7+1

A veces para ser m~s concretes para 11 par se supone que

para n lmpar:

para n par.

(S-25)

(3-26)

96

S1 la distancia se delerrnina per [a f6rmu[a (3·4), [a formula para la media es:

C ~ ·~i_t !!_J_ 2 '

(3·27)

b) Prob lema de identific aclon de imageries

La rarna de la cibernctlca que. se ocupa de [a identificaci6n de imilgenes Ilene como cbjetivo simuia r una de las propiedades mas irnportantes del cerebro hurnano, la propieda d de idcnttlicar los objetos, len6menos y situaciones que perrniten at hombre orientarsc en sltuaciones arnbientalcs cornplejas.

Los conceptos Iundarnen la les de la Ieor ia de identilicacicn son los de c/ase e imagen. Los diversos objetos 0 Ienornenos del rnundo rea [ dfiieren uncs de otr os POf sus propie dades. AI rnlsrno Iiernpo los dtstintos objelos y Ienornenos tienen asimlsrno propiedades generales que perrniten agrupar los objetcs en clertos corrjuntos o clases. Asi pues, los dlf'erentes tipos de autornoviles se reunen en la clase de los automovtles. Las cl ases pueden scr de diverse gr ado de generalidad dependicndn de las propiedades que se les atr ibuyen. As], la erase de los automoviles es un elemenlo tie I a clase mas arnplia de los medias de trans porte. De este modo, se denomina clase un ccnjunto de ohjetos 0 lenomenoe reunrdos segun ciertas propleda des comunes,

En cads sltuacion concrete es necesario operar can un juego f i 11 i to de cl ases exp resa d as por e! conj un La fin ito

W=(A. B, C, ... , PI.

Cada clase incluye en 51 un conjunto de objetos cuyo ntimcro puedc ser tan grande como se quler a y cuyas propiedades son suo rnarnsnte va riadas. Sin embargo, en I a practica s610 resulta posiblc tamar en consider acion un numero lirnitado, y con Irecuencia muy pequcfio, de propiedades dilerentes. LlamarernoaIrnagen 0 modele del objeto a! nurnero total finite de propiedades del objeto, y represeutaremos la imagen en forma del vector de /1. dlmensiones x = (Xl. ... , x.,.) cuyas ccmponenles caracter izan cuantltativamente las propieda des de la imagen, Pucde servir de ejemplo de imagen 1 a selia! de television de una fotogra[ia divldlda en n eeldas .indepen dlantes. EI total del brillo de lumlnlscenc i 11 de las eel. das forma un puntcen el espado de It dimensiones constituyendo la imagen de la Iotogralla,

Puede esperarse (per supuesto, con [a condicion de que e[ total de los in dices caracte r ice bas tante com p letamen te 1 as prop ie d a des de los abjetos), que 13 totalldad de los puntas correspcndientee a [as distintas im agertes de [lila rnisma clase, va a ocupar en el espaclo de lmagenes cierto dominio que diliere de los dorninios cor respon dientes a las ima~enes de otras clases.

EI problema de identllicar las Irnagenes puede conslderarse solucionado en principle si en el espacio de Imageries se han heche pasar planes que 10 dividen en dominios cuyos puntas pertenecen a lmagenes de clases dilerentes. Uno .de los rneto dos posibles de resoluclcn de este problema es el estudio previo de las propieda des de las dist intas irnagenes de los objelos de eada clase,

Supongamos que existen s610 dos clases de objetcs A y B.

Designemos por Aa y Bo los conjuntos de los modelos de estas clases previarnente estudiados. Las representadones de dichos -modeJos en el espacio de lrnagenes pueden tener el aspecto mostra do para el caso de dos dimensiones en Ja figura 3-4, a, donde los pun-

,J:
-

I ... lb

-

1- A
,_
a
.r to

a)

b)

Fig. 3·4. Division del espacio de mode!os en clases

tos correspondientes a los rnodelos de Au estan designados por clrculos y de Bo. por triangulos.

Sea x la imagen del nuevo objeto a lnvestlgar, Se ternan como rnedida de la cercania de esta imagen a las clases A y Bias magnitudes S (x. A) y S (x, B) que representan, par ejemplo .. los cuadrados medias de las dtatancias del pun to x y los puntos CO~ rrespondlentes a las distlnlas imagenes de las elases A y B. As! pues, sl Ao = {aI, .... am} y 80 = (bl •...• btl por la formula (3·24) para el valor media obtenemos:

m

S(x. A)=....!...." dZ(x. 01); "'~

1=1

I

S (x, B)=f L d2(x, all. /=1

La superficie que separa las lmagenes de ambas clases, ell el espacio de trnagenes sera una superficie C euyos puntas satisf acen la condiclon

S (x, A) = S (x, B)_ (3-29)

(3-28)