All Questions
Tagged with real-analysis gn.general-topology
247 questions
15
votes
3
answers
1k
views
Version of Banach-Steinhaus theorem
I am wondering about the following version of the Banach-Steinhaus theorem.
Let $A$ be a closed convex subset contained in the unit ball of a Banach space $X$ and consider bounded operators $T_n \in \...
- 60.5k
1
vote
1
answer
869
views
Borel $\sigma$-algebra on the space of Hölder continuous functions
Let
$(M,d)$ be a separable metric space
$E$ be a $\mathbb R$-Banach space
$\alpha\in(0,1]$
Moreover, let $$\left\|f\right\|_{C^{0+\alpha}(K,\:E)}:=\sup_{x\in K}\left\|f(x)\right\|_E+\sup_{\substack{...
- 29.8k
6
votes
1
answer
397
views
iterated limit sets of a countable subset of real numbers
Let $A\subset \mathbb{R}$ be a closed subset, and $A'$ be the sets of limit points. We know that if $A$ is a countable set, $A'$ is a proper subset of $A$. Is it possible to find a subset( closed and ...
- 221
3
votes
1
answer
285
views
Example of a Baire Class $1$ function $f$ satisfying $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$
Definitions: Let $X$ be a Polish space (separable completely metrizable topological space).
A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous ...
- 41.8k
3
votes
1
answer
2k
views
How "compact" are sets of finite measure?
Let $K$ be a compact set of $\mathbb R^n$, then every open cover of $K$ will have a finite subcover.
Now consider the following situation:
Everything I say in the following is with respect to the ...
- 54.2k
11
votes
1
answer
704
views
Examples of Baire Class $\xi+1$ but not $\xi$ functions for each countable ordinal $\xi.$
We say that $f:\mathbb{R}\to\mathbb{R}$ is of Baire Class $1$ if it is a pointwise limit of a sequence of continuous functions.
One can generalize the definition above by taking pointwise limit of ...
- 4,727
5
votes
2
answers
1k
views
An example of an open discontinuous function
Consider the following simple example of a function $f: \mathbb{R}\to\mathbb{R}$ which is open and discontinuous at all points. If $x\in\mathbb{R}$ is represented as something.$x_1x_2x_3\dots$ in the ...
- 4,786
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
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\...
- 4,713
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
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 ...
- 29.8k
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
1
answer
798
views
Intersection of connected components in $\mathbb{R}^n$
Let $n$ be a positive integer and let $K\subseteq \mathbb{R}^n$ be compact. Pick $x^* \in \mathbb{R}^n\setminus K$.
Let $E$ be the connected component of $\mathbb{R}^n\setminus K$ that contains $x^*$....
- 41.8k
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
1
answer
360
views
Holes of a compact set in $\mathbb{R}^n$ that do not contain holes of a larger open set
Let $K$ be a compact subset of an arbitrary open set $\Omega\subset \mathbb{R}^n.$ It is said that a connected component $W$ of $\Omega\setminus K$ is $\Omega$-bounded if $\overline{W}$ is a compact ...
- 29.8k
0
votes
3
answers
554
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 1,090
10
votes
3
answers
414
views
Is an open subset of a rigid space rigid?
Let $X$ be a locally compact Hausdorff space. Call $X$ rigid if its only autohomeomorphism is the identity, $\operatorname{Homeo}(X)=\{1\}$.
Questions:
Let $X$ be rigid. Is it true that every open ...
- 7,276
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.8k
7
votes
1
answer
374
views
Is each $G_\delta$-measurable map $\sigma$-continuous?
Definition. A function $f:X\to Y$ between topological spaces is called
$\bullet$ $G_\delta$-measurable if for each open set $U\subset Y$ the preimage $f^{-1}(U)$ is of type $G_\delta$ in $X$;
$\...
- 41.8k
17
votes
1
answer
986
views
Can two-point sets be Borel?
Recall that a two-point set is a subset of the plane which meets every line in exactly two points. Such a set was first constructed by Mazurkiewicz in 1914.
I wonder if the following question of ...
- 18.5k
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
13
votes
3
answers
820
views
Is there a Borel subset of $ \mathbb{R}^{2} $, with finite vertical cross-sections, whose projection onto the first component is non-Borel?
This question is related to another one that I asked two days ago.
Question. Does there exist a Borel subset $ M $ of $ \mathbb{R}^{2} $ with
the following two properties?
The ...
CommunityBot
- 1
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
1
vote
1
answer
245
views
Definition of $F_{\sigma}$ sets in terms of $\varepsilon$?
Let $X$ be a metric space.
In Borel hierarchy, $\Sigma_{1}^0$ is the set of all open sets in $X$ while $\Pi_{1}^0$ is the set of all closed sets in $X.$ Then at next level, one has $\Sigma_{2}^0 = \{...
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 4,713
1
vote
1
answer
162
views
Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?
Ian Morris quoted the following:
For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
- 623
7
votes
3
answers
369
views
Does a certain contractive mapping have a fixed point?
Let $f:X\rightarrow X$ be a contractive mapping of a complete metric space satisfying
$$d(f(x),f(y))\leq\alpha(d(x,y))d(x,y)$$
where $\alpha:\mathbf{R}^+\rightarrow [0,1)$, and $\alpha(t_n)\rightarrow ...
- 53.3k
4
votes
1
answer
470
views
Covering measure one sets by closed null sets
(The following question arose in a joint research with Adam Przeździecki and Boaz Tsaban.)
For a $\sigma$-ideal $\mathcal{I}$ of subsets of the unit interval
$[0,1]$, define
$$\newcommand{\card}[1]{\...
- 18.5k
2
votes
1
answer
336
views
Separability of $L^1$ in $L^2$ topology
In the space $L^1(0,1)$ take the topology generated by the $L^2$-balls
$$B^2_r(f)=\{g\in L^1(0,1):\; \|f-g\|_2<r\}.$$
Is $L^1(0,1)$ separable in this topology?
- 446
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
1
vote
1
answer
118
views
Almost periodic function and closed spaces
We denote $X_{T}$ the vector space of all $T$-periodic function with zero mean in $L^2$ ( we know that $X_{T}$ is spawn by $(e^{2i\pi nt/T})$). Let be $$X=X_{2\pi}+X_{3\pi}.$$
I think that $X_{2\pi}+...
- 109k
4
votes
1
answer
222
views
Is every regular Borel outer measure topologically additive?
If $m$ is a regular Borel outer measure is it true that $m$ is topologically additive?
If so what is a proof or a counterexample?
Definitions:
Topologically Additive: $X$ is a topological space, $m$ ...
- 128k
-3
votes
2
answers
7k
views
Continuous map from $\mathbb R^2$ to $\mathbb R$? [closed]
There must be a map from $\mathbb R^2$ to $\mathbb R$, since they are the same cardinality. But is there a construction for a continuous map from $\mathbb R^2$ to $\mathbb R$?
I guess what I mean is ...
- 103
1
vote
1
answer
604
views
Partition of Real Number [closed]
Can the set of Real numbers be partioned into two parts such that both are uncountable,dense and have empty interior and any closed interval intersects both at uncountably many points?
- 236k
0
votes
1
answer
55
views
On 1-iso maps and subsets of the unit circle
Let $S$ be the unit circle and for any $x,y \in S$ let $d(x,y)$ be the lenght of the smallest arc between $x$ and $y$. A bijective map $\phi : S\longrightarrow S$ is called 1-iso if the following ...
- 23.7k
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 29.8k
2
votes
2
answers
762
views
Are the closed and unbounded subsets of $\mathbb{R}$ known up to homeomorphism?
I am currently working on a problem for which this knowledge could greatly reduce the number of cases, but I have yet to find anything after searching online. Are the closed unbounded subsets of $\...
- 4,265
-3
votes
1
answer
230
views
Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]
Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)?
If so, please show me how to construct it.
- 369
68
votes
2
answers
2k
views
Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$
Let $f : \mathbb{R} \longrightarrow \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a ...
CommunityBot
- 1
12
votes
3
answers
440
views
Is a certain subset of the disc a convex set?
Some one asked me this question and I thought about it and I don't have any good idea to solve that. Can some one help me and give me an idea to start solve that?
Draw a Cantor set $C$ on the circle ...
CommunityBot
- 1
0
votes
1
answer
482
views
Complement of a finite union of convex sets
Question. Let $V_1,\ldots,V_n$ be open, bounded and convex subsets of $\mathbb R^2$. Show that $F=\mathbb R^2\smallsetminus\bigcup_{i=1}^n V_i$ possesses only finitely many connected components.
I ...
- 31.2k
21
votes
3
answers
610
views
Which partitions of $[0,1]$ are collection of level sets of a real continuous function?
Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...
CommunityBot
- 1
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.8k
6
votes
1
answer
188
views
On continuous perturbations of functions of the first Baire class on the Cantor set
Is it true that for any function of the first Baire class $f:X\to\mathbb R$ on the Cantor cube $X=2^\omega$ there is a continuous function $g:X\to[0,1]$ such that the image $(f+g)(X)$ is disjoint with ...
CommunityBot
- 1
26
votes
2
answers
5k
views
Does Arzelà-Ascoli require choice?
Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...
CommunityBot
- 1
-1
votes
1
answer
346
views
An infinite set in a compact space
Let $X$ be a topological space. Is there any characterization for the property that says "for every infinit subset $A$ of $X$ there exists $a\in A$ such that if $f$ be an arbitrary real continuous ...
CommunityBot
- 1
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
7
votes
1
answer
772
views
Maximal ideals of the rings of Baire-One Functions
A real function $f:X\rightarrow \mathbb{R}$ is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all $x\...
CommunityBot
- 1
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
4
votes
2
answers
256
views
Sets $X,Y \subset [0,1]$, stronger than being measure $0$, such that $X+Y = [0,2]$
A set $X\subset \mathbb{R}$ is called nice if for every $\epsilon > 0$ there are a
positive integer $k$ and $k$ bounded intervals $I_1,I_2,...,I_k$ such that
$X \subset I_1 \cup I_2 \cup \...
CommunityBot
- 1