Results 231 to 240 of about 68,793 (266)
Some of the next articles are maybe not open access.
Metrization of Topological Spaces
Canadian Journal of Mathematics, 1951A single valued function D(x, y) is a metric for a topological space provided that for points x, y, z of the space: 1. the equality holding if and only if x = y, 2. (symmetry), 3. (triangle inequality), 4.
openaire +1 more source
Ultracomplete Topological Spaces
Acta Mathematica Hungarica, 2001If \(X\) is a set and \(\Sigma\) is a set of coverings of \(X\), then we can consider \((X,\Sigma)\) to be a generalized uniform space. This point of view originates from the work of \textit{J. W. Tukey} [Convergence and uniformity in topology, Princeton (1940)] who used \((X,\Sigma)\), where \(\Sigma\) fulfills some appropriate conditions, as another ...
Buhagiar, D., Yoshioka, I.
openaire +1 more source
On Metrizability of Topological Spaces
Canadian Journal of Mathematics, 1968Our present work is divided into three sections. In §2 we study the metrizability of spaces with a Gδ-diagonal (see Definition 2.1). In §3 we study the metrization of topological spaces by means of collections of (not necessarily continuous) real-valued functions on a topological space.
openaire +1 more source
advg, 2005
Abstract Two of the problems listed in [14, 74.17] ask to prove or disprove the following statements: A) For each differentiable planar map ƒ : IR2 → IR2 the set of all differentials defines a ...
openaire +1 more source
Abstract Two of the problems listed in [14, 74.17] ask to prove or disprove the following statements: A) For each differentiable planar map ƒ : IR2 → IR2 the set of all differentials defines a ...
openaire +1 more source
1989
Informally we show why a domain with a reasonable collection of properties is a topological space. We then address the question: if one wishes to do programming language semantics in a category of topological spaces instead of the category of complete partial orders (cpos) which category should be used? This question is first considered with respect to
openaire +1 more source
Informally we show why a domain with a reasonable collection of properties is a topological space. We then address the question: if one wishes to do programming language semantics in a category of topological spaces instead of the category of complete partial orders (cpos) which category should be used? This question is first considered with respect to
openaire +1 more source
A Topology for Spaces of Transformations
The Annals of Mathematics, 1946This paper defines and describes a particular type of topology2 for a class C of continuous functions on one topological space A to another, B; in other words, we topologize the class of transformations of A into (possibly a proper subset of) B. The topology is constructed thus?: Let K be any compact subset of A, and W be any open set of B.
openaire +2 more sources
On effective topological spaces
Journal of Symbolic Logic, 1998AbstractStarting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan ‘open sets are semidecidable properties’. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general.
openaire +2 more sources
ON A CLASS OF TOPOLOGICAL SPACES
Studia Scientiarum Mathematicarum Hungarica, 2001Let a topological s ace X be said to be rarophile i .each rare set is a .nite intersection of semi-o en sets (in the sense that A is semi-o en i .A .cl(int(A))).Various characteri- zations for raro hile spaces,examples of rarophile and non-rarophile spaces,ro erties of raro hile spaces are given and some o en roblems formulated.
openaire +2 more sources
Spatial topological analysis model of ship encounter space
Ocean Engineering, 2020Ying Li, Zhaoyi Zhang
exaly