Loading [MathJax]/jax/output/HTML-CSS/jax.js
prikaz prve stranice dokumenta Topološke grupe gruboga oblika
  Download
PDF 1.1 MB
doctoral thesis
Topološke grupe gruboga oblika
Zagreb: University of Zagreb, Faculty of Science, 2018. urn:nbn:hr:217:451774
Čuka, Zdravko
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Čuka, Z. (2018). Topološke grupe gruboga oblika (Doctoral thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:451774

Čuka, Zdravko. "Topološke grupe gruboga oblika." Doctoral thesis, University of Zagreb, Faculty of Science, 2018. https://urn.nsk.hr/urn:nbn:hr:217:451774

Čuka, Zdravko. "Topološke grupe gruboga oblika." Doctoral thesis, University of Zagreb, Faculty of Science, 2018. https://urn.nsk.hr/urn:nbn:hr:217:451774

Čuka, Z. (2018). 'Topološke grupe gruboga oblika', Doctoral thesis, University of Zagreb, Faculty of Science, accessed 27 March 2025, https://urn.nsk.hr/urn:nbn:hr:217:451774

Čuka Z. Topološke grupe gruboga oblika [Doctoral thesis]. Zagreb: University of Zagreb, Faculty of Science; 2018 [cited 2025 March 27] Available at: https://urn.nsk.hr/urn:nbn:hr:217:451774

Z. Čuka, "Topološke grupe gruboga oblika", Doctoral thesis, University of Zagreb, Faculty of Science, Zagreb, 2018. Available at: https://urn.nsk.hr/urn:nbn:hr:217:451774

Metadata
TitleTopološke grupe gruboga oblika
Title (english)Topological coarse shape groups
AuthorZdravko Čuka
MentorNikola Koceić Bilan (mentor)
Committee memberVlasta Matijević (predsjednik povjerenstva)
Committee memberZvonko Iljazović (član povjerenstva)
Committee memberNikola Koceić Bilan (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2018-02-23, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Universal decimal classification
(UDC)		51 - Mathematics
Abstract
Teorija (topološkog) oblika (vidi [23]) je dobro poznata grana topologije koja pruža općenitiji pogled na topološke prostore (kraće prostore) nego homotopska teorija, a svoje poopćenje ima u teoriji (topološkog) gruboga oblika (vidi [17]). Važne invarijante tih teorija, koje se pridružuju (punktiranim) prostorima su grupe oblika i gruboga oblika, redom. Nedavno je grupa oblika topologizirana u [26], te je dobivena topološka grupa, a na sličan način ćemo obogatiti i strukturu grupe gruboga... More oblika. U prvom dijelu rada proučavamo različite (netrivijalne) topologije na skupovima morfizama u kategorijama inv−C,inv∗−C, gdje je C proizvoljna kategorija. Potom, pomoću prethodno spomenutih topologija, na prirodan način topologiziramo skupove morfizama u kategorijama pro−C,pro∗−C između dvaju fiksnih objekata (tj. inverznih sustava u C), preciznije, u oba slučaja uvodimo po dvije topologije, koje u pro− slučaju označavamo sa Tind i Tcard, a u pro∗− slučaju sa T∗ind i T∗card. Pokazujemo da sve četiri spomenute topologije imaju baze čiji su elementi otvoreno-zatvoreni skupovi, te da ih smijemo zamišljati kao relativne topologije Cantorove kocke, a za pridružene prostore vrijedi da imaju malu induktivnu dimenziju 0 i da su potpuno nepovezani. Vrijedi da su Tcard, T∗card finije od Tind, T∗ind , redom, a protuprimjerima pokazujemo da su spomenute topologije u odgovarajućim parovima općenito različite. Također, dokazujemo da se odabirom inverznog niza u kodomeni topologije u parovima poklapaju, te da ih možemo metrizirati konkretnim potpunim ultrametrikama. Prethodne topologije su nam bitne jer je k-dimenzionalna grupa oblika i gruboga oblika nekog punktiranog prostora (X,x0) u prirodnoj bijektivnoj vezi redom sa skupom pro− odnosno pro∗− morfizama između punktirane k-dimenzionalne sfere i neke HPol0-ekspanzije od (X,x0). Nadalje, budući da pokazujemo da topologije Tind i T∗ind, za razliku od Tcardi T∗card, nisu osjetljive na izomorfne transformacije kodomene, to preko netom spomenutih bijektivnih korespondencija možemo koristeći topologije Tind i T∗ind topologizirati grupe oblika i gruboga oblika, redom, neovisno o izboru HPol0-ekspanzije. U drugom dijelu radu prvo ćemo se upoznati s već spomenutim topološkim grupama oblika, gdje se topologija kojom su topologizirane u [26] poklapa sa Tind. Navest ćemo njihova osnovna svojstva, poopćiti neke već poznate primjere, te pružiti eksplicitnu metriku za topološke grupe oblika kompaktnih metričkih prostora. U posljednjem poglavlju ćemo proučavati topologiziranu grupu gruboga oblika nekog punktiranog prostora (X,x0) i neke dimenzije k. Pokazat ćemo da je ona uistinu topološka grupa, prirodno ćemo je nazvati k-dimenzionalna topološka grupa gruboga oblika od (X,x0) i označiti sa ˇπ∗topk(X,x0), te konstrukcijom pripadnog funktora pokazati da je nova invarijanta gruboga oblika. Njezina topološka svojstva bit će naslijeđena od T∗ind, pa će primjerice odmah izaći potpuna regularnost. Povezat ćemo slučaj oblika i gruboga oblika tako da ćemo pokazati da ˇπ∗topk(X,x0) sadrži odgovarajuću topološku grupu oblika kao svoju zatvorenu podgrupu. Također, promatrat ćemo odnos ˇπ∗topk(X,x0) s topološkom grupom gruboga oblika nekog retrakta od X, a i vidjeti ćemo u kojim slučajevima je izbor bazne točke nebitan. Među dokazanim tvrdnjama posebno ističemo teorem o neprekidnosti topoloških grupa gruboga oblika, kao poopćenje njegove nedavno pokazane algebarske varijante. Naposljetku, primjenjujemo dobivene rezultate za konstrukciju zanimljivih primjera, među kojima je i primjer prostora koji nije stabilan, a ima diskretnu, netrivijalnu topološku grupu gruboga oblika. Less
Abstract (english)
Teorija (topološkog) oblika (vidi [23]) je dobro poznata grana topologije koja pruža općenitiji pogled na topološke prostore (kraće prostore) nego homotopska teorija, a svoje poopćenje ima u teoriji (topološkog) gruboga oblika (vidi [17]). Važne invarijante tih teorija, koje se pridružuju (punktiranim) prostorima su grupe oblika i gruboga oblika, redom. Shape theory (see [23]) is the well known branch of topology which provides more generalised view on topological spaces (shortly spaces)... More than homotopic theory and it has its own generalisation in the coarse shape theory (see [17]). Important invariants of these theories, which are associated to (pointed) spaces, are shape and coarse shape groups, respectively. Recently, shape group has been topologized in [26], where topological group has been obtained and on similar way we will enrich structure of coarse shape group. In the first part we study different (nontrivial) topologies on the sets of morphisms in categories inv−C,inv∗−C, where C is any category. Then, by using previously mentioned topologies, we topologize in most natural way sets of morphisms in categories pro−C,pro∗−C between two fixed objects (i.e. inverse systems in C), more precise, in both cases we introduce two topologies, which we denote by Tind and Tcard in pro− case and by T∗ind and T∗card in pro∗−case. We show that all four mentioned topologies have bases which are consisted of clopen sets and that we may consider them as relative topologies of Cantor cube, and also that associated spaces have small inductive dimension 0 and are completely disconnected. It holds that Tcard, T∗card are finer than Tind, T∗ind , respectively, and by using some counterexamples it is shown that those topologies generally di¤er in pairs. Also, we prove that for any inverse sequence in codomain the topologies match in pairs and that in that case we can metrizise them with explicit complete ultrametrics. Aforementioned topologies are important for us because k-dimensional shape and coarse shape group of some pointed space (X,x0) is in natural bijective correspondence with set of pro− and pro∗− morphisms, respectively, between pointed k-dimensional sphere and HPol0-expansion of (X,x0). Further, since we prove that topologies Tind and T∗ind are not sensitive on isomorphic transformations of codomain, unlike Tcard and T∗card, we can, by using just mentioned bijective correspondences and topologies Tind and T∗ind , topologise shape and coarse shape groups, respectively, independently of choice of HPol0-expansion. In the second part we consider mentioned topological shape groups, where their topology in [26] coincides with Tind. Their main properties are listed, some of known examples are generalised, and also explicit metric for topological shape groups of compact metric spaces is provided. In the last chapter topologised coarse shape group of some pointed space (X,x0) and some dimension k is studied. We show that it is truly topological group, which we naturally call k-dimensional topological coarse shape group of (X,x0) and denote by ˇπ∗topk(X,x0). By constructing associated functor it is shown that it becomes new coarse shape invariant. Their topological properties are inherited from T∗ind), so for example it immediately follows that ˇπ∗topk(X,x0) is completely regular. We relate shape and coarse shape case by proving that ˇπ∗topk(X,x0) contains appropriate topological shape group as its closed subgroup. Also, we consider relation of ˇπ∗topk(X,x0) with topological coarse shape group of some retract of X, and we see in which cases specifying basepoint is irrelevant. Among proven facts we highlight continuity of topological coarse shape groups theorem, as generalisation of its recently shown algebraic variant. Finally, our results are applied for constructing interesting examples, among which the example of the space which is not stable, but has discrete, nontrivial topological coarse shape group is most interesting. Less
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:217:451774
Study programmeTitle: Mathematics
Study programme type: university
Study level: postgraduate
Academic / professional title: doktor/doktorica znanosti, područje prirodnih znanosti, polje matematika (doktor/doktorica znanosti, područje prirodnih znanosti, polje matematika)
Type of resourceText
Extentv, 132 str.
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2019-03-08 09:30:27
accessibility

closeAccessibilityrefresh

If you wish to permanently save changes, click on Save, if not - your settings will be reset when you restart the browser.