Related papers: There is no categorical metric continuum
The categoricity spectrum of a class of structures is the collection of cardinals in which the class has a single model up to isomorphism. Assuming that cardinal exponentiation is injective (a weakening of the generalized continuum…
We prove that: 1. If a Hausdorff M-space is a continuous closed image of a submetrizable space, then it is metrizable. 2. A dense-in-itself open-closed image of a submetrizable space is submetrizable if and only if it is functionally…
We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial…
The present paper is a sequel to our paper "Metric characterization of isometries and of unital operator spaces and systems". We characterize certain common objects in the theory of operator spaces (unitaries, unital operator spaces,…
We show that if $M = X \times Y$ is the product of two complex manifolds (of positive dimensions), then $M$ does not admit any complete K\"ahler metric with bisectional curvature bounded between two negative constants. More generally, a…
In this short note is on the equivalence between non-Newtonian metric (particularly multiplicative metric) and metric. We present a different proof the fact that the notion of a non-Newtonian metric space is not more general than that of a…
We show that the noncommutative residue density, resp. the cut-off regularised integral are the only closed linear, resp. continuous closed linear forms on certain classes of symbols. This leads to alternative proofs of the uniqueness of…
Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.
It is shown that for a map $f \colon X \to Y$ of compact spaces the unital $\ast$-homomorphism $C(f) \colon C(Y) \to C(X)$ is projective in the category $\operatorname{Mor}({\mathcal C}^{1})$ precisely when $X$ is a dendrite and $f$ is…
Within a framework of noncommutative geometry, we develop an analogue of (pseudo) Riemannian geometry on finite and discrete sets. On a finite set, there is a counterpart of the continuum metric tensor with a simple geometric…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
In this paper we investigate complete critical metrics of the $L^{2}$-norm of the scalar curvature. We prove that any complete critical metric with positive scalar curvature has constant scalar curvature and we characterize critical metrics…
We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…
In a metric space $M=(X,d)$, we say that $v$ is between $u$ and $w$ if $d(u,w)=d(u,v)+d(v,w)$. Taking all triples $\{u,v,w\}$ such that $v$ is between $u$ and $w$, one can associate a 3-uniform hypergraph with each finite metric space $M$.…
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity, or dimension.
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…
We study the measure theoretic properties of typical C 0 maps of the interval. We prove that any ergodic measure is pseudo-physical, and conversely, any pseudo-physical measure is in the closure of the ergodic measures, as well as in the…
In 1985 M. Smith constructed a nonmetric pseudo-arc; i.e. a Hausdorff homogeneous, hereditary equivalent and hereditary indecomposable continuum. Taking advantage of a decomposition theorem of W. Lewis, he obtained it as a long inverse…
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…
A space is called minimal if it admits a minimal continuous selfmap. We give examples of metrizable continua $X$ admitting both minimal homeomorphisms and minimal noninvertible maps, whose squares $X\times X$ are not minimal, i.e., they…