Related papers: Bi-topological spaces and the Continuity Problem
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…
We discuss some results concerning fixed point equations in the setting of topological *-algebras of unbounded operators. In particular, an existence result is obtained for what we have called {\em weak $\tau$ strict contractions}, and some…
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…
In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuity. An operation between points of pointfree topologies is…
For every closed subset $X$ of a stratifiable [resp. metrizable] space $Y$ we construct a positive linear extension operator $T:R^{X\times X}\to R^{Y\times Y}$ preserving constant functions, bounded functions, continuous functions,…
The main problem considered in this article is the following: if $\mathbf{F}$, $\mathbf{E}$ are normed spaces of continuous functions over topological spaces $X$ and $Y$ respectively, and $\omega:Y\to\mathbb{C}$ and $\Phi:Y\to X$ are such…
Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$…
We present some sufficient conditions for continuity of the mapping $f:\langle X,\tau_X^*\rangle \to \langle Y,\tau_Y^*\rangle$, where $\tau_X^*$ and $\tau_Y^*$ are topologies induced by the local function on $X$ and $Y$, resp. under the…
In this chapter, the Hilbert space framework in the mathematical theory of composite materials is introduced for studying the properties of effective operators. The goal is to introduce some of the key concepts and fundamental theorems in…
We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and…
In this paper we introduce two new classes of operators that we call strongly order continuous and strongly $\sigma$-order continuous operators. An operator $T:E\rightarrow F$ between two Riesz spaces is said to be strongly order continuous…
An operator $T$ from vector lattice $E$ into vector topology $(F,\tau)$ is said to be order-to-topology continuous whenever $x_\alpha\xrightarrow{o}0$ implies $Tx_\alpha\xrightarrow{\tau}0$ for each $(x_\alpha)_\alpha\subset E$. The…
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…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
Let $X=(X,\mathcal{B},\mu)$ be a $\sigma$-finite measure space and \mbox{$f:X\to X$} be a measurable transformation such that the composition operator $T_f:\varphi\mapsto \varphi\circ f$ is a bounded linear operator acting on…
We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…
A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…
A Cech closure space $(X,u)$ is a set $X$ with a (Cech) closure operator $u$ which need not be idempotent. Many properties which hold in topological spaces hold in Cech closure spaces as well. The notions of proper (splitting) and…
This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system $T$ is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space $T^*$…
In this note we prove a Birkhoff type transitivity theorem for continuous maps acting on non-separable completely metrizable spaces and we give some applications for dynamics of bounded linear operators acting on complex Fr\'{e}chet spaces.…