Intuitively, a continuous function is one where small changes of input result in correspondingly small changes of output. Use this tag for questions involving this concept. As there are many mathematical formalizations of continuity, please also use an appropriate subject tag such as (real-analysis) ...

learn more… | top users | synonyms (1)

9
votes
0answers
106 views

Axiomatizing topology through continuous maps

Suppose we have some topological space $X$ and we somehow forgot about the topology. A friend of ours knows the topology and offers to tell us for any map $X\to Y$ into any topological space $Y$ ...
7
votes
0answers
89 views

If a map between separable Banach spaces has closed graph, does it have a point of continuity?

It is well known that the closed graph theorem does not directly extend to nonlinear maps: even for functions from $\mathbb{R}$ to $\mathbb{R}$, having closed graph does not imply continuity. But ...
5
votes
0answers
86 views

Proving the function $ f $ is continuous on $ [0,1] $

I'm trying to prove that the following function $ f $ is continuous on $ [0,1] $. The function $ f:[0,1]\rightarrow [0,1] $ is defined as follows. Let $ x\in [0,1] $. Then $ x= \sum\limits_{n = ...
5
votes
0answers
66 views

Properties of first-countable spaces

Hi I have questions regarding first-countable spaces. I just want to confirm something: The following are properties regarding limits and continuity of first countable spaces on Wikipedia: If $f$ ...
5
votes
0answers
69 views

Proving continuity on spaces of distributions?

Let $\mathcal{D}'(\Omega)$ be the space of distributions on an open set $\Omega$, and $\mathcal{E}'(\Omega)$ the compactly supported ones. When you have a linear operator ...
5
votes
0answers
224 views

Is there a continuous nowhere Lanczos generalized differentiable function?

The Lanczos generalized derivative comes from local regression, and is described in this pdf. (You do not need to read that to understand my questions.) If you do read it, observe that I'm pulling ...
4
votes
0answers
54 views

For every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then to prove $f$ is a polynomial in $[a,b]$

Let $f:[a,b] \to \mathbb R$ be a continuous function having derivatives of all order such that for every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then how do I show ...
4
votes
0answers
106 views

Sufficient conditions for closed infinite pasting lemma

It's well known that the pasting lemma for infinitely many closed sets is false. It's reasonably easy to cook up examples such that for $X = \bigcup X_i$ with $X_i$ closed in $X$ such that $\left. ...
4
votes
0answers
166 views

Differentiability-Related Condition that Implies Continuity

I previously asked a related question here that I did not phrase as I intended. This is a revision of that question: It is a well-known fact that differentiability implies continuity. And, for ...
4
votes
0answers
67 views

Why is this Takagi's function continuous?

1903 Takagi constructed the function $f: [0,1] \rightarrow \mathbb{R}$ with $f(x) := \sum_{k=0}^\infty 2^{-k} \mathrm{dist}(2^k x, \mathbb{Z})$ where $\mathrm{dist}(x,A) := \inf\{|x-y| : y \in A\}$ ...
4
votes
0answers
39 views

Intuition on continuty in probability/mean square of a process

How to explain that a process is continuous in probability? I know the definition, but what does it mean? The same with continuity in mean square.
4
votes
0answers
159 views

Functions from the Cantor set

Consider the Cantor set $\Delta\subset [0,1]$. Let $f\colon \Delta\to [0,\infty)$ be a continuous injection. Must $f$ be monotone on some uncountable closed subset of $\Delta$? Note that that van der ...
3
votes
0answers
35 views

$E$ compact, real-valued $f : E \to \mathbb{R}$ continuous iff graph is compact - is real valued necessary?

Problem The graph $G$ of $f$ is defined as the points $(x, f(x))$ for $x \in E$. Suppose $E \subset \mathbb{R}$ is compact, then $f : E \to \mathbb{R}$ is continuous iff its graph is compact. ...
3
votes
0answers
26 views

Proof of Lipschitz continuous

Wikipedia says that an everywhere differentiable function g : R → R is Lipschitz continuous (with K = sup |g′(x)|) if it has bounded first derivative. How to prove that?
3
votes
0answers
25 views

Does having a real valued cauchy sequence on a function in a compact space imply the function is continous on that space?

I had to prove for a homework assignment this function $$ s_n(x) = \sum_{i=0}^n (-1)^i \frac{ x^{2i+1}}{(2i+1)!} $$ is a Cauchy sequence with respect to the sup norm for $$ s_n : [-M,M] ...
3
votes
0answers
32 views

What is the topological interpretation of continuity of distributions?

I was given this definition of continuity in the distributional sense. A distribution $T$ over the space of test functions $\mathcal{D}$ is continuous if for every sequence of test functions $\{ ...
3
votes
0answers
35 views

Showing points of continuity of a function f(x) that takes the value 1/n whenever x belong to a sequence {An} and is zero elsewhere.

I am given a sequence $(An), n=1,2,3,...$ which consists of distinct numbers, which converges to $3$ as $n$ tends to infinity, but none of its terms are equal to $3$. Then I am given a function $f(x) ...
3
votes
0answers
35 views

Proposed proof of continuous operator on Sobolev space

Hi I am interested in a question about continuity: Assume that $\Omega \subset \mathbb{R}^{n}$ is bounded and consider operator $$f:W^{1,p}(\Omega) \times L^{p}(\Omega;\mathbb{R}^{n}) \rightarrow ...
3
votes
0answers
58 views

Proving continuity on Sobolev space with weak topology

Hi I am interested in proving that an operator $$\eta : W^{1,p}(\Omega) \times L^{p}(\Omega) \rightarrow L^{p'}(\Omega)$$ is (weak $\times$ norm, norm) continuous. I want to know if it is viable to ...
3
votes
0answers
76 views

A sequence of functions that is uniformly continuous, pointwise equicontinuous, but not uniformly equicontinuous when their domain is noncompact

I'm trying to prove my sequence of functions $(f_n) = \frac{n}{n+1}\cos(x^2)$ on (0,1) is pointwise equicontinuous, uniformly continuous, but not uniformly equicontinuous. But, I'm having a lot of ...
3
votes
0answers
33 views

Brownian motion, modifications vs indistinguishablity

In Protters book Stochastic Integration and Differential Equations And in uncountable other sources, they mention the continuous sample paths of the brownian motion. That is: It holds that ...
3
votes
0answers
64 views

A continuous function cannot take every value an exact even number of times?

I have proved that a continuous function $f(x): \mathbb{R} \rightarrow\mathbb{R}$ cannot take every value in its range exactly twice. How is the general case with an even number of times proved? ...
3
votes
0answers
63 views

Parameter-dependent integral: Is the following statement true?

Is the following statement true? If so, could anyone provide a reference? Suppose $f(x, \alpha)$ is continuous on $(a, b) \times \{\alpha_0\}$. If there exists $g(x)$ which is continuous on $(a, b)$, ...
3
votes
0answers
41 views

Existence of increasing, smooth modulus of continuity

First, recall the definition: Given a function $f:M\to N$, where $M$ and $N$ are metric spaces, a modulus of continuity for $f$ is a function $\omega:[0,\infty)\to[0,\infty)$ such that ...
3
votes
0answers
53 views

When the inverse image of an *open* set is *closed*

Let $X$ and $Y$ be topological spaces. Assume that $f\colon X\to Y$ satisfies that the inverse image of any open set in $Y$ is closed in $X$ (as opposed to the definition of continuity). Can anything ...
3
votes
0answers
20 views

Continuity in $x$ of $E^x \int_0^{\tau} f(X_t)dt$

Suppose I have a stochastic diffusion $X$. I am studying an expression of the form $u(x):=E^x\int_0^\tau f(X_t)dt$ where $\tau$ is the exit time of $X$ from my bounded open domain $D$. I am also ...
3
votes
0answers
58 views

What extra assumption makes this transformation affine?

Let a vector space $V$ be given. Let $f:V\to V$ have the property that for all $x,y,a\in V$, $$ f(x+a)-f(y+a) = f(x) - f(y) \tag{$\star$} $$ Q1. I'd like to know how weak one can make additional ...
3
votes
0answers
46 views

Prove that $f$ is continuous at $(0, y_0)$. where $f$ is defined on $\Bbb R^2$.

Prove that f is continuous at $(0, y_0)$ $f(x, y) = \begin{cases} (1+xy)^{1/x} &\mbox{if } x \neq 0 \\ e^y & \mbox{if } x \equiv 0. \end{cases} $ Thank you!
3
votes
0answers
56 views

Sufficient conditions for existence of injection from a metric space $M$ to $\mathbb{R}$

Let $M$ be any metric space. What conditions are required of $M$ for there to exist an injective, continuous function $$\varphi \colon M \longrightarrow \mathbb{R}$$ I would like to believe that ...
3
votes
0answers
32 views

Continuous $L^2$ function has finite sum at integer points?

Let $f\in L^2(\mathbb{R})$ be a continuous function. Is it true that $\sum_{n=1}^\infty |f(n)|^2$ is finite? If the continuity condition is dropped, the statement is not true, because $f(n)$ could ...
3
votes
0answers
57 views

representation of points of continuity of a function $f :\mathbb{R}\rightarrow \mathbb{R}$

Question is : Suppose $f$ is continuous at $x\in \mathbb{R}$ we need : for given $\epsilon >0 $ existence of $\delta > 0$ such that $|x-y|< \delta$ implies $|f(x)-f(y)|< \epsilon$ ...
3
votes
0answers
88 views

Prove the intergral form of Lipschitz continuous

I just want to prove that a function from $\mathbb{R}$ to $\mathbb{R}$ is Lipschitz continuous, if and only if $\exists\, g\in L^p(\mathbb{R}) $ such that $\forall\, x, \, y $, $$f(y)-f(x)\le ...
3
votes
0answers
379 views

The Lebesgue Criterion for Riemann Integrability — a proof without using the concept of oscillation.

I am trying to prove the Lebesgue Criterion for Riemann Integrability without using the concept of oscillation. The Lebesgue Criterion for Riemann Integrability states that if $ f: [a,b] \to ...
3
votes
0answers
109 views

Condition for local absolute continuity to imply uniform continuity

Given that $x\left(t\right)$ is locally absolutely continuous, and $\dot{x}=f\left(x,t\right)$ exists almost everywhere, is it possible to place a condition on $f\left(x,t\right)$ to allow us to show ...
3
votes
0answers
112 views

On which of the following spaces is every continuous (real-valued) function bounded

On which of the following spaces is every continuous (real-valued) function bounded? i) $X_1 = (0, 1)$; ii) $X_2 = [0,1]$; iii) $X_3 = [0, 1)$; iv) $X_4 =\{t \in [0, 1] : t \mbox{ ...
2
votes
0answers
18 views

Continuity of a function in a locally convex topological space

I endow the space of bounded sequences with a locally convex topology $\tau$ such that $\tau$ is strictly finer than the product topology (the topology of pointwise convergence), $\tau_p$, and ...
2
votes
0answers
12 views

Test for uniform continuity

Test for uniform continuity the function $ f(x, y) = (x^2 + y^2)^\alpha \sin{\frac{1}{x^2+y^2}} $ in $ \{ x^2+y^2 > 1\} $ If we consider $ \alpha < 1 $, then $ \lim_{\sqrt{x^2+y^2} \to ...
2
votes
0answers
33 views

Is $f\colon Y'\to Y$ continuous?

Consider $X=\left\{0,1,2\right\}^{\mathbb{Z}}$ and $T\colon X\to X$ continuous, describing the following dynamics: For $\eta\in X$ let $\eta(y)$ describe the y-th position in the bi-infite sequence ...
2
votes
0answers
44 views

Uniform convergence and equicontinuity

Given a sequence of functions which is not uniformly convergent, can we deduce, that none of its subsequences is uniformly continous and therefore, by Arzela-Ascoli say that the family of function is ...
2
votes
0answers
38 views

Proving continuity using $\epsilon$ and $\delta$

Here is my first attempt to prove continuity using epsilon and delta: Prove that $f(x)=\sqrt{x}$ is continuous at $p=4$. Unfortunately my book has just some answers and that isn't one of them. I would ...
2
votes
0answers
52 views

the continuity of argmin on convex funtion

Define $$x'=\text{argmin}_{x_1}f(x_1,\lambda),$$ where $f$ is a strictly convex function on $x_1$ and $\lambda$. I would like to ask if there is any theorem about the continuity of $x'$ w.r.t ...
2
votes
0answers
69 views

Every Riemann Integrable Function can be approximated by a Continuous Function

Prove that given any Riemann Integrable function $f$ on $[a,b]$, and given any $\varepsilon>0$ one can find a continuous function $g$ on $[a,b]$ such that $$\int_a^b|f(x)-g(x)|dx<\varepsilon ...
2
votes
0answers
29 views

How to estimate norms involving $|a-b|$?

I know the title isn't the best one. Here's my problem: Whenever I'm given functionals such as: $$\phi: \mathcal{C}^1([0,1]) \ni f \rightarrow f(\frac{1}{3}) - f'(\frac{2}{3}) \in \mathbb{R}, \ \ ...
2
votes
0answers
74 views

Is the inverse function continuous at a fixed point?

Show that $f:I=(-1,1) \rightarrow \mathbb{R},$ it follows that $$ f(x)=\begin{cases} \quad1-x & \text{ as } -1<x\leq 0, \\ \frac{{x}^{-1}+ \lfloor {x}^{-1}\rfloor}{1+{x}^{-1}+\lfloor ...
2
votes
0answers
80 views

How show the map $f:\mathbb R^2\rightarrow\mathbb R$, defined as $f(x,y)=x+y$ is continuous for all $(x,y)\in\mathbb R^2$?

Question: I want to show the map $f:\mathbb R^2\rightarrow\mathbb R$, defined as $f(x,y)=x+y$ is continuous for all $(x,y)\in\mathbb R^2$. Issue: I know how to prove this via the epsilon-delta way. I ...
2
votes
0answers
45 views

Is $f$ continuous if for every $p$, there is a sequence $p_n \to p$ such that $f(p_n) \to f(p)$?

Let $(X, d)$ be a metric space and $f : X \rightarrow X$ a function that satisfies the following property: For every $p \in X$ there exists a sequence $\{p_n\}\subset X$ such that $p_n \rightarrow p ...
2
votes
0answers
49 views

Continuity in the complex plane

I was reading a book where it is claimed that a sufficient condition for \begin{equation} f(x)=\frac{1}{2\pi}\left|\sum_{j=0}^{\infty}\theta_je^{ix j}\right|^2 \end{equation} to be continuous and is ...
2
votes
0answers
42 views

Shannon Entropy Continuity Constraint

I have the following problem: I want to find the probability density $p$ which maximizes the Shannon entropy \begin{equation} S := - \int_{x_b}^{x_c} dx ~ p(x) \log (p(x)) \end{equation} under the ...
2
votes
0answers
32 views

Subtle Analysis Problem

Suppose you have a function $f \colon A \to \mathbf {R} $ and $ (a - \delta', a + \delta') \subseteq A$ for some $\delta' > 0$. Suppose also that $f$ is continuous at $a$. How do you prove that the ...
2
votes
0answers
42 views

continuity of bilinear

Let $B: E\times F\rightarrow G$ be a continuous bilinear map of normed spaces, where $\|(e,f)\| = \|e\| _E+\|f\|_F$. Show that $\dfrac{\|B(e,f)\|}{\|(e,f)\|} \rightarrow 0$ as $(e,f) \rightarrow 0$. ...