# Extending continuous functions from dense subsets to quasicompacts

$$DeclareMathOperatorcl{cl}$$I am interested under what assumptions one can always extend continuously a function defined on a dense subset; the range of the function is compact but not necessarily Hausdorff.

That is, I am interested in generalisations of the following theorem [Engelking, General Topology] to non-Hausdorff compact spaces:

3.2.1. THEOREM. Let $$A$$ be a dense subspace of a topological space $$X$$ and $$f$$ a continuous mapping of $$A$$ to a compact space $$Y$$. The mapping $$f$$ has a continuous extension over $$X$$ if and
only if for every pair $$B_1$$, $$B_2$$ of disjoint closed subsets of $$Y$$ the inverse images $$f^{-1}(B_1)$$ and
$$f^{-1}(B_2)$$ have disjoint closures in the space $$X$$.

I am mostly interested in sufficient conditions.

For example, is the following sufficient?

(i) For each $$Z_1, Z_2subset A$$, it holds $$cl_X(Z_1) cap cl_X( Z_2) = cl_X( cl_A(Z_1)cap cl_A(Z_2))$$.

(ii) For each $$Zsubset X$$ closed, and each pair of closed subsets $$Z_1, Z_2subset A$$ such that $$Zcap A=Z_1cup Z_2$$,
there are $$Z’_1, Z’_2 subset X$$ closed such that $$Z=Z’_1cup Z’_2$$, and $$Z_1=Z’_1cap A$$, and $$Z_2=Z’_2cap A$$, and $$Z’_1cap Z’_2=cl_X(Z_1cap Z_2)$$.

(iii) $$A$$ is an open dense subset of $$X$$.

MathOverflow Asked by user97621 on January 3, 2021

$$DeclareMathOperatorcl{cl}$$Curiously enough, I was looking for a similar result, and I found Blair - Extensions of continuous functions from dense subspaces (and its errata) to be very helpful. Essentially, you define the Lebesgue sets of $$fcolon Asubset Xrightarrow Y$$ to be $$L_{a}(f)={xin A colon ;f(x)leq a}$$ and $$L^{a}(f)={xin A colon ;f(x)geq a}$$, and then you prove that there exists a continuous extension of $$f$$ from the dense subspace $$A$$ to $$X$$ if and only if $$a and $$bigcap_{n=0}^{infty},cl_{X}(L_{-n}(f),cup,L^{n}(f)),=,emptyset,,$$ where $$cl_{X}$$ denotes the closure in $$X$$. Note that both $$X$$ and $$Y$$ are generic topological spaces (no compactness is needed). I do not remember the proof, but the paper has it done in full detail.

Answered by Ittiolo on January 3, 2021

## Related Questions

### Sparse perturbation

0  Asked on December 1, 2020 by yiming-xu

### What is known about the “unitary group” of a rigged Hilbert space?

2  Asked on November 30, 2020

### Odd Steinhaus problem for finite sets

0  Asked on November 30, 2020 by domotorp

### Higher-order derivatives of $(e^x + e^{-x})^{-1}$

1  Asked on November 28, 2020 by tobias

### Smallness condition for augmented algebras

1  Asked on November 28, 2020 by ttip

### number of integer points inside a triangle and its area

1  Asked on November 27, 2020 by johnny-t

### Unitary orbits on the Grassmann manifold of 2-planes in complex affine space

1  Asked on November 26, 2020 by norman-goldstein

### Should the formula for the inverse of a 2×2 matrix be obvious?

9  Asked on November 21, 2020 by frank-thorne

### Hodge structure and rational coefficients

0  Asked on November 19, 2020 by dmitry-vaintrob

### Optimal path with multiple costs

2  Asked on November 18, 2020 by lchen

### Can a fixed finite-length straightedge and finite-size compass still construct all constructible points in the plane?

2  Asked on November 17, 2020 by joel-david-hamkins

### Genus $0$ algebraic curves integral points decidable?

0  Asked on November 14, 2020 by 1

### Interlocking (weak) factorization systems

0  Asked on November 9, 2020 by tim-campion

### Monte Carlo simulations

3  Asked on November 7, 2020 by alekk

### Measurable total order

1  Asked on November 5, 2020 by aryeh-kontorovich

### Recover approximate monotonicity of induced norms

1  Asked on November 3, 2020 by ippiki-ookami

### Geodesics and potential function

0  Asked on October 29, 2020 by bruno-peixoto

### Independent increments for the Brownian motion on a Riemannian manifold

0  Asked on October 26, 2020 by alex-m

### Multivariate monotonic function

2  Asked on October 25, 2020 by kurisuto-asutora