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)

10
votes
0answers
79 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$ ...
5
votes
0answers
55 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
65 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
215 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
50 views

Closed or open subsets of $C[a,b]$?

$C[a,b]$ denotes the space of continuous real-valued functions on $[a,b]$. The metric associated with $C[a,b]$ here is $d(f,g)=sup[|f(x)-g(x)|]$ where the supremum is taken over $[a,b]$. $C^1[a,b]$ ...
4
votes
0answers
73 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
162 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
57 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
55 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$ ...
4
votes
0answers
37 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
158 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
28 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
32 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
40 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
29 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
48 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
26 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
48 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
17 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
52 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
45 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
54 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
63 views

Is $f'$ continuous on $[a,b]$?

If $f$ is continuous on a compact interval $[a,b]$ and has a continuous derivative does it mean that $f'$ is continuous on $[a,b]$ or $(a,b)$?
3
votes
0answers
29 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
82 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
324 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
100 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
110 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
64 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
35 views

Continuity of normal curvature

I want to show that the normal curvature is a continuous function. At first, here is the definition of normal curvature at point $p \in M \subset \mathbb{R}^3$ in direction $\mathbf{u} \in T_{p}M$: ...
2
votes
0answers
42 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
43 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
38 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
26 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
30 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 ...
2
votes
0answers
56 views

Continuity and differentiability of two variables function

Let be $f:\mathbb{R^2}\rightarrow\mathbb{R}$ defined by: $$f(x,y)= \begin{cases} x^3\log{\left(1+\frac{|y|^\alpha}{x^4}\right)} & \text{if } x \neq 0 \\ 0 & \text{if } x =0 \end{cases}$$ ...
2
votes
0answers
51 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? ...
2
votes
0answers
32 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$. ...
2
votes
0answers
44 views

On continuous functions and second derivative

Let $f:[a,b]\to\mathbb R$ be a continuous function suh that $f''(x)$ exists $\forall x\in(a,b)$ . If $a<c<b$ and $f(a)=f(b)=0$ , then how to show that $\exists d\in(a,b)$ such that $f(c)=\dfrac ...
2
votes
0answers
35 views

extension theorems on normed spaces

I know that there are a number of extension theorems, Tietze's extension theorem, Hahn-Banach extension and so on.. I want to know if there is an extension theorem which guarantees that if say $X$ is ...
2
votes
0answers
37 views

A basic question about upper hemicontinuity

Given a correspondence $f:X\rightarrow 2^X$, suppose X is a closed simplex in $\mathbb{R}^n$, and $f$ is compact-valued. We say $f$ is upper hemicontinuous if, $\forall x\in X$ and every open subset ...
2
votes
0answers
73 views

A question about differentiable functions and step/jump discontinuities

I got this question: Let $f$ be a differentiable function defined on an interval $I$, Must it be the case that $f'$ (the derivative of $f$) doesn't have step/ jump discontinuities on the interval $I$ ...
2
votes
0answers
28 views

Show that uniform continuity implies stochastic equicontinuity

Let $\Theta$ be a metric space and assume it is compact. Let $W_t: \Omega \rightarrow \mathbb{R}^k$ be a random variable for $t\leq T$. Let $m(.,\theta): \mathbb{R}^k\rightarrow\mathbb{R}^s$. Let ...
2
votes
0answers
75 views

Convergence of a sequence pointwise a.e. on a manifold given that it converges on a reference manifold

Let $\Gamma_t$ be a compact hypersurface for each $t \in [0,T]$. Let $Q=\Gamma_0\times(0,T)$ and $$Q_T :=\bigcup_{t \in (0,T)} \Gamma_t \times \{t\}.$$ For each $t \in [0,T]$, suppose that ...
2
votes
0answers
24 views

Determine $f_x$ and $f_x$ at $(0,0)$ using definition of partial derivative

$f(x,y)$ is defined as $$\displaystyle f(x,y)=\begin{cases} \displaystyle x^2\sin \left(\frac{1}{x}\right) +y^2 & \mbox{if }x\neq0 \\ y^2 & \mbox{if }x=0 \end{cases}$$ Determine $f_x$ and ...
2
votes
0answers
29 views

Applications of Vito Volterra's theorem

We know from Volterra's theorem that: There cannot exist two pointwise discontinuous functions on an interval $(a,b)$ for which the continuity points of one, are the discontinuity points of the ...
2
votes
0answers
75 views

Intermediate value theorem (IVT) for a function

My teacher said that the function defined by: \begin{equation} f(x)=\begin{cases} \dfrac{1}{x}, & \text{if $x \neq 0$}.\\ 0, & \text{if $x = 0$}. \end{cases} \end{equation} is a ...
2
votes
0answers
148 views

Counterexample to Converse of Extreme Value Theorem?

The extreme value theorem says: If $X$ is a compact topological space, then for all functions $f: X \to \mathbb{R}$ such that $f$ is continuous we have that $f$ satisfies the extreme value property. ...
2
votes
0answers
95 views

show a function is continuous at irrational point

Suppose $\mathbb{Q} \cap [0,1]=\{r_1,r_2,r_3,...\}$ (We can do this because $\mathbb{Q}$ is countable and $\mathbb{Q} \cap [0,1] \subset \mathbb{Q}$. Let $x \in (0,1)$. Define ...
2
votes
0answers
31 views

Krylov-Bogoliubov theorem without continuity

This question is very closely related to: Continuity in the Krylov-Bogoliubov theorem. The standard counterexample, which is presented in Katok-Hasselblatt is the following: Let $f:[0,1]\rightarrow ...