Questions tagged [continuity]
The continuity tag has no usage guidance.
185
questions
4
votes
1
answer
514
views
Find a continuous function with a prescribed continuity set
It's known that for a function $f:\mathbb{R} \rightarrow \mathbb{R}$ the set of points of discontinuity must be an $F_{\sigma}$.
In the book "Understanding Analysis" by Abbott is stated in page 128 ...
- 193
4
votes
1
answer
172
views
Reference request: Solution to second order parabolic linear BVP belongs to $\mathcal{C}(0,T;H^1(\Omega))$
I am currently reading the paper [1]. In Theorem 3.1. b) the following boundary-value problem is given:
\begin{align*}
\partial_{t} y - \Delta y + g\cdot y = f \text{ in } ]0,T[ \times \Omega\\
...
- 161
4
votes
1
answer
260
views
Induced maps on hyperspace topologies
If $X$ is a topological space let $2^X$ denote the set of closed subsets. There are multiple topologies one may equip $2^X$ with (in particular, I have in mind the Vietoris, Fell and similar ...
- 141
4
votes
1
answer
766
views
Does uniform continuity of bounded continuous functions implies the same for all continuous functions on a uniform space?
Recently I came to know about Atsuji space from the paper1. A metric space $X$ is called an Atsuji space if every real-valued continuous function on $X$ is uniformly continuous. Strikingly I have ...
- 195
4
votes
1
answer
2k
views
A continuity/bootstrap argument
I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...
- 175
4
votes
0
answers
99
views
Sub-quadratic Kolmogorov-Arnold?
The Kolmogorov-Arnold representation theorem says, essentially, that when computing a continuous function, the only multivariate function you really need is addition. (Somewhat) more precisely, it ...
- 3,809
4
votes
0
answers
112
views
Does there exist curve (for example, in $\mathbb R^2$) that either touches itself or intersects itself at every one of its points?
I really do not even know how to constructively think about this question that I wanted to post before, but delayed. I know that there are space-filling curves and curves of positive area and those ...
user114642
3
votes
1
answer
746
views
Function whose sets of discontinuities and zeros are the rationals
Question: Is there a real valued function $f:\mathbb{R}\to\mathbb{R}$ such that its set of discontinuities is $\mathbb{Q}$ and its set of zeros $\{x\in \mathbb{R}\mid f(x)=0\}$ is also $\mathbb{Q}$?
...
- 2,170
3
votes
3
answers
2k
views
Cardinality of $C^*([0,1])$ [closed]
What is the cardinality of the continuous dual of $C([0,1])$ (the set of continuous functions from $[0,1]\to \mathbb{R}$)?
- 1,289
3
votes
2
answers
682
views
Is a sigma-finite Borel measure over $\mathbb R$ determined by its values on the continuous functions? [closed]
Suppose that $\mu$ and $\nu$ are sigma-finite measures on the Borel sigma-algebra over $\mathbb R$ such that $\int_{\mathbb R}f\,d\mu=\int_{\mathbb R}f\,d\nu$ for all nonnegative continuous functions $...
- 118k
3
votes
2
answers
300
views
Smoothing a map $f:X\to \mathbb{R}$ while fixing it over a closed $C\subset X$
$\newcommand{\R}{\mathbb{R}}$I have a map $f\in C^0(X,\mathbb{R})$, where $X$ is a compact and Hausdorff topological space, which is a manifold outside of a compact subset $K\subset X$.
I would like ...
- 2,523
3
votes
1
answer
365
views
Follow up: Is continuity preserved when taking comma object?
Here, I asked wether taking lax pullback preserves continuity, but got no precise answer.
However, I have found this recent article by Riehl and Verity which proves something very similar, but I can'...
- 690
3
votes
1
answer
356
views
Automatic continuity of the inverse map
All topological spaces considered here are Hausdorff.
It is a well-known consequence of the minimality of a compact topology that an injective continuous map
$f\colon X\to Y$
where $X$ is compact, ...
- 387
3
votes
1
answer
303
views
Can a power series of several variables be discontinuous on a compact set if it converges in every point of this set?
Say we have a power series of two variables, with an associated function $f$ defined as
$$
\begin{split}
f(x, y) =\, & \sum_{n,m} a_{n,m}x^ny^m,\\
& a_{n,m} \geq 0 \quad \forall n, m \in\...
- 63
3
votes
1
answer
400
views
Functions with at most linear growth at infinity: is the constant itself continuous?
I am considering the family $\mathcal{F}$ of functions $f \colon \mathbb{R} \to \mathbb{R}$ which have at most linear growth at infinity, that is there exists a constant $M_f$ such that
\begin{...
- 182
3
votes
1
answer
160
views
Homeomorphic extension of a discrete function
Let $f : \{ 0,1 \} ^ {n} \rightarrow \{ 0,1 \} ^ {n}$ be a bijective map. Then is there a known computable way to extend it to a homeomorphism $g:[ 0,1 ] ^ {n} \rightarrow [ 0,1 ] ^ {n}?$
- 31
3
votes
2
answers
273
views
A problem on chains of squares — can one find an easy combinatorial proof?
Consider the unit square $ S = [0,1] \times [0,1] $. For each $ n \in \mathbb{N} $, we can tessellate $ S $ by the collection
$$
A
= \left\{
\left[ \frac{i}{n},\frac{i + 1}{n} \right] \times
...
- 1,406
3
votes
1
answer
72
views
Analyticity of $f = Q(a\Re (x + y))Q(b\Im (x + y))\log \left\{ {Q(a\Re (x + y))Q(b\Im (x + y))} \right\}$ in the complex plane?
Let I have the following function,
$f = Q(a\Re (x + y))Q(b\Im (x + y))\log \left\{ {Q(a\Re (x + y))Q(b\Im (x + y))} \right\}$
Where, $x,y \in C$, $a,b\in R$ and $- m \le \Re (x),\Re (y),\Im (x),\Im (y)...
- 141
3
votes
2
answers
565
views
When is the periodisation of a function continuous?
Consider a function $f\in\mathcal{C}_0(\mathbb{R})$, where $\mathcal{C}_0(\mathbb{R})$ denotes the space of bounded continuous functions vanishing at infinity. I am interested in the $T$-periodisation ...
- 31
3
votes
2
answers
241
views
continuity of length function $l: T(X) \times MF \to \mathbb R$
Let $T(X)$ be the Teichmuller space of a closed Riemann surface $X$ of genus $g \geq 2,$ and $MF$ the space of equivalence classes of measured foliations. Then we have a length function
$l: T(X) \...
- 67
3
votes
1
answer
547
views
upper semicontinuity in C(X)-algebras
I've stuck on a step of proposition 1.2 of Rieffel's article (continuous field of C*-algebras coming from group cocycles and actions, 1989). I think it basically proves that a C(X)-algebras coming ...
- 342
3
votes
1
answer
646
views
Is a convex, lower semicontinuous function that is bounded from below, actually continuous?
While thinking about convex functions, I managed to put together the following proof which I find a bit too good to be true. $X$ is a topological vector space that is also a Baire space.
Lemma: Let $f ...
- 611
3
votes
1
answer
380
views
Several definitions of Approximate continuity of real functions
I found the definition of approximate continuity stated as follows:
A function $f:\mathbb R \to \mathbb R$ is approximately continuous at $x_0$ iff there exists a set $A\in \mathcal L$ such that $x_0\...
- 870
3
votes
1
answer
170
views
If $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, does $f(u_n) \to f(u)$ in $H^{\frac 12}(\partial\Omega)$ for $f$ Lipschitz?
Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with $|f'(x)| \leq C$ for all $x$ and $f(0)=0$.
Suppose $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, where $\Omega$ is a bounded domain of ...
- 53
3
votes
1
answer
238
views
Function spaces over pseudocompact spaces
Let $K$ be a pseudocompact Tychonoff space that is, a Hausdorff $T_{3.5}$ space for which every continuous function $\varphi \colon K\to \mathbb{C}$ is bounded. Let $\beta$ be the Stone-Cech extension ...
- 37
3
votes
1
answer
289
views
Is disintegration continuous?
Let $X,Y$ be Polish spaces and suppose that $X$ is compact. Denote by $\mathcal{Mes}(X,\mathcal{P}(X\times Y))$ the set of (Borel) measurable functions from $X$ to the set of Borel probability ...
- 4,969
3
votes
1
answer
696
views
Continuity of a parameterized convex optimization problem
I have a parameterised optimization problem:
\begin{align}
\boldsymbol{S}(p)= &\arg \min_{ \boldsymbol{x}} g( \boldsymbol{x})\\
\text{s.t. } & \boldsymbol{A}(p) \textbf{x} = \...
- 88
3
votes
1
answer
203
views
Maps that preserve winding numbers
This question is a cross post from the Math StackExchange since it got no attention at all there: https://math.stackexchange.com/questions/4414601/maps-that-preserve-winding-numbers
I am looking for a ...
- 1,221
3
votes
0
answers
168
views
Is the following generalization of piecewise continuity equivalent to any other common types of functions on metric spaces?
EDIT: I think what I have isn't precisely what I want... we should also require $x$ in condition (3) to be "not bad" in some sense, although I'm not quite sure what that should mean for my ...
- 479
3
votes
0
answers
220
views
Can continuity always be shown by using ε-δ? [closed]
When we learn calculus we usually:
1. Prove that polynomials, the exponential functions, the logarithmic functions, the trigonometric functions, the inverse trigonometric functions are continuous on ...
user124376
3
votes
0
answers
539
views
Is there a generalization of the Kolmogorov-Chentsov continuity theorem for processes indexed by Banach spaces?
If $(X_t)_{t\ge0}$ is a real-valued stochastic process and for all $T>0$, there are $\alpha,\beta,C>0$ with $$\operatorname E\left[\left|X_s-X_t\right|^\alpha\right]\le C\left|s-t\right|^{1+\...
- 161
3
votes
0
answers
375
views
Is a continuous map between smoothable manifolds of the same dimension always smoothable?
(My question is inspired by this math.SE question, whose
negative answer I showed by a dimension-increasing map.)
Is it the case that for all smoothable manifolds $M_0$ and $M_1$ with the same ...
user5810
2
votes
3
answers
558
views
Topological properties for which bijectively related imply homeomorphism
In this post I give examples of topological spaces for which bijectively relations imply existence of an homeomorphism. Namely:
Intervals of the real line.
Compact spaces.
I also give a ...
- 1,355
2
votes
1
answer
162
views
Hausdorff dimension of the curve of a continuous nowhere differentiable function
It is of course well-known that there are plenty of functions from $\mathbb R$ into itself which are continuous and nowhere differentiable. Although the Baire Category Theorem is enough to prove the ...
- 15.2k
2
votes
1
answer
356
views
A continuous injection from $[0,1]$ to $\mathbb{R}^2$
Consider the continuous and injective mapping
\begin{eqnarray*}
\varphi:[0,1] &\rightarrow& \mathbb{R}^2, \\
t &\mapsto& (x(t),y(t)),
\end{eqnarray*}
such that $x(0)<x(1)$, and
\...
- 105
2
votes
1
answer
471
views
(Dis)prove : if every function with closed graph are continuous then the target space is compact
$(X, \tau_X) $ and $(Y, \tau_Y) $ be two topological spaces.
$\forall f\in Y^X$ with $\text{Gr}(f) $ is closed implies $f\in C(X, Y) $.
Question : Does this implies $(Y, \tau_Y) $ is compact?
...
- 317
2
votes
1
answer
136
views
Continuity of the derivations from semisimple Banach algebras
Let $A$ be a Banach algebra and $X$ a Banach $A$-bimodule. It is known that if $A$ is a $C^*$-algebra, then by Ringrose theorem every derivation $D:A\rightarrow X$ is continuous. Also, a famous ...
- 167
2
votes
1
answer
60
views
Hausdorff-Lipschitz continuity of cone correspondence
Let $\mathbb{R}_+$ denote the strictly positive real numbers, let $\mathcal{X} \subset \mathbb{R}^n$ and $\mathcal{P} \subset \mathbb{R}^m$ be compact and convex subsets, let
\begin{equation}
f: \...
- 55
2
votes
1
answer
2k
views
Norms in Sobolev space $W^{1,\infty}$
Let $n\in\mathbb{N}$ and consider the Sobolev space $W^{1,\infty}(\mathbb{R}^n)=\lbrace u\in L^{\infty}(\mathbb{R}^n):\partial_iu\in L^{\infty}(\mathbb{R}^n) \rbrace$. A function is in $W^{1,\infty}$ ...
- 237
2
votes
1
answer
751
views
Absolutely continuous functions
it is well known that if a function $f:[0,T]\to\mathbb{R}$ satisfies the inequality
$$\vert f(t)-f(s)\vert\leq \int_s^t{m(r) dr},$$
for $s<t$ and some $m\in L^1([0,T])$ then $f$ is absolutely ...
- 145
2
votes
1
answer
233
views
A functional equality
I don't know if this is known, but I was fiddling around with this equality :
$$f:(-1,1)\to (-1,1)\quad \text{satisfies}\quad(f(z)+1)^s=\sum_{j=0}^{\infty}\dbinom{s}{j}f(z^k)
\quad \forall z\in (-1,1),...
- 1,090
2
votes
1
answer
206
views
A characterization of continuity in terms of preservation of connected sets. Where to find the result?
There is a result that if $X$ is a locally connected space and $Y$ is a locally compact Hausdorff space, then a function $f \colon X \to Y$ is continuous if and only if $f$ has a closed graph and for ...
2
votes
1
answer
180
views
Relationship between $C(X\times Y,Z)$ and $C(X,C(Y,Z))$
Let $X$, $Y$, and $Z$ be locally-compact, complete, and separable metric spaces and suppose that $X$ is compact; all non-empty.
Consider the spaces $C(X,C(Y,Z))$ and $C(X\times Y,Z)$ both equipped ...
2
votes
2
answers
2k
views
Supremum of continuous functions and essential supremum of continuous functions
Suppose that $(X,d)$ is a Polish metric space and $A$ is a set of continuous bounded functions $f:X\to \mathbb{R}$.
Suppose that $\mu:X\to[0,1]$ is a Borel probability measure.
Define
$$\sup A:X\to ...
- 267
2
votes
1
answer
355
views
Can a bijection between function spaces be continuous if the space's domains are different?
It is well-known that any bijection $\mathbb{R} \rightarrow \mathbb{R}^2$ cannot be continuous. But suppose we have the two spaces $A = \{f(x):\mathbb{R^2}\rightarrow \mathbb{R} \}$ and $B = \{f(x):\...
- 515
2
votes
1
answer
218
views
Continuity of solution of a parabolic PDE w.r.t. system parameters
If we have a system of PDE of the form:
$$\begin{cases} \dfrac{\partial y}{\partial t}(t,x)=D\Delta y+F(t,x,f(x),y) ,\ (t,x)\in (0,T)\times\Omega\\ \dfrac{\partial y}{\partial \nu}(t,x)=0,\ (t,x)\in (...
- 1,330
2
votes
2
answers
290
views
Continuous monotone real functions of several real variables
Let $O$ be an open bounded connected set in $R^n$ and K its boundary. Given a continuous real function $f$ defined on $K$, I would like to extend $f$ to a continuous real function $g$ (i.e. $g$ ...
2
votes
1
answer
182
views
Modulus of Continuity for an Analytic Function on an Ellipse
Given $f\in C^{\infty} (E)$, where $E\subseteq \mathbb{C}$, define $E_{\rho} \subseteq \mathbb{C}$ as the maximal ellipse with foci at $\{-1,1\}$ where $f$ is analytic, and semi-minor + semi-major ...
- 3,554
2
votes
1
answer
2k
views
Is an L_1 bounded sequence of random variables with uniformly converging CDFs uniformly integrable?
Changing my question in light of Dan's answer. Thanks, Dan.
Consider a sequence of real random variables $X_i$ bounded in $L_1$, that is $\mathbb E\left|X_i\right|\leq M$ for all $i$. Suppose that ...
- 23
2
votes
1
answer
255
views
Continuity of eigenvector of zero eigenvalue
Wonder whether anyone has an idea on showing the following or to point out that it is not true:
Let $A(t) \in \Re^{n \times n}$ be differentiable over an interval $I$, and it has a zero eigenvalue for ...
- 69