Related papers: A note on Brehm's extension theorem

The Riemann Theorem states, that for any nontrivial connected and simply connected domain on the Riemann sphere there exists some its conformal bijection to the exterior of the unit disk. In this paper we find an explicit form of this map…

We address the question of when a covering of the boundary of a surface can be extended to a covering of the surface (equivalently: when is there a branched cover with a prescribed monodromy). If such an extension is possible, when can the…

In this paper, we show that, under appropriate conditions, there exists a quasinonexpansive extension of a mapping with an attractive point in the sense of Takahashi and Takeuchi (2011) such that the fixed point set of the extension equals…

In this article, we present that the germ of a complex analytic set at the origin in $\mathbb{C}^n$ is regular if and only if the related $L^2$ extension theorem holds. We also obtain a necessary condition of the $L^2$ extension of bounded…

According to a classical result of Szemer\'{e}di, every dense subset of $1,2,...,N$ contains an arbitrary long arithmetic progression, if $N$ is large enough. Its analogue in higher dimensions due to F\"urstenberg and Katznelson says that…

The paper deals with extension of bounded bilinear maps$.$ It gives a necessary and sufficient condition for extending a bounded bilinear map on the Cartesian product of subspaces of Banach spaces$.$ This leads to a full characterization…

We give direct proofs and constructions of the trace and extension theorems for Sobolev mappings in $W^{1, 1} (M, N)$, where $M$ is Riemannian manifold with compact boundary $\partial M$ and $N$ is a complete Riemannian manifold. The…

Quadratic Hom-Lie algebras with equivariant twist maps are studied. They are completely characterized in terms of a maximal proper ideal that contains the kernel of the twist map and a complementary subspace to it that is either…

We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…

We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and,…

Given $m \in \mathbb{N} \setminus \{0\}$ and a compact Riemannian manifold $\mathcal{N}$, we construct for every map $u$ in the critical Sobolev space $W^{m/(m + 1), m + 1} (\mathbb{S}^m, \mathcal{N})$, a map $U : \mathbb{B}^{m + 1} \to…

We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on…

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

For any two configurations of ordered points $p=(p_{1},...,\p_{N})$ and $q=(q_{1},...,q_{N})$ in Euclidean space $E^d$ such that $q$ is an expansion of $p$, there exists a continuous expansion from $p$ to $q$ in dimension 2d; Bezdek and…

Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…

We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy…

A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…

For linear codes, the MacWilliams Extension Theorem states that each linear isometry of a linear code extends to a linear isometry of the whole space. But, in general, it is not the situation for nonlinear codes. In this paper it is proved,…