Struktuurisemiootika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
mõnede artiklite seostamine |
|||
26. rida:
8. '''''Morfism'''''. Binaarpositsiooni <math>\Omega_n </math> raames teostatud disjunktiivset operatsiooni, mis muudab struktuuri <math> GS </math> tema naaberstruktuuriks <math> GS^{adj}_{n} </math> kujutab endast ''morfismi'' <math> F_{n} = GS\rightarrow GS^{adj}_n </math>. Morfism on pöörduv, <math> F^{rev}_{n} </math>, igal naaberstruktuuril <math> GS^{adj}_{n} </math> on „pöördpositsioon“ <math>\Omega^{rev}_n </math>, millele rakendatud morfism <math> F^{rev}_{n} </math> ''taastab'' lähtestruktuuri, <math> F^{rev}_{n} = GS^{adj}_{n} \rightarrow GS </math>. ''Morfismi tõenäosus'' <math> PF_{n} </math> sõltub positsiooni (orbiidi) võimsusest ja vastavate binaaride arvust struktuuris.
9. '''''Lahutatavus (teisendatavus) ja [[Ulami hüpotees|taastatavus]]'''''. Kui morfismid <math> F_{n} = GS\rightarrow GS^{adj}_n </math> on disjunktiivselt <math> F_{1} \vee </math>… <math>\vee F_{n} \vee </math> … <math>\vee F_{N} </math> rakendatud struktuuri <math> GS </math> binaarpositsioonidele <math>\Omega_1 </math>,…,<math>\Omega_n </math>,…,<math>\Omega_N </math>, siis on struktuur <math> GS </math> ''lahutatud (teisendatud)'' oma naaberstruktuurideks <math> GS^{adj}_{n} </math>. Morfismi pöörduvus <math> F^{rev}_{n} </math> tagab struktuuri ''taastatavuse (rekonstrueeritavuse)'' oma naaberstruktuuride binaarpositsioonide <math>\Omega^{rev}_n </math> baasi, (mis ei tähenda, et tingimata samade seos-operatsioonide baasil). ''Struktuuri [[Ulami hüpotees|taastatavus]] on lahutatavuse (teisendatavuse) pöördoperatsioon''.
10. '''''Naaberstruktuuride jada ja [[graafide süsteem|süsteem]]'''''. Naaberstruktuuride jada <math> SF </math> muudab struktuuri mingiks tema alam- või ülemstruktuuriks. Struktuurimuutus võib toimuda ka naaberstruktuuri jadade parve näol. Naaberstruktuuride jadade parv tühistruktuuri <math> GS^{empt} </math> ja täisstruktuuri <math> GS^{comp} </math> vahel kujutab endast kõikide n-elemendiliste [[graafide süsteem|''struktuuride süsteemi'']] <math>\mathfrak {G} = (GS, F) </math> <ref> John-Tagore Tevet. ''Süsteem''. ISBN 9789949388837. S.E.R.R., Tallinn 2016.</ref>.
==Kokkuvõte==
Struktuur on isomorfsete graafide ''täielik invariant''.
Binaarsuhete [[graafide identifitseerimine|süvaidentifitseerimise]] teel saadud [[struktuurimudel]] ''tuvastab struktuuri binaarpositsioonide ja isomorfismi täpsusega''.
Struktuuri ''lahutatavus (teisendatavus)'' binaarpositsioonide baasil naaberstruktuurideks ja ''taastatavus'' naaberstruktuuride baasil on ''võrdväärsed vastandoperatsioonid''.
Mitteisomorfsete n-tipuliste graafide (st struktuuride) hulgad moodustavad ''korrektseid süsteeme'', kus oluline roll on ülemineku- ja olekutõenäosustel.
| |||