English
Related papers

Related papers: Mityagin's Extension Problem. Progress Report

200 papers

In this paper we introduce a general notion of weak extension property for embeddings induced by a group actions. As an example, for the group H(M, m) of measure-preserving homeomorphisms of a noncompact manifold M, we deduce weak type…

Geometric Topology · Mathematics 2009-04-09 Tatsuhiko Yagasaki

We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if $F \subseteq \mathbb{R}^n$ is a closed set represented so that the distance function $x \mapsto d(x,F)$ can be…

Logic · Mathematics 2026-04-07 Andrea Brun , Guido Gherardi , Alberto Marcone

Kakeya sets are compact subsets of $\mathbb{R}^n$ that contain a unit line segment pointing in every direction. The Kakeya conjecture states that such sets must have Hausdorff dimension $n$. The property of stickiness was first discovered…

Classical Analysis and ODEs · Mathematics 2024-11-01 Mukul Rai Choudhuri

Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this paper,…

Functional Analysis · Mathematics 2021-10-08 Arafat Abbar , Clément Coine , Colin Petitjean

Motivated by problems related to quasi-local mass in general relativity, we study the static metric extension conjecture proposed by R. Bartnik \cite{Bartnik_energy}. We show that, for any metric on $\bar{B}_1$ that is close enough to the…

Mathematical Physics · Physics 2009-11-10 Pengzi Miao

We study the expansions of the elements in $\mathcal S(\mathbb{R}_+^d)$ and $\mathcal{S}'(\mathbb{R}_+^d)$ with respect to the Laguerre orthonormal basis, extending the result of M. Guillemont-Teissier in the case $d=1$. As a consequence,…

Functional Analysis · Mathematics 2016-02-15 Smiljana Jaksić , Bojan Prangoski

Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…

Functional Analysis · Mathematics 2019-11-04 Victoria Rayskin

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…

General Topology · Mathematics 2008-02-27 Jerzy Dydak

Let $A$ be a symmetric linear relation in the Hilbert space $\gH$ with equal deficiency indices $n_\pm (A)\leq\infty$. A self-adjoint linear relation $\wt A\supset A$ in some Hilbert space $\wt\gH\supset \gH$ is called an exit space…

Functional Analysis · Mathematics 2018-12-04 Vadim Mogilevskii

We consider a separable compact line $K$ and its extension $L$ consisting of $K$ and a countable number of isolated points. The main object of study is the existence of a bounded extension operator $E: C(K)\to C(L)$. We show that if such an…

Functional Analysis · Mathematics 2023-05-09 Maciej Korpalski , Grzegorz Plebanek

For an arbitrary subset $E\subset\mathbb{R}^n,$ we introduce and study the three vanishing subspaces of the H\"older space $\dot{C}^{0,\omega}(E)$ consisting of those functions for which the ratio $|f(x)-f(y)|/\omega(|x-y|)$ vanishes, when…

Classical Analysis and ODEs · Mathematics 2025-12-08 Kaushik Mohanta , Carlos Mudarra , Tuomas Oikari

We use the Cauchy-Crofton formula to show that every definable cell (bounded by a ball with rational radius) in an O-minimal expansion of a field extension of the real numbers satisfies the Whitney arc property.

Logic · Mathematics 2010-11-09 Elisa Vasquez Rifo

Let $T$ be a densely defined closed symmetric operator with equal deficiency indices in a separable complex Hilbert space $H$. In this paper, we prove that $T$ has a self-adjoint extension with compact resolvent if and only if the domain…

Functional Analysis · Mathematics 2026-01-19 Yicao Wang

Given $X$ a Hilbert space, $\omega$ a modulus of continuity, $E$ an arbitrary subset of $X$, and functions $f:E\to\mathbb{R}$, $G:E\to X$, we provide necessary and sufficient conditions for the jet $(f,G)$ to admit an extension $(F, \nabla…

Functional Analysis · Mathematics 2017-12-15 Daniel Azagra , Erwan Le Gruyer , Carlos Mudarra

The Kr\"otz-Stanton Extension Theorem states that the orbit map of a K-finite vector in a Hilbert representation of a linear Lie group extends to a holomorphic map to a principal fibre bundle over the complex crown domain associated to the…

Representation Theory · Mathematics 2025-01-17 Tobias Simon

The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…

Logic · Mathematics 2026-02-20 Asaf Karagila , Jonathan Schilhan

For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, ${\mathcal K}\circ{\mathcal A}$ and ${\mathcal K}\circ{\mathcal A}\circ{\mathcal K}$, where $\mathcal K$ is the ideal of compact…

Functional Analysis · Mathematics 2012-07-10 Anil Kumar Karn , Deba Prasad Sinha

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

Classical Analysis and ODEs · Mathematics 2016-10-11 Daniel Azagra , Carlos Mudarra

Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$ $Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non…

Complex Variables · Mathematics 2007-05-23 Viet-Anh Nguyen

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…

Logic · Mathematics 2010-09-21 W. P. Stekelenburg