Related papers: The principle of pointfree continuity

The most general definition of a continuous function requires that the preimage of any open set be open. Thus, to discuss continuity in the abstract, it is necessary to first define a topology, which tells us which sets in a space are open.…

We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the…

The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial map from a subdivision of the simplicial complex…

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…

It is known that every homeomorphism of the plane has a fixed point in a non-separating, invariant subcontinuum. Easy examples show that a branched covering map of the plane can be periodic point free. In this paper we show that any…

We study topological boundedness of order-to-topology bounded and order-to-topology continuous operators from ordered vector spaces to topological vector spaces. The uniform boundedness principle for such operators is investigated.

The paper develops a novel analysis of mutual interactions between topology and soft topology. It is known that each soft topology produces a system of crisp (parameterized) topologies. The other way round is also possible. Namely, one can…

Let $f:S^1\times [0,1]\to S^1\times [0,1]$ be a real-analytic annulus diffeomorphism which is homotopic to the identity map and preserves an area form. Assume that for some lift $\tilde {f}:\mathbb{R}\times [0,1]\rightarrow \mathbb{R}\times…

We introduce cs-topologies, or topologies of open complemented subsets, as a new approach to constructive topology that preserves the duality between open and closed subsets of classical topology. Complemented subsets were used successfully…

We show that for the standard map family, for all values of the parameter, except one, the mapping has positive topological entropy. The main tool is the following result. Let $S$ be a compact connected orientable surface and $f:S…

Stiefel manifolds arise naturally as spaces of injective operators and as total spaces of principal bundles over Grassmannians. While their finite-dimensional topology is governed by Bott periodicity, the infinite-dimensional theory…

In the early twentieth century, L.E.J. Brouwer pioneered a new philosophy of mathematics, called intuitionism. Intuitionism was revolutionary in many respects but stands out -mathematically speaking- for its challenge of Hilbert's formalist…

Let X and Y be Banach spaces and F a subset of B_{Y^*}. Endow Y with the topology \tau_F of pointwise convergence on F. Let T: X^* \to Y be a bounded linear operator which is (w^*, \tau_F) continuous. Assume that every vector in the range…

A topological space has the fixed point property if every continuous self-map of that space has at least one fixed point. We demonstrate that there are serious restraints imposed by the requirement that there be a choice of fixed points…

A local criterion of topological phase transitions is established based on the Morse theory: a topological phase transition occurs when the count of Morse critical points of the order function changes. The locations in space where this…

In architecture, city planning, visual arts, and other design areas, shapes are often made with points, or with structural representations based on point-sets. Shapes made with points can be understood more generally as finite arrangements…

Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…

The prime objective of this paper is to develop the notion of absolute continuity of functions on a more general setting outside $\R$. For this we have considered a topological space which is a measure space as well. We have built axioms…

Using arbitrary symplectic structures and parametrization invariant actions, we develop a formalism, based on Dirac's quantization procedure, that allows us to consider theories with both space-space as well as space-time noncommutativity.…

This paper is a continuation of work started in \cite{njampavcont} on preserving continuity in ideal topological spaces. We will deal with $\theta$-continuity and weak continuity and give their translations in ideal topological spaces. As…