$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

1 Answers$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<b:rightarrow;;cl_{X}(L_{a}(f)),cap, cl_{X}(L^{b}(f)),=,emptyset,, $$ 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

0 Asked on December 1, 2020 by yiming-xu

fa functional analysis harmonic analysis linear algebra numerical linear algebra

2 Asked on November 30, 2020

fa functional analysis infinite dimensional manifolds lie groups nuclear spaces rigged hilbert spaces

0 Asked on November 30, 2020 by domotorp

1 Asked on November 28, 2020 by tobias

ca classical analysis and odes co combinatorics differential calculus real analysis

1 Asked on November 28, 2020 by ttip

ag algebraic geometry derived categories homological algebra ra rings and algebras triangulated categories

1 Asked on November 27, 2020 by johnny-t

analytic number theory lattices mg metric geometry nt number theory real analysis

1 Asked on November 26, 2020 by norman-goldstein

9 Asked on November 21, 2020 by frank-thorne

0 Asked on November 19, 2020 by dmitry-vaintrob

ag algebraic geometry algebraic number theory at algebraic topology dg differential geometry hodge theory

2 Asked on November 18, 2020 by lchen

computational complexity graph theory oc optimization and control

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

0 Asked on November 14, 2020 by 1

0 Asked on November 9, 2020 by tim-campion

ct category theory higher category theory homotopy theory infinity categories

3 Asked on November 7, 2020 by alekk

1 Asked on November 5, 2020 by aryeh-kontorovich

1 Asked on November 3, 2020 by ippiki-ookami

0 Asked on October 29, 2020 by bruno-peixoto

0 Asked on October 26, 2020 by alex-m

brownian motion pr probability riemannian geometry stochastic calculus stochastic processes

2 Asked on October 25, 2020 by kurisuto-asutora

0 Asked on October 18, 2020 by arkady

Get help from others!

Recent Answers

- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Philipp on How do i draw a ray in unity
- kjetil b halvorsen on How to test consistency of responses?
- eric_kernfeld on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

© 2022 AnswerBun.com. All rights reserved.