Questions tagged [continuity]

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) or (general-topology)

Analytic Definition: Let $(X, d_X)$ and $(Y, d_Y)$ be metric spaces. A map $f : X \to Y$ is said to be continuous at $x_0$ if for every $\varepsilon > 0$, there is $\delta > 0$ such that $d_Y(f(x_0), f(x)) < \delta$ whenever $d_X(x_0, x) < \varepsilon$. A map $f : X \to Y$ is said to be continuous if it is continuous at $x_0$ for all $x_0 \in X$.

Topological Definition: Let $(X,\mathcal T_X)$ and $(Y, \mathcal T_Y)$ be topological spaces. A map $f : X \to Y$ is said to be continuous if $U \in \mathcal T_Y$ implies that $f^{-1}(U) \in \mathcal T_X$.

In the case of metric spaces, the metric induces a topology, and the two notions of continuity coincide. Note that multiple metrics can induce the same topology, and that not all topologies are metrizable (can be generated from some metric).

Continuity is a sufficient condition for the intermediate value theorem. It is also a necessary condition for the extreme value theorem, as well as differentiability.

17100 questions
3
votes
2 answers

Prove that there is a point $z \in [a,b]$ such that $f(z)= {f(x_1)+ \dots + f(x_n)\over n} $

Let the function $ f : [a,b] \to \mathbb{R} $ be continous, such that $ f(a) \neq f(b)$. For $ n \in \mathbb{N}$ let $ x_1,x_2,...,x_n $ be points in $[a,b]$. Prove that there is a point $z \in [a,b]$ such that $f(z)= {f(x_1)+ \dots + f(x_n)\over…
Ben-ZT
  • 499
3
votes
2 answers

Explanation of Proof for (Dis)continuity of Thomae's Function

Can someone explain the proof for the continuity at irrationals but discontinuity at rationals for Thomae's function? More specifically, why if x is rational with $x = \frac{p}{q}$, and we choose $0<\epsilon<\frac{1}{q}$, does the condition for…
Gabriel
  • 1,075
3
votes
3 answers

Defining Topological Continuity

I have seen this definition many times: Topological Continuity: A function $f:X\rightarrow Y$ is continuous if for all open sets $U \subseteq Y$, the preimage $f^{-1}(U)$ is open in $X$. I don't understand why the notion of openness is important to…
2
votes
3 answers

Is a continuous function vanishing at infinity always C_0?

Let $f \colon \mathbb{R}^n \to \mathbb{R}$ be a continuous function with $$ \lim_{|x| \to \infty} f(x) = 0. $$ Does that imply $f \in C_0$, i.e. is there a compact set $K_{\epsilon}$ for every $\epsilon > 0$, such that $$ |f(x)| < \epsilon \qquad…
arney
  • 520
2
votes
1 answer

Composition of two continuous functions is continuous

Let $f, g$ be functions $f$ is continuous at a, $\operatorname{f}(a) = b \in \operatorname{Dom}(f)$, $g$ is continuous at b. Then $g\circ f$ is continuous at $a$. Proof: Let $\varepsilon>0$, $$\exists\delta'>0, \text{ s.t. } \lvert…
user2850514
  • 3,689
2
votes
1 answer

Is this proof of countinuity correct ($\epsilon \delta$)

$c$ = space of all convergent sequences, $c_0$ = space of sequences convergent to zero We consider both spaces with supremum norm. $F: c \ni (a_n)_{n \in \mathbb{N}} \rightarrow (\lim a_n, \ a_1 - \lim a_n, \ a_2 - \lim a_n, ...) \in c_0$ $G: c_0…
2
votes
2 answers

determine a and b so that the function is continuous

I have an assignment where I should determine $a$ and $b$ so that the following function is continuous at $x=0$: $$f(x)=\begin{cases} 2+\ln(1+x), & x>0\\ x^2+ax+b, & x\le 0 \end{cases}$$ I can do that just by setting $x = 0$ and calculating $$…
2
votes
3 answers

product of two non zero continuous function is zero

Can you give me examples of two functions $f$ and $g$ such that both are non-zero continuous function but their product is zero.
Topology
  • 1,566
  • 11
  • 27
2
votes
1 answer

Evaluation Functional Not Continuous in $L^p$

The evaluation functional is defined as: $$A_t(f)=f(t)$$where $A_t : C[a,b] \to \Bbb R$ and $t\in\Bbb R$. One of the other exercises was to show that the same functional is continuous if the space of continuous functions on $[a,b]$ is equipped with…
2
votes
1 answer

Is $\sqrt x \sin⁡\frac{1}{x}$ continuous at $0$? If it is not defined, does it count as continuous?

Is $\sqrt x \sin⁡\frac{1}{x}$ continuous at $0$? I found the limit of the function which is $0$, but the function is not defined at $0$. Is it continuous then?
sky
  • 21
2
votes
1 answer

Prove $h(x)=\sqrt{x^2-1}$ continuous by $\epsilon,\delta$

Proof: Let $h\colon (1, \infty)\to \Bbb R$ be a function. Let $h(x)= \sqrt{x^2-1}$. Let $\epsilon>0$ be arbitrary. Let $x_0\geq 1$ be arbitrary. Suppose $x_0 > 1$. Let $$\delta=\min\left\{1, \frac{\epsilon\sqrt{x_0^2-1}}{2|x_0|+1}\right\}$$ Let…
Maddy
  • 193
2
votes
2 answers

Continuity using Epsilon- Delta

$f(x)=0$ for all $x \in\mathbb{Q}$. Prove $f(x)=0$ for all $x > \in\mathbb{R}$. I have to use the Epsilon-Delta method. I know it starts Let $\epsilon > 0$ be arbitrary. Let y be arbitrary. Now I have to find a $\delta>0$ such that if $x…
Maddy
  • 193
2
votes
1 answer

$f:\mathbb{R}\to\mathbb{R}$ is defined as $f(x)=n\forall x=n\in\mathbb{N}$

Let $f:\mathbb{R}\to\mathbb{R}$ be defined as $ f(x) := \begin{cases} x, & \text{if}\ x\in \mathbb N,\\\\ 0, & \text{else,} \end{cases} $ and $T=\mathbb{N}\cup\{n+1/n:n\in\mathbb{N}\}$. The function $f$ is continuous on $\mathbb{N}$ with respect…
Myshkin
  • 35,974
  • 27
  • 154
  • 332
2
votes
0 answers

How to understand the words 'upper' and 'lower' in the concepts 'upper hemi-continuous' and 'lower hemi-continuous'?

How to understand the words 'upper' and 'lower' in the concepts 'upper hemi-continuous' and 'lower hemi-continuous'? I know for semicontinuity the words 'lower' and 'upper' have obvious geometric meanings. But does it seem that the words 'upper' and…
2
votes
1 answer

Lipschitz continuity and continuously differentiable functions

I have to prove that a certain function $F(x): \mathbb{R}^m \rightarrow \mathbb{R}^n$ is continuously differentiable and its Jacobian $J(x)$ is Lipschitz continuous. Are both criteria fulfilled if $ \left\Vert J(y) - J(x) \right\Vert \leq L…
bonanza
  • 441