PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
variable topology (Definition)

Preliminary data Let us recall the basic notion that a topological space consists of a set $ X$ and a `topology' on $ X$ where the latter gives a precise but general sense to the intuitive ideas of `nearness' and `continuity'. Thus the initial task is to axiomatize the notion of `neighborhood' and then consider a topology in terms of open or of closed sets, a compact-open topology, and so on (see Brown, 2006). In any case, a topological space consists of a pair $ (X, \mathcal T)$ where $ \mathcal T$ is a topology on $ X$. For instance, suppose an open set topology is given by the set $ \mathcal U$ of prescribed open sets of $ X$ satisfying the usual axioms (Brown, 2006 Chapter 2). Now, to speak of a variable open-set topology one might conveniently take in this case a family of sets $ \mathcal U_{\lambda}$ of a system of prescribed open sets, where $ \lambda$ belongs to some indexing set $ \Lambda$. The system of open sets may of course be based on a system of contained neighbourhoods of points where one system may have a different geometric property compared say to another system (a system of disc-like neighbourhoods compared with those of cylindrical-type).

Definition 0.1   In general, we may speak of a topological space with a varying topology as a pair $ (X, \mathcal T_{\lambda})$ where $ \lambda \in \Lambda$ is an index set.

Example The idea of a varying topology has been introduced to describe possible topological distinctions in bio-molecular organisms through stages of development, evolution, neo-plasticity, etc. This is indicated schematically in the diagram below where we have an $ n$-stage dynamic evolution (through complexity) of categories $ \mathsf D_i$ where the vertical arrows denote the assignment of topologies $ \mathcal T_i$ to the class of objects of the $ \mathsf D_i$ along with functors $ \mathcal F_{i} : \mathsf D_{i} {\longrightarrow}\mathsf D_{i+1}$, for $ 1 \leq i \leq n-1$ :

$\displaystyle \diagram & \mathcal T_{1} \dto<-.05ex> & \mathcal T_{2} \dto<-1.2... ... \rule{0.5em}{0ex} \mathsf D_{n-1} & \rule{0em}{0ex} \mathsf D_{n} \enddiagram $

In this way a variable topology can be realized through such $ n$-levels of complexity of the development of an organism.

Another example is that of cell/network topologies in a categorical approach involving concepts such as the free groupoid over a graph (Brown, 2006). Thus a varying graph system clearly induces an accompanying system of variable groupoids. As suggested by Golubitsky and Stewart (2006), symmetry groupoids of various cell networks would appear relevant to the physiology of animal locomotion as one example.



"variable topology" is owned by bci1.
(view preamble | get metadata)

View style:

See Also: topological space, variable network topology

Other names:  variable topology
Also defines:  indexed family of topological spaces
Keywords:  sequence of different topologies defined by distinct axioms or rules
Log in to rate this entry.
(view current ratings)

Cross-references: groupoids, symmetry, induces, graph, groupoid, categorical, cell, functors, objects, class, categories, diagram, development, index set, property, points, contained, indexing set, variable, axioms, open set, compact-open topology, closed sets, open, terms, neighborhood, topology, topological space
There is 1 reference to this entry.

This is version 7 of variable topology, born on 2008-07-24, modified 2008-10-18.
Object id is 10858, canonical name is VariableTopology.
Accessed 360 times total.

Classification:
AMS MSC18B40 (Category theory; homological algebra :: Special categories :: Groupoids, semigroupoids, semigroups, groups )
 18G55 (Category theory; homological algebra :: Homological algebra :: Homotopical algebra)
 55U40 (Algebraic topology :: Applied homological algebra and category theory :: Topological categories, foundations of homotopy theory)
 55U35 (Algebraic topology :: Applied homological algebra and category theory :: Abstract and axiomatic homotopy theory)
 55U05 (Algebraic topology :: Applied homological algebra and category theory :: Abstract complexes)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)