Related papers: A solution to the completion problem of quasi-unif…
We solve prescribed problems for modified Schouten tensors in the conformal classes of smooth complete metrics, which extends the results obtained in prequel \cite{yuan-PUE1}. The key ingredient is to confirm the uniform ellipticity of…
In this paper, we consider the thin obstacle problem in $\mathbb{R}^2$ with data at infinity. We first prove the existence and uniqueness of it. Then we show that its symmetric solutions are actually half-space solutions. Our results are…
An internal characterization of complete metric mappings (by means of Cauchy nets tied at a point) is given and a construction of the completion of a metric mapping is presented.
In this article, we show that the completion problem, i.e. the decision problem whether a partial structure can be completed to a full structure, is NP-complete for many combinatorial structures. While the gadgets for most reductions in…
In this paper we look at normed spaces of differentiable functions on compact plane sets, including the spaces of infinitely differentiable functions originally considered by Dales and Davie. For many compact plane sets the classical…
In this paper we give some two-dimensional and some three-dimensional examples for the shape of the symmetric solution set of a linear complementarity problem where the given data are not explicitly known but can only be enclosed in…
Conditions, related to the so-called bending problem are considered for hypersurfaces of a pseudo-Euclidean space. Corresponding theorems are proved.
We give a description of the completion of the manifold of all smooth Riemannian metrics on a fixed smooth, closed, finite-dimensional, orientable manifold with respect to a natural metric called the $L^2$ metric. The primary motivation for…
In this paper, a new structure is defined on a topological space that equips the space with a concept of distance in order to do that firstly, a generalization of quasi-pseudo-metric space named R.O-metric space is introduced, and some of…
We introduce the notion of \tau-like partial order, where \tau is one of the linear order types \omega, \omega*, \omega+\omega*, and \zeta. For example, being \omega-like means that every element has finitely many predecessors, while being…
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the…
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
We prove that a certain sequence of tau functions of the Garnier system satisfies Toda equation. We construct a class of algebraic solutions of the system by the use of Toda equation; then show that the associated tau functions are…
We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the…
This paper presents a new version of boundary on coarse spaces. The space of ends functor maps coarse metric spaces to uniform topological spaces and coarse maps to uniformly continuous maps.
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous,…
We interpolate a new family of Teichm\"uller spaces $T_{\sharp}^X$ between the universal Teichm\"uller space $T$ and its little subspace $T_0$, which we call the Teichm\"uller space of piecewise symmetric homeomorphisms. This is defined by…
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…
It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…