12.07.2015 Views

Libro en PDF - DIT - Universidad Politécnica de Madrid

Libro en PDF - DIT - Universidad Politécnica de Madrid

Libro en PDF - DIT - Universidad Politécnica de Madrid

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Las jerarquíasDe esta <strong>de</strong>finición pue<strong>de</strong> <strong>de</strong>ducirse <strong>de</strong> forma natural el concepto <strong>de</strong> rango:"Decimos que un subconjunto C n <strong>de</strong> C, que no sea i, es el n-ésimo rango <strong>de</strong> J si,y sólo si, para todo x <strong>de</strong> Cn, x se <strong>en</strong>cu<strong>en</strong>tra n escalones "por <strong>de</strong>bajo" <strong>de</strong> i (segúnla relación D). Se <strong>en</strong>ti<strong>en</strong><strong>de</strong> escalón como una única aplicación <strong>de</strong> la relación D"Así pues, po<strong>de</strong>mos repres<strong>en</strong>tar la jerarquía que hemos <strong>de</strong>finido como un árbol finito.No podrá cont<strong>en</strong>er lazos cerrados, y se ramificará a partir <strong>de</strong> un solo punto (queserá el que se corresponda con el elem<strong>en</strong>to i). T<strong>en</strong>emos, por tanto, lo que <strong>en</strong> teoría<strong>de</strong> grafos se llama grafo ori<strong>en</strong>tado abierto. Sin embargo es importante hacernotar que la condición e. <strong>de</strong> las que antes impusimos es puram<strong>en</strong>te semántica,<strong>de</strong> significado <strong>de</strong> la relación, y por tanto no repres<strong>en</strong>table mediante el grafo.Una vez <strong>de</strong>finido lo que <strong>en</strong>t<strong>en</strong><strong>de</strong>mos por jerarquía, pasemos a ver qué es lo queconsi<strong>de</strong>ramos estructura <strong>de</strong> niveles:"Sea un par ord<strong>en</strong>ado N=, don<strong>de</strong> C es una familia <strong>de</strong> conjuntos <strong>de</strong> sistemasindividuales, y E una relación binaria <strong>en</strong> C. Decimos que N es una estructura d<strong>en</strong>iveles si, y sólo si:a. Todo conjunto miembro <strong>de</strong> C es una clase <strong>de</strong> equival<strong>en</strong>cia <strong>de</strong> sistemas (estoes, los sistemas <strong>de</strong> ese conjunto compart<strong>en</strong> ciertas propieda<strong>de</strong>s y principios).b. E es una relación multívoca, reflexiva y transitiva <strong>en</strong> la familia <strong>de</strong> conjuntos C.c. La relación E refleja la emerg<strong>en</strong>cia <strong>de</strong> ciertas propieda<strong>de</strong>s, esto es, la aparición<strong>de</strong> sistemas que son cualitativam<strong>en</strong>te distintos <strong>de</strong> los que los forman."A partir <strong>de</strong> esta <strong>de</strong>finición, llamaremos nivel a cada uno <strong>de</strong> los conjuntos <strong>de</strong> sistemas<strong>de</strong> N. Como po<strong>de</strong>mos ver, ésta es una formalización que se correspon<strong>de</strong> muy bi<strong>en</strong>con la i<strong>de</strong>a intuitiva <strong>de</strong> nivel jerárquico. La condición a. nos asegura que el nivelque estamos <strong>de</strong>fini<strong>en</strong>do t<strong>en</strong>ga un cont<strong>en</strong>ido semántico, <strong>en</strong>t<strong>en</strong>dido como unasemejanza <strong>en</strong>tre sus compon<strong>en</strong>tes. Es importante el concepto <strong>de</strong> emerg<strong>en</strong>cia, quees el verda<strong>de</strong>ro núcleo <strong>de</strong> la <strong>de</strong>finición. Para que aparezca un nivel superior noes sufici<strong>en</strong>te que haya agregación, sino que es preciso que a<strong>de</strong>más aparezcanciertas propieda<strong>de</strong>s nuevas, no explicables (al m<strong>en</strong>os <strong>de</strong> una forma s<strong>en</strong>cilla ydirecta) <strong>en</strong> función <strong>de</strong> las propieda<strong>de</strong>s <strong>de</strong> los sistemas compon<strong>en</strong>tes.153

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!