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

7
votes
0answers
68 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
47 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
60 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
211 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
45 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
159 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
52 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
52 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
157 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
38 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
47 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. ...
3
votes
0answers
25 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
44 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
50 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
50 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
80 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
96 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
107 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
26 views

Is there a valid multiplication for any choice of identity in $C(\mathbb{R})$?

Let $C(\mathbb{R})$ be the ring of continuous functions from $\mathbb{R}$ to $\mathbb{R}$. Its identity with the usual multiplication is $1(x) = 1$. I have two related questions. Firstly, when we ...
2
votes
0answers
26 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
41 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
31 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
31 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
63 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
25 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
74 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
28 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
65 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
111 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
29 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 ...
2
votes
0answers
66 views

Space of Continuous mappings to metric spaces

I want to ask whether some basic result from the space $C([0,1],R)$, where $R$ is the real space carries over to the space $C([0,1],E)$, where $(E,\|\cdot\|_E)$ is a metric space. We know that ...
2
votes
0answers
44 views

Continuity of the orthogonal matrix-valued function

Given $d<k$. Suppose that $H:\mathbb{R}^k\rightarrow {\cal M}(\mathbb{R})_{d,k}$ is a continuous matrices-valued function such that $H(x)$ is full rank for every $x \in \mathbb{R}^k$. Now define a ...
2
votes
0answers
79 views

Continuous function that is invertible in one argument---is its inverse continuous in both arguments?

Suppose that $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ is a continuous function and that it is invertible in its second argument, i.e. for every $x \in \mathbb{R}$, $f(x,\cdot)$ is invertible with ...
2
votes
0answers
99 views

real analysis continuous definition question

Here is the definition Let $E$ be a subset of $R$ and let $f$ be a real-valued function on $E.$ Then $f$ is continuous on $E$ if and only if $f^{-1}(V)$ is open in $E$ for every open subset $V$ ...
2
votes
0answers
471 views

How to show a function is bounded?

I'm working on some problems involving limits. I need to show that if $ \forall \epsilon > 0, \exists \delta > 0 $ such that $x_0 - \delta < x_1, x_2 < x_0 \implies |f(x_1) - f(x_2) | < ...
2
votes
0answers
162 views

Intuition behind continuity in topological spaces

I was approaching the following problem: "Let $f \colon X \to Y$ be continuous. Is it true that if $x$ is a limit point of $A \subset X$ then $f(x)$ is a limit point of $f(A)$?" The answer is that ...
2
votes
0answers
1k views

Continuity on open and closed intervals

I will be taking Calculus I soon, and I just want to make sure I understand some concepts correctly. So far, reading my book for Calculus I, I've encountered the definition of continuity as being ...
2
votes
0answers
182 views

How to fulfill those boundary conditions?

The problem is the following: Think of a set of functions depending on spherical coordinates given by: $${\psi}_{l m}(r,\theta,\phi) ={k_l}(ar) P_{l}^{m}(\cos \theta) e^{\pm i m\phi} ,$$ so ...
2
votes
0answers
287 views

How to prove $x^y$ is jointly continuous?

It's known that real exponentiation $x^y$ is continuous in each variable, but is real exponentiation jointly continuous in both the exponent and the base? I considering the function ...
2
votes
0answers
247 views

Proof on showing F(x,y) is continuous by $\epsilon - \delta$ definition

The task is as follows: Given: $$F(x,y) = \frac{xy(x^2 - y^2)}{x^2 + y^2}$$ Goal: Prove that $F(x,y)$ is continuous everywhere on the plane Here is my attempt so far: (1) By the ...
2
votes
0answers
55 views

Discontinuities of monotone operators on arbitrary spaces

Let $X$ be a vector space equipped with an inner product $\langle .,.\rangle$. A function $f:X\rightarrow X$ is said to be monotone if, for all $x,y$, $\langle f(x)-f(y),x-y\rangle\geq 0$. On ...
2
votes
0answers
92 views

Continuity of the inverse Laplace Transform

If I know $Y(s)$, can I predict when $\mathscr{L}^{-1}[Y(s)]=y(t)$ will be continuous or continuously differentiable or even stronger conditions? For example; I'm solving an ODE with the Laplace ...
2
votes
0answers
77 views

Presentation of tree decompositions (and related concepts) in terms of continuous maps?

A tree decomposition of a graph $G$ is commonly defined in terms of a tree $T$ with the following structure: Each vertex $t \in V(T)$ is associated to a set $X_t \subseteq V(G)$; The union ...
2
votes
0answers
149 views

Continuity in set functions

Let a function be defined as $f:(\Omega_1,\mathcal{F}_1)\rightarrow (\Omega_2,\mathcal{F}_2)$, where $\mathcal{F}_1$ and $\mathcal{F}_2$ are $\sigma$-fields in $\Omega_1$ and $\Omega_2$ respectively. ...