Related papers: Problem with almost everywhere equality

Given a homeomorphism $f\colon X\to Y$ between $Q$-dimensional spaces $X,Y$, we show that $f$ satisfying the metric definition of quasiconformality outside suitable exceptional sets implies that $f$ belongs to the Sobolev class…

There are many examples of the fact that dimension and codimension behave somewhat counterintuitively. In EGA it is stated that a topological space is equidimensional, equicodimensional and catenary if and only if every maximal chain of…

Let $Q$ denote the space of signed measures on the Borel $\sigma$-algebra of a separable complete space $X$. We endow $Q$ with the norm $\|q\|=\sup|\int\phi dq|$, where the supremum is taken over all Lipschitz with constant 1 functions…

Given an anisotropic integrand $F:\text{Gr}_k(\mathbb R^n)\to(0,\infty)$, we can generalize the classical isotropic area by looking at the functional $$\mathcal{F}(\Sigma^k):=\int_\Sigma F(T_x\Sigma)\,d\mathcal{H}^k.$$ While a monotonicity…

A topological space $Y$ has the property (B) of Banakh if there is a countable family $\{A_n:n\in \mathbb{N}\}$ of closed nowhere dense subsets of $Y$ absorbing all compact subsets of $Y$. In this note we show that the space $C_p(X)$ of…

Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq…

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…

A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.

We prove that for any topological space $X$ of countable tightness, each \sigma-convex subspace $\F$ of the space $SC_p(X)$ of scatteredly continuous real-valued functions on $X$ has network weight $nw(\F)\le nw(X)$. This implies that for a…

We construct a consistent example of a topological space $Y=X \cup \{\infty\}$ such that: 1) $Y$ is regular. 2) Every $G_\delta$ subset of $Y$ is open. 3) The point $\infty$ is not isolated, but it is not in the closure of any discrete…

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…

In this short note, we give a sufficient condition for almost smooth compact metric measure spaces to satisfy the Bakry-\'Emery condition $BE (K, N)$. The sufficient condition is satisfied for the glued space of any two (not necessary same…

If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2<p\ne p_c=\tfrac{2(n+1)}{n-1}$, the critical exponent. Since improved…

We say that a function $f:[0,1]\rightarrow \R$ is \emph{nowhere $L^q$} if, for each nonvoid open subset $U$ of $[0,1]$, the restriction $f|_U$ is not in $L^q(U)$. For a fixed $1 \leq p <\infty$, we will show that the set $$ S_p\doteq {f \in…

All spaces are assumed to be Tychonoff. Given a realcompact space $X$, we denote by $\mathsf{Exp}(X)$ the smallest infinite cardinal $\kappa$ such that $X$ is homeomorphic to a closed subspace of $\mathbb{R}^\kappa$. Our main result shows…

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).…

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,...,…

We give several new criteria for a quasi-projective variety to be affine. In particular, we prove that an algebraic manifold $Y$ with dimension $n$ is affine if and only if $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $\kappa(D,…

We show that any second-countable \'etale groupoid with polynomial growth is topologically amenable. If its unit space is compact and metrizable, we show that the groupoid has weak $m$-comparison. Thus if the groupoid is also ample and…

The sufficient condition for partial function from the cartesian square of the finite set to the reals to be compatible with some metric on this set is given. It is then shown, that when afforementioned set and function are respectively a…