Topology

Working in constructive set theory we formulate notions of constructive topological space and set-generated locale so as to get a good constructive general version of the classical Galois adjunction between topological spaces and locales. Our notion of constructive topological space allows for the space to have a class of points that need not be a set. Also our notion of locale allows the locale to have a class of elements that need not be a set. Class sized mathematical structures need (...) to be allowed for in constructive set theory because the powerset axiom and the full separation scheme are necessarily missing from constructive set theory. We also consider the notion of a formal topology, usually treated in Intuitionistic type theory, and show that the category of set-generated locales is equivalent to the category of formal topologies. We exploit ideas of Palmgren and Curi to obtain versions of their results about when the class of formal points of a set-presentable formal topology form a set. (shrink)

In this note a T1 formal space is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a formal space, and prove that the class of points of a weakly set-presentable formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties for constructive topological spaces , strengthening separation properties discussed elsewhere. Finally we relate (...) the properties for ct-spaces with corresponding properties of formal spaces. (shrink)

The Aharonov-Bohm effect is typically called ``topological.'' But it seems no more topological than magnetostatics, electrostatics or Newton-Poisson gravity. I distinguish between two senses of ``topological.''.

I argue that it may well be the case that space and time do not consist of points, indeed that they have no smallest parts. I examine two different approaches to such pointless spaces : a topological approach and a measure theoretic approach. I argue in favor of the measure theoretic approach.

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

In the natural sciences higher order structures often occur. There seems to be a need for good methods of describing what we mean by higher order structures in various contexts. This is what hyperstructures are intended to do. We motivate and introduce this new concept. Next we illustrate how it can be applied in various types of genomic analysis—particular the correlations between single nucleotide polymorphisms and diseases. The suggested structure is quite general and may be applied to a variety of (...) situations. Finally we discuss how data sets (f. ex. genomic) may lead to topological spaces, giving new invariants and lead to the prediction of hyperstructures. (shrink)

in Charles Scott and Arleen Dallery, eds., Ethics and Danger: Currents in Continental Thought. Albany. State University of New York Press. 1992. Pp. 83-106.

A first order representation (f.o.r.) in topology is an assignment of finitary relational structures of the same type to topological spaces in such a way that homeomorphic spaces get sent to isomorphic structures. We first define the notions "one f.o.r. is at least as expressive as another relative to a class of spaces" and "one class of spaces is definable in another relative to an f.o.r.", and prove some general statements. Following this we compare some well-known classes of spaces and (...) first order representations. A principal result is that if X and Y are two Tichonov spaces whose posets of zero-sets are elementarily equivalent then their respective rings of bounded continuous real-valued functions satisfy the same positive-universal sentences. The proof of this uses the technique of constructing ultraproducts as direct limits of products in a category theoretic setting. (shrink)

Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from $\varphi^M$ to $\varphi^R$ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo-based on the work of A. Strzebonski-showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered field.

In human consciousness a world of separated objects is perceived by an inner observer who is experienced as an undivided feeling of one-self. A topological correlation of the self to the world, however, entails a paradoxical situation by either merging all separated objects into one or splitting the self into as many subselves as there are objects perceived. This study introduces a model suggesting that the self is generated in a neural network by algorithmic compression of spatial and temporal information (...) into a fractal structure. A correlation of an inner observer to parts of a fractal structure inevitably entails a correlation to the whole, thereby preserving the undividedness of the self. Molecular mechanisms for the generation of a fractal structure in a neural network and the possibility of experimental investigation will be discussed. (shrink)

In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.

The last few years have led to a series of discoveries that uncovered statistical properties that are common to a variety of diverse real-world social, information, biological, and technological networks. The goal of the present paper is to investigate the statistical properties of networks of people engaged in distributed problem solving and discuss their significance. We show that problem-solving networks have properties ~sparseness, small world, scaling regimes! that are like those displayed by information, biological, and technological networks. More importantly, we (...) demonstrate a previously unreported difference between the distribution of incoming and outgoing links of directed networks. Specifically, the incoming link distributions have sharp cutoffs that are substantially lower than those of the outgoing link distributions ~sometimes the outgoing cutoffs are not even present!. This asymmetry can be explained by considering the dynamical interactions that take place in distributed problem solving and may be related to differences between each actor’s capacity to process information provided by others and the actor’s capacity to transmit information over the network. We conjecture that the asymmetric link distribution is likely to hold for other human or nonhuman directed networks when nodes represent information processing and using elements. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

Kant maintains that in face of the failure of the traditional arguments for the existence of God it is necessary to provide an entirely fresh centre of gravity for the notion of religious consciousness. To explicate Kant's critique this paper develops, as a special hermeneutic device, the idea of a kind of Husserlian reduction and realization', in terms of which the various uses of Kant's concept of thing' or object' are given a new interpretation,using this to provide a novel approach (...) to the whole structure of the Kantian world. (shrink)

The Clifford tori in $S^3$ constitute a one-parameter family of flat, two-dimensional, constant mean curvature submanifolds. This paper demonstrates that new, topologically non-trivial CMC surfaces resembling a pair of neighbouring Clifford tori connected at a sub-lattice consisting of at least two points by small catenoidal bridges can be constructed by perturbative PDE methods. That is, one can create a submanifold that has almost everywhere constant mean curvature by gluing a re-scaled catenoid into the neighbourhood of each point of a sub-lattice (...) of the Clifford torus; and then one can show that a constant mean curvature perturbation of this submanifold does exist. (shrink)

Must space be a unity? This question, which exercised Aristotle, Descartes and Kant, is a specific instance of a more general one; namely, can the topology of physical space change with time? In this paper we show how the discussion of the unity of space has been altered but survives in contemporary research in theoretical physics. With a pedagogical review of the role played by the Euler characteristic in the mathematics of relativistic spacetimes, we explain how classical general relativity (modulo (...) considerations about energy conditions) allows virtually unrestrained spatial topology change in four dimensions. We also survey the situation in many other dimensions of interest. However, topology change comes with a cost: a famous theorem by Robert Geroch shows that, for many interesting types of such change, transitions of spatial topology imply the existence of closed timelike curves or temporal non-orientability. Ways of living with this theorem and of evading it are discussed. (shrink)

In this article I assess some results that purport to show the existence of a type of 'topological perception', i.e., perceptually based classification of topological features. Striking findings about perception in insects appear to imply that (1) configural, global properties can be considered as primitive perceptual features, and (2) topological features in particular are interesting as they are amenable to formal treatment. I discuss four interrelated questions that bear on any interpretation of findings about the perception of topological properties: what (...) exactly are topological properties, what makes them global , in what sense the quoted findings makes them primitive, and what are the hopes of a formal theory of perception based upon them. I suggest that mathematical topology is not the correct model for cognition topological properties, hence that some other formalism ought to be used—a form of “internalized topology.” However, once the principles of this type of topology are spelled out, they may not be as globalistic as one may have expected. (shrink)

Understanding of elementary topological equivalencies is impaired by preconceptions about the topological structure of ordinary objects, so that the equivalencies turn out to be counterintuitive. Here I will discuss some of these preconceptions, namely the dominance of gestalt properties of the visual display of the configuration, the neglect of holistic properties, the dominance of transformations the preserve metric properties over those that preserve topological properties only, the assumption that holes are objects of their own. These factors delineate an empirical research (...) field, intuitive topology. An explanatory hypothesis for the preconceptions suggests that they are hard-wired. (shrink)

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (shrink)

The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...) which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained. (shrink)

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

This is the first work to explicitly target Bourdieu's philosophy of space as a basic organizing force for his social theory. It draws together his work on both social space and physical space, and it applies the logic that binds them together to problems of architecture and urban development.

The global/local contrast is ubiquitous in mathematics. This paper explains it with straightforward examples. It is possible to build a circular staircase that is rising at any point (locally) but impossible to build one that rises at all points and comes back to where it started (a global restriction). Differential equations describe the local structure of a process; their solution describes the global structure that results. The interplay between global and local structure is one of the great themes of mathematics, (...) but rarely discussed explicitly. (shrink)

Possibility and reference have been central topics in metaphysics and the philosophy of language in the past decades. Wolfgang Freitag’s Form and Philosophy provides a novel approach to these notions and their interrelations, based on the concept of form as the key modal concept: form is the possibility space of objects. In its historic dimension, the book analyses the role of form in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Immanuel Kant’s Critique of Pure Reason. In its systematic dimension, the book offers (...) an alternative ontological basis to David Armstrong’s combinatorial theory of possibility and rejects David Lewis’ analysis of possibility in terms of possible worlds. Representation is shown to rest on the idea of direct reference as proposed by David Kaplan and Saul Kripke. It is argued that the problem of reference links up with Wittgenstein’s rule-following problem, the nature of which is extensively discussed. It emerges that form and reference are complementary with respect to the notion of representation. Once their individual roles are seen, many metaphysical puzzles appear in a new light or disappear altogether. (shrink)

Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangelskii concerning cardinal invariants of compact spaces.

This paper is devoted to the study of the notion of the phase-space representation of quantum theory in both the nonrelativisitic and the relativisitic cases. Then, as a derived concept, the stochastic phase space is introduced and its connections with fuzzy set theory and probabilistic topological (in particular, metric) spaces are discussed.

Convexity predicates and the convex hull operator continue to play an important role in theories of spatial representation and reasoning, yet their first-order axiomatization is still a matter of controversy. In this paper, we present a new approach to adding convexity to mereotopological theory with boundary elements by specifying first-order axioms for a binary segment operator s. We show that our axioms yields a convex hull operator h that supports, not only the basic properties of convex regions, but also complex (...) properties concerning region alignment. We also argue that h is stronger than convex hull operators from existing axiomatizations and show how to derive the latter from our axioms for s. (shrink)

This paper will argue that the puzzles about instantaneous velocity, and rates of change more generally, are the result of a failure to recognize an ambiguity in the concept of an instant, and therefore of an instantaneous state. We will conclude that there are two distinct conceptions of a temporal instant: (i) instants conceived as fundamentally distinct zero-duration temporal atoms and (ii) instants conceived as the boundary of, or between,temporally extended durations. Since the concept of classical instantaneous velocity is well- (...) defined only on the second conception of instants, we will conclude that this distinction allows us to avoid the above dilemma. If instantaneous velocity is well-defined then the states of a system at various instants are not logically distinct and thus we cannot generate Zeno’s paradox. However, if we assume that the instants are metaphysically distinct, then instantaneous velocity is not well-defined and thus the second horn of the dilemma about the causal-explanatory role of instantaneous velocity cannot be generated. (shrink)

In this paper, we consider a collection of filters of a BL-algebra A. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on A. We study the properties of this topology regarding different filters. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).