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.

17613 questions
197
votes
5 answers

A Topology such that the continuous functions are exactly the polynomials

I was wondering which fields $K$ can be equipped with a topology such that a function $f:K \to K$ is continuous if and only if it is a polynomial function $f(x)=a_nx^n+\cdots+a_0$. Obviously, the finite fields with the discrete topology have this…
Dominik
  • 14,660
170
votes
7 answers

Find a real function $f:\mathbb{R}\to\mathbb{R}$ such that $f(f(x)) = -x$?

I've been perusing the internet looking for interesting problems to solve. I found the following problem and have been going at it for the past 30 minutes with no success: Find a function $f: \mathbb{R} \to \mathbb{R}$ satisfying $f(f(x)) = -x$ for…
163
votes
1 answer

What functions can be made continuous by "mixing up their domain"?

Definition. A function $f:\Bbb R\to\Bbb R$ will be called potentially continuous if there is a bijection $\phi:\Bbb R\to\Bbb R$ such that $f\circ \phi$ is continuous. So one could say a potentially continuous (p.c.) function is "a continuous…
131
votes
11 answers

Prove that every convex function is continuous

A function $f : (a,b) \to \Bbb R$ is said to be convex if $$f(\lambda x+(1-\lambda)y)\le \lambda f(x)+(1-\lambda)f(y)$$ whenever $a < x, y < b$ and $0 < \lambda <1$. Prove that every convex function is continuous. Usually it uses the fact: If $a…
cowik
  • 1,353
110
votes
3 answers

Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$

Construct a function which is continuous in $[1,5]$ but not differentiable at $2, 3, 4$. This question is just after the definition of differentiation and the theorem that if $f$ is finitely derivable at $c$, then $f$ is also continuous at $c$.…
110
votes
6 answers

Continuous bijection from $(0,1)$ to $[0,1]$

Does there exist a continuous bijection from $(0,1)$ to $[0,1]$? Of course the map should not be a proper map.
97
votes
8 answers

A map is continuous if and only if for every set, the image of closure is contained in the closure of image

As a part of self study, I am trying to prove the following statement: Suppose $X$ and $Y$ are topological spaces and $f: X \rightarrow Y$ is a map. Then $f$ is continuous if and only if $f(\overline{A})\subseteq \overline{f(A)}$, where…
Holdsworth88
  • 8,948
95
votes
11 answers

Why not include as a requirement that all functions must be continuous to be differentiable?

Theorem: Suppose that $f : A \to \mathbb{R}$ where $A \subseteq \mathbb{R}$. If $f$ is differentiable at $x \in A$, then $f$ is continuous at $x$. This theorem is equivalent (by the contrapositive) to the result that if $f$ is not continuous at…
94
votes
4 answers

A continuous, nowhere differentiable but invertible function?

I am aware of a few example of continuous, nowhere differentiable functions. The most famous is perhaps the Weierstrass functions $$W(t)=\sum_k^{\infty} a^k\cos\left(b^k t\right)$$ but there are other examples, like the van der Waerden functions, or…
levitopher
  • 2,685
90
votes
3 answers

Why did mathematicians introduce the concept of uniform continuity?

I have solved many problems regarding uniform continuity, but still I can't understand the following: Is there any practical application of this concept, or it is just a theoretical concept? Is there any wide application of this concept in any…
74
votes
2 answers

Continuity and the Axiom of Choice

In my introductory Analysis course, we learned two definitions of continuity. $(1)$ A function $f:E \to \mathbb{C}$ is continuous at $a$ if every sequence $(z_n) \in E$ such that $z_n \to a$ satisfies $f(z_n) \to f(a)$. $(2)$ A function $f:E \to…
John Gowers
  • 25,678
66
votes
3 answers

"Every linear mapping on a finite dimensional space is continuous"

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector spaces (not necessarily the same), as along as the domain is…
57
votes
16 answers

Why are real numbers useful?

A question (by a fellow CS student taking a first course in calculus, presumably after the lecture in which continuity was introduced: was as follows. In the real, physical world, we deal with numbers that are sort of “finite” or “discrete” by…
54
votes
4 answers

No continuous function switches $\mathbb{Q}$ and the irrationals

Is there a way to prove the following result using connectedness? Result: Let $J=\mathbb{R} \setminus \mathbb{Q}$ denote the set of irrational numbers. There is no continuous map $f: \mathbb{R} \rightarrow \mathbb{R}$ such that $f(\mathbb{Q})…
user10
  • 5,806
52
votes
4 answers

Can a nowhere continuous function have a connected graph?

After noticing that function $f: \mathbb R\rightarrow \mathbb R $ $$ f(x) = \left\{\begin{array}{l} \sin\frac{1}{x} & \text{for }x\neq 0 \\ 0 &\text{for }x=0 \end{array}\right. $$ has a graph that is a connected set, despite the function not being…
1
2 3
99 100