Positional dimension-like functions of the type Ind

In Iliadis (2005) [4] positional dimension-like functions of the type ind are given. All these functions are studied only with respect to the property of universality. In a later paper by the present authors, and in two papers by V.V. Tkachuk (1981, 1982) (see [7] and [8]), these dimension-like functions have been studied with respect to the other standard properties of dimension theory. In R. Koga, Subspace-dimension with respect to total spaces, Master Thesis, Osaka Kyoiku University, 1998 (see also K.P. Hart, Jun-iti Nagata, J.E. Vaughan, Encyclopedia of General Topology, Elsevier Science Publishers, B.V., Amsterdam, 2004) a positional dimension-like function of the type Ind is given. Here we define new positional dimension-like functions of the type Ind, and present for all these functions, theorems concerning subspace theorems, partition theorems, sum theorems, and product theorems. Finally, we give some open questions concerning these functions.     

Examples from trees, related to discrete subsets, pseudo-radiality and ω-boundedness

We construct some examples using trees. Some of them are consistent counterexamples for the discrete reflection of certain topological properties. All the properties dealt with here were already known to be non-discretely reflexive if we assume CH and we show that the same is true assuming the existence of a Suslin tree. In some cases we actually get some ZFC results. We construct also, using a Suslin tree, a compact space that is pseudo-radial but it is not discretely generated. With a similar construction, but using an Aronszajn tree, we present a ZFC space that is first countable, ω-bounded but is not strongly ω-bounded, answering a question of Peter Nyikos.     

Variations on selective separability in non-regular spaces

We study various variations on selective separability in non-regular topological spaces. We use the notions of θ-closure and θ-density to define selective versions of θ-separability. These properties are also related to topological games.     

A metric approach to asymptotic analysis

We introduce a notion of “firm” (or uniform) asymptotic cone to an unbounded subset of a normed space. We relate this notion to a concept of “firm” asymptotic function. We use these notions to study boundedness properties which can be applied to continuity questions for some operations on sets and functions. Such questions arise in stability analysis of Hamilton-Jacobi equations. We present some other applications such as an extension of a theorem of Dieudonné and existence results in optimization and fixed point theory.     

Selections for quasi-l.s.c. mappings with uniformly equi-LCn range

Every quasi-lower semi-continuous (q.l.s.c.) mapping admits a lower semi-continuous (l.s.c.) selection preserving all important (from the selection point of view) properties of the former mapping. Special-type extensions of l.s.c. mappings are established on this base.     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.     

Brush spaces and the fixed point property

We introduce the notions of a brush space and a weak brush space. Each of these spaces has a compact connected core with attached connected fibers and may be either compact or non-compact. Many spaces, both in the Hausdorff non-metrizable setting and in the metric setting, have realizations as (weak) brush spaces. We show that these spaces have the fixed point property if and only if subspaces with core and finitely many fibers have the fixed point property. This result generalizes the fixed point result for generalized Alexandroff/Urysohn Squares in Hagopian and Marsh (2010) [4]. We also look at some familiar examples, with and without the fixed point property, from Bing (1969) [1], Connell (1959) [3], Knill (1967) [7] and note the brush space structures related to these examples.     

Selection properties of uniform and related structures

In this paper we present some results on selection properties in asymmetric generalized metric and uniform spaces. We demonstrate differences between selection properties of these spaces and selection properties of metric and uniform spaces.     

ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES

This paper is motivated by the search for natural extensions of classical uniform space results to quasi-uniform spaces. As instances of such extensions we restate some theorems of P. Fletcher and W.F. Lindgren [Pacific J. Math. 43 (1971), 619–6311 on transitive quasi-uniformities and of S. Salbany [Thesis, Univ. Cape Town, 1971] on compactification and completion. The theorems as restated describe properties of certain right inverses of the functor which forgets the quasi-uniform structure and retains one induced topology (for Fletcher and Lindgren's work), respectively retains both induced topologies (for Salbany's work). Accordingly we investigate systematically the process by which the right inverses of the forgetful functors can be extended from the classical setting to one of these settings, and from one of these to the other.     

Separation of a diagonal

We investigate different separation properties of the diagonal of a space X. Namely, we study spaces X in which the diagonal of X² and every closed subset of X² off the diagonal can be separated from each other by means of open sets, or continuous functions, or some other tools.     

On base dimension-like functions of the type Ind

In [5] base dimension-like functions of the type Ind were introduced. These functions were studied only with respect to the property of universality. Here, we first compare these dimensions with the classical large inductive dimension Ind and then study these functions with respect to other standard properties of dimension theory.     

A geometric interpretation of Ungar's addition and of gyration in the hyperbolic plane

We present a geometric interpretation of the operation a⊕b and the gyration on the unit-disc as defined by A.A. Ungar. Using this geometric interpretation we show that the two known generalizations to the n-dimensional unit ball are identical. The interpretation in the plane leads us to the notion of outer-median of a triangle and we discuss some possible properties of this median.     

Versions of separability in bitopological spaces

We study selective versions of separability in bitopological spaces. In particular, we investigate these properties in function spaces endowed with the topology of pointwise convergence and the compact-open topology.     

Universally meager sets, II

We present new characterizations of universally meager sets, shown in [P. Zakrzewski, Universally meager sets, Proc. Amer. Math. Soc. 129 (6) (2001) 1793-1798] to be a category analog of universally null sets. In particular, we address the question of how this class is related to another class of universally meager sets, recently introduced by Todorcevic [S. Todorcevic, Universally meager sets and principles of generic continuity and selection in Banach spaces, Adv. Math. 208 (2007) 274-298].     

An extension of the dual complexity space and an application to Computer Science

In 1999, Romaguera and Schellekens introduced the theory of dual complexity spaces as a part of the development of a mathematical (topological) foundation for the complexity analysis of programs and algorithms [S. Romaguera, M.P. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999) 311-322]. In this work we extend the theory of dual complexity spaces to the case that the complexity functions are valued on an ordered normed monoid. We show that the complexity space of an ordered normed monoid inherits the ordered normed structure. Moreover, the order structure allows us to prove some topological and quasi-metric properties of the new dual complexity spaces. In particular, we show that these complexity spaces are, under certain conditions, Hausdorff and satisfy a kind of completeness. Finally, we develop a connection of our new approach with Interval Analysis.     

Two-dimensional convexities are join-hull commutative

It is shown that two-dimensional convex structures with certain natural properties are join-hull commutative. The main intermediate step is the computation of the so-called exchange number. We also give two examples of three-dimensional convexities which are not join-hull commutative. The second one has certain additional properties showing that the main theorem is sharp in many other respects. These properties are obtained from a study of convex hyperspaces.     

Compact and precompact sets in asymmetric locally convex spaces

The aim of the present paper is to study precompactness and compactness within the framework of asymmetric locally convex spaces, defined and studied by the author in [S. Cobza?, Asymmetric locally convex spaces, Int. J. Math. Math. Sci. 2005 (16) (2005) 2585-2608]. The obtained results extend some results on compactness in asymmetric normed spaces proved by [L.M. García-Raffi, Compactness and finite dimension in asymmetric normed linear spaces, Topology Appl. 153 (2005) 844-853], and [C. Alegre, I. Ferrando, L.M. García-Raffi, E.A. Sánchez-Pérez, Compactness in asymmetric normed spaces, Topology Appl. 155 (6) (2008) 527-539].     

D-spaces, aD-spaces and finite unions

In this paper, we prove that if a space X is the union of a finite family of strong Σ-spaces, then X is a D-space. This gives a positive answer to a question posed by Arhangel'skii in [A.V. Arhangel'skii, D-spaces and finite unions, Proc. Amer. Math. Soc. 132 (2004) 2163-2170]. We also obtain results on aD-spaces and finite unions. These results improve the correspond results in [A.V. Arhangel'skii, R.Z. Buzyakova, Addition theorems and D-spaces, Comment. Math. Univ. Carolin. 43 (2002) 653-663] and [Liang-Xue Peng, The D-property of some Lindelöf spaces and related conclusions, Topology Appl. 154 (2007) 469-475].     

Whitney preserving maps on finite graphs

For a Whitney preserving map f:X→G we show the following: (a) If X is arcwise connected and G is a graph which is not a simple closed curve, then f is a homeomorphism; (b) If X is locally connected and G is a simple closed curve, then X is homeomorphic to either the unit interval [0,1], or the unit circle S¹. As a consequence of these results, we characterize all Whitney preserving maps between finite graphs. We also show that every hereditarily weakly confluent Whitney preserving map between locally connected continua is a homeomorphism.     

Moscow spaces and selection theory

A well-known result on Moscow spaces states that every Gδ-dense subset of a Moscow space X is C-embedded in X. We present here the selection version of this result and also (by means of two different approaches) we use selection theory to characterize the open bounded subsets of a uniform space (X,U) in the case when its completion is a Moscow space.