All Questions
Tagged with gn.general-topology real-analysis
52 questions with no upvoted or accepted answers
18
votes
0
answers
1k
views
Does there exist a continuous open map from the closed annulus to the closed disk?
(Originally from MSE, but crossposted here upon suggestion from the comments)
In this MSE post, user Moishe Kohan provides an example of a non-continuous open and closed ("clopen") function $...
- 831
15
votes
0
answers
409
views
Is there a continuous map $f:\mathbb R^\omega\to\mathbb R^\omega$ with dense countable preimage $f^{-1}(\mathbb Q^\omega)$?
Let $\mathbb Q^\omega_0:=\{(x_i)_{i\in\omega}\in\mathbb Q^\omega:\exists n\in\omega\;\forall m\ge n\;\;x_m=0\}$ and observe that $\mathbb Q^\omega_0$ is a countable dense set in $\mathbb R^\omega$ (...
- 41.9k
11
votes
0
answers
615
views
Is every Baire metric space a complete metric space in disguise?
I am currently giving lectures in real analysis and a student asked an interesting question I couldn't answer, so I'm posting it here:
Let's say that a metric space $X$ is Baire if every countable ...
- 61.9k
11
votes
0
answers
322
views
Does any real function have a Lipschitzian restriction on $D$?
Does any real function have a Lipschitzian restriction on $D$, where $D$ is an infinite subset of $\Bbb R$ with an accumulation point?
- 4,074
9
votes
0
answers
569
views
A standard name for a function satisfying the intermediate value theorem?
Do you know any (standard) name for a function $f:\mathbb R\to\mathbb R$ having the following weak intermediate value property:
$(*)$ for any connected subset $C\subset \mathbb R$ and points $a,b\...
- 41.9k
8
votes
0
answers
110
views
Connected component optimization
For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...
- 623
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 21.2k
7
votes
0
answers
106
views
The first homotopic Baire class
Let $X$ and $Y$ be topological spaces. A map $f:X\to Y$ belongs to the first Baire class (to the first homotopic Baire class), if there exists a continuous map $H:X\times \omega\to Y$ (a continuous ...
- 367
7
votes
0
answers
227
views
Uniform approximation of separately continuous functions on zero-dimensional spaces
For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...
- 41.9k
6
votes
0
answers
309
views
Have we discovered constructions for natural fractional dimensional spheres?
I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
- 2,689
5
votes
0
answers
100
views
What is a mild sufficient condition on $X$ such that $C(X, Y)$ is sequential?
Let $X$ be a topological space, $(Y, d)$ a metric space and $C(X, Y)$ the space of continuous maps with the topology of compact convergence.
Question: What is a minimal topological condition on $X$ ...
- 315
5
votes
0
answers
472
views
Partitioning $\mathbb{R}^n$ into closed sets
Let $n$ be a positive integer. It is well-known that $\mathbb{R}^n$ cannot be non-trivially partitioned into open sets, since it is connected.
Let $\frak P$ be a partition of $\mathbb{R}^n$ into ...
- 48.9k
5
votes
0
answers
349
views
Tietze extension theorem for lower semi continuous functions
On the Tietze extension theorem, if instead of a continuous function "f" we use a lower semi continuous function on a closed subspace of a metric space, is the theorem correct? I mean, can we extend ...
- 179
5
votes
0
answers
558
views
continuous selection of a multivalued function?
The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
- 1,839
4
votes
0
answers
114
views
Find at least one square-boxed subcontinuum
Recall that a plane continuum is a closed, bounded,
connected subset of the plane.
It is non-degenerate if it contains at least two points.
(We may sometimes just say "continuum" even if
we ...
- 1,375
4
votes
0
answers
939
views
Proofs of Baire category theorem
I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere).
My motivation is the ...
- 315
3
votes
0
answers
191
views
Does "Invariance of domain" hold true for injective Darboux function (instead of continuous injection)?
Let $f \colon U\subset \mathbb{R^n}\to\mathbb{R}^n$ be an injective Darboux map.
Does this imply that $f$ is an open map?
If $f$ is continuous then the result follows from "Invariance of domain&...
- 307
3
votes
0
answers
74
views
Discreteness of the higher inductive-inductive Cauchy real numbers in real cohesive homotopy type theory
We work in cohesive homotopy type theory with propositional resizing, so that there is only one type of Dedekind real numbers $\mathbb{R}$ up to equivalence, and Mike Shulman's axiom $\mathbb{R}\flat$,...
- 2,624
3
votes
0
answers
187
views
Analogue of Kolmogorov/Arnold superposition for general manifolds?
Previously asked and bountied at MSE with slightly different language:
Given a topological space $\mathcal{X}$, let $$\mathsf{Cl_C}(\mathcal{X})=\bigcup_{n\in\mathbb{N}}C(\mathcal{X}^n,\mathcal{X})$$ ...
- 21.2k
3
votes
0
answers
92
views
Arithmetic progressions inside non meager sets
If $A \subseteq \mathbb{R}$ is non-meager Borel set, then $A$ contains arithmetic progressions of every finite length. I know that this is false if we do not assume that $A$ is Borel. In particular, ...
- 31
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
2
votes
0
answers
73
views
Separately continuous functions of the first Baire class
Problem. Let $X,Y$ be (completely regular) topological spaces such that every separately continuous functions $f:X^2\to\mathbb R$ and $g:Y^2\to \mathbb R$ are of the first Baire class. Is every ...
- 4,535
2
votes
0
answers
368
views
Components of the complement of a compact set
Suppose $K$ is a compact subset of $\mathbb{R}^m$ ($m>1$), and $0<r<R$ are fixed numbers. Let $A$ be the set of points having a distance $<R$ and $>r$ from $K$. My questions are
If $K$ ...
- 411
2
votes
0
answers
67
views
A polar open set in a topological subspace?
Suppose $U$ is a bounded open set in $\mathbb{R}^m$ with ($m\geq2$). Is it possible to have a non-empty set $E$ in the boundary $ \partial U$ of $U$ that is open in $ \partial U$ and is polar?
A set $...
- 411
2
votes
0
answers
65
views
Splitting of ordinals of oscillation ranks of a Baire $1$ function
Denny and Tang proved that
Theorem $2.3$ Let $(f_n)$ be a sequence in $\mathfrak{B}_1(K)$ converging pointwise to a function $f.$
Suppose $\sup\{ \beta(f_n):n\in\mathbb{N} \} \leq \beta_0$ and $\...
- 623
2
votes
0
answers
192
views
Generalize upper semicontinuous regularization using Borel Hierachy
Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
...
- 623
2
votes
0
answers
279
views
Can a bounded open set in $R^n$ be always approximated from outside with a finite union of dyadic cubes?
Suppose we have a bounded open set $S$ in $R^n$. Consider the collection of closed dyadic cubes $C_k$'s (https://en.wikipedia.org/wiki/Dyadic_cubes). I was wondering if there always exists a finite ...
- 131
2
votes
0
answers
355
views
Existence of topology on the space of continuous functions
Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...
- 1,835
2
votes
0
answers
343
views
continuity with respect to weak-${\ast}$ topology
Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
- 1,835
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
1
vote
0
answers
110
views
Zeroth homology of the complement of a closed set
Suppose $F$ is a closed set in $\mathbb{R}^n$ with $n>1$.
Are there some known conditions that must be imposed on $F$ so that its complement in $\mathbb{R}^n$ has a finite number of components? ...
- 411
1
vote
0
answers
119
views
May sequential continuity of a map on compact sets fail to admit extrema?
Let $X$ be a compact topological space. Is there an example of a sequentially upper-semicontinuous function $f: X \rightarrow \mathbb{R}$ that does not admit a maximum point in $X$?
My very rough ...
- 215
1
vote
0
answers
52
views
A local base for space of probability measures with Prohorov metric
Let $S$ be a Polish space. Let $P(S)$ denote the space of probability measures on $(S,\mathcal{B})$, where $\mathcal B$ is the Borel-$\sigma$-algebra over $S$. Equip $P(S)$ with the Prohorov metric. I ...
- 111
1
vote
0
answers
79
views
Conditions for a function to vanish almost nowhere on its support?
Let $f:\mathbb{R}^d\rightarrow\mathbb{R}$ be a continuous function and $\mathrm{supp}(f) := \mathrm{cl}\{x\in\mathbb{R}^d\mid f(x)\neq 0\}$ its support.
Under which conditions is it true that $f≠0$ (...
- 463
1
vote
0
answers
112
views
Question regarding the image of a polynomial map containing a small box
I have the following question, which intuitively seems it should be true but I wasn't sure how to prove it rigorously.
Let $\delta, \varepsilon > 0$.
Let $\Psi_i(w_1, w_2, \mathbf{v})$ be a ...
- 3,625
1
vote
0
answers
178
views
Density of subspace with nonlocal/Wentzell boundary condition
Given the space $F$ defined by:
$$F=\left\{f\in C^2(\mathbb{R}_+^2;\mathbb{R}):f(x,0)=\int_\mathbb{R} f(z,x)g(z)dz, x>0\right\},$$
I want to prove that the subspace $E$ of $F$ defined by $E=\...
- 111
1
vote
0
answers
260
views
Generating the sigma algebras on the set of probability measures
I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and $\triangle\left(X,\...
- 11
1
vote
0
answers
525
views
Separability of the space $C(C[0, 1], \mathbb{R})$
Let $E=C([0, 1])$ be the space of all real-valued continuous functions on $[0, 1]$, equipped with the uniform norm. $C(E)$ stand for the continuous real-valued functions on $E$.
I am wondering that ...
- 199
1
vote
0
answers
91
views
Tubular neighbourhood which is nowhere piecewise linear
I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...
- 11
1
vote
0
answers
331
views
Relationship between weak Lp and strong Lq topologies for q<p
Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
- 203
0
votes
0
answers
63
views
Computing the eta invariant of a rather contrived operator on the circle
For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
- 111
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
0
answers
42
views
Conditions on a set implying properties on neighborhoods
Suppose $F$ is a closed set in a Euclidean space, and for $\epsilon>0$, let $V_\varepsilon$ be the $\varepsilon-$neighborhood of $F$ i.e. the set of points $x$ having a distance less than $\...
- 411
0
votes
0
answers
177
views
On connectedness of the complement
In the application of Runge type theorems on the approximation of functions with some regularity on a neighborhood of a compact, it is interesting to know whether the complement of a compact has ...
- 411
0
votes
0
answers
61
views
Weak topology of Gaussian measures
Let us consider a space of Dirac measures $\delta_{x}$ on a Tychonoff space $X$. I know that this space is homeomorphic to $X$. A space of Gaussian measures (weak topology) on some loсally convex ...
- 11
0
votes
0
answers
86
views
Let $f$ be periodic with a continuous image and $a_n = cn$ for some $c > 0$. When is $\{f(a_n)\}$ dense in the image of $f$?
Let $f:\mathbb{R}\to\mathbb{R}$ be a periodic function with period $T$ and continuous everywhere except perhaps on a countable set, and have an image that's an uncountable subset of $\mathbb{R}$. Let $...
- 277
0
votes
0
answers
147
views
Approximation of Inductive Tensor Product $C(X) \bar{\otimes} C(Y)$
The following question is from Banach Algebra Techniques in Operator Theory written by Ronald G. Douglas.
Assume both $X, Y$ are Banach spaces and $X \otimes Y$ is the algebraic tensor product. Let ${...
- 307