We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than k can be always mapped onto a k-dimensional cube by a Lipschitz map. We also show that this does not hold for arbitrary separable metric spaces. As an application we essentially answer a question of Urbański by showing that the transfinite Hausdorff...

Definition 1.1. Let (X, τ) be a topological space. A subset D ⊆ X is called dense if D ∩O 6= ∅ for every nonempty open set O ⊆ X. X is called separable if X has a countable dense subset. X is called metrizable if there is a metric d on X such that the topology τ is the same as the topology induced by the metric. The metric is called complete if every Cauchy sequence converges in X. Finally, X i...

We present some new results on the existence and the approximationof common fixed point of expansive mappings and semigroups in probabilisticmetric spaces.

Adapting the competitions method of Freivalds to the setting of unbounded-error prob-abilistic computation, we prove that, for any 2 (0; 1], Band-Mat-Inv(n) is log-space complete for the class of languages recognized by log-space unbounded-error probabilistic Turing machines (PL). This extends the result of Jung that Band-Mat-Inv(n) is log-space complete for PL, and may open new possibilities f...

We extend Milner's SCCS to obtain a calculus, PCCS, for reasoning about communicating probabilistic processes. In particular, the nondeterministic process summation operator of SCCS is replaced with a probabilistic one, in which the probability of behaving like a particular summand is given explicitly. The operational semantics for PCCS is based on the notion of probabilistic derivation, and is...

In the present paper, two theorems are discussed, one is fixed point theorem and another \(n\)-tuple for a new contractive condition in bi-complete $F$-quasi metric space. Also, an example given to validate result.

We prove a unique common fixed-point theorem for two pair of weakly compatible maps in a complete metric space, which generalizes the result of Brian Fisher by a weaker condition such as weakly compatibility instead of compatibility and contractive modulus instead of continuity of maps.

This paper is a continuation of [12]. First some definitions needed to formulate Cantor’s theorem on complete spaces and show several facts about them are introduced. Next section contains the proof of Cantor’s theorem and some properties of complete spaces resulting from this theorem. Moreover, countable compact spaces and proofs of auxiliary facts about them is defined. I also show the import...

In 2008, Al-Thaga and Shahzad [Generalized I-nonexpansive self-maps and invariant approximations, Acta Math. Sinica 24(5) (2008), 867{876]introduced the notion of occasionally weakly compatible mappings (shortly owcmaps) which is more general than all the commutativity concepts. In the presentpaper, we prove common xed point theorems for families of owc maps in Mengerspaces. As applications to ...